Verve (operating system)
ویو ایک تحقیقی آپریٹنگ سسٹم ہے جسے مائیکروسافٹ ریسرچ نے تیار کیا ہے۔ ٹائپ سیفٹی اور میموری سیفٹی کے لیے ویو کی تصدیق اینڈ ٹو اینڈ ہوتی ہے۔ ان کی پیچیدگی کی وجہ سے، آپریٹنگ سسٹم کی خصوصیات کی تصدیق کرنے کے لیے سافٹ ویئر کی تصدیق کا ایک اہم کام رہا ہے۔ آپریٹنگ سسٹم عام طور پر نچلی سطح کی زبانوں میں لکھے جاتے ہیں، جیسے کہ سی، جو بہت کم ضمانت فراہم کرتے ہیں۔ سنگلریٹی پروجیکٹ نے سی #میں آپریٹنگ سسٹم لکھنے کا نقطہ نظر اختیار کیا، جو ایک قسم سے محفوظ، میموری سے محفوظ زبان ہے۔ اس نقطہ نظر کی ایک کمزوری یہ ہے کہ آپریٹنگ سسٹم کو لازمی طور پر نچلے درجے کے کوڈ کو کال کرنے کی ضرورت ہے، مثال کے طور پر، اسٹیک پوائنٹر کو منتقل کرنے کے لیے۔ ویو آپریٹنگ سسٹم کو تصدیق شدہ اسمبلی زبان میں تقسیم کرکے اس مسئلے کو حل کرتا ہے جس کے لیے نچلی سطح اور باقی آپریٹنگ سسٹم کے لیے ایک قابل اعتماد انٹرفیس ہونا ضروری ہے، جو سی #میں لکھا ہوا ہے۔ ایک قابل اعتماد وضاحت ہے جو اس بات کی ضمانت دیتی ہے کہ نچلی سطح کا اسمبلی کوڈ ڈھیر میں ترمیم نہیں کرتا ہے اور یہ کہ اعلی سطح کا سی #کوڈ اسٹیکس میں ترمیم نہیں کرتا ہے۔ ویو ایک چھوٹے سے نیوکلئس پر مشتمل ہوتا ہے، جو کم سے کم ہارڈ ویئر تجریدی پرت کے طور پر کام کرتا ہے، اور ایک دانا، جو ایپلی کیشنز کے لیے زیادہ روایتی انٹرفیس کو بے نقاب کرنے کے لیے نیوکلئس کے فراہم کردہ پرائمیٹوز کا استعمال کرتا ہے۔ نیوکلئس کے علاوہ نظام کے تمام اجزاء منظم کوڈ سی #میں لکھے جاتے ہیں اور بارٹوک (اصل میں سنگلریٹی پروجیکٹ کے لیے تیار کردہ) کے ذریعے ٹائپ شدہ اسمبلی زبان (ٹی اے ایل) میں مرتب کیے جاتے ہیں، جس کی تصدیق ٹی اے ایل چیکر کے ذریعے کی جاتی ہے۔ نیوکلئس ایک میموری الاکیٹر اور کچرا جمع کرنے، اسٹیک سوئچنگ کے لیے سپورٹ، اور انٹرپٹ ہینڈلرز کا انتظام لاگو کرتا ہے۔ یہ بوگی پی ایل میں لکھا گیا ہے، جو ایم ایس آر کے بوگی تصدیق کنندہ کے لیے ان پٹ کے طور پر کام کرتا ہے، جو زیڈ 3 تھیوریم پروور تسلی بخش ماڈیولو تھیوریز (ایس ایم ٹی) خودکار تھیوریم پروور (حل کنندہ) کا استعمال کرتے ہوئے نیوکلئس کو درست ثابت کرتا ہے۔ نیوکلئس دھاگوں کو نافذ کرنے، شیڈولنگ، مطابقت پذیری، اور زیادہ تر انٹرپٹ ہینڈلرز فراہم کرنے کے لیے دانا پر انحصار کرتا ہے۔ اگرچہ دانا باضابطہ طور پر تصدیق شدہ نہیں ہے، لہذا، مثال کے طور پر، شیڈولنگ میں ایک بگ سسٹم کو ہینگ کرنے کا سبب بن سکتا ہے، یہ ٹائپ یا میموری سیفٹی کی خلاف ورزی نہیں کر سکتا، اور اس طرح براہ راست غیر متعین رویے کا سبب نہیں بن سکتا۔ اگر یہ نیوکلئس کو غلط درخواستیں کرنے کی کوشش کرتا ہے، تو رسمی تصدیق اس بات کی ضمانت دیتی ہے کہ نیوکلئس صورتحال کو کنٹرول طریقے سے سنبھالتا ہے۔ ویو کا قابل اعتماد کمپیوٹنگ بیس (ٹی سی بی) ان تک محدود ہے: نیوکلئس کی درستگی کی تصدیق کے لیے بوگی/زیڈ 3 ؛ اسے ایکس 86 اسمبلی میں ترجمہ کرنے کے لیے بوگی اے ایس ایم ؛ نیوکلئس کو کس طرح برتاؤ کرنا چاہیے اس کی بوگی پی ایل تفصیلات ؛ ٹی اے ایل تصدیق کنندہ ؛ اسمبلر اور لنکر ؛ اور بوٹ لوڈر۔ خاص طور پر، نہ تو سی #مرتب/رن ٹائم اور نہ ہی بارٹوک مرتب ٹی سی بی کا حصہ ہیں۔ آخری ہدایت کے لیے محفوظ حوالہ جات: ٹائپ سیف آپریٹنگ سسٹم کی خودکار تصدیق، جین یانگ اور کرس ہوبلٹزل۔ پروگرامنگ لینگویج ڈیزائن اینڈ امپلیمینٹیشن، 2010 سیف ٹو دی لاسٹ انسٹرکشن: ٹائپ سیف آپریٹنگ سسٹم کی خودکار تصدیق، جین یانگ اور کرس ہوبلٹزل۔ سی اے سی ایم ریسرچ نمایاں کریں۔ اے سی ایم کے مواصلات، ستمبر 2010۔ تکنیکی نقطہ نظر: سب سے پہلے حفاظت! ویو: ایک قسم کا محفوظ آپریٹنگ سسٹم۔ کرس ہوبلٹزل کے ساتھ انٹرویو۔ ویو: ایک قسم کا محفوظ آپریٹنگ سسٹم۔ او ایس نیوز۔ ویو کا اعلان-ایک ٹائپ سیف آپریٹنگ سسٹم۔ InfoQ. مائیکروسافٹ آپریٹنگ سسٹم مائیکروسافٹ ریسرچ مائیکرو کرنل پر مبنی آپریٹنگ سسٹم مائیکرو کرنلز نینو کرنلز