ការចេញផ្សាយ Muen 1.0 ដែលជាមីក្រូខឺណែលប្រភពបើកចំហសម្រាប់បង្កើតប្រព័ន្ធដែលអាចទុកចិត្តបានខ្ពស់។

បន្ទាប់ពីរយៈពេលប្រាំបីឆ្នាំនៃការអភិវឌ្ឍន៍ គម្រោង Muen 1.0 ត្រូវបានចេញផ្សាយ បង្កើតខឺណែលបំបែក អវត្តមាននៃកំហុសនៅក្នុងកូដប្រភពដែលត្រូវបានបញ្ជាក់ដោយប្រើវិធីសាស្ត្រគណិតវិទ្យានៃការផ្ទៀងផ្ទាត់ភាពជឿជាក់ជាផ្លូវការ។ ខឺណែលមានសម្រាប់ស្ថាបត្យកម្ម x86_64 ហើយអាចប្រើក្នុងប្រព័ន្ធសំខាន់នៃបេសកកម្ម ដែលទាមទារកម្រិតភាពជឿជាក់កើនឡើង និងការធានាមិនមានការបរាជ័យ។ កូដប្រភពនៃគម្រោងត្រូវបានសរសេរជាភាសា Ada និងគ្រាមភាសាដែលអាចផ្ទៀងផ្ទាត់បានរបស់វា SPARK 2014។ លេខកូដត្រូវបានចែកចាយក្រោមអាជ្ញាប័ណ្ណ GPLv3 ។

ខឺណែលបំបែកគឺជាមីក្រូខឺណែលដែលផ្តល់បរិយាកាសសម្រាប់ការប្រតិបត្តិនៃសមាសធាតុដែលដាច់ឆ្ងាយពីគ្នាទៅវិញទៅមក អន្តរកម្មដែលគ្រប់គ្រងយ៉ាងតឹងរ៉ឹងដោយច្បាប់ដែលបានផ្តល់ឱ្យ។ ភាពឯកោគឺផ្អែកលើការប្រើប្រាស់ផ្នែកបន្ថែមនិម្មិត Intel VT-x និងរួមបញ្ចូលយន្តការសុវត្ថិភាពដើម្បីទប់ស្កាត់ការរៀបចំបណ្តាញទំនាក់ទំនងសម្ងាត់។ ខឺណែលបែងចែកមានលក្ខណៈតូចតាច និងឋិតិវន្តជាងមីក្រូខឺណែលផ្សេងទៀត ដែលកាត់បន្ថយចំនួននៃស្ថានភាពដែលអាចបណ្តាលឱ្យបរាជ័យ។

ខឺណែលដំណើរការក្នុងរបៀបឫស VMX ស្រដៀងទៅនឹង hypervisor ហើយសមាសធាតុផ្សេងទៀតទាំងអស់ដំណើរការក្នុងរបៀប VMX មិនជា root ស្រដៀងនឹងប្រព័ន្ធភ្ញៀវ។ ការចូលប្រើឧបករណ៍ត្រូវបានធ្វើឡើងដោយប្រើផ្នែកបន្ថែម Intel VT-d DMA និងការផ្អាកការគូសឡើងវិញ ដែលធ្វើឱ្យវាអាចអនុវត្តការភ្ជាប់ឧបករណ៍ PCI ប្រកបដោយសុវត្ថិភាពទៅនឹងសមាសធាតុដែលដំណើរការនៅក្រោម Muen ។

សមត្ថភាពរបស់ Muen រួមមានការគាំទ្រសម្រាប់ប្រព័ន្ធពហុស្នូល ទំព័រមេម៉ូរីដែលបានដាក់ (EPT, តារាងទំព័របន្ថែម), MSI (ការរំខានដោយសញ្ញាសារ) និងតារាងគុណលក្ខណៈទំព័រអង្គចងចាំ (PAT, តារាងគុណលក្ខណៈទំព័រ) ។ Muen ក៏ផ្តល់នូវកម្មវិធីកំណត់ពេលជុំវិលជុំថេរដោយផ្អែកលើកម្មវិធីកំណត់ម៉ោងទុកមុនរបស់ Intel VMX ដែលជារយៈពេលដំណើរការតូចដែលមិនប៉ះពាល់ដល់ដំណើរការ ប្រព័ន្ធសវនកម្មគាំង យន្តការចាត់ចែងធនធានឋិតិវន្តផ្អែកលើច្បាប់ ប្រព័ន្ធគ្រប់គ្រងព្រឹត្តិការណ៍ និងបណ្តាញអង្គចងចាំដែលបានចែករំលែកសម្រាប់ ការទំនាក់ទំនងនៅក្នុងសមាសធាតុដែលកំពុងដំណើរការ។

វាគាំទ្រសមាសធាតុដែលកំពុងដំណើរការជាមួយនឹងកូដម៉ាស៊ីន 64 ប៊ីត ម៉ាស៊ីននិម្មិត 32 ឬ 64 ប៊ីត កម្មវិធី 64 ប៊ីតនៅក្នុងភាសា Ada និង SPARK 2014 ម៉ាស៊ីននិម្មិតលីនុច និង "unikernels" ដែលមានផ្ទុកដោយខ្លួនឯងដោយផ្អែកលើ MirageOS នៅលើកំពូលនៃ Muen ។

ការច្នៃប្រឌិតសំខាន់ៗដែលផ្តល់ជូននៅក្នុងការចេញផ្សាយ Muen 1.0៖

• ឯកសារត្រូវបានបោះពុម្ពផ្សាយជាមួយនឹងលក្ខណៈជាក់លាក់សម្រាប់ខឺណែល (ឧបករណ៍ និងស្ថាបត្យកម្ម) ប្រព័ន្ធ (គោលការណ៍ប្រព័ន្ធ Tau0 និងប្រអប់ឧបករណ៍) និងសមាសធាតុដែលឯកសារគ្រប់ទិដ្ឋភាពទាំងអស់នៃគម្រោង។
• កញ្ចប់ឧបករណ៍ Tau0 (Muen System Composer) ត្រូវបានបន្ថែម ដែលរួមមានសំណុំនៃសមាសធាតុដែលបានផ្ទៀងផ្ទាត់រួចរាល់សម្រាប់ការតែងរូបភាពប្រព័ន្ធ និងការអភិវឌ្ឍន៍សេវាកម្មស្តង់ដារដែលដំណើរការលើ Muen ។ សមាសធាតុដែលបានផ្តល់រួមមានកម្មវិធីបញ្ជា AHCI (SATA) កម្មវិធីគ្រប់គ្រងឧបករណ៍ (DM) កម្មវិធីចាប់ផ្ដើមប្រព័ន្ធ កម្មវិធីគ្រប់គ្រងប្រព័ន្ធ ស្ថានីយនិម្មិត។ល។
• កម្មវិធីបញ្ជា muenblock លីនុច (ការអនុវត្តឧបករណ៍ប្លុកដែលដំណើរការនៅលើកំពូលនៃសតិរួម Muen) ត្រូវបានបំប្លែងទៅប្រើ blockdev 2.0 API។
• ឧបករណ៍ដែលបានអនុវត្តសម្រាប់ការគ្រប់គ្រងវដ្តជីវិតនៃសមាសធាតុដើម។
• រូបភាពប្រព័ន្ធត្រូវបានបំប្លែងទៅប្រើ SBS (Signed Block Stream) និង CSL (Command Stream Loader) ដើម្បីការពារភាពសុចរិត។
• កម្មវិធីបញ្ជា AHCI-DRV ដែលបានផ្ទៀងផ្ទាត់ត្រូវបានអនុវត្ត សរសេរជាភាសា SPARK 2014 និងអនុញ្ញាតឱ្យអ្នកភ្ជាប់ដ្រាយដែលគាំទ្រចំណុចប្រទាក់ ATA ឬភាគថាសនីមួយៗទៅនឹងសមាសធាតុ។
• ការគាំទ្រ Unikernel ប្រសើរឡើងពីគម្រោង MirageOS និង Solo5 ។
• កញ្ចប់ឧបករណ៍ភាសា Ada ត្រូវបានធ្វើបច្ចុប្បន្នភាពសម្រាប់ការចេញផ្សាយ GNAT Community 2021 ។
• ប្រព័ន្ធរួមបញ្ចូលជាបន្តបន្ទាប់ត្រូវបានផ្ទេរពីកម្មវិធីត្រាប់តាម Bochs ទៅ QEMU/KVM បរិស្ថានដែលបានដាក់។
• រូបភាពសមាសធាតុលីនុចប្រើខឺណែលលីនុច 5.4.66 ។

ប្រភព: opennet.ru