កំណែទីប្រាំបីនៃបំណះសម្រាប់ខឺណែលលីនុច ជាមួយនឹងការគាំទ្រសម្រាប់ភាសា Rust

Miguel Ojeda អ្នកនិពន្ធនៃគម្រោង Rust-for-Linux បានស្នើឱ្យមានការចេញផ្សាយសមាសធាតុ v8 សម្រាប់បង្កើតកម្មវិធីបញ្ជាឧបករណ៍នៅក្នុងភាសា Rust សម្រាប់ការពិចារណាដោយអ្នកអភិវឌ្ឍន៍ខឺណែលលីនុច។ នេះគឺជាកំណែដែលបានកែប្រែនៃបំណះ ដោយគិតគូរពីកំណែដំបូង ដែលបានបោះពុម្ពដោយគ្មានលេខកំណែ។ ការគាំទ្រច្រែះត្រូវបានចាត់ទុកថាជាការពិសោធន៍ ប៉ុន្តែត្រូវបានរួមបញ្ចូលរួចហើយនៅក្នុងសាខា linux-next ដែលអះអាងថាត្រូវបានដាក់បញ្ចូលក្នុងការចេញផ្សាយរដូវស្លឹកឈើជ្រុះ 5.20/6.0 ហើយមានភាពចាស់ទុំគ្រប់គ្រាន់ដើម្បីចាប់ផ្តើមធ្វើការលើការបង្កើតស្រទាប់អរូបីលើប្រព័ន្ធរងខឺណែល ក៏ដូចជាកម្មវិធីបញ្ជាការសរសេរផងដែរ។ និងម៉ូឌុល។ ការអភិវឌ្ឍន៍នេះត្រូវបានផ្តល់មូលនិធិដោយ Google និង ISRG (ក្រុមស្រាវជ្រាវសន្តិសុខអ៊ីនធឺណិត) ដែលជាស្ថាបនិកនៃគម្រោង Let's Encrypt និងផ្សព្វផ្សាយ HTTPS និងការអភិវឌ្ឍន៍បច្ចេកវិទ្យាដើម្បីកែលម្អសុវត្ថិភាពអ៊ីនធឺណិត។

នៅក្នុងកំណែថ្មី៖

• កញ្ចប់ឧបករណ៍ និងបំរែបំរួលនៃបណ្ណាល័យ Alloc ដោយមិនគិតពីការបង្កើតស្ថានភាព "ភ័យស្លន់ស្លោ" នៅពេលមានកំហុស ត្រូវបានធ្វើបច្ចុប្បន្នភាពសម្រាប់ការចេញផ្សាយ Rust 1.62។ បើប្រៀបធៀបទៅនឹងកំណែដែលបានប្រើពីមុន កញ្ចប់ឧបករណ៍ Rust បានធ្វើឱ្យការគាំទ្រមានស្ថេរភាពសម្រាប់មុខងារ const_fn_trait_bound ដែលប្រើក្នុងបំណះខឺណែល។
• លេខកូដចងត្រូវបានបំបែកទៅជាកញ្ចប់ "ការចង" ដាច់ដោយឡែក ដែលជួយសម្រួលដល់ការកសាងឡើងវិញ ប្រសិនបើការផ្លាស់ប្តូរត្រូវបានធ្វើឡើងចំពោះតែកញ្ចប់សំខាន់ "ខឺណែល" ប៉ុណ្ណោះ។
• ការអនុវត្តម៉ាក្រូ "concat_idents!" សរសេរឡើងវិញក្នុងទម្រង់ម៉ាក្រូនីតិវិធីដែលមិនត្រូវបានចងភ្ជាប់ទៅនឹងមុខងារ concat_idents និងអនុញ្ញាតឱ្យប្រើឯកសារយោងទៅអថេរមូលដ្ឋាន។
• ម៉ាក្រូ “static_assert!” ត្រូវបានសរសេរឡើងវិញ ដោយអនុញ្ញាតឱ្យប្រើ “core::assert!()” នៅក្នុងបរិបទណាមួយជំនួសឱ្យថេរ។
• ម៉ាក្រូ "build_error!" ប្រែប្រួលដើម្បីដំណើរការនៅពេលដែលរបៀប “RUST_BUILD_ASSERT_{WARN, ALLOW}” ត្រូវបានកំណត់សម្រាប់ម៉ូឌុល។
• បានបន្ថែមឯកសារដាច់ដោយឡែកមួយជាមួយនឹងការកំណត់ “kernel/configs/rust.config”។
• ឯកសារ “*.i” ដែលដំណើរការនៅក្នុងការជំនួសម៉ាក្រូត្រូវបានប្តូរឈ្មោះទៅជា “*.rsi”។
• ការ​គាំទ្រ​សម្រាប់​ការ​បង្កើត​សមាសធាតុ Rust ជាមួយ​កម្រិត​បង្កើន​ប្រសិទ្ធភាព​ខុស​គ្នា​ពី​ការ​ប្រើ​សម្រាប់​កូដ C ត្រូវ​បាន​បញ្ឈប់។
• បានបន្ថែមម៉ូឌុល fs ដែលផ្តល់នូវការចងសម្រាប់ធ្វើការជាមួយប្រព័ន្ធឯកសារ។ ឧទាហរណ៍នៃប្រព័ន្ធឯកសារសាមញ្ញដែលសរសេរជា Rust ត្រូវបានផ្តល់ជូន។
• បានបន្ថែមម៉ូឌុលការងារជួរសម្រាប់ធ្វើការជាមួយជួរប្រព័ន្ធ (ផ្តល់នូវការចងលើរចនាសម្ព័ន្ធខឺណែល work_struct និង workqueue_struct) ។
• ការអភិវឌ្ឍន៍នៃម៉ូឌុល kasync បានបន្តជាមួយនឹងការអនុវត្តវិធីសាស្ត្រសរសេរកម្មវិធីអសមកាល (async) ។ បានបន្ថែមឧទាហរណ៍នៃម៉ាស៊ីនមេ TCP កម្រិតស្នូលដែលបានសរសេរនៅក្នុង Rust ។
• បានបន្ថែមសមត្ថភាពក្នុងការដោះស្រាយការរំខាននៅក្នុងភាសា Rust ដោយប្រើប្រភេទ [Threaded]Handler និង [Threaded]Registration` ប្រភេទ។
• បានបន្ថែមម៉ាក្រូនីតិវិធី "#[vtable]" ដើម្បីធ្វើឱ្យវាកាន់តែងាយស្រួលក្នុងការធ្វើការជាមួយតារាងនៃទ្រនិចមុខងារ ដូចជារចនាសម្ព័ន្ធ file_operations ។
• បានបន្ថែមការអនុវត្តន៍នៃបញ្ជីតំណភ្ជាប់ទ្វេទិស "unsafe_list::List"។
• បានបន្ថែមការគាំទ្រដំបូងសម្រាប់ RCU (Read-copy-update) និងប្រភេទ Guard ដើម្បីពិនិត្យមើលថាតើការចាក់សោរដែលបានអានត្រូវបានចងភ្ជាប់ទៅនឹងខ្សែស្រឡាយបច្ចុប្បន្ន។
• Added Task::spawn() function ដើម្បីបង្កើត និងចាប់ផ្តើម kernel threads ដោយស្វ័យប្រវត្តិ។ ក៏បានបន្ថែមវិធីសាស្ត្រ Task::wake_up()។
• បានបន្ថែមម៉ូឌុលពន្យារពេលដែលអនុញ្ញាតឱ្យអ្នកប្រើការពន្យារពេល (រុំលើ msleep()) ។

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

សុវត្ថិភាពនៃអង្គចងចាំត្រូវបានផ្តល់ជូននៅក្នុង Rust នៅពេលចងក្រងតាមរយៈការត្រួតពិនិត្យឯកសារយោង ការរក្សាដាននៃភាពជាម្ចាស់វត្ថុ និងអាយុកាលរបស់វត្ថុ (វិសាលភាព) ក៏ដូចជាតាមរយៈការវាយតម្លៃភាពត្រឹមត្រូវនៃការចូលប្រើអង្គចងចាំអំឡុងពេលដំណើរការកូដ។ ច្រែះក៏ផ្តល់ការការពារប្រឆាំងនឹងចំនួនគត់លើសចំណុះ ទាមទារការចាប់ផ្តើមចាំបាច់នៃតម្លៃអថេរមុនពេលប្រើ ដោះស្រាយកំហុសបានប្រសើរជាងនៅក្នុងបណ្ណាល័យស្តង់ដារ អនុវត្តគោលគំនិតនៃសេចក្តីយោងដែលមិនអាចផ្លាស់ប្តូរបាន និងអថេរតាមលំនាំដើម ផ្តល់នូវការវាយអក្សរឋិតិវន្តខ្លាំង ដើម្បីកាត់បន្ថយកំហុសឡូជីខល។

ប្រភព: opennet.ru