ፕሮሆስተር > ጦማር > የኢንተርኔት ዜና > በጣም አስተማማኝ ስርዓቶችን ለመገንባት የ Muen 1.0, ክፍት ማይክሮከርነል መልቀቅ

በጣም አስተማማኝ ስርዓቶችን ለመገንባት የ Muen 1.0, ክፍት ማይክሮከርነል መልቀቅ

ከስምንት ዓመታት እድገት በኋላ የ Muen 1.0 ፕሮጀክት ተለቀቀ ፣ የ Separation kernel ን በማዳበር ፣ በመነሻ ኮድ ውስጥ ስህተቶች አለመኖር መደበኛ አስተማማኝነት ማረጋገጫ የሂሳብ ዘዴዎችን በመጠቀም ተረጋግጧል። ከርነሉ ለ x86_64 አርክቴክቸር የሚገኝ ሲሆን በተልዕኮ ወሳኝ ስርዓቶች ውስጥ ተጨማሪ አስተማማኝነት እና ያለመሳካት ዋስትና በሚጠይቁ ስርዓቶች ውስጥ ሊያገለግል ይችላል። የፕሮጀክቱ ምንጭ ኮድ በአዳ ቋንቋ እና ሊረጋገጥ በሚችል ቀበሌኛ SPARK 2014 የተጻፈ ነው። ኮዱ የተሰራጨው በGPLv3 ፍቃድ ነው።

መለያየት ከርነል እርስ በርስ የተገለሉ ክፍሎችን ለማስፈፀም አከባቢን የሚሰጥ ማይክሮከርነል ነው ፣ ግንኙነቱ በተሰጡት ህጎች በጥብቅ የተደነገገ ነው። ማግለል በIntel VT-x ቨርቹዋልላይዜሽን ኤክስቴንሽን አጠቃቀም ላይ የተመሰረተ እና የተደበቁ የመገናኛ መንገዶችን አደረጃጀት ለማገድ የደህንነት ዘዴዎችን ያካትታል። የመከፋፈያው ከርነል ከሌሎች ማይክሮከርነሎች የበለጠ አነስተኛ እና የማይንቀሳቀስ ነው, ይህም ውድቀትን የሚያስከትሉ ሁኔታዎችን ቁጥር ይቀንሳል.

ኮርነሉ ከሃይፐርቫይዘር ጋር ተመሳሳይ በሆነ በVMX root ሁነታ ይሰራል እና ሁሉም ሌሎች አካላት ልክ እንደ እንግዳ ስርዓቶች በ VMX ስር ባልሆኑ ሁነታ ይሰራሉ። የመሳሪያውን ተደራሽነት ኢንቴል ቪቲ-ዲ ዲኤምኤ ማራዘሚያዎችን በመጠቀም እና ዳግም ካርታ መስራትን ያቋርጣል፣ይህም ደህንነቱ የተጠበቀ PCI መሳሪያዎችን በሙን ስር የሚሰሩ አካላትን ማሰርን ተግባራዊ ለማድረግ ያስችላል።

በጣም አስተማማኝ ስርዓቶችን ለመገንባት የ Muen 1.0, ክፍት ማይክሮከርነል መልቀቅ

የ Muen ችሎታዎች ለባለብዙ-ኮር ሲስተሞች ድጋፍ፣ ጎጆ የማስታወሻ ገፆች (ኢፒቲ፣ የተራዘሙ የገጽ ሠንጠረዦች)፣ MSI (መልእክት ምልክት የተደረገባቸው መስተጓጎሎች) እና የማህደረ ትውስታ ገጽ መለያ ሠንጠረዦችን (PAT፣ Page Attribute Table) ያካትታሉ። ሙኤን በIntel VMX preemptive timemer ላይ የተመሰረተ ቋሚ የዙር ጊዜ መርሐግብር ያቀርባል፣ አፈጻጸምን የማይጎዳ የታመቀ የሩጫ ጊዜ፣ የብልሽት ኦዲት ሲስተም፣ ደንብ ላይ የተመሰረተ የማይንቀሳቀስ ሀብት ምደባ ሞተር፣ የክስተት አያያዝ ስርዓት እና የጋራ ማህደረ ትውስታ ሰርጦች ለ በመሮጥ አካላት ውስጥ ግንኙነት ።

በ 64-ቢት ማሽን ኮድ፣ 32- ወይም 64-ቢት ቨርችዋል ማሽኖች፣ 64-ቢት አፕሊኬሽኖች በአዳ እና ስፓርክ 2014 ቋንቋዎች፣ የሊኑክስ ቨርችዋል ማሽኖች እና በ Muen አናት ላይ በሚገኘው MirageOS ላይ የተመሰረቱ “unikernels” ያላቸውን የሩጫ ክፍሎችን ይደግፋል።

በ Muen 1.0 መለቀቅ ላይ የቀረቡት ዋና ፈጠራዎች፡-

  • ሰነዶች ለከርነል (መሣሪያ እና አርክቴክቸር)፣ ስርዓት (የስርዓት ፖሊሲዎች፣ Tau0 እና Toolkit) እና ክፍሎች፣ ሁሉንም የፕሮጀክቱን ገፅታዎች የሚዘግቡ ዝርዝር መግለጫዎች ታትመዋል።
  • የ Tau0 (Muen System Composer) የመሳሪያ ስብስብ ታክሏል, ይህም የስርዓት ምስሎችን ለማዘጋጀት እና በ Muen ላይ የሚሰሩ መደበኛ አገልግሎቶችን ለማዘጋጀት ዝግጁ የሆኑ የተረጋገጡ አካላትን ያካትታል. የቀረቡት ክፍሎች AHCI (SATA) ሾፌር፣ የመሣሪያ አስተዳዳሪ (DM)፣ ቡት ጫኝ፣ የስርዓት አስተዳዳሪ፣ ምናባዊ ተርሚናል፣ ወዘተ ያካትታሉ።
  • የ muenblock ሊኑክስ ሾፌር (በሙን የተጋራ ማህደረ ትውስታ ላይ የሚሰራ የማገጃ መሳሪያ ትግበራ) blockdev 2.0 API ን ለመጠቀም ተቀይሯል።
  • የአገሬው ተወላጆችን የሕይወት ዑደት ለማስተዳደር የተተገበሩ መሳሪያዎች.
  • የስርዓት ምስሎች ታማኝነትን ለመጠበቅ SBS (የተፈረመ እገዳ ዥረት) እና CSL (Command Stream Loader) ለመጠቀም ተለውጠዋል።
  • የተረጋገጠ የ AHCI-DRV ሾፌር ተተግብሯል፣ በ SPARK 2014 ቋንቋ ተጽፏል እና የ ATA በይነገጽን ወይም የግለሰብን የዲስክ ክፍልፋዮችን የሚደግፉ ሾፌሮችን ወደ ክፍሎቹ እንዲያገናኙ ያስችልዎታል።
  • ከMirageOS እና Solo5 ፕሮጀክቶች የተሻሻለ የዩኒከርነል ድጋፍ።
  • ለGNAT ማህበረሰብ 2021 ልቀት የAda ቋንቋ መሣሪያ ስብስብ ተዘምኗል።
  • ቀጣይነት ያለው ውህደት ስርዓት ከBochs emulator ወደ QEMU/KVM ጎጆ አከባቢዎች ተላልፏል።
  • የሊኑክስ አካላት ምስሎች ሊኑክስ 5.4.66 ከርነል ይጠቀማሉ።

ምንጭ: opennet.ru

አስተያየት ያክሉ