Ise agbese ti n ṣe idagbasoke microkernel seL4 ti o ṣii gba Aami Eye Eto Software ACM, ti a funni ni ọdọọdun nipasẹ Association for Machinery Computing (ACM), agbari kariaye ti o ni aṣẹ julọ ni aaye awọn eto kọnputa. Ẹbun naa ni a fun ni fun awọn aṣeyọri ni aaye ti ẹri mathematiki ti igbẹkẹle iṣiṣẹ, eyiti o ṣe afihan ibamu ni kikun pẹlu awọn pato ti a sọ pato ni ede deede ati ṣe idanimọ imurasilẹ fun lilo ninu awọn ohun elo pataki-ipinfunni. Ise agbese seL4 ti fihan pe kii ṣe ṣee ṣe nikan lati rii daju igbẹkẹle ni kikun ati aabo fun awọn apẹrẹ ipele-iṣẹ ẹrọ ile-iṣẹ, ṣugbọn lati ṣaṣeyọri eyi laisi ibajẹ iṣẹ ati isọpọ.
Aami Eye Eto Software ACM ni a gbekalẹ ni ọdọọdun lati ṣe idanimọ idagbasoke awọn eto sọfitiwia ti o ti ni ipa asọye lori ile-iṣẹ naa, ṣafihan awọn imọran tuntun tabi ṣiṣi awọn agbegbe tuntun ti ohun elo iṣowo. Iye ẹbun naa jẹ 35 ẹgbẹrun US dọla. Ni awọn ọdun to kọja, awọn ẹbun ACM ti ni ẹbun si awọn iṣẹ akanṣe GCC ati LLVM, ati awọn oludasilẹ wọn Richard Stallman ati Chris Latner. Ẹbun naa tun mọ iru awọn iṣẹ akanṣe ati imọ-ẹrọ bii UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Awọn iwe akiyesi Jupyter, Berkeley DB ati oṣupa. .
Awọn faaji ti seL4 microkernel jẹ ohun akiyesi fun gbigbe awọn ẹya fun ṣiṣakoso awọn orisun ekuro sinu aaye olumulo ati lilo awọn irinṣẹ iṣakoso iwọle kanna fun iru awọn orisun bii fun awọn orisun olumulo. Microkernel ko pese awọn abstractions ipele ti o ti ṣetan fun ṣiṣakoso awọn faili, awọn ilana, awọn asopọ nẹtiwọọki, ati bii dipo, o pese awọn ọna ṣiṣe to kere julọ fun iṣakoso iraye si aaye adirẹsi ti ara, awọn idilọwọ, ati awọn orisun ero isise. Awọn abstractions ipele giga ati awọn awakọ fun ibaraenisepo pẹlu ohun elo jẹ imuse lọtọ lori oke microkernel ni irisi awọn iṣẹ-ṣiṣe ipele olumulo. Wiwọle ti iru awọn iṣẹ-ṣiṣe si awọn orisun ti o wa si microkernel ti ṣeto nipasẹ itumọ awọn ofin.
orisun: opennet.ru
