திறந்த seL4 மைக்ரோகர்னலை உருவாக்கும் திட்டமானது ACM மென்பொருள் சிஸ்டம் விருதைப் பெற்றது, இது கணினி அமைப்புகளின் துறையில் மிகவும் அதிகாரம் பெற்ற சர்வதேச அமைப்பான அசோசியேஷன் ஃபார் கம்ப்யூட்டிங் மெஷினரி (ACM) மூலம் ஆண்டுதோறும் வழங்கப்படும். செயல்பாட்டின் நம்பகத்தன்மைக்கான கணித ஆதாரம் துறையில் சாதனைகளுக்காக இந்த பரிசு வழங்கப்படுகிறது, இது முறையான மொழியில் குறிப்பிடப்பட்ட விவரக்குறிப்புகளுடன் முழு இணக்கத்தை நிரூபிக்கிறது மற்றும் பணி-முக்கியமான பயன்பாடுகளில் பயன்படுத்த தயாராக இருப்பதை அங்கீகரிக்கிறது. தொழில்துறை இயக்க முறைமை-நிலை வடிவமைப்புகளுக்கான நம்பகத்தன்மை மற்றும் பாதுகாப்பை முறையாகச் சரிபார்ப்பது மட்டுமல்லாமல், செயல்திறன் மற்றும் பன்முகத்தன்மையை சமரசம் செய்யாமல் இதை அடைய முடியும் என்பதை seL4 திட்டம் காட்டுகிறது.
ACM மென்பொருள் அமைப்பு விருது, தொழில்துறையில் வரையறுக்கும் தாக்கத்தை ஏற்படுத்திய மென்பொருள் அமைப்புகளின் வளர்ச்சியை அங்கீகரிப்பதற்காக ஆண்டுதோறும் வழங்கப்படுகிறது, புதிய கருத்துகளை அறிமுகப்படுத்துகிறது அல்லது வணிக பயன்பாட்டின் புதிய பகுதிகளைத் திறக்கிறது. விருது தொகை 35 ஆயிரம் அமெரிக்க டாலர்கள். கடந்த ஆண்டுகளில், ACM விருதுகள் GCC மற்றும் LLVM திட்டங்களுக்கும், அவற்றின் நிறுவனர்களான 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 மற்றும் Eclipsely போன்ற தொழில்நுட்பங்களையும் அங்கீகரித்துள்ளது. .
seL4 மைக்ரோகர்னல் கட்டமைப்பானது, கர்னல் வளங்களை பயனர் இடத்திற்குள் நிர்வகிப்பதற்கான பகுதிகளை நகர்த்துவதற்கும், பயனர் வளங்களைப் போன்ற ஆதாரங்களுக்கான அணுகல் கட்டுப்பாட்டு கருவிகளைப் பயன்படுத்துவதற்கும் குறிப்பிடத்தக்கது. மைக்ரோகெர்னல் கோப்புகள், செயல்முறைகள், பிணைய இணைப்புகள் மற்றும் பலவற்றை நிர்வகிப்பதற்கான ஆயத்த உயர்-நிலை சுருக்கங்களை வழங்காது; மாறாக, இது இயற்பியல் முகவரி இடம், குறுக்கீடுகள் மற்றும் செயலி ஆதாரங்களுக்கான அணுகலைக் கட்டுப்படுத்துவதற்கான குறைந்தபட்ச வழிமுறைகளை மட்டுமே வழங்குகிறது. வன்பொருளுடன் தொடர்புகொள்வதற்கான உயர்-நிலை சுருக்கங்கள் மற்றும் இயக்கிகள் பயனர்-நிலை பணிகளின் வடிவத்தில் மைக்ரோகெர்னலின் மேல் தனித்தனியாக செயல்படுத்தப்படுகின்றன. மைக்ரோகெர்னலுக்கு கிடைக்கும் ஆதாரங்களுக்கான அத்தகைய பணிகளை அணுகுவது விதிகளின் வரையறையின் மூலம் ஒழுங்கமைக்கப்படுகிறது.
ஆதாரம்: opennet.ru