ការចេញផ្សាយខឺណែល Asterinas 0.18 ដែលសរសេរជា Rust និងឆបគ្នាជាមួយ Linux

គម្រោង Asterinas បានចេញផ្សាយកំណែ 0.18 ដែលជាខឺណែលដែលសរសេរជាភាសា Rust និងត្រូវបានរចនាឡើងសម្រាប់ប្រើប្រាស់ក្នុងប្រព័ន្ធប្រតិបត្តិការទូទៅ។ ខឺណែលនេះផ្តល់នូវ ABI (Application Binary Interface) ដែលឆបគ្នាជាមួយខឺណែល។ Linux ហើយអាចត្រូវបានប្រើជំនួសវិញ។ ការចែកចាយ Asterinas NixOS ដែលរួមបញ្ចូលគ្នានូវខឺណែល Asterinas ជាមួយបរិស្ថានប្រព័ន្ធ NixOS កំពុងត្រូវបានបង្កើតឡើងស្របគ្នា។ កូដរបស់គម្រោងនេះត្រូវបានចែកចាយក្រោម MPL (អាជ្ញាប័ណ្ណសាធារណៈ Mozilla)។

បច្ចុប្បន្ននេះ មានការហៅប្រព័ន្ធប្រហែល 240 ដែលត្រូវបានអនុវត្តនៅក្នុងខឺណែល។ Linuxការចែកចាយ Asterinas NixOS ត្រូវបានផ្ទៀងផ្ទាត់ថាដំណើរការនៅលើ kernel Asterinas ជាមួយនឹងកញ្ចប់ NixOS ជាង 100។ កញ្ចប់ដែលគាំទ្ររួមមាន៖ Xfce, Firefox, bash, systemd, Podman, QEMU, rsync, Apache httpd, nginx, SQLite, Redis, Clang, GCC, Go, Lua, Node.js, OpenJDK, Perl, PHP, Python, Ruby, Rust, Git, FFmpeg, PyTorch, TensorFlow, Ollama និង Codex។

ខឺណែលផ្តល់ការគាំទ្រពេញលេញសម្រាប់ស្ថាបត្យកម្ម x86-64 ការគាំទ្រដោយផ្នែកសម្រាប់ RISC-V 64 និង x86-64 ជាមួយនឹងភាពឯកោដោយផ្អែកលើ Intel TDX ក៏ដូចជាការគាំទ្រដំបូងសម្រាប់ស្ថាបត្យកម្ម LoongArch 64។ ផ្នែកអាទិភាពនៃកម្មវិធីរួមមានប្រព័ន្ធដែលផ្អែកលើ Linux ABIs ប៉ុន្តែតម្រូវឱ្យមានកម្រិតសុវត្ថិភាពខ្ពស់ជាង។ ឧទាហរណ៍ Asterinas ត្រូវបានស្នើឡើងសម្រាប់ប្រើប្រាស់ក្នុងការបង្កើតបរិយាកាសប្រព័ន្ធដែលមានសុវត្ថិភាព។ ម៉ាស៊ីននិម្មិតសម្រាប់ការញែកដាច់ពីគ្នានៃបច្ចេកវិទ្យាដូចជា ARM CCA, AMD SEV និង Intel TDX ត្រូវបានប្រើប្រាស់ ក៏ដូចជានៅផ្នែកប្រព័ន្ធម៉ាស៊ីន ដែលធានានូវការបើកដំណើរការកុងតឺន័រ។

ដើម្បីកាត់បន្ថយលទ្ធភាពនៃកំហុសអង្គចងចាំ ដែលជាប្រភពសំខាន់នៃភាពងាយរងគ្រោះដ៏គ្រោះថ្នាក់បំផុត Asterinas ប្រើភាសា Rust និងការប្រើប្រាស់ប្លុកមិនមានសុវត្ថិភាពមានកំណត់។ ខឺណែលត្រូវបានបង្កើតឡើងដោយប្រើស្ថាបត្យកម្ម framekernel ដែលព្យាយាមផ្សំសមត្ថភាពអ៊ីសូឡង់នៃមីក្រូខឺណែលជាមួយនឹងប្រសិទ្ធភាពនៃខឺណែល monolithic។

សមាសធាតុខឺណែលនៅក្នុង Asterinas មានទីតាំងនៅក្នុងកន្លែងអាសយដ្ឋានដែលបានចែករំលែក ហើយសុវត្ថិភាពត្រូវបានសម្រេចតាមរយៈការបំបែកឡូជីខលនៃកូដសុវត្ថិភាពពីកូដដែលអាចងាយរងគ្រោះ។ ខឺណែលត្រូវបានបែងចែកជាពីរផ្នែក ដែលទាំងពីរត្រូវបានសរសេរនៅក្នុង Rust: OS Framework និង OS Services។ OS Services ហាមឃាត់ការប្រើប្រាស់ប្លុកមិនមានសុវត្ថិភាព ហើយប្រតិបត្តិការកម្រិតទាបទាំងអស់ដែលតម្រូវឱ្យមានការប្រតិបត្តិកូដនៅក្នុងប្លុកមិនមានសុវត្ថិភាពត្រូវបានផ្លាស់ទីទៅ OS Framework ហើយអាចចូលប្រើបានតែតាមរយៈ API កម្រិតខ្ពស់ប៉ុណ្ណោះ។ ការហៅប្រព័ន្ធ ប្រព័ន្ធឯកសារ និងកម្មវិធីបញ្ជាទាំងអស់ត្រូវបានអនុវត្តនៅកម្រិត OS Services ហើយមិនអាចរួមបញ្ចូលប្លុកមិនមានសុវត្ថិភាពបានទេ។

សម្រាប់ការអភិវឌ្ឍសេវាកម្មប្រព័ន្ធ និងម៉ូឌុលខឺណែល OSDK (ឧបករណ៍អភិវឌ្ឍន៍ប្រព័ន្ធប្រតិបត្តិការ) ត្រូវបានផ្តល់ជូន ដែលផ្តល់នូវឧបករណ៍ប្រើប្រាស់ cargo-osdk សម្រាប់បង្កើត សាងសង់ សាកល្បង និងដំណើរការសមាសធាតុប្រព័ន្ធប្រតិបត្តិការ។ អ្នកអភិវឌ្ឍន៍ក៏អាចប្រើសំណុំ OSTD (បណ្ណាល័យស្តង់ដារប្រព័ន្ធប្រតិបត្តិការ) ដែលរួមបញ្ចូលការបោះពុម្ពនៃបណ្ណាល័យស្តង់ដារ Rust (crate std) ដែលត្រូវបានកែសម្រួលសម្រាប់ប្រើប្រាស់ក្នុងសមាសធាតុប្រព័ន្ធប្រតិបត្តិការ។

ក្នុងចំណោមការផ្លាស់ប្តូរនៅក្នុងកំណែ 0.18:

• ក្នុងនាមជាផ្នែកមួយនៃការងារដើម្បីធានាថា Asterinas ដំណើរការជាប្រព័ន្ធភ្ញៀវនៅក្នុងកុងតឺន័រ Kata Containers និង Confidential Containers VM ការគាំទ្រត្រូវបានអនុវត្តសម្រាប់ IPC និង cgroup namespaces, nsfs (/proc/[pid]/ns), cgroups, virtio-fs (សម្រាប់ការចូលប្រើប្រព័ន្ធឯកសារដែលចែករំលែកជាមួយប្រព័ន្ធម៉ាស៊ីន), virtio-rng (/dev/hwrng សម្រាប់ entropy សម្រាប់ម៉ាស៊ីនបង្កើតលេខចៃដន្យ pseudo) និង vsock (សម្រាប់ការទំនាក់ទំនងរវាងប្រព័ន្ធម៉ាស៊ីន និងភ្ញៀវ)។
• បានអនុវត្តការហៅប្រព័ន្ធ ptrace និងសមត្ថភាពបំបាត់កំហុស user-space ដោយប្រើ GDB និង strace។
• ការអនុវត្តថ្មីនៃប្រព័ន្ធឯកសារ ext2 ត្រូវបានស្នើឡើង ហើយកម្មវិធីបញ្ជា NVMe ត្រូវបានបន្ថែម។ យន្តការ Dentry (ធាតុចូលថតឯកសារ) ត្រូវបានបន្ថែមទៅ VFS ហើយការអនុវត្តឃ្លាំងសម្ងាត់ទំព័រត្រូវបានរចនាឡើងវិញ។
• ការចែកចាយ Asterinas NixOS មានសមត្ថភាពដំណើរការ Codex, QEMU និង Firefox។
• បានបន្ថែមការហៅប្រព័ន្ធ pidfd_getfd, pidfd_send_signal, pivot_root។
• បានបន្ថែមអក្សរកាត់ ការគាំទ្រ IPv6.
• ប្រព័ន្ធសមត្ថភាពមួយត្រូវបានអនុវត្តសម្រាប់ការផ្ទេរសិទ្ធិដល់ប្រតិបត្តិការដែលមានសិទ្ធិជាលក្ខណៈបុគ្គល។
• បានបន្ថែមការអនុវត្តដំបូងនៃក្របខ័ណ្ឌ LSM (Linux ម៉ូឌុលសុវត្ថិភាព)។

ប្រភព: opennet.ru