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

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

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

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

កំណែថ្មីនៃបំណះបន្តលុបបំបាត់ការអត្ថាធិប្បាយដែលបានធ្វើឡើងក្នុងអំឡុងពេលពិភាក្សានៃបំណះកំណែទីមួយ និងទីពីរ។ ការផ្លាស់ប្តូរគួរឱ្យកត់សម្គាល់បំផុត:

• ការផ្លាស់ប្តូរត្រូវបានធ្វើឡើងចំពោះការប្រើប្រាស់ការចេញផ្សាយដែលមានស្ថេរភាពនៃ Rust 1.57 ជាអ្នកចងក្រងឯកសារយោង និងតំណភ្ជាប់ទៅកាន់ការបោះពុម្ពដែលមានស្ថេរភាពនៃភាសា Rust 2021 ត្រូវបានផ្តល់ជូន។ ពីមុន បំណះត្រូវបានចងភ្ជាប់ទៅនឹងសាខាបេតារបស់ Rust ហើយបានប្រើលក្ខណៈពិសេសភាសាមួយចំនួនដែល ត្រូវបានចាត់ថ្នាក់ថាមិនស្ថិតស្ថេរ។ ការផ្លាស់ប្តូរទៅការបញ្ជាក់ Rust 2021 បានអនុញ្ញាតឱ្យយើងផ្តួចផ្តើមការងារដើម្បីជៀសវាងការប្រើប្រាស់មុខងារមិនស្ថិតស្ថេរបែបនេះនៅក្នុងបំណះដូចជា const_fn_transmute, const_panic, const_unavailable_unchecked និង core_panic និង try_reserve ។
• ការអភិវឌ្ឍន៍នៃកំណែបែងចែកនៃបណ្ណាល័យ Rust ដែលរួមបញ្ចូលនៅក្នុងបំណះបានបន្ត កែប្រែដើម្បីបំបាត់មុខងារបែងចែកអង្គចងចាំនៃជំនាន់ដែលអាចកើតមាននៃស្ថានភាព "ភ័យស្លន់ស្លោ" នៅពេលដែលមានកំហុសកើតឡើង ដូចជាអស់ការចងចាំ។ កំណែថ្មីអនុវត្តជម្រើស "no_rc" និង "no_sync" ដើម្បីបិទមុខងារដែលមិនត្រូវបានប្រើនៅក្នុងកូដខឺណែល Rust ដែលធ្វើឱ្យបណ្ណាល័យកាន់តែម៉ូឌុល។ ការងារបន្តជាមួយអ្នកអភិវឌ្ឍន៍បែងចែកសំខាន់ គោលបំណងផ្ទេរការផ្លាស់ប្តូរដែលត្រូវការសម្រាប់ខឺណែលទៅបណ្ណាល័យមេ។ ជម្រើស “no_fp_fmt_parse” ដែលតម្រូវឱ្យបណ្ណាល័យដំណើរការនៅកម្រិតខឺណែល ត្រូវបានផ្លាស់ទីទៅបណ្ណាល័យមូលដ្ឋាន Rust (ស្នូល)។
• កូដត្រូវបានសម្អាត ដើម្បីកម្ចាត់ការព្រមានអំពីអ្នកចងក្រងដែលអាចកើតមាន នៅពេលបង្កើតខឺណែលនៅក្នុងរបៀប CONFIG_WERROR ។ នៅពេលបង្កើតកូដនៅក្នុង Rust របៀបវិនិច្ឆ័យអ្នកចងក្រងបន្ថែម និងការព្រមានអំពីស្រទាប់ Clippy ត្រូវបានបើក។
• Abstractions ត្រូវបានស្នើឡើងសម្រាប់ប្រើក្នុង Rust code សម្រាប់ seqlocks (sequence locks), callback calls for power management, I/O Memory (readX/writeX), interrupt and thread handlers, GPIO, access to devices, drivers and credentials.
• ឧបករណ៍សម្រាប់ការអភិវឌ្ឍន៍កម្មវិធីបញ្ជាត្រូវបានពង្រីកដើម្បីរួមបញ្ចូល mutexes ដែលអាចផ្លាស់ប្តូរទីតាំងបាន ប៊ីត iterators ការចងទ្រនិចដ៏សាមញ្ញ ការកែលម្អការវិនិច្ឆ័យកំហុស និងហេដ្ឋារចនាសម្ព័ន្ធឯករាជ្យនៃរថយន្តក្រុងទិន្នន័យ។
• ធ្វើឱ្យប្រសើរឡើងនូវការងារជាមួយតំណភ្ជាប់ដោយប្រើប្រភេទ Ref សាមញ្ញ ដោយផ្អែកលើកម្មវិធីខាងក្រោយ refcount_t ដែលប្រើ kernel API នៃឈ្មោះដូចគ្នាសម្រាប់ការរាប់ឯកសារយោង។ ការគាំទ្រសម្រាប់ប្រភេទ Arc និង Rc ដែលផ្តល់នៅក្នុងបណ្ណាល័យ alloc ស្តង់ដារត្រូវបានដកចេញ ហើយមិនមាននៅក្នុងកូដដែលបានប្រតិបត្តិនៅកម្រិតខឺណែលទេ (ជម្រើសត្រូវបានរៀបចំសម្រាប់បណ្ណាល័យខ្លួនឯងដែលបិទប្រភេទទាំងនេះ)។
• បំណះរួមមានកំណែនៃកម្មវិធីបញ្ជា PL061 GPIO ដែលត្រូវបានសរសេរឡើងវិញនៅក្នុង Rust ។ លក្ខណៈពិសេសរបស់កម្មវិធីបញ្ជាគឺថាការអនុវត្តរបស់វាស្ទើរតែមួយបន្ទាត់ម្តងមួយៗធ្វើឡើងវិញនូវកម្មវិធីបញ្ជា GPIO ដែលមានស្រាប់នៅក្នុងភាសា C ។ សម្រាប់អ្នកអភិវឌ្ឍន៍ដែលចង់ស្គាល់ការបង្កើតកម្មវិធីបញ្ជានៅក្នុង Rust ការប្រៀបធៀបតាមបន្ទាត់មួយត្រូវបានរៀបចំដែលអនុញ្ញាតឱ្យពួកគេយល់ថាការសាងសង់ណាមួយនៅក្នុង Rust កូដ C ត្រូវបានបំលែងទៅជា។
• មូលដ្ឋានកូដ Rust ចម្បងបានទទួលយក rustc_codegen_gcc ដែលជាកម្មវិធីខាងក្រោយ rustc សម្រាប់ GCC ដែលអនុវត្តការចងក្រងជាមុន (AOT) ដោយប្រើបណ្ណាល័យ libgccjit ។ ជាមួយនឹងការអភិវឌ្ឍន៍ត្រឹមត្រូវនៃផ្នែកខាងក្រោយ វានឹងអនុញ្ញាតឱ្យអ្នកប្រមូលកូដ Rust ដែលពាក់ព័ន្ធនឹងខឺណែលដោយប្រើ GCC ។
• បន្ថែមពីលើ ARM, Google និង Microsoft, Red Hat បានបង្ហាញពីចំណាប់អារម្មណ៍ក្នុងការប្រើប្រាស់ភាសា Rust នៅក្នុងខឺណែលលីនុច។ ចូរយើងរំលឹកថា Google ផ្តល់ការគាំទ្រដោយផ្ទាល់សម្រាប់គម្រោង Rust for Linux កំពុងបង្កើតការអនុវត្តថ្មីនៃយន្តការទំនាក់ទំនងអន្តរដំណើរការ Binder នៅក្នុង Rust ហើយកំពុងពិចារណាពីលទ្ធភាពនៃដំណើរការឡើងវិញនូវកម្មវិធីបញ្ជាផ្សេងៗនៅក្នុង Rust ។ ក្រុមហ៊ុន Microsoft បានចាប់ផ្តើមអនុវត្តកម្មវិធីបញ្ជាសម្រាប់ Hyper-V នៅក្នុង Rust ។ ARM កំពុងធ្វើការដើម្បីកែលម្អការគាំទ្រ Rust សម្រាប់ប្រព័ន្ធដែលមានមូលដ្ឋានលើ ARM ។ IBM បានអនុវត្តការគាំទ្រ Rust នៅក្នុងខឺណែលសម្រាប់ប្រព័ន្ធ PowerPC ។

ប្រភព: opennet.ru