seL4 açıq mikrokernel layihəsi kompüter sistemləri sahəsində ən hörmətli beynəlxalq təşkilat olan Hesablama Maşınları Assosiasiyası (ACM) tərəfindən verilən illik mükafat olan ACM Proqram Sistemi Mükafatını aldı. Mükafat əməliyyatın riyazi sübutu sahəsində nailiyyətlərə görə verilir, bu, rəsmi dildə verilən spesifikasiyalara tam uyğunluğu göstərir və kritik missiya tətbiqlərində istifadəyə hazırlığı tanıyır. seL4 layihəsi göstərdi ki, sənaye əməliyyat sistemləri səviyyəsində layihələrin etibarlılığını və təhlükəsizliyini tam rəsmi şəkildə yoxlamaq mümkün deyil, həm də performans və çox yönlülükdən ödün vermədən buna nail olmaq mümkündür.
ACM Proqram Sistemi Mükafatı hər il sənayeyə müəyyən təsir göstərən, yeni konsepsiyalar təqdim edən və ya yeni kommersiya tətbiqləri açan proqram sistemlərinin inkişafını tanımaq üçün təqdim olunur. Mükafatın məbləği 35 min ABŞ dollarıdır. Keçən illərdə ACM mükafatları GCC və LLVM layihələrinə və onların təsisçiləri Richard Stallman və Chris Latnerə verilmişdir. Mükafat həmçinin UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB və Eclipse kimi layihə və texnologiyalara verilib.
seL4 mikrokernelinin arxitekturası istifadəçi məkanında nüvə resurslarını idarə etmək üçün hissələrin çıxarılması və istifadəçi resursları üçün olduğu kimi bu cür resurslar üçün eyni girişə nəzarət vasitələrinin tətbiqi ilə diqqəti çəkir. Mikrokernel faylları, prosesləri, şəbəkə bağlantılarını və bu kimiləri idarə etmək üçün hazır yüksək səviyyəli abstraksiyaları təmin etmir, bunun əvəzinə fiziki ünvan məkanına, kəsilmələrə və prosessor resurslarına girişə nəzarət üçün yalnız minimal mexanizmləri təmin edir. Yüksək səviyyəli abstraksiyalar və hardware ilə qarşılıqlı əlaqə üçün drayverlər istifadəçi səviyyəsində tapşırıqlar şəklində mikro nüvənin üstündə ayrıca həyata keçirilir. Bu cür tapşırıqların mikrokerneldə mövcud olan resurslara çıxışı qaydaların müəyyən edilməsi yolu ilə təşkil edilir.
Mənbə: opennet.ru
