ඉතා විශ්වාසදායක පද්ධති ගොඩනැගීම සඳහා විවෘත මූලාශ්‍ර ක්ෂුද්‍ර කර්නලයක් වන Muen 1.0 නිකුත් කිරීම

වසර අටක සංවර්ධනයෙන් පසුව, Muen 1.0 ව්‍යාපෘතිය නිකුත් කරන ලද අතර, වෙන් කිරීමේ කර්නලය සංවර්ධනය කරන ලදී, විධිමත් විශ්වසනීයත්වය සත්‍යාපනය කිරීමේ ගණිතමය ක්‍රම භාවිතයෙන් තහවුරු කරන ලද මූල කේතයේ දෝෂ නොමැති වීම. කර්නලය x86_64 ගෘහනිර්මාණ ශිල්පය සඳහා ලබා ගත හැකි අතර විශ්වාසනීයත්වයේ ඉහළ මට්ටමක් සහ අසාර්ථක වීම් පිළිබඳ සහතිකයක් අවශ්‍ය වන මෙහෙයුම්-විවේචනාත්මක පද්ධතිවල භාවිතා කළ හැක. ව්‍යාපෘතියේ මූල කේතය Ada භාෂාවෙන් සහ එහි සත්‍යාපනය කළ හැකි උපභාෂාව SPARK 2014 ලියා ඇත. කේතය GPLv3 බලපත්‍රය යටතේ බෙදා හැරේ.

වෙන් කිරීමේ කර්නලය යනු එකිනෙකින් හුදකලා වූ සංරචක ක්‍රියාත්මක කිරීම සඳහා පරිසරයක් සපයන ක්ෂුද්‍ර කර්නලයකි, එහි අන්තර් ක්‍රියාකාරිත්වය ලබා දී ඇති නීති මගින් දැඩි ලෙස නියාමනය කරනු ලැබේ. හුදකලා කිරීම Intel VT-x අථත්‍යකරණ දිගු භාවිතා කිරීම මත පදනම් වන අතර රහසිගත සන්නිවේදන නාලිකා සංවිධානය කිරීම අවහිර කිරීම සඳහා ආරක්ෂක යාන්ත්‍රණ ඇතුළත් වේ. කොටස් කිරීමේ කර්නලය අනෙකුත් ක්ෂුද්‍ර කර්නල් වලට වඩා අවම සහ ස්ථිතික වන අතර එමඟින් අසාර්ථක වීමට හේතු විය හැකි අවස්ථා ගණන අඩු කරයි.

කර්නලය හයිපර්වයිසරයකට සමාන VMX මූල ප්‍රකාරයේදී ක්‍රියාත්මක වන අතර අනෙකුත් සියලුම සංරචක ආගන්තුක පද්ධතිවලට සමානව VMX මූල නොවන මාදිලියේ ක්‍රියාත්මක වේ. උපකරණ වෙත ප්‍රවේශය සිදු කරනු ලබන්නේ Intel VT-d DMA දිගු සහ බාධා නැවත සකස් කිරීම භාවිතයෙන් වන අතර, එමඟින් Muen යටතේ ක්‍රියාත්මක වන සංරචක වෙත PCI උපාංග ආරක්ෂිතව බැඳීම ක්‍රියාත්මක කිරීමට හැකි වේ.

ඉතා විශ්වාසදායක පද්ධති ගොඩනැගීම සඳහා විවෘත මූලාශ්‍ර ක්ෂුද්‍ර කර්නලයක් වන Muen 1.0 නිකුත් කිරීම

Muen ගේ හැකියාවන්ට බහු-core පද්ධති සඳහා සහය ඇතුළත් වේ, කැදලි මතක පිටු (EPT, Extended Page Tables), MSI (Message Signaled Interrupts) සහ මතක පිටු ගුණාංග වගු (PAT, Page Attribute Table). Muen විසින් Intel VMX preemptive ටයිමරය මත පදනම් වූ ස්ථාවර රවුන්ඩ් රොබින් උපලේඛනයක් ද සපයයි, කාර්ය සාධනයට බලපාන්නේ නැති සංයුක්ත ධාවන කාලයක්, බිඳ වැටීම් විගණන පද්ධතියක්, රීති මත පදනම් වූ ස්ථිතික සම්පත් පැවරුම් යාන්ත්‍රණයක්, සිදුවීම් හැසිරවීමේ පද්ධතියක් සහ හවුල් මතක නාලිකා ධාවන සංරචක තුළ සන්නිවේදනය.

එය 64-bit යන්ත්‍ර කේතය, 32- හෝ 64-bit අතථ්‍ය යන්ත්‍ර, Ada සහ SPARK 64 භාෂා වල 2014-bit යෙදුම්, Linux අතථ්‍ය යන්ත්‍ර සහ Muen මුදුනේ MirageOS මත පදනම් වූ ස්වයං අන්තර්ගත “unikernels” සමඟ ධාවන සංරචක සඳහා සහය දක්වයි.

Muen 1.0 නිකුත් කිරීමේදී ඉදිරිපත් කරන ලද ප්‍රධාන නවෝත්පාදනයන්:

  • ව්‍යාපෘතියේ සියලුම අංග ලේඛනගත කරන කර්නලය (උපාංගය සහ ගෘහ නිර්මාණ ශිල්පය), පද්ධතිය (පද්ධති ප්‍රතිපත්ති, Tau0 සහ මෙවලම් කට්ටලය) සහ සංරචක සඳහා පිරිවිතරයන් සමඟ ලේඛන ප්‍රකාශයට පත් කර ඇත.
  • Tau0 (Muen System Composer) මෙවලම් කට්ටලය එකතු කර ඇති අතර, පද්ධති රූප රචනා කිරීම සහ Muen මත ක්‍රියාත්මක වන සම්මත සේවා සංවර්ධනය කිරීම සඳහා සූදානම් කළ සත්‍යාපිත සංරචක කට්ටලයක් ඇතුළත් වේ. සපයන ලද සංරචක AHCI (SATA) ධාවකය, උපාංග කළමනාකරු (DM), ඇරඹුම් කාරකය, පද්ධති කළමනාකරු, අතථ්‍ය පර්යන්තය යනාදිය ඇතුළත් වේ.
  • muenblock Linux ධාවකය (Muen හවුල් මතකය මත ක්‍රියාත්මක වන බ්ලොක් උපාංගයක් ක්‍රියාත්මක කිරීම) blockdev 2.0 API භාවිතා කිරීමට පරිවර්තනය කර ඇත.
  • දේශීය සංරචකවල ජීවන චක්‍රය කළමනාකරණය කිරීම සඳහා ක්‍රියාත්මක කරන ලද මෙවලම්.
  • අඛණ්ඩතාව ආරක්ෂා කිරීම සඳහා SBS (Signed Block Stream) සහ CSL (Command Stream Loader) භාවිත කිරීමට පද්ධති රූප පරිවර්තනය කර ඇත.
  • සත්‍යාපිත AHCI-DRV ධාවකයක් ක්‍රියාත්මක කර ඇත, එය SPARK 2014 භාෂාවෙන් ලියා ඇති අතර ATA අතුරුමුහුණත හෝ තනි තැටි කොටස් සඳහා සහය දක්වන ධාවක සම්බන්ධ කිරීමට ඔබට ඉඩ සලසයි.
  • MirageOS සහ Solo5 ව්‍යාපෘති වලින් වැඩි දියුණු කරන ලද යුනිකර්නල් සහාය.
  • Ada භාෂා මෙවලම් කට්ටලය GNAT Community 2021 නිකුතුව සඳහා යාවත්කාලීන කර ඇත.
  • අඛණ්ඩ ඒකාබද්ධ කිරීමේ පද්ධතිය Bochs emulator වෙතින් QEMU/KVM කැදැලි පරිසරයන් වෙත මාරු කර ඇත.
  • Linux සංරචක පින්තූර Linux 5.4.66 කර්නලය භාවිතා කරයි.

මූලාශ්රය: opennet.ru

අදහස් එක් කරන්න