لینوس توروالدز پچ‌های آزمایشی کرنل لینوکس را با هوش مصنوعی کلود کد انتروپیک بازنویسی کرد

این هفته در فهرست ایمیل‌های هسته لینوکس، مجموعه‌ای پچ با تمرکز بر یکی از کهنه‌کارترین زیرسیستم‌های این سیستم‌عامل منتشر شد. این پیشنهاد تغییر بنیادینی در شیوه مدیریت حافظه موقتِ خواندن فایل‌ها (کَش صفحات) مطرح می‌کرد. نام درج‌شده به عنوان نویسنده کامیت‌ها لینوس توروالدز بود، اما کد را ابزار «کلود کد» شرکت انتروپیک تولید کرده بود.[1][3]

این پچ‌های آزمایشی متوجه Page Cache لینوکس هستند؛ لایه واسطی میان حافظه رم و فضای ذخیره‌سازی دائمی. با دگرگون کردن معماری پردازش عملیات پرشمارِ خواندن، کدهای هوش مصنوعی جهش کارایی چشمگیری به بار آوردند؛ به‌طوری‌که بنچمارک‌های اولیه در شرایط کاری مشخص، از سه‌برابر شدن گذردهی خواندن فایل‌های کوچک خبر می‌دادند.[2][4]

توروالدز در توضیحات پچ اشاره کرده که این عامل هوش مصنوعی را عمداً در مسیرهای خواندن داده به کار انداخته تا توانایی استدلال معماری آن را بسنجد. او از کلود کد خواسته بود بدون ایجاد رقابت مخرب بر سر منابع و با حفظ موانع حافظه‌ای موجود، مسیرهای خواندنِ بدون اصطکاک را با شدت هرچه تمام‌تر بهینه‌سازی کند.[1][5]

کد نهایی که به زبان C نوشته شده بود، دهه‌ها بررسی‌های تکراری و موروثی را کنار گذاشت و یک «مسیر سریع» مینیمال ساخت. این تغییر ساختاری اجازه می‌داد تا سیستم‌عامل در زمان دسترسی به داده‌هایی که از پیش در رم نشسته‌اند، قفل‌گذاری‌های سنگین هسته را کاملاً دور بزند.[2][3]

دام همروندی

با این حال، این جهش سه‌برابری سرعت بلافاصله زیر ذره‌بین دقیق توسعه‌دهندگان ارشد هسته رفت. هرچند کد هوش مصنوعی در آزمایش‌های تک‌نخی به‌صورت ایزوله و بی‌نقص کار می‌کرد، اما واقعیت لینوکس بر همروندی شدید و دسترسی هم‌زمان چندین هسته پردازشی به حافظه استوار است.[3][5]

تنها چند ساعت پس از انتشار پچ، بازبین‌ها متوجه یک وضعیت رقابتی پنهان (Race Condition) شدند؛ مسیر سریع و بدون مانعی که کلود کد ساخته بود، باعث شد بازه زمانی خطرناکی شکل بگیرد که در آن دو هسته پردازنده ممکن است به طور هم‌زمان وضعیت یک صفحه حافظه یکسان را دستکاری کنند.[5]

یکی از داوران ارشد در همان رشته‌نامه نوشت: «هوش مصنوعی در بهینه‌سازی مسیرهای سرراست فوق‌العاده است، اما مدل حافظه لینوکس را به‌درستی درک نمی‌کند.» بررسی او نشان داد کلود کد کنترلی را حذف کرده که به ظاهر اضافه به نظر می‌رسید، اما در واقع از یک سناریوی نادر ولی فاجعه‌بارِ خرابی حافظه جلوگیری می‌کرد.[5]

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

با وجود این نقص فنی، این اقدام یک نقطه عطف تاریخی برای دنیای متن‌باز محسوب می‌شود؛ زیرا توروالدز همواره از منتقدان سرسخت تولید خودکار کد بوده و دستیارهای هوش مصنوعی اولیه را سازنده باگ‌های پنهان و اتلاف وقت داوران می‌دانست.[3][4]

جابه‌جایی خط مبنا

تمایل توروالدز به آزمودن کلود کد روی بخش‌های حساس هسته نشان می‌دهد مدل‌های پیشرو وارد مرحله‌ای شده‌اند که کاربرد عملی دارند. این مدل توانسته هزاران خط کد تودرتو و متکی به ماکروهای زبان C را درک کند و یک بازنویسی ساختاریافته منسجم پیشنهاد دهد.[1][4]

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

توروالدز در پیامی بعدی توضیح داد که هوش مصنوعی واقعاً یک گلوگاه واقعی را کشف کرده است. او تاکید کرد با اینکه پیاده‌سازی کلود کد ایراد داشت، اما نگاه معماری آن کاملاً درست بود و احتمالاً مبنای یک پچ رسمی با دستکاری برنامه‌نویسان انسانی خواهد شد.[1][5]

چنین رویکردی رفته‌رفته در حال بدل شدن به شیوه مدرن مهندسی نرم‌افزار است: هوش مصنوعی همچون یک برنامه‌نویس تازه‌کارِ خستگی‌ناپذیر، فرضیه‌های پرریسک معماری را روی کدهای عظیم پیاده می‌کند؛ کاری که تست دستی آن برای یک مهندس هفته‌ها طول می‌کشد.[4]

بار سنگین بازبینی کد

از سوی دیگر، باز شدن پای کدهای تولید هوش مصنوعی به هسته لینوکس دغدغه‌هایی درباره فرسودگی بازبین‌ها ایجاد کرده است. سازوکار لینوکس بر شبکه لایه‌بندی‌شده‌ای از مهندسان استوار است تا از ورود هر کد ناپایدار یا مخرب به شاخه اصلی جلوگیری کند.[3][5]

بررسی پچ‌هایی که لایه‌های حافظه را دستخوش تغییر می‌کنند، نیازمند وارسی‌های موشکافانه است. حال اگر یک مدل زبانی بتواند ده‌ها نمونه از این پچ‌های به ظاهر سالم ولی نیازمند بررسی را در یک ساعت تولید کند، توان انسانی برای بازبینی عملاً به گلوگاه تبدیل می‌شود.[5]

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

آزمایش کَش صفحات همچنین نقاط ضعف پنهان مدل‌های زبانی را برملا کرد. کد C در هسته لینوکس اتکای فراوانی به دانش ضمنی دارد؛ قوانینی نانوشته درباره محیط وقفه پردازنده (Interrupt Context) و خصوصیات سخت‌افزاری که لزوماً در سورس‌کد ثبت نشده‌اند.[2][5]

کلود کد محدودیت‌های آشکار و روی کاغذ را عالی بهینه کرد، اما از پس متغیرهای ضمنی برنیامد. تا زمانی که هوش مصنوعی نتواند اجرای یک پردازنده چند‌هسته‌ای واقعی را به طور جامع بازسازی کند، خروجی آن به نظارت سخت‌گیرانه انسانی نیاز دارد.[4][5]

پیامدها برای کل دنیای متن‌باز

گام بعدی این پچ، بازنویسی دستی توسط متخصصان زیرسیستم حافظه لینوکس است. توروالدز و تیم توسعه در تلاشند تا ایده معماری کلود کد را با حفاظ‌ها و قفل‌های همروندی لازم ایمن‌سازی کنند.[1][2]

انتظار می‌رود این پچ اصلاح‌شده و انسان‌پایه‌دار در پنجره‌های ادغام بعدی هسته پذیرفته شود. در صورت موفقیت، بازدهی سه‌برابری خواندن فایل‌های کوچک به میلیون‌ها سرور در سراسر جهان خواهد رسید؛ دستاوردی که ریشه در یک ایده ناقص اما درخشان ماشینی دارد.[2][3]

این آزمایش اکنون زیر نگاه دقیق گردانندگان سایر پروژه‌های زیرساختی قرار دارد. اگر لینوکس بتواند معماری هوش مصنوعی را مهار کند، پروژه‌هایی نظیر PostgreSQL و آپاچی نیز ممکن است بازنویسی زیرسیستم‌های قدیمی خود را به آزمون بگذارند.[4]

این رویداد نشانه روشنی از تکامل ابزارهای برنامه‌نویسی هوش مصنوعی است؛ ابزارهایی که فراتر از توابع ساده کاربری رفته‌اند و اکنون توانایی استدلال درباره عمیق‌ترین و حساس‌ترین لایه‌های محاسباتی جهان مدرن را دارند.[3][4]