التفرد (نظام التشغيل)

الموسوعة الحرة
مشروع التفرد
التفرد بعد بدء التشغيل
المطورأبحاث مايكروسوفت ( شركة مايكروسوفت )
مكتوب فيلغة التجميع ، C ، C++ ، C# ، Sing#
عائلة أنظمة التشغيلالأنظمة القائمة على اللغة
حالة العملتم إيقافه
نموذج المصدرالمصدر متاح (من خلال مبادرة المصدر المشترك )
الإصدار الأولي4 مارس 2008 ؛ منذ 16 عامًا [1] ( 2008-03-04 )
الإصدار النهائي2.0 / 14 نوفمبر 2008 ؛ منذ 16 عامًا ( 2008-11-14 )
متوفر فيإنجليزي
المنصاتx86 ، x86-64 [2]
نوع النواة اللغة المستندة إلى النواة الدقيقة

واجهة المستخدم الافتراضية		واجهة سطر الأوامر
رخصةترخيص البحث من مايكروسوفت
الموقع الرسميResearch.microsoft.com/en-us/projects/singularity

Singularity هو نظام تشغيل تجريبي تم تطويره بواسطة Microsoft Research بين 9 يوليو 2003، [3] و7 فبراير 2015. [4] تم تصميمه كنظام تشغيل عالي الموثوقية حيث تم كتابة النواة وبرامج تشغيل الأجهزة وبرامج التطبيق جميعها في كود مُدار . يستخدم الأمان الداخلي أمان النوع بدلاً من حماية ذاكرة الأجهزة .

عملية

يتم كتابة كود إرسال المقاطعة من المستوى الأدنى x86 بلغة التجميع و C. بمجرد أن يقوم هذا الكود بوظيفته، فإنه يستدعي النواة، والتي يتم كتابة نظام وقت التشغيل وجامع القمامة فيها بلغة Sing# (إصدار ممتد من Spec#، وهو في حد ذاته امتداد لـ C# ) ويتم تشغيله في الوضع غير المحمي. [5] : 14  [6] : 4  تتم كتابة طبقة التجريد للأجهزة بلغة C ++ ويتم تشغيلها في الوضع المحمي. يوجد أيضًا بعض أكواد C للتعامل مع تصحيح الأخطاء. يتم استدعاء نظام الإدخال/الإخراج الأساسي للكمبيوتر ( BIOS ) أثناء مرحلة التمهيد في الوضع الحقيقي 16 بت ؛ بمجرد الدخول في وضع 32 بت ، لا يستدعي Singularity BIOS مرة أخرى، ولكنه يستدعي برامج تشغيل الأجهزة المكتوبة بلغة Sing#. أثناء التثبيت، يتم تجميع أكواد التشغيل للغة الوسيطة المشتركة (CIL) في أكواد تشغيل x86 باستخدام مُجمِّع Bartok . [6] : 11 

تصميم الأمن

Singularity هو نظام تشغيل ذو نواة دقيقة . وعلى عكس أغلب النوى الدقيقة التاريخية، فإن مكوناته تنفذ في نفس مساحة العنوان ( العملية )، والتي تحتوي على عمليات معزولة بالبرمجيات (SIPs). ولكل عملية SIP تخطيطها الخاص للبيانات والرمز، وهي مستقلة عن عمليات SIP الأخرى. وتتصرف عمليات SIP هذه مثل العمليات العادية، ولكنها تتجنب تكلفة تبديل المهام. [5] : 4,11,35 

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

تعتمد معظم الثوابت على استخدام لغات إدارة الذاكرة الأكثر أمانًا ، مثل Sing#، والتي تحتوي على جامع قمامة ، ولا تسمح بأي مؤشرات عشوائية، وتسمح بالتحقق من الكود لتلبية سياسة أمان الكمبيوتر المحددة .

حالة المشروع

تم إصدار أول مجموعة أدوات تطوير أبحاث التفرد (RDK)، RDK 1.1، في 4 مارس 2008، [1] بموجب ترخيص مصدر مشترك يسمح بالاستخدام الأكاديمي غير التجاري ومتاح من CodePlex . [7] تم إصدار RDK 2.0 لاحقًا في 14 نوفمبر 2008. [2]

مشاريع مماثلة

انظر أيضا

  • نظام يعتمد على اللغة ، تصميم عام للنواة باستخدام الحماية المعتمدة على اللغة بدلاً من الحماية المادية.
  • Midori ، وهو نظام تشغيل يعتمد على النواة الدقيقة تم تطويره بواسطة Microsoft ويعتمد على Singularity ومرتبط به.

مراجع

  1. ^ ab "Singularity RDK 1.1". CodePlex . مؤرشف من الأصل في 4 مايو 2009 . تم الاسترجاع في 16 يناير 2022 .
  2. ^ ab "Singularity RDK 2.0 Initial Release (17067)". CodePlex . 14 نوفمبر 2008. مؤرشف من الأصل في 6 ديسمبر 2008. تم الاسترجاع في 16 يناير 2022 .
  3. ^ "Singularity". Microsoft . تم الاسترجاع في 16 يناير 2022 .
  4. ^ "Singularity RDK". CodePlex . مؤرشف من الأصل في 2 يناير 2018 . تم الاسترجاع في 16 يناير 2022 .
  5. ^ "نظرة عامة على مشروع التفرد" (PDF) . مايكروسوفت . تم الاسترجاع في 16 يناير 2022 .
  6. ^ ab Hunt, Galen; Larus, James. "Singularity: Rethinking the Software Stack" (PDF) . Microsoft . Microsoft Research Redmond . تم الاسترجاع في 16 يناير 2022 .
  7. ^ Ricciuti, Mike (5 مارس 2008). "هل نظام التشغيل 'Singularity' من Microsoft هو نظام التشغيل المستقبلي؟". CNET . تم الاسترجاع في 16 يناير 2022 .
  • الموقع الرسمي
  • الدافع وراء تصميم التفرد ونظرة عامة على مشروع التفرد
  • كود مصدر Singularity على CodePlex
  • Singularity: نظام تشغيل بحثي مكتوب بلغة C# مقابلة أجراها فريق القناة التاسعة مع جيم لاروس وجالين هانت (فيديو وموضوع)
  • التفرد الثالث: انتقام مشروع SIP، مقابلة أجراها فريق القناة التاسعة مع ثلاثة باحثين من فريق مشروع Singularity (فيديو وموضوع).
  • Singularity IV: عودة واجهة المستخدم، عرض توضيحي لـ Singularity قيد التشغيل فعليًا (فيديو وموضوع).
  • إعادة النظر في التفرد، مقابلة أجراها فريق القناة التاسعة مع أربعة باحثين من فريق مشروع التفرد (فيديو وموضوع)
تم الاسترجاع من "https://en.wikipedia.org/w/index.php?title=نظام_التشغيل_المفرد&oldid=1258402947"
Original text
Rate this translation
Your feedback will be used to help improve Google Translate