د seL4 خلاص مایکروکرنیل پروژې د ACM سافټویر سیسټم جایزه ترلاسه کړې، کلنۍ جایزه چې د کمپیوټري ماشینونو اتحادیې (ACM) لخوا ورکول کیږي، چې د کمپیوټر سیسټمونو په برخه کې ترټولو درناوی نړیوال سازمان دی. دا جایزه د عملیاتو د ریاضیاتی ثبوت په برخه کې د لاسته راوړنو لپاره ورکول کیږي، کوم چې په رسمي ژبه کې ورکړل شوي مشخصاتو سره بشپړ اطاعت په ګوته کوي او د ماموریت مهم غوښتنلیکونو کې د کارولو لپاره چمتووالی پیژني. د seL4 پروژې ښودلې چې دا نه یوازې د صنعتي عملیاتي سیسټمونو په کچه د پروژو لپاره په بشپړ ډول د اعتبار او امنیت تصدیق کول ممکن دي ، بلکه د فعالیت او استقامت قرباني کولو پرته دا ترلاسه کول هم امکان لري.
د ACM سافټویر سیسټم جایزه هر کال وړاندې کیږي ترڅو د سافټویر سیسټمونو پراختیا وپیژني چې په صنعت کې یې مشخص اغیزه درلوده، نوي مفکورې معرفي کول یا د نوي سوداګریزو غوښتنلیکونو پرانیستل. د جایزې اندازه ۳۵ زره امریکایي ډالره ده. په تیرو کلونو کې، د ACM جایزې د GCC او LLVM پروژو ته ورکړل شوي، او د دوی بنسټ ایښودونکي ریچارډ سټالمن او کریس لاټینر. دا جایزه د UNIX، Java، Apache، Mosaic، WWW، Smalltalk، PostScript، TeX، Tcl/Tk، RPC، Make، DNS، AFS، Eiffel، VMware، Wireshark، Jupyter Notebooks، Berkeley DB او Ec په څیر پروژو او ټیکنالوژیو ته هم ورکړل شوې.
د مایکروکرنل seL4 جوړښت د کارونکي ځای کې د کرنل سرچینو اداره کولو لپاره د برخو لرې کولو او د ورته سرچینو لپاره د لاسرسي کنټرول ورته وسیلو پلي کولو لپاره د کارونکي سرچینو لپاره د پام وړ دی. مایکروکرنل د فایلونو ، پروسو ، شبکې اتصالاتو او ورته نورو اداره کولو لپاره د بکس څخه بهر د لوړې کچې خلاصون نه وړاندې کوي ، پرځای یې دا د فزیکي پتې ځای ، مداخلو او پروسیسر سرچینو ته د لاسرسي کنټرول لپاره یوازې لږترلږه میکانیزمونه چمتو کوي. د هارډویر سره د تعامل لپاره د لوړې کچې خلاصون او ډرایورونه د کارونکي کچې دندو په شکل کې د مایکروکرنل په سر کې په جلا توګه پلي کیږي. مایکروکرنل ته موجود سرچینو ته د دې ډول دندو لاسرسی د قواعدو تعریف له لارې تنظیم شوی.
سرچینه: opennet.ru