විවෘත seL4 මයික්‍රොකර්නලය සංවර්ධනය කිරීමේ ව්‍යාපෘතියට පරිගණක පද්ධති ක්ෂේත්‍රයේ වඩාත්ම බලධාරී ජාත්‍යන්තර සංවිධානය වන පරිගණක යන්ත්‍ර සඳහා සංගමය (ACM) විසින් වාර්ෂිකව පිරිනමන ACM මෘදුකාංග පද්ධති සම්මානය හිමි විය. ත්‍යාගය පිරිනමනු ලබන්නේ ක්‍රියාකාරීත්වයේ විශ්වසනීයත්වය පිළිබඳ ගණිතමය සාක්ෂි ක්ෂේත්‍රයේ ජයග්‍රහණ සඳහා වන අතර, එය විධිමත් භාෂාවකින් නිශ්චිතව දක්වා ඇති පිරිවිතරයන්ට පූර්ණ අනුකූලතාවයක් පෙන්නුම් කරන අතර මෙහෙවර-විවේචනාත්මක යෙදුම්වල භාවිතය සඳහා ඇති සූදානම හඳුනා ගනී. seL4 ව්‍යාපෘතිය පෙන්වා දී ඇත්තේ කාර්මික මෙහෙයුම් පද්ධති මට්ටමේ සැලසුම් සඳහා විශ්වසනීයත්වය සහ ආරක්‍ෂාව සම්පුර්ණයෙන්ම විධිමත් ලෙස තහවුරු කිරීමට පමණක් නොව, කාර්ය සාධනය සහ බහුකාර්යතාවට හානියක් නොවන පරිදි මෙය සාක්ෂාත් කර ගත හැකි බවයි.
ACM මෘදුකාංග පද්ධති සම්මානය වාර්ෂිකව පිරිනමනු ලබන්නේ කර්මාන්තයට නිර්වචනාත්මක බලපෑමක් ඇති කර ඇති මෘදුකාංග පද්ධති සංවර්ධනය කිරීම, නව සංකල්ප හඳුන්වාදීම හෝ වාණිජ යෙදුම්වල නව ක්ෂේත්‍ර විවෘත කිරීම හඳුනා ගැනීම සඳහා ය. සම්මානයේ මුදල ඇමරිකානු ඩොලර් 35 කි. පසුගිය වසරවලදී, GCC සහ LLVM ව්‍යාපෘති සඳහා ACM සම්මාන ප්‍රදානය කර ඇති අතර ඒවායේ නිර්මාතෘවරුන් වන Richard Stallman සහ Chris Latner. මෙම සම්මානය UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB සහ Eclipse වැනි ව්‍යාපෘති සහ තාක්ෂණයන් ද පිළිගෙන ඇත. .
seL4 මයික්‍රොකර්නල් ගෘහ නිර්මාණ ශිල්පය, කර්නල් සම්පත් පරිශීලක අවකාශයට කළමනාකරණය කිරීම සඳහා කොටස් ගෙනයාම සහ පරිශීලක සම්පත් සඳහා වන සම්පත් සඳහා ප්‍රවේශ පාලන මෙවලම්ම භාවිතා කිරීම කැපී පෙනේ. මයික්‍රොකර්නලය ගොනු, ක්‍රියාවලි, ජාල සම්බන්ධතා සහ ඒ හා සමාන කළමනාකරණය සඳහා සූදානම් කළ ඉහළ මට්ටමේ සාරාංශ ලබා නොදේ; ඒ වෙනුවට, එය භෞතික ලිපින අවකාශය, බාධා කිරීම් සහ ප්‍රොසෙසර සම්පත් වෙත ප්‍රවේශය පාලනය කිරීම සඳහා අවම යාන්ත්‍රණ පමණක් සපයයි. දෘඩාංග සමඟ අන්තර්ක්‍රියා කිරීම සඳහා ඉහළ මට්ටමේ වියුක්ත කිරීම් සහ ධාවක පරිශීලක මට්ටමේ කාර්යයන් ආකාරයෙන් මයික්‍රොකර්නලය මත වෙන වෙනම ක්‍රියාත්මක වේ. ක්ෂුද්‍ර කර්නලයට ඇති සම්පත් වෙත එවැනි කාර්යයන් සඳහා ප්‍රවේශය නීති නිර්වචනය හරහා සංවිධානය කර ඇත.
මූලාශ්රය: opennet.ru