Mozilla, Fastly, Intel ແລະ Red Hat ສົ່ງເສີມ WebAssembly ເປັນເວທີສໍາລັບການນໍາໃຊ້ທົ່ວໄປ

Mozilla, Fastly, Intel ແລະ Red Hat ສະຫະປະຊາ ຄວາມພະຍາຍາມຂອງຕົນໃນການພັດທະນາເຕັກໂນໂລຢີທີ່ຊ່ວຍເຮັດໃຫ້ WebAssembly ເປັນເວທີສາກົນສໍາລັບການປະຕິບັດລະຫັດທີ່ປອດໄພໃນທົ່ວໂຄງສ້າງພື້ນຖານ, ລະບົບປະຕິບັດການ, ຫຼືອຸປະກອນຕ່າງໆ. ຊຸມຊົນໄດ້ຖືກສ້າງຕັ້ງຂຶ້ນເພື່ອການພັດທະນາຮ່ວມກັນຂອງ runtime ແລະ compilers ທີ່ອະນຸຍາດໃຫ້ການນໍາໃຊ້ຂອງ WebAssembly ບໍ່ພຽງແຕ່ໃນຕົວທ່ອງເວັບຂອງເວັບໄຊຕ໌. Bytecode Alliance.

ເພື່ອສ້າງໂປຼແກຼມ Portable ທີ່ສົ່ງໃນຮູບແບບ WebAssembly ທີ່ສາມາດປະຕິບັດໄດ້ຢູ່ນອກຕົວທ່ອງເວັບ, ພວກເຮົາແນະນໍາໃຫ້ໃຊ້ API. WASI (WebAssembly System Interface), ເຊິ່ງສະຫນອງການໂຕ້ຕອບຊອບແວສໍາລັບການໂຕ້ຕອບໂດຍກົງກັບລະບົບປະຕິບັດການ (POSIX API ສໍາລັບການເຮັດວຽກກັບໄຟລ໌, ຊັອກເກັດ, ແລະອື່ນໆ). ລັກສະນະທີ່ໂດດເດັ່ນຂອງຮູບແບບການປະຕິບັດຂອງຄໍາຮ້ອງສະຫມັກທີ່ໃຊ້ WASI ແມ່ນວ່າພວກເຂົາດໍາເນີນການໃນສະພາບແວດລ້ອມ sandbox ສໍາລັບການໂດດດ່ຽວຈາກລະບົບຕົ້ນຕໍແລະນໍາໃຊ້ກົນໄກຄວາມປອດໄພໂດຍອີງໃສ່ການຄຸ້ມຄອງຄວາມສາມາດສໍາລັບການປະຕິບັດກັບແຕ່ລະຊັບພະຍາກອນ (ໄຟລ໌, ໄດເລກະທໍລີ, ຊັອກເກັດ, ການໂທລະບົບ. , ແລະອື່ນໆ) ຄໍາຮ້ອງສະຫມັກຕ້ອງໄດ້ຮັບການອະນຸຍາດທີ່ເຫມາະສົມ (ພຽງແຕ່ການເຂົ້າເຖິງຫນ້າທີ່ປະກາດໄດ້ຖືກສະຫນອງໃຫ້).

ຫນຶ່ງ​ໃນ ເປົ້າ ໝາຍ ພັນທະມິດທີ່ສ້າງຂື້ນແມ່ນການແກ້ໄຂບັນຫາການແຈກຢາຍຄໍາຮ້ອງສະຫມັກ modular ທີ່ທັນສະໄຫມທີ່ມີຈໍານວນການເພິ່ງພາອາໄສຈໍານວນຫລາຍ. ໃນຄໍາຮ້ອງສະຫມັກດັ່ງກ່າວ, ທຸກໆການເພິ່ງພາອາໄສສາມາດເປັນແຫຼ່ງທີ່ມີທ່າແຮງຂອງຄວາມອ່ອນແອຫຼືການໂຈມຕີ. ການ​ຄວບ​ຄຸມ​ການ​ເພິ່ງ​ພາ​ອາ​ໄສ​ອະ​ນຸ​ຍາດ​ໃຫ້​ທ່ານ​ໄດ້​ຮັບ​ການ​ຄວບ​ຄຸມ​ຂອງ​ທຸກ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​ທີ່​ກ່ຽວ​ຂ້ອງ​ກັບ​ມັນ​. ຄວາມໄວ້ວາງໃຈໃນຄໍາຮ້ອງສະຫມັກອັດຕະໂນມັດຫມາຍເຖິງຄວາມໄວ້ວາງໃຈໃນທຸກ dependencies, ແຕ່ dependencies ມັກຈະຖືກພັດທະນາແລະຮັກສາໄວ້ໂດຍທີມງານພາກສ່ວນທີສາມທີ່ກິດຈະກໍາບໍ່ສາມາດຄວບຄຸມໄດ້. ສະມາຊິກ Bytecode Alliance ຕັ້ງໃຈໃຫ້ການແກ້ໄຂແບບລວມໆສໍາລັບການປະຕິບັດທີ່ປອດໄພຂອງແອັບພລິເຄຊັນ WebAssembly ທີ່ບໍ່ເຊື່ອຖືໄດ້.

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

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

ສໍາລັບການພັດທະນາຮ່ວມກັນພາຍໃຕ້ປີກຂອງພັນທະມິດ Bytecode ແປ ຫຼາຍໆອັນທີ່ກ່ຽວຂ້ອງກັບ WebAssembly ໂຄງການ, ກ່ອນຫນ້ານີ້ໄດ້ພັດທະນາແຍກຕ່າງຫາກໂດຍບໍລິສັດຜູ້ກໍ່ຕັ້ງຂອງພັນທະມິດ:

• ຊ່ວງເວລາ — runtime ສໍາ​ລັບ​ການ​ແລ່ນ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ WebAssembly ທີ່​ມີ​ການ​ຂະ​ຫຍາຍ WASI ເປັນ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ stand-alone ປົກ​ກະ​ຕິ​. ມັນສະຫນັບສະຫນູນທັງການເປີດຕົວ WebAssembly bytecode ໂດຍໃຊ້ປະໂຫຍດຂອງເສັ້ນຄໍາສັ່ງພິເສດແລະການເຊື່ອມໂຍງໄຟລ໌ປະຕິບັດທີ່ກຽມພ້ອມ (wasmtime ຖືກສ້າງຂຶ້ນໃນແອັບພລິເຄຊັນເປັນຫ້ອງສະຫມຸດ). Wasmtime ມີໂຄງສ້າງແບບໂມດູນທີ່ມີຄວາມຍືດຫຍຸ່ນທີ່ຊ່ວຍໃຫ້ທ່ານສາມາດຂະຫຍາຍເວລາແລ່ນສໍາລັບຄໍາຮ້ອງສະຫມັກຕ່າງໆ, ຕົວຢ່າງເຊັ່ນ, ທ່ານສາມາດສ້າງສະບັບທີ່ຖອດອອກສໍາລັບອຸປະກອນທີ່ມີຊັບພະຍາກອນຈໍາກັດ;
• Lucet — compiler ແລະ runtime ສໍາ​ລັບ​ການ​ປະ​ຕິ​ບັດ​ໂຄງ​ການ​ໃນ​ຮູບ​ແບບ WebAssembly​. ໂດດເດັ່ນ ຄຸນ​ນະ​ສົມ​ບັດ Lucet ແມ່ນການນໍາໃຊ້ການລວບລວມທີ່ຄາດວ່າຈະເຕັມຮູບແບບ (AOT, ລ່ວງຫນ້າ) ແທນທີ່ຈະ JIT ເຂົ້າໄປໃນລະຫັດເຄື່ອງຈັກທີ່ເຫມາະສົມສໍາລັບການປະຕິບັດໂດຍກົງ. ໂຄງ​ການ​ດັ່ງ​ກ່າວ​ໄດ້​ຖືກ​ພັດ​ທະ​ນາ​ໂດຍ Fastly ແລະ​ໄດ້​ຖືກ​ປັບ​ປຸງ​ໃຫ້​ດີ​ທີ່​ຈະ​ບໍ​ລິ​ໂພກ​ຊັບ​ພະ​ຍາ​ກອນ​ຫນ້ອຍ​ທີ່​ສຸດ​ແລະ​ເປີດ​ຕົວ​ຢ່າງ​ໃຫມ່​ຢ່າງ​ວ່ອງ​ໄວ (ໄວ​ໃຊ້ Lucet ໃນ​ເຄື່ອງ​ຈັກ​ຄອມ​ພິວ​ເຕີ​ແຂບ​ຟັງ​ທີ່​ໃຊ້ WebAssembly ສໍາ​ລັບ​ຜູ້​ຈັດ​ການ​ເປີດ​ໃນ​ແຕ່​ລະ​ຄໍາ​ຮ້ອງ​ສະ​ຫມັກ​)​. ເປັນສ່ວນຫນຶ່ງຂອງໂຄງການຮ່ວມກັນ, Lucet compiler ໄດ້ຖືກວາງແຜນທີ່ຈະປ່ຽນໄປໃຊ້ Wasmtime ເປັນພື້ນຖານ;
• WAMR (WebAssembly Micro Runtime) ແມ່ນເວລາແລ່ນອີກອັນໜຶ່ງສໍາລັບການປະຕິບັດການ WebAssembly, ໃນເບື້ອງຕົ້ນພັດທະນາໂດຍ Intel ເພື່ອໃຊ້ໃນອຸປະກອນ Internet of Things. WAMR ຖືກປັບໃຫ້ເໝາະສົມສຳລັບການບໍລິໂພກຊັບພະຍາກອນໜ້ອຍທີ່ສຸດ ແລະສາມາດໃຊ້ໃນອຸປະກອນທີ່ມີ RAM ໜ້ອຍ. ໂຄງການປະກອບມີນາຍພາສາແລະເຄື່ອງ virtual ສໍາລັບການປະຕິບັດ WebAssembly bytecode, API (ຊຸດຍ່ອຍຂອງ Libc) ແລະເຄື່ອງມືສໍາລັບການຄຸ້ມຄອງຄໍາຮ້ອງສະຫມັກແບບເຄື່ອນໄຫວ;
• ຍົກເຄນ — ເຄື່ອງ​ສ້າງ​ລະ​ຫັດ​ທີ່​ແປ​ຕົວ​ແທນ​ຂັ້ນ​ກາງ​ທີ່​ເປັນ​ເອ​ກະ​ລາດ​ຂອງ​ຖາ​ປັດ​ຕະ​ຍະ​ຮາດ​ແວ​ເປັນ​ລະ​ຫັດ​ເຄື່ອງ​ທີ່​ປະ​ຕິ​ບັດ​ໄດ້​ເຫມາະ​ສົມ​ສໍາ​ລັບ​ເວ​ທີ​ຮາດ​ແວ​ສະ​ເພາະ​ໃດ​ຫນຶ່ງ​. Cranelift ສະຫນັບສະຫນູນການຂະຫນານຂອງການລວບລວມຫນ້າທີ່ສໍາລັບການຜະລິດຜົນໄດ້ຮັບໄວຫຼາຍ, ເຊິ່ງອະນຸຍາດໃຫ້ມັນຖືກນໍາໃຊ້ເພື່ອສ້າງການລວບລວມຂໍ້ມູນ JIT (JIT ທີ່ໃຊ້ Cranelift ຖືກນໍາໃຊ້ໃນເຄື່ອງ virtual Wasmtime);
• WASI ທົ່ວໄປ — ການປະຕິບັດແຍກຕ່າງຫາກຂອງ WASI (WebAssembly System Interface) API ສໍາລັບການຈັດຕັ້ງປະຕິສໍາພັນກັບລະບົບປະຕິບັດການ;
• cargo-wasi — ໂມດູນສໍາລັບຜູ້ຈັດການຊຸດ Cargo ທີ່ປະຕິບັດຄໍາສັ່ງສໍາລັບການລວບລວມລະຫັດ Rust ເຂົ້າໄປໃນ WebAssembly bytecode ໂດຍໃຊ້ການໂຕ້ຕອບ WASI ສໍາລັບການນໍາໃຊ້ WebAssembly ຢູ່ນອກຕົວທ່ອງເວັບ;
• wat и ຄົນຂີ້ຄ້ານ — ຕົວວິເຄາະເພື່ອວິເຄາະຂໍ້ຄວາມ (WAT, WAST) ແລະຕົວແທນຖານສອງຂອງ WebAssembly bytecode.

ເພື່ອສະຫຼຸບ, WebAssembly ແມ່ນຫຼາຍເຊັ່ນ Asm.js, ແຕ່ ແຕກຕ່າງ ໃນນັ້ນມັນເປັນຮູບແບບຖານສອງທີ່ບໍ່ຖືກຜູກມັດກັບ JavaScript ແລະອະນຸຍາດໃຫ້ລະຫັດລະດັບປານກາງຕ່ໍາທີ່ລວບລວມຈາກພາສາການຂຽນໂປຼແກຼມຕ່າງໆໃນຕົວທ່ອງເວັບ. WebAssembly ບໍ່ຕ້ອງການເຄື່ອງເກັບຂີ້ເຫຍື້ອເພາະວ່າມັນໃຊ້ການຈັດການຄວາມຊົງຈໍາທີ່ຊັດເຈນ. ໂດຍການນໍາໃຊ້ JIT ສໍາລັບ WebAssembly, ທ່ານສາມາດບັນລຸລະດັບການປະຕິບັດຢູ່ໃກ້ກັບລະຫັດພື້ນເມືອງ. ໃນບັນດາເປົ້າຫມາຍຕົ້ນຕໍຂອງ WebAssembly ແມ່ນການຮັບປະກັນການເຄື່ອນທີ່, ພຶດຕິກໍາທີ່ຄາດເດົາໄດ້ແລະການປະຕິບັດລະຫັດດຽວກັນໃນເວທີຕ່າງໆ.

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