വളരെ വിശ്വസനീയമായ സംവിധാനങ്ങൾ നിർമ്മിക്കുന്നതിനുള്ള ഓപ്പൺ സോഴ്‌സ് മൈക്രോകെർണലായ Muen 1.0-ന്റെ പ്രകാശനം

എട്ട് വർഷത്തെ വികസനത്തിന് ശേഷം, സെപ്പറേഷൻ കേർണൽ വികസിപ്പിച്ചുകൊണ്ട് Muen 1.0 പ്രോജക്റ്റ് പുറത്തിറങ്ങി, അതിന്റെ സോഴ്സ് കോഡിലെ പിശകുകളുടെ അഭാവം ഔപചാരിക വിശ്വാസ്യത സ്ഥിരീകരണത്തിന്റെ ഗണിതശാസ്ത്ര രീതികൾ ഉപയോഗിച്ച് സ്ഥിരീകരിച്ചു. കേർണൽ x86_64 ആർക്കിടെക്ചറിനായി ലഭ്യമാണ്, കൂടാതെ മിഷൻ-ക്രിട്ടിക്കൽ സിസ്റ്റങ്ങളിൽ ഇത് ഉപയോഗിക്കാനും കഴിയും, അവയ്ക്ക് വർദ്ധിച്ച വിശ്വാസ്യതയും പരാജയങ്ങളൊന്നുമില്ലെന്ന് ഉറപ്പും ആവശ്യമാണ്. പ്രോജക്‌റ്റിന്റെ സോഴ്‌സ് കോഡ് അഡാ ഭാഷയിലും അതിന്റെ സ്ഥിരീകരിക്കാവുന്ന SPARK 2014 ഭാഷയിലും എഴുതിയിരിക്കുന്നു. GPLv3 ലൈസൻസിന് കീഴിലാണ് കോഡ് വിതരണം ചെയ്യുന്നത്.

പരസ്പരം വേർതിരിച്ചിരിക്കുന്ന ഘടകങ്ങളുടെ നിർവ്വഹണത്തിനുള്ള അന്തരീക്ഷം പ്രദാനം ചെയ്യുന്ന ഒരു മൈക്രോകെർണലാണ് വേർതിരിക്കൽ കേർണൽ, അതിന്റെ ഇടപെടൽ നൽകിയിരിക്കുന്ന നിയമങ്ങളാൽ കർശനമായി നിയന്ത്രിക്കപ്പെടുന്നു. ഇന്റൽ VT-x വിർച്വലൈസേഷൻ എക്സ്റ്റൻഷനുകളുടെ ഉപയോഗത്തെ അടിസ്ഥാനമാക്കിയുള്ളതാണ് ഐസൊലേഷൻ, കൂടാതെ രഹസ്യ ആശയവിനിമയ ചാനലുകളുടെ ഓർഗനൈസേഷൻ തടയുന്നതിനുള്ള സുരക്ഷാ സംവിധാനങ്ങളും ഉൾപ്പെടുന്നു. പാർട്ടീഷനിംഗ് കേർണൽ മറ്റ് മൈക്രോകെർണലുകളെ അപേക്ഷിച്ച് വളരെ ചുരുങ്ങിയതും സ്ഥിരതയുള്ളതുമാണ്, ഇത് പരാജയത്തിന് കാരണമാകുന്ന സാഹചര്യങ്ങളുടെ എണ്ണം കുറയ്ക്കുന്നു.

കേർണൽ ഒരു ഹൈപ്പർവൈസറിന് സമാനമായ VMX റൂട്ട് മോഡിൽ പ്രവർത്തിക്കുന്നു, കൂടാതെ മറ്റ് എല്ലാ ഘടകങ്ങളും ഗസ്റ്റ് സിസ്റ്റങ്ങൾക്ക് സമാനമായ VMX നോൺ-റൂട്ട് മോഡിൽ പ്രവർത്തിക്കുന്നു. Intel VT-d DMA എക്സ്റ്റൻഷനുകളും ഇന്ററപ്റ്റ് റീമാപ്പിംഗും ഉപയോഗിച്ചാണ് ഉപകരണങ്ങളിലേക്കുള്ള ആക്‌സസ് നിർമ്മിച്ചിരിക്കുന്നത്, ഇത് Muen-ന് കീഴിൽ പ്രവർത്തിക്കുന്ന ഘടകങ്ങളിലേക്ക് PCI ഉപകരണങ്ങൾ സുരക്ഷിതമായി ബന്ധിപ്പിക്കുന്നത് സാധ്യമാക്കുന്നു.

മൾട്ടി-കോർ സിസ്റ്റങ്ങൾക്കുള്ള പിന്തുണ, നെസ്റ്റഡ് മെമ്മറി പേജുകൾ (ഇപിടി, എക്സ്റ്റെൻഡഡ് പേജ് ടേബിളുകൾ), എംഎസ്ഐ (മെസേജ് സിഗ്നൽഡ് ഇന്ററപ്റ്റുകൾ), മെമ്മറി പേജ് ആട്രിബ്യൂട്ട് ടേബിളുകൾ (പാറ്റ്, പേജ് ആട്രിബ്യൂട്ട് ടേബിൾ) എന്നിവ മ്യൂണിന്റെ കഴിവുകളിൽ ഉൾപ്പെടുന്നു. ഇന്റൽ വിഎംഎക്സ് പ്രീഎംപ്റ്റീവ് ടൈമർ, പ്രകടനത്തെ ബാധിക്കാത്ത കോംപാക്റ്റ് റൺടൈം, ക്രാഷ് ഓഡിറ്റിംഗ് സിസ്റ്റം, റൂൾ അധിഷ്ഠിത സ്റ്റാറ്റിക് റിസോഴ്സ് അസൈൻമെന്റ് എഞ്ചിൻ, ഇവന്റ് ഹാൻഡ്ലിംഗ് സിസ്റ്റം, ഷെയർ ചെയ്ത മെമ്മറി ചാനലുകൾ എന്നിവയെ അടിസ്ഥാനമാക്കിയുള്ള ഒരു നിശ്ചിത റൗണ്ട് റോബിൻ ഷെഡ്യൂളറും Muen നൽകുന്നു. പ്രവർത്തിക്കുന്ന ഘടകങ്ങളിൽ ആശയവിനിമയം.

64-ബിറ്റ് മെഷീൻ കോഡ്, 32- അല്ലെങ്കിൽ 64-ബിറ്റ് വെർച്വൽ മെഷീനുകൾ, Ada, SPARK 64 ഭാഷകളിലെ 2014-ബിറ്റ് ആപ്ലിക്കേഷനുകൾ, Linux വെർച്വൽ മെഷീനുകൾ, Muen-ന് മുകളിൽ MirageOS അടിസ്ഥാനമാക്കിയുള്ള സ്വയം ഉൾക്കൊള്ളുന്ന "unikernels" എന്നിവയുള്ള പ്രവർത്തിക്കുന്ന ഘടകങ്ങളെ ഇത് പിന്തുണയ്ക്കുന്നു.

Muen 1.0 ന്റെ റിലീസിൽ വാഗ്ദാനം ചെയ്യുന്ന പ്രധാന പുതുമകൾ:

• പ്രോജക്റ്റിന്റെ എല്ലാ വശങ്ങളും രേഖപ്പെടുത്തുന്ന കേർണൽ (ഡിവൈസ്, ആർക്കിടെക്ചർ), സിസ്റ്റം (സിസ്റ്റം പോളിസികൾ, Tau0, ടൂൾകിറ്റ്), ഘടകങ്ങൾ എന്നിവയ്‌ക്കായുള്ള സ്പെസിഫിക്കേഷനുകൾക്കൊപ്പം ഡോക്യുമെന്റുകൾ പ്രസിദ്ധീകരിച്ചു.
• Tau0 (Muen System Composer) ടൂൾകിറ്റ് ചേർത്തു, അതിൽ സിസ്റ്റം ഇമേജുകൾ രചിക്കുന്നതിനും Muen-ന് മുകളിൽ പ്രവർത്തിക്കുന്ന സ്റ്റാൻഡേർഡ് സേവനങ്ങൾ വികസിപ്പിക്കുന്നതിനുമുള്ള ഒരു കൂട്ടം റെഡിമെയ്ഡ് പരിശോധിച്ചുറപ്പിച്ച ഘടകങ്ങൾ ഉൾപ്പെടുന്നു. നൽകിയിരിക്കുന്ന ഘടകങ്ങളിൽ AHCI (SATA) ഡ്രൈവർ, ഉപകരണ മാനേജർ (DM), ബൂട്ട് ലോഡർ, സിസ്റ്റം മാനേജർ, വെർച്വൽ ടെർമിനൽ മുതലായവ ഉൾപ്പെടുന്നു.
• muenblock Linux ഡ്രൈവർ (Muen പങ്കിട്ട മെമ്മറിയുടെ മുകളിൽ പ്രവർത്തിക്കുന്ന ഒരു ബ്ലോക്ക് ഉപകരണത്തിന്റെ നടപ്പാക്കൽ) blockdev 2.0 API ഉപയോഗിക്കുന്നതിനായി പരിവർത്തനം ചെയ്‌തു.
• നേറ്റീവ് ഘടകങ്ങളുടെ ജീവിത ചക്രം കൈകാര്യം ചെയ്യുന്നതിനുള്ള ഉപകരണങ്ങൾ നടപ്പിലാക്കി.
• സമഗ്രത പരിരക്ഷിക്കുന്നതിനായി സിസ്റ്റം ഇമേജുകൾ SBS (സൈൻഡ് ബ്ലോക്ക് സ്ട്രീം), CSL (കമാൻഡ് സ്ട്രീം ലോഡർ) എന്നിവ ഉപയോഗിക്കുന്നതിലേക്ക് പരിവർത്തനം ചെയ്തിട്ടുണ്ട്.
• SPARK 2014 ഭാഷയിൽ എഴുതിയ ഒരു പരിശോധിച്ച AHCI-DRV ഡ്രൈവർ നടപ്പിലാക്കി, എടിഎ ഇന്റർഫേസിനെയോ വ്യക്തിഗത ഡിസ്ക് പാർട്ടീഷനുകളെയോ പിന്തുണയ്ക്കുന്ന ഡ്രൈവുകളെ ഘടകങ്ങളിലേക്ക് ബന്ധിപ്പിക്കാൻ നിങ്ങളെ അനുവദിക്കുന്നു.
• MirageOS, Solo5 പ്രോജക്‌ടുകളിൽ നിന്നുള്ള മെച്ചപ്പെട്ട യൂണികേർണൽ പിന്തുണ.
• GNAT കമ്മ്യൂണിറ്റി 2021 റിലീസിനായി Ada ഭാഷാ ടൂൾകിറ്റ് അപ്‌ഡേറ്റ് ചെയ്‌തു.
• തുടർച്ചയായ സംയോജന സംവിധാനം Bochs എമുലേറ്ററിൽ നിന്ന് QEMU/KVM നെസ്റ്റഡ് എൻവയോൺമെന്റുകളിലേക്ക് മാറ്റി.
• Linux ഘടക ഇമേജുകൾ Linux 5.4.66 കേർണൽ ഉപയോഗിക്കുന്നു.

അവലംബം: opennet.ru