Rust 1.74 პროგრამირების ენის გამოშვება. RustVMM აუდიტი. ბაინდერის გადაწერა ჟანგში

გამოვიდა ზოგადი დანიშნულების პროგრამირების ენა Rust 1.74, რომელიც დაარსდა Mozilla-ს პროექტის მიერ, მაგრამ ახლა შეიქმნა დამოუკიდებელი არაკომერციული ორგანიზაციის Rust Foundation-ის ეგიდით. ენა ყურადღებას ამახვილებს მეხსიერების უსაფრთხოებაზე და უზრუნველყოფს საშუალებებს სამუშაოს მაღალი პარალელურობის მისაღწევად, ნაგვის შემგროვებლისა და მუშაობის დროის თავიდან აცილებისას (გაშვების დრო მცირდება სტანდარტული ბიბლიოთეკის ძირითად ინიციალიზაციამდე და შენარჩუნებამდე).

Rust-ის მეხსიერების დამუშავების მეთოდები იცავს დეველოპერს შეცდომებისგან მაჩვენებლების მანიპულირებისას და იცავს პრობლემებისგან, რომლებიც წარმოიქმნება დაბალი დონის მეხსიერების დამუშავების გამო, როგორიცაა მეხსიერების არეზე წვდომა მისი გათავისუფლების შემდეგ, ნულ პოინტერების გაუქმება, ბუფერის გადაჭარბება და ა.შ. ბიბლიოთეკების გასავრცელებლად, კონსტრუქციების უზრუნველსაყოფად და დამოკიდებულებების სამართავად, პროექტი შეიმუშავებს Cargo პაკეტის მენეჯერს. crates.io საცავი მხარდაჭერილია ბიბლიოთეკების ჰოსტინგისთვის.

მეხსიერების უსაფრთხოება უზრუნველყოფილია Rust-ში კომპილაციის დროს, მითითების შემოწმების, ობიექტის საკუთრების თვალყურის დევნების, ობიექტების სიცოცხლის ხანგრძლივობის (ფარგლების) თვალყურის დევნების გზით და კოდის შესრულების დროს მეხსიერების წვდომის სისწორის შეფასებით. Rust ასევე უზრუნველყოფს დაცვას მთელი რიცხვების გადადინებისგან, მოითხოვს ცვლადის მნიშვნელობების სავალდებულო ინიციალიზაციას გამოყენებამდე, უკეთ ამუშავებს შეცდომებს სტანდარტულ ბიბლიოთეკაში, იყენებს უცვლელი მითითებებისა და ცვლადების კონცეფციას ნაგულისხმევად, გთავაზობთ ძლიერ სტატიკურ აკრეფას ლოგიკური შეცდომების შესამცირებლად.

ძირითადი ინოვაციები:

• დაემატა Cargo.toml ფაილის მეშვეობით ლინტების შემოწმების კონფიგურაციის შესაძლებლობა პაკეტის მენეჯერის მანიფესტთან ერთად. ლინტის პარამეტრების განსაზღვრისთვის, როგორიცაა რეაგირების დონე (აკრძალვა, უარყოფა, გაფრთხილება, დაშვება), შემოთავაზებულია ახალი სექციები „[lints]“ და „[workspace.lints]“, რომლებშიც ცვლილებები მხედველობაში მიიღება გადაწყვეტილების მიღებისას. აღმშენებლობა. მაგალითად, იმის ნაცვლად, რომ მიუთითოთ „-F“, „-D“, „-W“ და „-A“ დროშები „#![forbid(unsafe_code)]“ და „#![უარი(clippy) აწყობისას ან დამატებისას. :” ახასიათებს კოდს) :enum_glob_use)]" ახლა შეიძლება გამოყენებულ იქნას Cargo manifest-ში: [lints.rust] unsafe_code = "აკრძალოს" [lints.clippy] enum_glob_use = "უარი"
• Crate პაკეტის მენეჯერმა დაამატა ავთენტიფიკაციის შესაძლებლობა საცავთან დაკავშირებისას. ძირითადი განაწილება მოიცავს ავთენტიფიკაციის პარამეტრების განთავსების მხარდაჭერას Linux-ის სერთიფიკატების მაღაზიებში (libsecret-ზე დაყრდნობით), macOS (Keychain) და Windows (Windows Credential Manager), მაგრამ სისტემა თავდაპირველად მოდულარული იყო და საშუალებას გაძლევთ მოაწყოთ მუშაობა სხვადასხვა პროვაიდერებთან შესანახად და შესანახად. ტოკენების გენერირებისას, მაგალითად, მომზადდა მოდული 1Password პაროლის მენეჯერის გამოსაყენებლად. საცავმა შეიძლება მოითხოვოს ავთენტიფიკაცია ნებისმიერი ოპერაციისთვის და არა მხოლოდ პაკეტების გამოქვეყნების დასადასტურებლად. ~/.cargo/config.toml [რეგისტრაცია] global-credential-providers = ["cargo:token", "cargo:libsecret"]
• დაბრუნების ტიპის პროგნოზების მხარდაჭერა (impl_trait_projections) სტაბილიზირებულია, რაც Self-ისა და T::Assoc-ის მოხსენიების საშუალებას იძლევა დაბრუნების ტიპებში, როგორიცაა "async fn" და "->impl Trait". struct Wrapper<'a, T>(&'a T); // დაბრუნების გაუმჭვირვალე ტიპები, რომლებიც აღნიშნავენ `Self`-ს: impl Wrapper<'_, ()> { async fn async_fn() -> Self { /* … */ } fn impl_trait() -> impl Iterator { /* … */ } } თვისება Trait<'a> { type Assoc; fn new() -> Self::Assoc; } impl Trait<'_> for () { type Assoc = (); fn new() {} } // გაუმჭვირვალე დაბრუნების ტიპები, რომლებიც აღნიშნავენ ასოცირებულ ტიპს: impl<'a, T: Trait<'a>> Wrapper<'a, T> { async fn mk_assoc() -> T::Assoc { /* … */ } fn a_few_assocs() -> impl Iterator { /* … */ }}
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • ძირითადი::mem::transmute_copy
  • str::is_ascii
  • [u8]::is_ascii
  • ბირთვი::num::გაჯერება
  • impl From for std::process::Stdio
  • impl From for std::process::Stdio
  • impl From for std::process::Child{Stdin, Stdout, Stderr}
  • impl From for std::process::Child{Stdin, Stdout, Stderr}
  • std::ffi::OsString::from_encoded_bytes_unchecked
  • std::ffi::OsString::into_encoded_bytes
  • std::ffi::OsStr::from_encoded_bytes_unchecked
  • std::ffi::OsStr::as_encoded_bytes
  • std::io::შეცდომა::სხვა
  • impl TryFrom U16-ისთვის
  • იმპლ მდებარეობა<&[T; N]> ვექ
  • იმპლ დან<&mut [T; N]> ვექ
  • იმპლ მდებარეობა<[T; N]> Arc<[T]>-ისთვის
  • იმპლ მდებარეობა<[T; N]> Rc<[T]>-ისთვის
• შემდგენელმა, ინსტრუმენტთა ნაკრები, სტანდარტული ბიბლიოთეკა და გენერირებული აპლიკაციების შესრულებამ გაზარდა მოთხოვნები Apple-ის პლატფორმებისთვის, ახლა საჭიროა მინიმუმ 10.12 წელს გამოშვებული macOS 10 Sierra, iOS 10 და tvOS 2016.
• მხარდაჭერის მესამე დონე განხორციელდა i686-pc-windows-gnullvm პლატფორმისთვის. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.
• განხორციელდა loongarch64-unknown-none სამიზნე პლატფორმის მხარდაჭერის მეორე დონე. მხარდაჭერის მეორე დონე მოიცავს შეკრების გარანტიას.

გარდა ამისა, შეიძლება აღინიშნოს Rust ენასთან დაკავშირებული ორი მოვლენა:

• OSTIF-მა (Open Source Technology Improvement Fund), რომელიც შეიქმნა ღია კოდის პროექტების უსაფრთხოების გასაძლიერებლად, გამოაქვეყნა RustVMM პროექტის აუდიტის შედეგები, რომელიც უზრუნველყოფს კომპონენტებს დავალების სპეციფიკური ჰიპერვიზორების და ვირტუალური მანქანების მონიტორების (VMM) შესაქმნელად. პროექტის შემუშავებაში მონაწილეობენ ისეთი კომპანიები, როგორიცაა Intel, Alibaba, Amazon, Google, Linaro და Red Hat. Intel Cloud Hypervisor და Dragonball ჰიპერვიზორები შემუშავებულია RustVMM-ის საფუძველზე. აუდიტმა დაადასტურა კოდის ბაზის მაღალი ხარისხი და ტექნიკის გამოყენება არქიტექტურასა და განხორციელებაში, რომელიც მიზნად ისახავს მაქსიმალური უსაფრთხოების მიღწევას. აუდიტის დროს გამოიკვეთა 6 პრობლემა, რომელსაც პირდაპირი გავლენა არ მოუხდენია უსაფრთხოებაზე.
• Google-მა გააცნო Binder-ის ინტერპროცესური კომუნიკაციის მექანიზმის ახალი იმპლემენტაცია, რომელიც ხელახლა იქნა დაწერილი Rust ენაზე, Linux-ის ბირთვის დეველოპერების საფოსტო სიაში. გადამუშავება განხორციელდა უსაფრთხოების გაძლიერების, უსაფრთხო პროგრამირების ტექნიკის ხელშეწყობისა და პრობლემების იდენტიფიცირების ეფექტურობის გაზრდის ფარგლებში, ანდროიდის მეხსიერებასთან მუშაობისას (Android-ში გამოვლენილი ყველა საშიში დაუცველობის დაახლოებით 70% გამოწვეულია მეხსიერებით მუშაობისას შეცდომით. ). Binder in Rust-ის დანერგვამ მიაღწია ფუნქციონალურობის თანასწორობას C ენაზე თავდაპირველ ვერსიასთან, გაივლის AOSP (Android Open-Source Project) ყველა ტესტს და შეიძლება გამოყენებულ იქნას firmware-ის სამუშაო გამოცემების შესაქმნელად. ორივე განხორციელების შესრულება დაახლოებით ერთსა და იმავე დონეზეა (გადახრები -1.96% და +1.38%) ფარგლებში.

წყარო: opennet.ru