Derbyniodd y prosiect sy'n datblygu'r microkernel seL4 agored Wobr System Meddalwedd ACM, a ddyfernir yn flynyddol gan y Gymdeithas Peiriannau Cyfrifiadura (ACM), y sefydliad rhyngwladol mwyaf awdurdodol ym maes systemau cyfrifiadurol. Dyfernir y wobr am gyflawniadau ym maes prawf mathemategol o ddibynadwyedd gweithrediad, sy'n dangos cydymffurfiaeth lawn Γ’ manylebau a nodir mewn iaith ffurfiol ac sy'n cydnabod parodrwydd i'w defnyddio mewn cymwysiadau sy'n hanfodol i genhadaeth. Mae'r prosiect seL4 wedi dangos ei bod hi'n bosibl nid yn unig i ddilysu'n llawn ddibynadwyedd a diogelwch ar gyfer dyluniadau lefel system gweithredu diwydiannol, ond hefyd i gyflawni hyn heb gyfaddawdu perfformiad ac amlbwrpasedd.
Cyflwynir Gwobr System Meddalwedd ACM yn flynyddol i gydnabod datblygiad systemau meddalwedd sydd wedi cael effaith ddiffiniol ar y diwydiant, gan gyflwyno cysyniadau newydd neu agor meysydd newydd o gymhwysiad masnachol. Swm y dyfarniad yw 35 mil o ddoleri'r UD. Yn y blynyddoedd diwethaf, mae gwobrau ACM wedi'u dyfarnu i brosiectau GCC a LLVM, a'u sylfaenwyr Richard Stallman a Chris Latner. Roedd y wobr hefyd yn cydnabod prosiectau a thechnolegau fel UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl / Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ac Eclipse .
Mae pensaernΓ―aeth y microkernel seL4 yn nodedig am symud rhannau ar gyfer rheoli adnoddau cnewyllyn i ofod defnyddwyr a defnyddio'r un offer rheoli mynediad ar gyfer adnoddau o'r fath ag ar gyfer adnoddau defnyddwyr. Nid yw'r microcnewyllyn yn darparu tyniadau lefel uchel parod ar gyfer rheoli ffeiliau, prosesau, cysylltiadau rhwydwaith, ac ati; yn lle hynny, dim ond ychydig iawn o fecanweithiau y mae'n eu darparu ar gyfer rheoli mynediad i ofod cyfeiriad ffisegol, ymyriadau ac adnoddau prosesydd. Mae tyniadau lefel uchel a gyrwyr ar gyfer rhyngweithio Γ’ chaledwedd yn cael eu gweithredu ar wahΓ’n ar ben y microkernel ar ffurf tasgau lefel defnyddiwr. Trefnir mynediad tasgau o'r fath i'r adnoddau sydd ar gael i'r microkernel trwy ddiffiniad rheolau.
Ffynhonnell: opennet.ru