Лоиҳае, ки микро ядрои кушодаи seL4-ро таҳия мекунад, ҷоизаи системаи нармафзори ACM-ро гирифт, ки ҳамасола аз ҷониби Ассотсиатсияи мошинҳои ҳисоббарор (ACM), бонуфузтарин созмони байналмилалӣ дар соҳаи системаҳои компютерӣ сарфароз мегардад. Ҷоиза барои дастовардҳо дар соҳаи исботи риёзии эътимоднокии амалиёт дода мешавад, ки мутобиқати пурраи мушаххасоти дар забони расмӣ зикршударо нишон медиҳад ва омодагии истифодаро дар барномаҳои муҳими миссия эътироф мекунад. Лоиҳаи seL4 нишон дод, ки на танҳо ба таври расмӣ эътимоднокӣ ва бехатарии тарҳҳои системаи амалиётии саноатиро пурра тафтиш кардан мумкин аст, балки инчунин бе осебпазирӣ ва гуногунҷабҳа ба ин ноил шудан мумкин аст.
Ҷоизаи системаи нармафзори ACM ҳамасола барои эътирофи рушди системаҳои нармафзор, ки ба соҳа таъсири муайянкунанда, ҷорӣ намудани консепсияҳои нав ё кушодани соҳаҳои нави татбиқи тиҷоратӣ расонидаанд, тақдим карда мешавад. Маблағи ҷоиза 35 ҳазор доллари амрикоиро ташкил медиҳад. Дар солҳои охир, ҷоизаҳои ACM ба лоиҳаҳои GCC ва LLVM ва муассисони онҳо Ричард Сталлман ва Крис Латнер дода шуданд. Ҷоиза инчунин чунин лоиҳаҳо ва технологияҳоро ба мисли UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB ва Eclipse эътироф кард. .
Меъмории microkernel seL4 барои интиқоли қисмҳо барои идоракунии захираҳои ядро ба фазои корбар ва истифодаи ҳамон абзорҳои идоракунии дастрасӣ барои чунин захираҳо ба монанди захираҳои корбар намоён аст. Микроядро абстраксияҳои сатҳи баландро барои идоракунии файлҳо, равандҳо, пайвастҳои шабакавӣ ва монанди инҳо таъмин намекунад; ба ҷои он, он танҳо механизмҳои ҳадди ақали назорати дастрасӣ ба фазои суроғаҳои физикӣ, халалҳо ва захираҳои протсессорро таъмин мекунад. Абстраксияҳои сатҳи баланд ва драйверҳо барои ҳамкорӣ бо сахтафзор дар болои микроядро дар шакли вазифаҳои сатҳи корбар алоҳида амалӣ карда мешаванд. Дастрасии чунин вазифаҳо ба захираҳои дастраси микроядро тавассути муайян кардани қоидаҳо ташкил карда мешавад.
Манбаъ: opennet.ru