الملخص:
عادةً ما يستغرق تطوير نواة نظام التشغيل من البداية فريقًا من المهندسين ذوي الخبرة عدة سنوات. ومع ذلك، أظهر غريغوري كيرتزر، المؤسس المشارك لـ CentOS وبادئ مشروع Rocky Linux، مؤخرًا نتيجة خاصة إلى حد ما: فقد استخدم عملاء الذكاء الاصطناعي لإنشاء نواة نظام تشغيل جديدة Ginux في 11 يومًا فقط. لا تستخدم هذه النواة أي كود kernel لنظام Linux، ولكنها يمكنها بالفعل تشغيل Rocky Linux 10. وعلى الرغم من أنه لا يزال نموذجًا أوليًا للبحث، إلا أن هذا المشروع يُظهر إمكانية جديدة لمشاركة الذكاء الاصطناعي في تطوير البرامج الأساسية المعقدة.
أعلن كيرتزر عن مشروع Ginux لأول مرة الأسبوع الماضي من خلال منصة التواصل الاجتماعي X. كما تم تحميل الكود ذي الصلة إلى GitHub واعتمد ترخيص Apache 2.0 مفتوح المصدر. يجمع اسم Ginux بين العناصر الثلاثة Linux وGPT وGreg. حتى أن مقدمة المشروع مازحت قائلة إنه من أجل منع المؤلف من المبالغة في تضخيم نفسه، يجب تفسير الحرف G على أنه GPT.
Ginux ليس نسخة من Linux، ولا يقوم بنسخ مكونات kernel من كود Linux الحالي. تمت كتابة إدارة الذاكرة وجدولة العمليات ونظام الملفات ووظائف الشبكة من البداية وتم تطويرها بشكل أساسي باستخدام لغة Rust. ما يشترك فيه بالفعل مع Linux هو واجهة التطبيقات الثنائية (ABI). وهذا يعني أن Ginux يحاكي واجهة النظام التي يوفرها Linux للبرامج، بحيث يمكن تشغيل البرامج المكتوبة في الأصل لنظام Linux دون تعديل التعليمات البرمجية.
يصف مطور المشروع هذا التصميم على النحو التالي: Linux ليس مجرد تطبيق للنواة، ولكن يمكن أيضًا اعتباره "شخصية" أو بيئة توافق تقدمها النواة للبرامج التطبيقية. حاليًا، يقوم Ginux بتطبيق وضع التوافق مع Linux فقط، ولا يتم استبعاد إمكانية إضافة وضع التوافق BSD في المستقبل.
ومع ذلك، لا يزال Ginux بعيدًا عن التوافق الكامل مع Linux. وفقًا لوثائق المشروع، مع استخدام واجهة x86-64 لنظام التشغيل Linux 6.12 كمرجع، تم تنفيذ 82 فقط من استدعاءات النظام البالغ عددها 375 بالكامل، و245 أخرى يمكن أن تعمل جزئيًا فقط، وتم تعيين 48 استدعاءًا متبقيًا عمدًا لتكون غير متاحة. وهذا يعني أنه على الرغم من أنه يمكنه بالفعل تشغيل بعض برامج Linux الموجودة، إلا أنه لا يمكن اعتباره بديلاً ناضجًا للأغراض العامة لنظام Linux.
يقدم Ginux أيضًا مجموعة من آليات العزل تسمى "المجالات". يعمل البرنامج في بيئة معزولة، ولكل مجال عمليات مستقلة ومساحة ذاكرة وأنظمة ملفات. ويأمل المشروع أن توفر هذه الآلية حدود عزل أقوى من الحاويات التقليدية. ومع ذلك، لا يزال بإمكان Ginux استخدام صور حاوية OCI القياسية لإنشاء أنظمة ملفات لكل مجال. وبهذه الطريقة تمكن من تحميل Rocky Linux 10 وتقديم تمهيد النظام إلى هدف Systemd متعدد المستخدمين.
الجانب الأكثر إثارة للاهتمام في هذا التطور هو دور الذكاء الاصطناعي. يطلق كيرتزر على منهجه اسم "الهندسة البشرية الموجهة" في تقرير فني. وهو مسؤول عن تحديد البنية العامة وصياغة مراحل التطوير ومعايير القبول، بينما يكون وكيل الذكاء الاصطناعي مسؤولاً عن معظم أعمال التنفيذ اللاحقة، بما في ذلك كتابة التعليمات البرمجية وبدء تشغيل النواة وإجراء الاختبارات وتعديل التعليمات البرمجية بعد اكتشاف المشاكل.
تكتمل العملية بأكملها من خلال مهمة OpenAI Codex التي تعمل بشكل مستمر، والنموذج المستخدم هو GPT-5.6 Sol. وفي 11 يومًا، أنشأ الذكاء الاصطناعي ما يقرب من 139000 سطرًا من التعليمات البرمجية ومحتوى الاختبار، وأكمل أكثر من 1000 عملية إرسال للتعليمات البرمجية. أثناء عملية التطوير، لعب التوزيع الحقيقي Rocky Linux أيضًا دورًا مهمًا: فقد كشف عن بعض المشكلات التي فشلت حالات الاختبار المنشأة بشكل مصطنع في العثور عليها عند بدء تشغيلها وتشغيلها بالفعل.
ومع ذلك، لم يقم كيرتزر بتجميع Ginux في نظام تشغيل جاهز للإنتاج. في الوقت الحاضر، لا يزال المشروع قيد التشغيل بالكامل في الجهاز الظاهري QEMU. لا يدعم حتى الآن بدء التشغيل المباشر على الأجهزة المادية، ولا يوجد دعم لأجهزة تخزين GPU وNVMe. والأكثر من ذلك، أن Ginux لم يخضع بعد لعمليات تدقيق أمنية مستقلة، ولا يمكن التحقق من أمانه بشكل كامل.
يعتقد كيرتزر أن الذكاء الاصطناعي لديه الآن القدرة على كتابة برامج النظام المعقدة، ولكن الجزء الصعب الحقيقي لم يختف. لا يزال توافق البرامج والأمان وقدرات الصيانة طويلة المدى من العوائق الرئيسية التي تحدد ما إذا كان نظام التشغيل يمكنه النجاح حقًا. بمعنى آخر، يمكن للذكاء الاصطناعي تقصير عملية تطوير التعليمات البرمجية من الصفر بشكل كبير، لكنه لا يستطيع ضمان موثوقية هذه الرموز بشكل تلقائي، ولا يمكنه استبدال التحقق الهندسي طويل المدى.
وفي الوقت نفسه، يحاول مجتمع تطوير نواة Linux أيضًا تقديم أدوات الذكاء الاصطناعي تدريجيًا. في الشهر الماضي، استخدم مؤسس Linux Linus Torvalds كلود كود لكتابة مجموعة من تصحيحات ذاكرة التخزين المؤقت للصفحة التجريبية، لكن المراجعين اكتشفوا لاحقًا أن هناك حالات سباق، لذا فإن الكود ذي الصلة لا يزال قيد المراجعة. في نفس الوقت تقريبًا، وافق مشرفو Linux kernel أيضًا على عدم مطالبة المساهمين بالكشف عما إذا كانت التعليمات البرمجية الخاصة بهم مدعومة بالذكاء الاصطناعي.
قد لا تكمن أهمية Ginux في قدرته على استبدال Linux على الفور، ولكنها توضح نموذجًا جديدًا لهندسة البرمجيات: البشر مسؤولون عن الأهداف والهندسة المعمارية والقرارات الرئيسية، ووكلاء الذكاء الاصطناعي مسؤولون عن قدر كبير من أعمال التنفيذ والاختبار المحددة. يمكن للأنظمة المعقدة التي كانت تستغرق سنوات لتتشكل، أن تحصل الآن على نموذج أولي عملي في جزء صغير من الوقت. ومع ذلك، لا يزال الطريق الهندسي طويلًا للانتقال من النموذج الأولي إلى نظام تشغيل موثوق به حقًا يمكنه التكيف مع مجموعة واسعة من الأجهزة والمحافظة عليه على المدى الطويل.
التعليقات