Microsoft Research Singularity - A Non-Windows OS

يعتبر Singularity أحد مشاريع Microsoft Research لإنشاء نظام تشغيل microkernel يمكن الاعتماد عليه حيث يتم كتابة كل من kernel وبرامج تشغيل الأجهزة والتطبيقات في شفرة مُدارة. تتم كتابة أكثر من 90٪ من نواة نظام التشغيل في Sing # ، وهو امتداد لبرمجة لغة C # عالية المستوى.

Microsoft Research Singularity

Singularity هو مشروع بحثي يركز على بناء أنظمة يمكن الاعتماد عليها من خلال الابتكار في مجالات النظم واللغات والأدوات. نحن نبني نموذجًا أوليًا لنظام التشغيل البحثي (يدعى Singularity) ، يوسّع لغات البرمجة ، ويطور تقنيات وأدوات جديدة لتحديد السلوك البرنامجي والتحقق منه.

التقدم في اللغات والمترجمات والأدوات يفتح إمكانية تحسين البرامج بشكل ملحوظ. على سبيل المثال ، يستخدم التفرد اللغات الآمنة من النوع ومجموعة تعليمات مجردة لتمكين ما نسميه العمليات المعزولة للبرامج (SIPs). توفر SIPs ضمانات عزل قوية لعمليات نظام التشغيل (مساحة كائن معزولة ، GCs منفصلة ، أوقات التشغيل المنفصلة) دون التحميل من مجالات الحماية المفروضة على الأجهزة. في النموذج الحالي Singularity SIPs رخيصة جداً؛ يتم تشغيلها في الحلقة 0 في مساحة عنوان kernel.

يستخدم التفرد هذه التطورات لإنشاء أنظمة وتطبيقات أكثر موثوقية. على سبيل المثال ، لأن SIPs رخيصة جداً لإنشاء وفرض ، يعمل Singularity كل برنامج أو برنامج تشغيل الجهاز أو ملحق النظام في SIP الخاصة به. لا يُسمح SIPs مشاركة الذاكرة أو تعديل التعليمات البرمجية الخاصة بهم. ونتيجة لذلك ، يمكننا تقديم ضمانات قوية للموثوقية حول الشفرة التي تعمل في SIP. يمكننا التحقق من خصائص أوسع بكثير عن SIP في وقت التجميع أو التثبيت مما يمكن القيام به لتشغيل التعليمات البرمجية في عمليات نظام التشغيل التقليدية. يعد التطبيق الواسع للتحقق الثابت أمرًا هامًا للتنبؤ بسلوك النظام وتزويد المستخدمين بضمانات قوية حول الموثوقية.

قامت شركة Microsoft Research بتوفيرها للتنزيل ، مجموعة تطوير بحوث التفرد (RDK) . يمكنك تنزيله من CodePlex ، موقع استضافة مشروع التعليمات البرمجية المفتوحة المصدر من Microsoft. يمكنك أيضًا تنزيل نظرة عامة على مشروع التفرد ، من خلال النقر هنا.

المطورين الرئيسيين لكل من Singularity و Galen Hunt و Jim Larus ، قالوا إن جميع أنظمة التشغيل الحالية مثل Windows و Linux و Mac OS يمكن إرجاعه إلى نظام تشغيل يدعى Multics ، والذي يرجع أصله إلى الستينيات. في الواقع ، لا تزال أنظمة التشغيل الحالية تعتمد في جزء منها على الأفكار والمعايير منذ 40 عامًا. تعد خدمة Multiplexed Information and Computing Service ، أو Multics نظام تشغيل لتبادل الوقت في الحاسوب الرئيسي بدأ في عام 1965 واستخدمت حتى عام 2000.

تم تصنيف Microsoft Research Singularity في عام 2003 كنهج جديد تمامًا لمبنى OS.