Separation kernel
علیحدگی کا دانا ایک قسم کا حفاظتی دانا ہے جو تقسیم شدہ ماحول کی تقلید کے لیے استعمال ہوتا ہے۔ یہ تصور جان رشبی نے 1981 کے ایک مقالے میں پیش کیا تھا۔ رشبی نے علیحدگی کے دانے کو ان مشکلات اور مسائل کے حل کے طور پر تجویز کیا جو بڑے، پیچیدہ حفاظتی دانے کی ترقی اور تصدیق میں پیدا ہوئے تھے جن کا مقصد "عام مقصد کے کثیر صارف کے نظام پر کثیر سطحی محفوظ آپریشن فراہم کرنا" تھا۔ رشبی کے مطابق، "علیحدگی دانا کا کام ایک ایسا ماحول پیدا کرنا ہے جو جسمانی طور پر تقسیم شدہ نظام کے ذریعہ فراہم کردہ ماحول سے الگ نہیں ہے: اسے ایسا ظاہر ہونا چاہیے جیسے ہر نظام ایک علیحدہ، الگ تھلگ مشین ہے اور یہ معلومات صرف ایک مشین سے دوسری مشین میں معروف بیرونی مواصلاتی لائنوں کے ساتھ بہہ سکتی ہے۔ اس لیے علیحدگی کے دانے کی ایک خاصیت جو ہمیں ثابت کرنی چاہیے وہ یہ ہے کہ حکومتوں کے درمیان معلومات کے بہاؤ کے لیے کوئی چینل نہیں ہیں سوائے ان کے جو واضح طور پر فراہم کیے گئے ہیں۔ " علیحدگی کے دانا کی ایک قسم، تقسیم کرنے والے دانا، نے تجارتی ہوا بازی کی برادری میں ایک واحد پروسیسر، متعدد افعال، شاید مخلوط تنقید کے طور پر مستحکم کرنے کے طریقے کے طور پر قبولیت حاصل کی ہے۔ اس صنف میں تجارتی ریئل ٹائم آپریٹنگ سسٹم کی مصنوعات کو ہوائی جہاز کے مینوفیکچررز نے حفاظتی اہم ایوینکس ایپلی کیشنز کے لیے استعمال کیا ہے۔ 2007 میں یو ایس نیشنل سیکیورٹی ایجنسی (این ایس اے) کے انفارمیشن ایشورینس ڈائریکٹوریٹ نے علیحدگی دانا تحفظ پروفائل (ایس کے پی پی) شائع کیا، جو علیحدگی دانے کے لیے حفاظتی ضروریات کی وضاحت ہے جو انتہائی دشمنانہ خطرے والے ماحول میں استعمال ہونے کے لیے موزوں ہے۔ ایس کے پی پی، عام معیار کی بول چال میں، جدید مصنوعات کی ایک کلاس کو بیان کرتا ہے جو رشبی کے تصوراتی علیحدگی کے دانے کی بنیادی خصوصیات فراہم کرتا ہے۔ یہ علیحدگی کے دانے کی تعمیر اور تشخیص کے لیے حفاظتی فعال اور یقین دہانی کی ضروریات کی وضاحت کرتا ہے جبکہ ابھی تک ڈویلپرز کو دستیاب انتخاب میں کچھ عرض البلد فراہم کرتا ہے۔ ایس کے پی پی علیحدگی دانا کی تعریف "ہارڈ ویئر اور/یا فرم ویئر اور/یا سافٹ ویئر میکانزم کے طور پر کرتا ہے جس کا بنیادی کام متعدد پارٹیشنوں کو قائم کرنا، الگ کرنا اور الگ کرنا اور مضامین اور ان پارٹیشنوں کے لیے مختص کردہ برآمد شدہ وسائل کے درمیان معلومات کے بہاؤ کو کنٹرول کرنا ہے۔" مزید برآں، علیحدگی کرنل کی بنیادی فعال ضروریات میں شامل ہیں: غیر مجاز رسائی سے تمام وسائل (بشمول سی پی یو، میموری اور آلات) کا تحفظ۔ ٹارگیٹ آف ایویلیوایشن سیکیورٹی فنکشنز (ٹی ایس ایف) کے ذریعہ استعمال ہونے والے اندرونی وسائل کو مضامین کو دستیاب کردہ برآمد شدہ وسائل سے الگ کرنا۔ برآمد شدہ وسائل کی تقسیم اور علیحدگی۔ تقسیم کے درمیان اور برآمد شدہ وسائل کے درمیان معلومات کی ثالثی کا بہاؤ۔ آڈٹ خدمات۔ علیحدگی کا دانا اپنے زیر انتظام تمام برآمد شدہ وسائل کو تقسیم میں مختص کرتا ہے۔ تقسیم الگ تھلگ ہیں سوائے واضح طور پر اجازت شدہ معلومات کے بہاؤ کے۔ ایک پارٹیشن میں کسی موضوع کے اعمال کو دوسرے پارٹیشن میں مضامین سے الگ کیا جاتا ہے (یعنی، ان کا پتہ نہیں لگایا جا سکتا یا ان سے بات چیت نہیں کی جا سکتی)، جب تک کہ اس بہاؤ کی اجازت نہ دی گئی ہو۔ تقسیم اور بہاؤ کی وضاحت کنفیگریشن ڈیٹا میں کی جاتی ہے۔ نوٹ کریں کہ 'پارٹیشن' اور 'سبجیکٹ' آرتھوگنل تجریدی ہیں۔ 'تقسیم'، جیسا کہ اس کی ریاضیاتی ابتداء سے ظاہر ہوتا ہے، نظام کے اداروں کی ایک سیٹ تھیوریٹک گروپنگ فراہم کرتا ہے، جبکہ 'موضوع' ہمیں نظام کے انفرادی فعال اداروں کے بارے میں استدلال کرنے کی اجازت دیتا ہے۔ اس طرح، ایک پارٹیشن (ایک مجموعہ، جس میں صفر یا اس سے زیادہ عناصر ہوتے ہیں) ایک مضمون (ایک فعال عنصر) نہیں ہے، بلکہ صفر یا اس سے زیادہ مضامین پر مشتمل ہو سکتا ہے۔ علیحدگی کا دانا اپنے میزبان سافٹ ویئر پروگراموں کو اعلی یقین دہانی کی تقسیم اور معلومات کے بہاؤ پر قابو پانے کی خصوصیات فراہم کرتا ہے جو چھیڑ چھاڑ سے محفوظ اور ناقابل تسخیر دونوں ہیں۔ یہ صلاحیتیں مختلف قسم کے سسٹم آرکیٹیکچرز کے لیے ایک قابل اعتماد بنیاد فراہم کرتی ہیں۔ حل پائیک او ایس سیپرشن کرنل ہائپر وائزر ٹیکنالوجی کو سخت ریئل ٹائم صلاحیتوں کے ساتھ جوڑتا ہے۔ گرین ہلز سافٹ ویئر سے انٹیگریٹی-178 بی ستمبر 2008 میں یہ ایس کے پی پی کے خلاف تصدیق شدہ پہلا علیحدگی کرنل بن گیا۔ ونڈ ریور سسٹمز کے پاس علیحدہ کرنل ٹیکنالوجی ہے جو 2009 میں فعال تصدیق کے عمل میں تھی۔ لینکس سافٹ ویئر ٹیکنالوجیز کے پاس ایک علیحدہ کرنل ہے، لینکس سیکیور۔ 2011 میں، انفارمیشن ایشورینس ڈائریکٹوریٹ نے ایس کے پی پی کو غروب کردیا۔ این ایس اے اب مخصوص آپریٹنگ سسٹم کی تصدیق نہیں کرے گا، بشمول ایس کے پی پی کے خلاف علیحدگی کے دانے، یہ نوٹ کرتے ہوئے کہ "اس حفاظتی پروفائل کے مطابق، خود ہی، اتنا اعتماد پیش نہیں کرتا ہے کہ قومی سلامتی کی معلومات کو ایک بڑے نظام کے تناظر میں مناسب طریقے سے محفوظ کیا گیا ہے جس میں مطابقت پذیر پروڈکٹ مربوط ہے"۔ ایس ای ایل 4 مائکرو کرنل کے پاس اس تصور کا باضابطہ ثبوت ہے کہ اسے علیحدگی کرنل کے طور پر ترتیب دیا جا سکتا ہے۔ اس کے ساتھ ساتھ معلومات کے نافذ کردہ تسلسل کا مطلب ہے کہ یہ یقین دہانی کی ایک اعلی سطح کی مثال ہے۔ موین علیحدگی دانا بھی x86 مشینوں کے لیے باضابطہ طور پر تصدیق شدہ اوپن سورس علیحدگی دانا ہے۔ علیحدہ کرنل پر مبنی کمپیوٹر سیکیورٹی فن تعمیر کے لیے ملٹی پل انڈیپینڈنٹ لیولز آف سیکیورٹی دیکھیں۔ کروٹ فری بی ایس ڈی جیل آپریٹنگ سسٹم سطح کے ورچوئلائزیشن حوالہ جات تقسیم شدہ کمپیوٹنگ آپریٹنگ سسٹم کے دانے