Rust 1.53 გამოვიდა. Google დააფინანსებს Rust-ის მხარდაჭერის დამატებას Linux-ის ბირთვში

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

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

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

• მასივებისთვის დანერგილია IntoIterator თვისება, რომელიც საშუალებას გაძლევთ მოაწყოთ მასივის ელემენტების გამეორება მნიშვნელობების მიხედვით: for i-ში [1, 2, 3] { .. }

  ასევე შესაძლებელია მასივების გადაცემა მეთოდებზე, რომლებიც იღებენ იტერატორებს, მაგალითად: let set = BTreeSet::from_iter([1, 2, 3]); for (a, b) in some_iterator.chain([1]).zip([1, 2, 3]) { .. }

  ადრე, IntoIterator მხოლოდ მასივის მითითებისთვის იყო დანერგილი, ე.ი. მნიშვნელობებზე გამეორებისთვის საჭიროა მიმართვების გამოყენება („&[1, 2, 3]“) ან „[1, 2, 3].iter()“. მასივებისთვის IntoIterator-ის დანერგვა შეფერხდა თავსებადობის პრობლემების გამო, რომელიც გამოწვეული იყო კომპილერის ადრინდელი კონვერტაციით array.into_iter()-დან (&array).into_iter(). ეს პრობლემები მოგვარდა გამოსავალით - შემდგენელი გააგრძელებს array.into_iter()-ად (&array).into_iter()-ად გარდაქმნას, თითქოს არ არსებობდეს IntoIterator ნიშან-თვისება, მაგრამ მხოლოდ მეთოდის გამოძახებისას ".into_iter(-ის გამოყენებით. )" სინტაქსი და ზარების შეხების გარეშე სახით "[1, 2, 3]", "iter.zip([1, 2, 3])", "IntoIterator::into_iter([1, 2, 3] )".

• შესაძლებელია გამოთქმების დაზუსტება "|" (ლოგიკური OR ოპერაცია) შაბლონის ნებისმიერ ნაწილში, მაგალითად, ნაცვლად „Some(1) | Some(2)" ახლა შეგიძლიათ დაწეროთ "Some(1 | 2)": შეესაბამებოდეს შედეგი { Ok(Some(1 | 2)) => { .. } Err(MyError { type: FileNotFound | PermissionDenied, .. }) = > { .. } _ => { .. } }
• ნებადართულია არა-ASCII სიმბოლოების გამოყენება იდენტიფიკატორებში, მათ შორის ნებისმიერი ეროვნული სიმბოლო, რომელიც განსაზღვრულია Unicode UAX 31 სპეციფიკაციაში, მაგრამ emoji სიმბოლოების გამოკლებით. თუ იყენებთ განსხვავებულ, მაგრამ მსგავს სიმბოლოებს, შემდგენელი გამოსცემს გაფრთხილებას. const BLÅHAJ: &str = "🦈"; struct 人 { 名字: სტრიქონი, } მოდით α = 1; letｓos = 2; გაფრთხილება: იდენტიფიკატორის წყვილი მიჩნეულია გაუგებრად "ｓ" და "s" შორის
• API-ების ახალი ნაწილი გადავიდა სტაბილურ კატეგორიაში, მათ შორის შემდეგი სტაბილიზირებული:
  • მასივი::from_ref
  • მასივი::from_mut
  • AtomicBool::fetch_update
  • AtomicPtr::fetch_update
  • BTreeSet::retain
  • BTreeMap:: შენარჩუნება
  • BufReader::seek_relative
  • cmp::min_by
  • cmp::min_by_key
  • cmp::max_by
  • cmp::max_by_key
  • DebugStruct::finish_non_exhaustive
  • ხანგრძლივობა::ZERO
  • ხანგრძლივობა:: MAX
  • ხანგრძლივობა:: არის_ნული
  • ხანგრძლივობა::saturating_add
  • Duration::saturating_sub
  • ხანგრძლივობა::გაჯერება_მულ
  • f32::is_subnormal
  • f64::is_subnormal
  • IntoIterator მასივებისთვის
  • {მთლიანი}::BITS
  • io:: შეცდომა::მხარდაუჭერელია
  • NonZero*::leading_zeros
  • NonZero*::trailing_zeros
  • ვარიანტი:: ჩასმა
  • შეკვეთა::is_eq
  • შეკვეთა::is_ne
  • შეკვეთა::is_lt
  • შეკვეთა::is_gt
  • შეკვეთა::is_le
  • შეკვეთა::is_ge
  • OsStr::make_ascii_მცირე
  • OsStr::make_ascii_uppercase
  • OsStr::to_ascii_downcase
  • OsStr::to_ascii_uppercase
  • OsStr::is_ascii
  • OsStr::eq_ignore_ascii_case
  • Peekable::peek_mut
  • Rc::increment_strong_count
  • Rc::decrement_strong_count
  • slice::IterMut::as_slice
  • AsRef<[T]> slice::IterMut-ისთვის
  • impl SliceIndex for (შეკრული , შეკრული )
  • Vec::extend_from_within
• განხორციელდა wasm64-unknown-unknown პლატფორმის მხარდაჭერის მესამე დონე. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.
• Cargo პაკეტის მენეჯერი გადავიდა ნაგულისხმევად გამოიყენოს სახელი "მთავარი" Git საცავის (HEAD) მთავარი ფილიალისთვის. საცავებში განთავსებული დამოკიდებულებები, რომლებიც იყენებენ სახელს main ნაცვლად master, აღარ საჭიროებენ ფილიალის = "main"-ის კონფიგურაციას.
• შემდგენელში მოთხოვნები LLVM მინიმალურ ვერსიაზე ამაღლებულია LLVM 10-მდე.

გარდა ამისა, ჩვენ შეგვიძლია აღვნიშნოთ დაფინანსების უზრუნველყოფა Linux-ის ბირთვში ინტეგრაციის განვითარებისთვის Rust ენაზე კომპონენტების განვითარებისთვის. მუშაობა განხორციელდება Prossimo პროექტის ფარგლებში, ISRG ორგანიზაციის (Internet Security Research Group) ეგიდით, რომელიც არის Let's Encrypt პროექტის დამფუძნებელი და ხელს უწყობს HTTPS-ს და ტექნოლოგიების განვითარებას უსაფრთხოების გაზრდის მიზნით. ინტერნეტი. თანხებს Google-ი უზრუნველყოფს, რომელიც Rust-for-Linux-ის პროექტის ავტორის მიგელ ოჯედას ნამუშევრებს გადაიხდის. ადრე, ISRG-მ და Google-მა უკვე დააფინანსეს ალტერნატიული HTTP backend-ის შექმნა curl utility-ისთვის და ახალი TLS მოდულის შემუშავება Apache http სერვერისთვის.

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

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

წყარო: opennet.ru