یک آرزوی سال نو

هر سال اجرا می کنم مقاله پیش بینی. این ترکیبی از ایده‌های بسیاری از افراد در این صنعت است، و در حالی که بسیاری از پیش‌بینی‌ها تا حدودی خودخواهانه هستند، موارد دیگری نیز وجود دارند که بیشتر از قلب بیرون می‌آیند - یا شاید آنها رویا هستند تا انتظار. من در برخی از آنها، به ویژه آنهایی که به پایداری در صنعت ما و صنعت ما نگاه می کنند، امید می بینم.

درست مانند تأیید، دو کلمه وجود دارد که هدف آن را توصیف می کند - تأیید و اعتبار. راستی‌آزمایی عمل نشان دادن مطابقت یک طرح با مشخصات است، در حالی که اعتبارسنجی یعنی اطمینان از اینکه مشخصات همان چیزی است که می‌خواهید. یکی به درون نگر است، دیگری بیشتر به بیرون. همین امر در مورد پایداری نیز صادق است.

دو جنبه از پایداری وجود دارد - آیا ما همه چیز را به پایدارترین روش انجام می دهیم و آیا آنچه ایجاد می کنیم منجر به آینده ای پایدارتر می شود؟

انجام کارها به صورت پایدار

وقتی به تأیید فکر می کنم، مقدار زیادی زمان، تلاش و محاسبات هنگفتی را می بینم که نباید مورد نیاز باشد. روش مورد استفاده، رک و پوست کنده، کودکانه است. بهترین ذهن‌های این صنعت نتوانسته‌اند روشی را ارائه دهند که هیچ مفهومی از کارایی داشته باشد. ما دستان خود را در هوا تکان می دهیم و می گوییم این کار غیرممکن است و هرگز نمی توانیم به بسته شدن برسیم. و با این حال، بهترین روشی که صنعت می تواند به آن دست یابد، یک روش تصادفی است که محرک را هدایت می کند و بررسی های موقت را انجام می دهد و داده های پوشش ضمنی را جمع آوری می کند.

روش الگوی آزمایش تصادفی محدود، همانطور که امروزه تعریف می‌شود، فروش مجوزهای شبیه‌ساز بیشتری را هدایت می‌کند و افزایش اندازه طراحی آن را به شبیه‌سازها تغییر داده است. اما پوشش به گونه‌ای تعریف می‌شود که تقریباً غیرممکن است که به کامل بودن واقعی یا یک مجموعه محرک بهینه فکر کنیم و همان چیزها احتمالاً میلیاردها برابر بیشتر از آنچه لازم است دوباره تأیید شوند.

من بسیار خوشحالم که می بینم برخی از شرکت ها شروع به فکر کردن در مورد رویکردهای سلسله مراتبی واقعی برای تعدادی از مشکلات در صنعت کرده اند، و راستی آزمایی یکی از مواردی است که باید تجدید نظر شود. تولید خودکار مدل‌های انتزاعی از مدل‌های دقیق، عنصر کلیدی این امر است. تأیید در سطح بلوک باید یک مدل سطح بالاتر ایجاد کند که می تواند برای تأیید یکپارچگی یا سایر اشکال بالاتر تأیید استفاده شود. آن مدل‌های تولید شده مختص هدف تأیید سطح بالاتر هستند. به عنوان مثال، یک مدل سطح بالاتر ممکن است یک تابع انتزاعی و یک مدل آماری برای زمان‌بندی باشد، یا ممکن است فقط یک مدل ورودی/خروجی را ثبت کند که اگر مجموعه‌ای از الگوها و حالت‌ها را ببیند که توسط بلوک پوشش داده نشده‌اند، هشداری را علامت‌گذاری می‌کند. تایید سطح احتمالات فراوانی وجود دارد.

سپس کارایی هایی در طراحی وجود دارد. واضح است که شرکت ها سخت تلاش می کنند تا مصرف برق را بر اساس تعداد خرابی تراشه های مربوط به این کار کاهش دهند. صنعت به ابزارهای بسیار بهتری برای کمک به یافتن کارایی و تأیید تأثیر آنها نیاز دارد.

ایجاد چیزهایی برای آینده ای پایدار

آیا چیزی که روی آن کار می‌کنید به دنیایی می‌خورد که نسبت به قبل از عرضه محصول شما از نظر انرژی کارآمدتر است؟ در برخی موارد، پاسخ دادن به آن‌ها ممکن است نسبتاً آسان باشد، مانند تولید پردازنده‌ای که در هر وات عملیات بیشتری نسبت به نسل قبلی انجام می‌دهد. اما سطوح زیادی برای این وجود دارد.

یک الگوی فکری برای مدت طولانی من را پریشان کرده است. پارادایم برنامه نویسی نرم افزار به قدری جا افتاده است که صنعت برای حفظ آن دست به هر کاری می زند، حتی اگر آنقدر ناکارآمد باشد که باید کنار گذاشته شود و با چیز دیگری جایگزین شود. ممکن است منجر به زمان بیشتر مورد نیاز برای نرم افزار شود، اما محصول به مراتب کارآمدتر از نظر انرژی خواهد بود. به عنوان مثال، چه کسی ML را با استفاده از یک CPU همه منظوره انجام می دهد؟ آنها برای مدتی قبل از یافتن جایگزین های مناسب تر این کار را انجام دادند، اما بسیاری از وظایف دیگر وجود دارد که همچنان از معماری پردازش اشتباه استفاده می کنند.

به طور مشابه، در AI/ML، محققان نیاز به دقت بالا غیرضروری را کاهش داده‌اند. در ابتدا استفاده شد زیرا هیچ چیز دیگری وجود نداشت، اما استفاده از نقطه شناور با دقت کامل باعث هدر رفتن انرژی زیادی می شود. استنتاج لبه سریعتر بهبود یافته است، زیرا بدون آن محصولات امکان پذیر نخواهد بود. اما باید در مورد کاهش شدید انرژی یادگیری فکر بیشتری کرد.

سپس گروهی از محصولات وجود دارند که تمام مفاهیم پایدار بودن را به چالش می کشند. تنها دلیل وجودی آنها کسب درآمد به قیمت محیط زیست است. مثالی که من همیشه انتخاب می کنم موتورهای توصیه است. آیا می توانیم جلوی این حماقت را بگیریم؟ آنها کار نمی کنند و هدف خوبی ندارند. برای افرادی که روی این محصولات کار می کنند، لطفاً در جایی که استعداد خود را به کار می برید، تجدید نظر کنید، و اگر فرصتی دارید که به چیزی که به نفع جامعه است تغییر دهید، لطفاً این کار را انجام دهید.

صنعت ما قدرت فوق العاده ای برای تأثیرگذاری بر هر جنبه ای از جامعه دارد. در حالی که من فکر می‌کنم ما یک سابقه معقول داریم، اما هنوز کامل نیست. ما هر بار راه آسانی را در پیش گرفته‌ایم و این بدان معناست که از نظر بهره‌وری انرژی تا جایی که می‌توانیم باشیم فاصله زیادی داریم. ما باید در هر گوشه ای از کاری که انجام می دهیم به آن فکر کنیم. کووید نشان داد که حتی تغییر در شرایط کار می تواند تأثیر زیادی داشته باشد. ما باید تعادل بین کار اداری و استفاده از منابع "محلی" را پیدا کنیم. ما باید از این فکر که قدرت محاسباتی بی نهایت است دست برداریم و بیشتر روی اینکه چگونه مقدار محاسبات مورد نیاز خود را کاهش دهیم یا اینکه چگونه محاسبات را کارآمدتر انجام دهیم تمرکز کنیم.

همه ما می توان یک تفاوت ایجاد کن. لطفا از سال جدید استفاده کنید تا کمی بیشتر به آن فکر کنید. ما به صورت فردی نمی توانیم مشکل را حل کنیم، اما هر یک از ما می توانیم سهم کوچکی داشته باشیم.