ក្របខ័ណ្ឌសម្រាប់ការសរសេរកម្មវិធីបញ្ជាសុវត្ថិភាពសម្រាប់ខឺណែលលីនុចនៅក្នុង Rust

Josh Triplett ដែលធ្វើការនៅ Intel និងជាគណៈកម្មាធិការត្រួតពិនិត្យការអភិវឌ្ឍន៍ Crates.io បាននិយាយនៅឯកិច្ចប្រជុំកំពូលបច្ចេកវិទ្យាប្រភពបើកចំហ ណែនាំ ក្រុមការងារដែលមានគោលបំណងនាំយកភាសា Rust ឱ្យមានភាពស្មើគ្នាជាមួយភាសា C ក្នុងវិស័យសរសេរកម្មវិធីប្រព័ន្ធ។

នៅក្នុងក្រុមការងារដែលកំពុងស្ថិតក្នុងដំណើរការបង្កើត អ្នកអភិវឌ្ឍន៍ Rust រួមជាមួយនឹងវិស្វករមកពី Intel នឹងរៀបចំការបញ្ជាក់ដែលកំណត់មុខងារដែលត្រូវអនុវត្តនៅក្នុង Rust សម្រាប់ការសរសេរកម្មវិធីប្រព័ន្ធ។ ការសរសេរកម្មវិធីប្រព័ន្ធជារឿយៗតម្រូវឱ្យមានការរៀបចំកម្រិតទាប ដូចជាការប្រតិបត្តិការណែនាំរបស់ខួរក្បាលដែលមានសិទ្ធិ និងការទទួលបានព័ត៌មានលម្អិតអំពីស្ថានភាពរបស់ខួរក្បាល។ ក្នុងចំណោមលក្ខណៈពិសេសស្រដៀងគ្នាដែលត្រូវបានបង្កើតឡើងរួចហើយសម្រាប់ Rust ការគាំទ្រសម្រាប់រចនាសម្ព័ន្ធដែលមិនបញ្ចេញឈ្មោះ សហជីព ការបញ្ចូលភាសាការជួបប្រជុំគ្នា (ម៉ាក្រូ "asm!") និងទម្រង់លេខអណ្តែតទឹក BFLOAT16 ត្រូវបានកត់សម្គាល់។

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

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

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

វាប្រែថាក្រុមជាច្រើនកំពុងធ្វើការក្នុងទិសដៅនេះរួចហើយ។ ឧទាហរណ៍អ្នកអភិវឌ្ឍន៍ពីក្រុមហ៊ុន "ត្រីក្នុងធុង" រៀបចំ កញ្ចប់ឧបករណ៍សម្រាប់ការសរសេរម៉ូឌុលដែលអាចផ្ទុកបានសម្រាប់ខឺណែលលីនុចជាភាសា Rust ដោយប្រើសំណុំនៃស្រទាប់អរូបីលើចំណុចប្រទាក់ និងរចនាសម្ព័ន្ធខឺណែលដើម្បីបង្កើនសុវត្ថិភាព។ ស្រទាប់ត្រូវបានបង្កើតដោយស្វ័យប្រវត្តិដោយផ្អែកលើឯកសារបឋមកថាខឺណែលដែលមានស្រាប់ដោយប្រើឧបករណ៍ប្រើប្រាស់ ចង. Clang ត្រូវបានប្រើដើម្បីបង្កើតស្រទាប់។ បន្ថែមពីលើ interlayers ម៉ូឌុលដែលបានជួបប្រជុំគ្នាប្រើកញ្ចប់ staticlib ។

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

មិនមែនមុខងារដែលមានបំណងទាំងអស់ត្រូវបានអនុវត្តនៅឡើយទេ ប៉ុន្តែក្របខ័ណ្ឌនេះគឺពិតជាសមរម្យសម្រាប់ការងារហើយត្រូវបានប្រើដើម្បីសរសេរកម្មវិធីបញ្ជាសម្រាប់ឧបករណ៍បញ្ជា USB Ethernet LAN9512 ដែលបានផ្គត់ផ្គង់នៅក្នុងបន្ទះ Raspberry Pi 3 កម្មវិធីបញ្ជា smsc95xx ដែលមានស្រាប់ ភាសា C ។ វាត្រូវបានកត់សម្គាល់ថាទំហំម៉ូឌុល និងតម្លៃលើសពីសមាសភាគពេលដំណើរការនៅពេលបង្កើតកម្មវិធីបញ្ជានៅក្នុង Rust គឺមិនសំខាន់ ដែលអនុញ្ញាតឱ្យប្រើក្របខ័ណ្ឌសម្រាប់ឧបករណ៍ដែលមានធនធានមានកម្រិត។

ប្រភព: opennet.ru