გამოვიდა Rust 1.99.0. Microsoft-მა Rust ძირითად ენად აქცია

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

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

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

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

• Rust ახლა საშუალებას გაძლევთ შექმნათ C პროექტებიდან (C ABI) გამოძახებისთვის ექსპორტირებული ვარიაციული ფუნქციები. ასეთ ფუნქციებში პარამეტრების სიის ბოლო ელემენტი შეიძლება იყოს "..." კონსტრუქტი, რომელიც Rust-ში დამუშავდება სპეციალური ტიპის, VaList-ის გამოყენებით, რომელიც მუშაობს C-ში va_list-ის მსგავსად. unsafe extern "C" fn sum(mut args: ...) -> i32 { let a = unsafe { args.next_arg:: () }; ნება b = არაუსაფრთხო { args.next_arg:: () }; a + b } fn foo() -> i32 { არაუსაფრთხო { ჯამი(0i32, 2i32) } }
• Layout::for_value_raw, mem::size_of_val_raw და mem::align_of_val_raw ფუნქციები სტაბილიზირებულია, რათა უზრუნველყოფილი იყოს ნედლი მაჩვენებლების ზომისა და გასწორების უსაფრთხოდ განსაზღვრა, მათ შორის დინამიურად ზომის ტიპების, როგორიცაა ნაჭრები, გამოყენებისას, მონაცემთა მითითებების შექმნის გარეშე.
• დოკუმენტაცია ახლა რეკომენდაციას იძლევა, რომ თავიდან იქნას აცილებული მეხსიერების გათავისუფლება, რომელზეც სტატიკურად მითითება იყო განუსაზღვრელი ვადით (&'static) Box::leak-ის გამოძახებით (წრიული გაჟონვის განბლოკვა), რადგან ამ ქმედებამ შესაძლოა გამოიწვიოს პრობლემები მომავალი კომპილატორის ოპტიმიზაციასთან და მეხსიერების განაწილების მექანიზმებთან შეუთავსებლობის გამო. დროებითი საკუთრების გადაცემისთვის სტატიკური მითითების შექმნის ნაცვლად, რეკომენდებულია ნედლი მითითებების გამოყენება, მაგალითად, Box::into_non_null-ის გამოძახებით.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • IntoIterator Box-ისთვის<[T; N]>
  • IntoIterator &Box<[T; N]>-ისთვის
  • IntoIterator &mut Box<[T; N]>-ისთვის
  • VecDeque::retain_back
  • core::ffi::VaList
  • ყუთი::into_non_null
  • ყუთი::from_non_null
  • Vec::into_parts
  • Vec::from_parts
  • core::mem::size_of_val_raw
  • core::mem::align_of_val_raw
  • core::alloc::Layout::for_value_raw
  • String::from_utf8_lossy_owned
  • string::FromUtf8Error::into_utf8_lossy
  • FusedIterator StepBy-სთვის
  • std::fs::set_times
  • std::fs::set_times_nofollow
• ტვირთის პაკეტების მენეჯერს ახლა აქვს ახალი ჩაშენებული „debug“ პროფილი, „dev“ პროფილის მსგავსი (მომავალში დაგეგმილია debug-ისა და development-ის შესაძლებლობების გამოყოფა). CI-ში აგებისას, ინკრემენტული კომპილაცია სტანდარტულად გამორთულია.
• riscv64-unknown-linux-musl სამიზნე პლატფორმა გადავიდა მე-2 დონის მხარდაჭერაზე, რაც უზრუნველყოფს აწყობის გარანტიას, მაგრამ არა ტესტირების ნაკრების გავლის გარანტიას.

გარდა ამისა, გვსურს გამოვყოთ Rust-თან დაკავშირებული ახლახან გამოცხადებული პროექტები და ღონისძიებები:

• Microsoft-მა Rust-ი Tier 1 ენაზე განაახლა და კომპანიის განვითარების ყველა ეტაპზე სრულ მხარდაჭერას უზრუნველყოფს. აქამდე Tier 1 მხარდაჭერა არსებობდა C++, C# და TypeScript პროგრამირებისთვის. Rust უკვე გამოიყენება Microsoft-ის 100-ზე მეტ საცავში. სხვა საკითხებთან ერთად, Rust-ის კომპონენტები უკვე გამოიყენება ისეთ პროდუქტებში, როგორიცაა Microsoft 365 და Copilot, ხოლო MSVC კომპილატორისთვის შემუშავდა Rust-ისთვის განკუთვნილი ბექენდი, rustc_codegen_utc, რომელიც დაფუძნებულია rustc კომპილატორზე.

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

• Google-მა ის ბირთვიდან ამოიღო. Linux C ენაზე დაწერილი Binder IPC-ის ძველი იმპლემენტაცია მოძველდა Rust-ში გადაწერილი ახალი Binder IPC დრაივერის სასარგებლოდ. აღსანიშნავია, რომ მისი არსებობის 15 წლის განმავლობაში ძველ დრაივერს დაგროვდა მნიშვნელოვანი ტექნიკური დავალიანება და მრავალი გართულება, რამაც ხელი შეუშალა შეცდომების აღმოჩენას, მოვლა-პატრონობას და ახალი ფუნქციების დამატებას. Rust-ში Binder IPC დრაივერი მთავარ დრაივერად იქნა დანიშნული და აღარ არის წარმოდგენილი ექსპერიმენტული განვითარების სახით.
• გამოვიდა Arti 2.7.0, Tor ინსტრუმენტარიუმის Rust-ის იმპლემენტაცია. როგორც კი Arti-ს კოდის ბაზა მიაღწევს დონეს, რომელსაც შეუძლია სრულად ჩაანაცვლოს C იმპლემენტაცია, Tor-ის დეველოპერები აპირებენ, რომ Arti გახდეს Tor-ის ძირითადი იმპლემენტაცია და თანდათანობით შეწყვიტონ C იმპლემენტაციის ტექნიკური მომსახურება. ახალი ვერსია მოიცავს რელეებისა და სერვერები დირექტორიის ავტორიტეტის (DA) ფუნქციონალი, რომელიც დაკავშირებულია დოკუმენტების დამუშავებასთან, დირექტორიის სერვერის სარკისებური ასლის მხარდაჭერასთან და DNS ტრაფიკის დამუშავებასთან. დამატებულია RPC იმპლემენტაცია კონფიგურაციის ცვლილებებისა და შემოწმებებისთვის. გამოსწორდა რამდენიმე დაუცველობა - onion სერვისის ადმინისტრატორებს ურჩევენ სასწრაფოდ განაახლონ თავიანთი სისტემები.

წყარო: opennet.ru