seL4 പ്രോജക്റ്റ് ACM സോഫ്റ്റ്‌വെയർ സിസ്റ്റം അവാർഡ് നേടി

seL4 ഓപ്പൺ മൈക്രോകേർണൽ പ്രോജക്റ്റിന് ACM സോഫ്റ്റ്‌വെയർ സിസ്റ്റം അവാർഡ് ലഭിച്ചു, ഇത് കമ്പ്യൂട്ടർ സിസ്റ്റം മേഖലയിലെ ഏറ്റവും ആദരണീയമായ അന്താരാഷ്ട്ര സംഘടനയായ അസോസിയേഷൻ ഫോർ കമ്പ്യൂട്ടിംഗ് മെഷിനറി (ACM) നൽകുന്ന വാർഷിക അവാർഡാണ്. ഒരു ഔപചാരിക ഭാഷയിൽ നൽകിയിരിക്കുന്ന സ്പെസിഫിക്കേഷനുകൾ പൂർണ്ണമായി പാലിക്കുന്നതിനെ സൂചിപ്പിക്കുന്നു, മിഷൻ-ക്രിട്ടിക്കൽ ആപ്ലിക്കേഷനുകളിൽ ഉപയോഗിക്കാനുള്ള സന്നദ്ധത അംഗീകരിക്കുന്ന പ്രവർത്തനത്തിന്റെ ഗണിതശാസ്ത്ര തെളിവ് മേഖലയിലെ നേട്ടങ്ങൾക്കാണ് അവാർഡ് നൽകുന്നത്. വ്യാവസായിക ഓപ്പറേറ്റിംഗ് സിസ്റ്റങ്ങളുടെ തലത്തിൽ പ്രോജക്റ്റുകളുടെ വിശ്വാസ്യതയും സുരക്ഷയും ഔപചാരികമായി പൂർണ്ണമായി പരിശോധിക്കാൻ മാത്രമല്ല, പ്രകടനവും വൈദഗ്ധ്യവും നഷ്ടപ്പെടുത്താതെ ഇത് നേടാനും കഴിയുമെന്ന് seL4 പ്രോജക്റ്റ് തെളിയിച്ചിട്ടുണ്ട്.

വ്യവസായത്തിൽ നിർണായക സ്വാധീനം ചെലുത്തുന്ന, പുതിയ ആശയങ്ങൾ അവതരിപ്പിക്കുന്നതിനോ പുതിയ വാണിജ്യ ആപ്ലിക്കേഷനുകൾ തുറക്കുന്നതിനോ ഉള്ള സോഫ്റ്റ്‌വെയർ സിസ്റ്റങ്ങളുടെ വികസനം തിരിച്ചറിയുന്നതിനായി ACM സോഫ്റ്റ്‌വെയർ സിസ്റ്റം അവാർഡ് വർഷം തോറും നൽകപ്പെടുന്നു. 35 യുഎസ് ഡോളറാണ് അവാർഡ് തുക. കഴിഞ്ഞ വർഷങ്ങളിൽ, GCC, LLVM പ്രോജക്ടുകൾക്കും അവയുടെ സ്ഥാപകരായ റിച്ചാർഡ് സ്റ്റാൾമാൻ, ക്രിസ് ലാറ്റ്നർ എന്നിവർക്കും ACM അവാർഡുകൾ നൽകിയിട്ടുണ്ട്. UNIX, Java, Apache, Mosaic, WWW, Smalltalk, PostScript, TeX, Tcl/Tk, RPC, Make, DNS, AFS, Eiffel, VMware, Wireshark, Jupyter Notebooks, Berkeley DB, eclipseley എന്നിവയും അവാർഡ് ലഭിച്ച മറ്റ് പ്രോജക്ടുകളും സാങ്കേതിക വിദ്യകളും ആയിരുന്നു. .

ഉപയോക്തൃ സ്ഥലത്ത് കേർണൽ ഉറവിടങ്ങൾ കൈകാര്യം ചെയ്യുന്നതിനുള്ള ഭാഗങ്ങൾ നീക്കം ചെയ്യുന്നതിനും ഉപയോക്തൃ ഉറവിടങ്ങൾക്കുള്ള അതേ ആക്സസ് നിയന്ത്രണ മാർഗ്ഗങ്ങൾ പ്രയോഗിക്കുന്നതിനും മൈക്രോകെർണൽ seL4 ന്റെ ആർക്കിടെക്ചർ ശ്രദ്ധേയമാണ്. മൈക്രോകെർണൽ ഫയലുകൾ, പ്രോസസ്സുകൾ, നെറ്റ്‌വർക്ക് കണക്ഷനുകൾ എന്നിവയും മറ്റും കൈകാര്യം ചെയ്യുന്നതിനുള്ള ഉയർന്ന തലത്തിലുള്ള സംഗ്രഹങ്ങൾ നൽകുന്നില്ല, പകരം ഫിസിക്കൽ അഡ്രസ് സ്‌പേസ്, ഇന്ററപ്റ്റുകൾ, പ്രോസസർ റിസോഴ്‌സുകൾ എന്നിവയിലേക്കുള്ള ആക്‌സസ് നിയന്ത്രിക്കുന്നതിനുള്ള ഏറ്റവും കുറഞ്ഞ സംവിധാനങ്ങൾ മാത്രമാണ് ഇത് നൽകുന്നത്. ഹാർഡ്‌വെയറുമായി സംവദിക്കുന്നതിനുള്ള ഹൈ-ലെവൽ അബ്‌സ്‌ട്രാക്ഷനുകളും ഡ്രൈവറുകളും ഉപയോക്തൃ-തല ടാസ്‌ക്കുകളുടെ രൂപത്തിൽ മൈക്രോകെർണലിന്റെ മുകളിൽ പ്രത്യേകം നടപ്പിലാക്കുന്നു. മൈക്രോകെർണലിന് ലഭ്യമായ ഉറവിടങ്ങളിലേക്കുള്ള അത്തരം ടാസ്ക്കുകളുടെ പ്രവേശനം നിയമങ്ങളുടെ നിർവചനത്തിലൂടെ ക്രമീകരിച്ചിരിക്കുന്നു.

അവലംബം: opennet.ru