اوپن seL4 مائیکرو کرنل تیار کرنے والے پروجیکٹ کو ACM سافٹ ویئر سسٹم ایوارڈ ملا، جو کمپیوٹر سسٹمز کے شعبے میں سب سے مستند بین الاقوامی تنظیم، ایسوسی ایشن فار کمپیوٹنگ مشینری (ACM) کے ذریعے سالانہ دیا جاتا ہے۔ یہ انعام آپریشن کی وشوسنییتا کے ریاضیاتی ثبوت کے میدان میں کامیابیوں کے لیے دیا جاتا ہے، جو رسمی زبان میں بیان کردہ تصریحات کی مکمل تعمیل کو ظاہر کرتا ہے اور مشن کے لیے اہم ایپلی کیشنز میں استعمال کے لیے تیاری کو تسلیم کرتا ہے۔ seL4 پروجیکٹ نے ظاہر کیا ہے کہ صنعتی آپریٹنگ سسٹم کی سطح کے ڈیزائن کے لیے نہ صرف باضابطہ طور پر بھروسہ اور تحفظ کی تصدیق کرنا ممکن ہے، بلکہ کارکردگی اور استعداد پر سمجھوتہ کیے بغیر اسے حاصل کرنا بھی ممکن ہے۔
ACM سافٹ ویئر سسٹم ایوارڈ ہر سال سافٹ ویئر سسٹمز کی ترقی کو تسلیم کرنے کے لیے پیش کیا جاتا ہے جس کا صنعت پر واضح اثر پڑا ہے، نئے تصورات متعارف کرائے گئے ہیں یا تجارتی اطلاق کے نئے شعبے کھول رہے ہیں۔ ایوارڈ کی رقم 35 ہزار امریکی ڈالر ہے۔ گزشتہ سالوں میں، ACM ایوارڈز GCC اور LLVM پروجیکٹس، اور ان کے بانی رچرڈ اسٹال مین اور کرس لیٹنر کو دیے گئے ہیں۔ ایوارڈ میں UNIX، Java، Apache، Mosaic، WWW، Smalltalk، PostScript، TeX، Tcl/Tk، RPC، Make، DNS، AFS، Eiffel، VMware، Wireshark، Jupyter Notebooks، Berkeley DB اور Eclipse جیسے منصوبوں اور ٹیکنالوجیز کو بھی تسلیم کیا گیا۔ .
seL4 مائیکرو کرنل فن تعمیر کرنل کے وسائل کو صارف کی جگہ میں منظم کرنے کے لیے حصوں کو منتقل کرنے اور اس طرح کے وسائل جیسے صارف کے وسائل کے لیے وہی رسائی کنٹرول ٹولز استعمال کرنے کے لیے قابل ذکر ہے۔ مائیکرو کرنل فائلوں، عملوں، نیٹ ورک کنکشنز، اور اس طرح کے انتظام کے لیے تیار شدہ اعلیٰ سطحی تجریدات فراہم نہیں کرتا؛ اس کے بجائے، یہ فزیکل ایڈریس اسپیس، انٹرپٹس، اور پروسیسر وسائل تک رسائی کو کنٹرول کرنے کے لیے صرف کم سے کم میکانزم فراہم کرتا ہے۔ ہارڈ ویئر کے ساتھ تعامل کے لیے اعلیٰ سطحی تجریدات اور ڈرائیورز کو صارف کی سطح کے کاموں کی شکل میں مائیکرو کرنل کے اوپر الگ سے لاگو کیا جاتا ہے۔ مائیکرو کرنل کو دستیاب وسائل تک اس طرح کے کاموں تک رسائی کو قواعد کی تعریف کے ذریعے منظم کیا جاتا ہے۔
ماخذ: opennet.ru