Mozilla, Fastly, Intel និង Red Hat ផ្សព្វផ្សាយ WebAssembly ជាវេទិកាសម្រាប់ការប្រើប្រាស់ជាសកល

Mozilla, Fastly, Intel និង Red Hat រួបរួម ការខិតខំប្រឹងប្រែងរបស់ខ្លួនក្នុងការអភិវឌ្ឍន៍បច្ចេកវិទ្យាដែលជួយធ្វើឱ្យ WebAssembly ជាវេទិកាសកលសម្រាប់ការប្រតិបត្តិកូដប្រកបដោយសុវត្ថិភាពនៅទូទាំងហេដ្ឋារចនាសម្ព័ន្ធ ប្រព័ន្ធប្រតិបត្តិការ ឬឧបករណ៍ណាមួយ។ សហគមន៍មួយត្រូវបានបង្កើតឡើងសម្រាប់ការអភិវឌ្ឍន៍រួមគ្នានៃដំណើរការ និងកម្មវិធីចងក្រងដែលអនុញ្ញាតឱ្យប្រើប្រាស់ WebAssembly មិនត្រឹមតែនៅក្នុងកម្មវិធីរុករកតាមអ៊ីនធឺណិតប៉ុណ្ណោះទេ សម្ព័ន្ធ Bytecode.

ដើម្បីបង្កើតកម្មវិធីចល័តដែលផ្តល់ជាទម្រង់ WebAssembly ដែលអាចប្រតិបត្តិនៅខាងក្រៅកម្មវិធីរុករកបាន យើងស្នើឱ្យប្រើ API វ៉ាសា (WebAssembly System Interface) ដែលផ្តល់ចំណុចប្រទាក់កម្មវិធីសម្រាប់អន្តរកម្មផ្ទាល់ជាមួយប្រព័ន្ធប្រតិបត្តិការ (POSIX API សម្រាប់ធ្វើការជាមួយឯកសារ រន្ធ។ល។)។ លក្ខណៈពិសេសប្លែកនៃគំរូប្រតិបត្តិនៃកម្មវិធីដោយប្រើប្រាស់ WASI គឺថាពួកវាដំណើរការនៅក្នុងបរិយាកាសប្រអប់ខ្សាច់សម្រាប់ភាពឯកោពីប្រព័ន្ធមេ ហើយប្រើយន្តការសុវត្ថិភាពដោយផ្អែកលើការគ្រប់គ្រងសមត្ថភាពសម្រាប់សកម្មភាពជាមួយធនធាននីមួយៗ (ឯកសារ ថតឯកសារ រន្ធ ការហៅប្រព័ន្ធ។ ល) កម្មវិធីត្រូវតែត្រូវបានផ្តល់ការអនុញ្ញាតសមរម្យ (មានតែការចូលប្រើមុខងារដែលបានប្រកាសប៉ុណ្ណោះដែលត្រូវបានផ្តល់ជូន)។

មួយ​នៃ គោលដៅ សម្ព័ន្ធភាពដែលបានបង្កើតគឺជាដំណោះស្រាយចំពោះបញ្ហានៃការចែកចាយកម្មវិធីម៉ូឌុលទំនើបជាមួយនឹងចំនួនច្រើននៃភាពអាស្រ័យ។ នៅក្នុងកម្មវិធីបែបនេះ រាល់ភាពអាស្រ័យអាចជាប្រភពសក្តានុពលនៃភាពងាយរងគ្រោះ ឬការវាយប្រហារ។ ការគ្រប់គ្រងលើភាពអាស្រ័យអនុញ្ញាតឱ្យអ្នកទទួលបានការគ្រប់គ្រងលើកម្មវិធីទាំងអស់ដែលភ្ជាប់ជាមួយវា។ ការជឿទុកចិត្តលើកម្មវិធីបង្កប់ន័យដោយស្វ័យប្រវត្តិនូវការជឿទុកចិត្តលើភាពអាស្រ័យទាំងអស់ ប៉ុន្តែភាពអាស្រ័យត្រូវបានបង្កើតឡើង និងថែរក្សាជាញឹកញាប់ដោយក្រុមភាគីទីបីដែលសកម្មភាពរបស់ពួកគេមិនអាចគ្រប់គ្រងបាន។ សមាជិក Bytecode Alliance មានបំណងផ្តល់នូវដំណោះស្រាយរួមមួយសម្រាប់ការប្រតិបត្តិប្រកបដោយសុវត្ថិភាពនៃកម្មវិធី WebAssembly ដែលមិនគួរឱ្យទុកចិត្ត។

សម្រាប់ការការពារ វាត្រូវបានស្នើឱ្យប្រើគោលគំនិតនៃដំណើរការ nanoprocesses ដែលម៉ូឌុលអាស្រ័យនីមួយៗត្រូវបានបំបែកទៅជាម៉ូឌុល WebAssembly ដាច់ដោយឡែក អំណាចដែលត្រូវបានកំណត់ទាក់ទងនឹងម៉ូឌុលនេះតែប៉ុណ្ណោះ (ឧទាហរណ៍ បណ្ណាល័យសម្រាប់ដំណើរការខ្សែអក្សរនឹងមិន អាចបើករន្ធបណ្តាញ ឬឯកសារ)។ មិនដូចការបំបែកដំណើរការទេ ឧបករណ៍គ្រប់គ្រង WebAssembly មានទម្ងន់ស្រាល ហើយស្ទើរតែគ្មានធនធានបន្ថែមទេ អន្តរកម្មរវាងអ្នកដោះស្រាយគឺមិនយឺតជាងការហៅមុខងារធម្មតានោះទេ។ ការបំបែកអាចត្រូវបានធ្វើមិនត្រឹមតែនៅកម្រិតនៃម៉ូឌុលបុគ្គលប៉ុណ្ណោះទេ ប៉ុន្តែក៏នៅកម្រិតនៃក្រុមនៃម៉ូឌុលផងដែរ ដែលឧទាហរណ៍ ចាំបាច់ត្រូវធ្វើការជាមួយតំបន់សតិទូទៅ។

អំណាចដែលបានស្នើសុំអាចត្រូវបានកំណត់ទាំងនៅកម្រិតនៃភាពអាស្រ័យខ្លួនឯង និងត្រូវបានផ្ទេរទៅឱ្យភាពអាស្រ័យតាមខ្សែសង្វាក់ដោយម៉ូឌុលមេ (ធនធាននៅក្នុង WASI ត្រូវបានភ្ជាប់ជាមួយប្រភេទពិសេសនៃឯកសារពិពណ៌នា - សមត្ថភាព) ។ ឧទាហរណ៍ ម៉ូឌុលមួយអាចត្រូវបានផ្ទេរសិទ្ធិឱ្យចូលប្រើថតជាក់លាក់ និងការហៅទូរសព្ទតាមប្រព័ន្ធ ហើយប្រសិនបើហេដ្ឋារចនាសម្ព័ន្ធអភិវឌ្ឍន៍របស់ម៉ូឌុលត្រូវបានសម្របសម្រួល ឬភាពងាយរងគ្រោះត្រូវបានសម្គាល់ ក្នុងអំឡុងពេលនៃការវាយប្រហារ ការចូលប្រើនឹងត្រូវបានកំណត់ចំពោះធនធានទាំងនេះប៉ុណ្ណោះ។ ការប្រកាសធនធានដោយអ្នកបង្កើតម៉ូឌុលអាចជាសូចនាករនៃសកម្មភាពគួរឱ្យសង្ស័យ ដូចជានៅពេលដែលម៉ូឌុលដំណើរការអត្ថបទស្នើសុំការអនុញ្ញាតដើម្បីបើកការតភ្ជាប់បណ្តាញ។ ការអនុញ្ញាតដែលបានកំណត់ដំបូងត្រូវបានពិនិត្យ ហើយប្រសិនបើពួកវាផ្លាស់ប្តូរ ការផ្ទុកភាពអាស្រ័យត្រូវបានបដិសេធរហូតដល់ហត្ថលេខាម៉ូឌុលមូលដ្ឋានត្រូវបានធ្វើបច្ចុប្បន្នភាព។

សម្រាប់ការអភិវឌ្ឍន៍រួមគ្នាក្រោមស្លាបនៃសម្ព័ន្ធ Bytecode បកប្រែ ជាច្រើនទាក់ទងនឹង WebAssembly គម្រោងពីមុនត្រូវបានបង្កើតឡើងដោយក្រុមហ៊ុនស្ថាបនិករបស់សម្ព័ន្ធ៖

• ពេលវេលា - ពេលដំណើរការសម្រាប់ដំណើរការកម្មវិធី WebAssembly ជាមួយផ្នែកបន្ថែម WASI ជាកម្មវិធីឯករាជ្យធម្មតា។ វាគាំទ្រទាំងការបើកដំណើរការ WebAssembly bytecode ដោយប្រើឧបករណ៍ប្រើប្រាស់បន្ទាត់ពាក្យបញ្ជាពិសេស និងការភ្ជាប់ឯកសារដែលអាចប្រតិបត្តិបានរួចរាល់ (wasmtime ត្រូវបានបង្កើតឡើងនៅក្នុងកម្មវិធីជាបណ្ណាល័យ)។ Wasmtime មានរចនាសម្ព័ន្ធម៉ូឌុលដែលអាចបត់បែនបាន ដែលអនុញ្ញាតឱ្យអ្នកធ្វើមាត្រដ្ឋានពេលវេលាដំណើរការសម្រាប់កម្មវិធីផ្សេងៗ ឧទាហរណ៍ អ្នកអាចបង្កើតកំណែដែលបានដកចេញសម្រាប់ឧបករណ៍ដែលមានធនធានមានកំណត់។
• លូសេត - កម្មវិធីចងក្រង និងពេលដំណើរការសម្រាប់ដំណើរការកម្មវិធីក្នុងទម្រង់ WebAssembly ។ ប្លែក លក្ខណៈ Lucet គឺ​ជា​ការ​ប្រើ​ប្រាស់​នៃ​ការ​ចងក្រង​ដែល​រំពឹង​ទុក​ពេញ​លេញ (AOT, មុន​ពេល​វេលា) ជំនួស​ឱ្យ JIT ចូល​ទៅ​ក្នុង​កូដ​ម៉ាស៊ីន​ដែល​សមរម្យ​សម្រាប់​ការ​ប្រតិបត្តិ​ដោយ​ផ្ទាល់​។ គម្រោងនេះត្រូវបានបង្កើតឡើងដោយ Fastly ហើយត្រូវបានកែលម្អដើម្បីប្រើប្រាស់ធនធានតិចតួចបំផុត និងចាប់ផ្តើមករណីថ្មីៗយ៉ាងឆាប់រហ័ស (ប្រើ Lucet យ៉ាងរហ័សនៅក្នុងម៉ាស៊ីនគណនាគែមពពកដែលប្រើ WebAssembly សម្រាប់អ្នកដោះស្រាយដែលបានបើកដំណើរការលើសំណើនីមួយៗ)។ ជាផ្នែកមួយនៃគម្រោងរួម អ្នកចងក្រង Lucet ត្រូវបានគ្រោងនឹងបំប្លែងទៅប្រើ Wasmtime ជាមូលដ្ឋាន។
• WAM (WebAssembly Micro Runtime) គឺជាពេលដំណើរការមួយផ្សេងទៀតសម្រាប់ដំណើរការ WebAssembly ដែលដំបូងឡើយត្រូវបានបង្កើតឡើងដោយ Intel សម្រាប់ប្រើប្រាស់នៅក្នុងឧបករណ៍ Internet of Things។ WAMR ត្រូវ​បាន​ធ្វើ​ឱ្យ​ប្រសើរ​ឡើង​សម្រាប់​ការ​ប្រើ​ប្រាស់​ធនធាន​តិច​បំផុត ហើយ​អាច​ត្រូវ​បាន​ប្រើ​លើ​ឧបករណ៍​ដែល​មាន RAM តូច។ គម្រោងនេះរួមមានអ្នកបកប្រែ និងម៉ាស៊ីននិម្មិតសម្រាប់ប្រតិបត្តិ WebAssembly bytecode, API (សំណុំរងនៃ Libc) និងឧបករណ៍សម្រាប់ការគ្រប់គ្រងកម្មវិធីថាមវន្ត។
• ការលើកសត្វក្រៀល - ម៉ាស៊ីនបង្កើតកូដដែលបកប្រែតំណាងកម្រិតមធ្យមដោយឯករាជ្យនៃស្ថាបត្យកម្មផ្នែករឹងទៅជាកូដម៉ាស៊ីនដែលអាចប្រតិបត្តិបានដែលត្រូវបានធ្វើឱ្យប្រសើរឡើងសម្រាប់វេទិកាផ្នែករឹងជាក់លាក់។ Cranelift គាំទ្រភាពស្របគ្នានៃការចងក្រងមុខងារសម្រាប់ការបង្កើតលទ្ធផលលឿនបំផុត ដែលអនុញ្ញាតឱ្យវាត្រូវបានប្រើដើម្បីបង្កើតកម្មវិធីចងក្រង JIT (JIT ដែលមានមូលដ្ឋានលើ Cranelift ត្រូវបានប្រើនៅក្នុងម៉ាស៊ីននិម្មិត Wasmtime);
• WASI ទូទៅ - ការអនុវត្តដាច់ដោយឡែកនៃ WASI (WebAssembly System Interface) API សម្រាប់រៀបចំអន្តរកម្មជាមួយប្រព័ន្ធប្រតិបត្តិការ។
• cargo-wasi - ម៉ូឌុលសម្រាប់កម្មវិធីគ្រប់គ្រងកញ្ចប់ទំនិញដែលអនុវត្តពាក្យបញ្ជាសម្រាប់ការចងក្រងកូដ Rust ទៅក្នុង WebAssembly bytecode ដោយប្រើចំណុចប្រទាក់ WASI សម្រាប់ការប្រើប្រាស់ WebAssembly នៅខាងក្រៅកម្មវិធីរុករក។
• វត្ត и wasmpparser - ឧបករណ៍ញែកសម្រាប់ញែកអត្ថបទ (WAT, WAST) និងតំណាងគោលពីរនៃ WebAssembly bytecode ។

ដើម្បីសង្ខេប WebAssembly គឺច្រើនដូច Asm.js ប៉ុន្តែ ខុសគ្នា នៅក្នុងនោះវាគឺជាទម្រង់គោលពីរដែលមិនត្រូវបានចងភ្ជាប់ជាមួយ JavaScript និងអនុញ្ញាតឱ្យកូដកម្រិតមធ្យមកម្រិតទាបដែលត្រូវបានចងក្រងពីភាសាសរសេរកម្មវិធីផ្សេងៗត្រូវបានប្រតិបត្តិក្នុងកម្មវិធីរុករក។ WebAssembly មិនតម្រូវឱ្យមានអ្នកប្រមូលសំរាមទេព្រោះវាប្រើការគ្រប់គ្រងអង្គចងចាំច្បាស់លាស់។ ដោយប្រើ JIT សម្រាប់ WebAssembly អ្នកអាចសម្រេចបាននូវកម្រិតប្រតិបត្តិការដែលនៅជិតនឹងកូដដើម។ ក្នុងចំណោមគោលដៅចម្បងរបស់ WebAssembly គឺការធានានូវភាពចល័ត ឥរិយាបថដែលអាចព្យាករណ៍បាន និងការប្រតិបត្តិកូដដូចគ្នាបេះបិទនៅលើវេទិកាផ្សេងៗគ្នា។

ប្រភព: opennet.ru