Iyo seL4 yakavhurika microkernel purojekiti yakagamuchira iyo ACM Software System Award, mubairo wepagore wakapihwa neAssociation for Computing Machinery (ACM), iro rinoremekedzwa kwazvo sangano repasi rose mumunda wemakomputa masisitimu. Mubairo uyu unopihwa kune zvakabudirira mundima yehumbowo hwemasvomhu hwekushanda, uhwo hunoratidza kutevedzera kuzere nezvinotsanangurwa zvakapihwa mumutauro wepamutemo uye unoziva kugadzirira kushandiswa mumisheni-yakakosha maapplication. Iyo seL4 purojekiti yakaratidza kuti hazvigoneke chete kunyatso ratidza kuvimbika uye kuchengetedzeka kwemapurojekiti padanho remaindasitiri anoshanda masisitimu, asiwo kuita izvi pasina kupira kuita uye kuita zvakasiyana.
Iyo ACM Software System Mubairo unounzwa gore rega kuti ucherechedze kuvandudzwa kwemasoftware masisitimu anga aine mhedzisiro paindasitiri, kuunza pfungwa nyowani kana kuvhura maapplication matsva ekutengesa. Huwandu hwemubairo uyu 35 zviuru zvemadhora ekuUS. Mumakore adarika, mibairo yeACM yakapihwa kumapurojekiti eGCC neLLVM, nevavambi vawo Richard Stallman naChris Latner. Mamwe mapurojekiti uye matekinoroji akapihwa zvakare UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB uye eclipse. .
Kuvakwa kweiyo seL4 microkernel kwakakosha pakubviswa kwezvikamu zvekugadzirisa kernel zviwanikwa munzvimbo yevashandisi uye nekushandisa nzira dzakafanana dzekuwana kutonga kwezviwanikwa zvakadai sezviwanikwa zvemushandisi. Iyo microkernel haipe kunze-kwe-iyo-yebhokisi-yepamusoro-nhanho yekudzora mafaera, maitirwo, network yekubatanidza, nezvimwe, panzvimbo pezvo inopa shoma nzira dzekudzora kuwana kune kero kero nzvimbo, kukanganisa, uye processor zviwanikwa. High-level abstractions uye madhiraivha ekudyidzana nehardware anoitwa zvakasiyana pamusoro peiyo microkernel muchimiro chemushandisi-chikamu mabasa. Kuwanikwa kwemabasa akadaro kune zviwanikwa zvinowanikwa kune microkernel zvakarongwa kuburikidza nekutsanangurwa kwemitemo.
Source: opennet.ru