ໂຄງການ Kerla ກໍາລັງພັດທະນາ kernel ທີ່ເຂົ້າກັນໄດ້ກັບ Linux ໃນພາສາ Rust

ໂຄງການ Kerla ກໍາລັງພັດທະນາ kernel ລະບົບປະຕິບັດການທີ່ຂຽນໃນພາສາ Rust. kernel ໃໝ່ ໃນເບື້ອງຕົ້ນແມ່ນສຸມໃສ່ການໃຫ້ຄວາມເຂົ້າກັນໄດ້ກັບ Linux kernel ໃນລະດັບ ABI, ເຊິ່ງຈະຊ່ວຍໃຫ້ໄຟລ໌ປະຕິບັດການທີ່ບໍ່ໄດ້ຮັບການດັດແກ້ທີ່ຖືກລວບລວມສໍາລັບ Linux ເຮັດວຽກຢູ່ໃນສະພາບແວດລ້ອມທີ່ອີງໃສ່ Kerla. ລະຫັດໄດ້ຖືກແຈກຢາຍພາຍໃຕ້ໃບອະນຸຍາດ Apache 2.0 ແລະ MIT. ໂຄງການດັ່ງກ່າວແມ່ນໄດ້ຖືກພັດທະນາໂດຍຜູ້ພັດທະນາຊາວຍີ່ປຸ່ນ Seiya Nuta, ເປັນທີ່ຮູ້ຈັກສໍາລັບການສ້າງລະບົບປະຕິບັດການ microkernel Resea, ຂຽນໃນພາສາ C.

ໃນຂັ້ນຕອນຂອງການພັດທະນາໃນປະຈຸບັນ, Kerla ສາມາດດໍາເນີນການພຽງແຕ່ໃນລະບົບ x86_64 ແລະປະຕິບັດການເອີ້ນລະບົບພື້ນຖານເຊັ່ນ: write, stat, mmap, pipe ແລະ poll, ສະຫນັບສະຫນູນສັນຍານ, ທໍ່ທີ່ບໍ່ມີຊື່ແລະສະຫຼັບສະພາບການ. ການໂທເຊັ່ນ: fork, wait4, ແລະ execve ແມ່ນສະຫນອງໃຫ້ເພື່ອຄວບຄຸມຂະບວນການ. ມີການສະຫນັບສະຫນູນສໍາລັບ tty ແລະ pseudo-terminals (pty). ລະບົບໄຟລ໌ທີ່ຮອງຮັບໃນປັດຈຸບັນແມ່ນ initramfs (ໃຊ້ເພື່ອຕິດຕັ້ງລະບົບໄຟລ໌ຮາກ), tmpfs ແລະ devfs. stack ເຄືອຂ່າຍທີ່ສະຫນັບສະຫນູນ TCP ແລະ UDP sockets ແມ່ນສະຫນອງໃຫ້, ປະຕິບັດໂດຍອີງໃສ່ຫ້ອງສະຫມຸດ smoltcp.

ນັກພັດທະນາໄດ້ກະກຽມສະພາບແວດລ້ອມ boot ທີ່ເຮັດວຽກຢູ່ໃນ QEMU ຫຼືໃນເຄື່ອງ virtual Firecracker ກັບໄດເວີ virtio-net, ທີ່ທ່ານສາມາດເຊື່ອມຕໍ່ຜ່ານ SSH ແລ້ວ. musl ຖືກນໍາໃຊ້ເປັນຫ້ອງສະຫມຸດລະບົບ, ແລະ BusyBox ຖືກນໍາໃຊ້ເປັນຜົນປະໂຫຍດຂອງຜູ້ໃຊ້.

ລະບົບການກໍ່ສ້າງທີ່ອີງໃສ່ Docker ໄດ້ຖືກກະກຽມທີ່ຊ່ວຍໃຫ້ທ່ານສ້າງ boot initramfs ຂອງທ່ານເອງກັບ Kerla kernel. ແຍກຕ່າງຫາກ, ແກະຊໍແວ nsh ທີ່ຄ້າຍຄືກັນກັບປາແລະ Kazari GUI stack ໂດຍອີງໃສ່ໂປໂຕຄອນ Wayland ກໍາລັງຖືກພັດທະນາ.

ການນໍາໃຊ້ພາສາ Rust ໃນໂຄງການຊ່ວຍໃຫ້ທ່ານສາມາດຫຼຸດຜ່ອນຈໍານວນຂໍ້ຜິດພາດໃນລະຫັດໂດຍໃຊ້ເຕັກນິກການຂຽນໂປຼແກຼມທີ່ປອດໄພແລະເພີ່ມປະສິດທິພາບການກໍານົດບັນຫາໃນເວລາທີ່ເຮັດວຽກກັບຫນ່ວຍຄວາມຈໍາ. Rust ບັງຄັບໃຊ້ຄວາມປອດໄພຂອງຫນ່ວຍຄວາມຈໍາໃນເວລາລວບລວມໂດຍຜ່ານການກວດສອບການອ້າງອິງ, ການເປັນເຈົ້າຂອງວັດຖຸແລະການຕິດຕາມອາຍຸຂອງວັດຖຸ (ຂອບເຂດ), ແລະໂດຍການປະເມີນຄວາມຖືກຕ້ອງຂອງການເຂົ້າເຖິງຫນ່ວຍຄວາມຈໍາໃນເວລາແລ່ນ. ນອກຈາກນັ້ນ, Rust ສະຫນອງການປ້ອງກັນການ overflows ຈໍານວນເຕັມ, ຕ້ອງການຄ່າຕົວແປທີ່ຈະໄດ້ຮັບການເລີ່ມຕົ້ນກ່ອນທີ່ຈະນໍາໃຊ້, ບັງຄັບໃຊ້ແນວຄວາມຄິດຂອງການອ້າງອິງແລະຕົວແປທີ່ບໍ່ສາມາດປ່ຽນແປງໄດ້ໂດຍຄ່າເລີ່ມຕົ້ນ, ສະຫນອງການພິມແບບຄົງທີ່ທີ່ເຂັ້ມແຂງເພື່ອຫຼຸດຜ່ອນຄວາມຜິດພາດທາງດ້ານເຫດຜົນ, ແລະເຮັດໃຫ້ການຈັດການມູນຄ່າການປ້ອນເຂົ້າງ່າຍຂຶ້ນ. ຂໍ​ຂອບ​ໃຈ​ກັບ​ການ​ຈັບ​ຄູ່​ຮູບ​ແບບ ..

ສໍາລັບການພັດທະນາອົງປະກອບລະດັບຕ່ໍາ, ເຊັ່ນ OS kernel, Rust ສະຫນອງການສະຫນັບສະຫນູນສໍາລັບຕົວຊີ້ວັດຖຸດິບ, ການຫຸ້ມຫໍ່ໂຄງສ້າງ, ແຜ່ນປະກອບ inline, ແລະການຝັງໄຟລ໌ assembler. ເພື່ອເຮັດວຽກໂດຍບໍ່ມີການຜູກມັດກັບຫ້ອງສະຫມຸດມາດຕະຖານ, ມີຊຸດ crate ແຍກຕ່າງຫາກສໍາລັບການປະຕິບັດງານທີ່ມີສາຍ, vectors ແລະ bit flags. ປະໂຫຍດອີກອັນຫນຶ່ງແມ່ນເຄື່ອງມືທີ່ສ້າງຂຶ້ນໃນຕົວສໍາລັບການປະເມີນຄຸນນະພາບຂອງລະຫັດ (linter, rust-analyzer) ແລະການສ້າງການທົດສອບຫນ່ວຍງານທີ່ສາມາດດໍາເນີນການບໍ່ພຽງແຕ່ໃນຮາດແວທີ່ແທ້ຈິງ, ແຕ່ຍັງຢູ່ໃນ QEMU.

ແຫຼ່ງຂໍ້ມູນ: opennet.ru