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. .
microkernel seL4 جو فن تعمير قابل ذڪر آهي حصن کي ختم ڪرڻ لاءِ ڪنيل وسيلن کي صارف جي اسپيس ۾ منظم ڪرڻ لاءِ ۽ ساڳئي وسيلن جي رسائي ڪنٽرول کي لاڳو ڪرڻ لاءِ جيئن ته صارف وسيلن لاءِ. microkernel فائلن، پروسيس، نيٽ ورڪ ڪنيڪشن، ۽ جهڙوڪ کي منظم ڪرڻ لاء اعلي سطحي خلاصيون مهيا نه ڪندو آهي، ان جي بدران اهو صرف فزيڪل ايڊريس اسپيس، مداخلت، ۽ پروسيسر وسيلن تائين رسائي کي ڪنٽرول ڪرڻ لاء صرف گهٽ ميڪانيزم مهيا ڪري ٿو. هارڊويئر سان لهه وچڙ لاءِ اعليٰ سطح جا تجزيا ۽ ڊرائيور الڳ الڳ لاڳو ڪيا ويا آهن مائڪرو ڪنيل جي مٿان صارف جي سطح جي ڪمن جي صورت ۾. اهڙن ڪمن جي رسائي مائڪڪررنل وٽ موجود وسيلن تائين ضابطن جي تعريف ذريعي ترتيب ڏنل آهي.
جو ذريعو: opennet.ru