პროგრამირების ენის გამოშვება Rust 1.75 და unikernel Hermit 0.6.7

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

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

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

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

• დამატებულია "async fn" და "->impl Trait" აღნიშვნის გამოყენების შესაძლებლობა პირად მახასიათებლებში. მაგალითად, „->impl Trait“-ის გამოყენებით შეგიძლიათ დაწეროთ თვისების მეთოდი, რომელიც აბრუნებს იტერატორს: trait Container { fn items(&self) -> impl Iterator; } impl Container for MyContainer { fn items(&self) -> impl Iterator {self.items.iter().cloned() } }

  თქვენ ასევე შეგიძლიათ შექმნათ მახასიათებლები "async fn" გამოყენებით: trait HttpService { async fn fetch(&self, url: Url) -> HtmlBody; // გაფართოვდება: // fn fetch(&self, url: Url) -> impl Future; }

• დამატებულია API მაჩვენებლების მიმართ ბაიტის ოფსეტების გამოსათვლელად. შიშველ მაჩვენებლებთან მუშაობისას („*const T“ და „*mut T“), შესაძლოა საჭირო გახდეს ოპერაციები მაჩვენებელზე ოფსეტის დასამატებლად. ადრე, ამისთვის შესაძლებელი იყო ისეთი კონსტრუქციის გამოყენება, როგორიცაა "::add(1)", დაემატა ბაიტების რაოდენობა, რომელიც შეესაბამება "size_of::()" ზომას. ახალი API ამარტივებს ამ ოპერაციას და შესაძლებელს ხდის ბაიტის ოფსეტებით მანიპულირებას, ტიპების "*const u8" ან "*mut u8" გადაცემის გარეშე.
  • მაჩვენებელი::byte_add
  • მაჩვენებელი::byte_offset
  • მაჩვენებელი::byte_offset_from
  • მაჩვენებელი::byte_sub
  • მაჩვენებელი::wrapping_byte_add
  • მაჩვენებელი::wrapping_byte_offset
  • მაჩვენებელი::wrapping_byte_sub
• გაგრძელდა მუშაობა rustc შემდგენელის მუშაობის გაზრდის მიზნით. დამატებულია BOLT ოპტიმიზატორი, რომელიც მუშაობს პოსტ-ბმულის ეტაპზე და იყენებს ინფორმაციას წინასწარ მომზადებული შესრულების პროფილიდან. BOLT-ის გამოყენება საშუალებას გაძლევთ დააჩქაროთ შემდგენელის შესრულება დაახლოებით 2%-ით librustc_driver.so ბიბლიოთეკის კოდის განლაგების შეცვლით პროცესორის ქეშის უფრო ეფექტური გამოყენებისთვის.

  მოყვება rustc შემდგენელის აგება "-Ccodegen-units=1" ვარიანტით LLVM-ში ოპტიმიზაციის ხარისხის გასაუმჯობესებლად. ჩატარებული ტესტები აჩვენებს შესრულების ზრდას „-Ccodegen-units=1“ აშენების შემთხვევაში დაახლოებით 1.5%-ით. დამატებული ოპტიმიზაცია ჩართულია ნაგულისხმევად მხოლოდ x86_64-unknown-linux-gnu პლატფორმისთვის.

  ადრე ნახსენები ოპტიმიზაცია გამოსცადა Google-ის მიერ Rust-ში დაწერილი Android პლატფორმის კომპონენტების აგების დროის შესამცირებლად. Android-ის აგებისას „-C codegen-units=1“-ის გამოყენებამ მოგვცა საშუალება შეგვემცირებინა ინსტრუმენტთა ნაკრების ზომა 5.5%-ით და გაზარდოთ მისი შესრულება 1.8%-ით, ხოლო თავად ინსტრუმენტთა ნაკრების შექმნის დრო თითქმის გაორმაგდა.

  ბმულის დროში ნაგვის შეგროვების ჩართვამ („--gc-სექციები“) მოიტანა შესრულების მატება 1.9%-მდე, ბმული დროის ოპტიმიზაციის (LTO) 7.7%-მდე და პროფილზე დაფუძნებული ოპტიმიზაციის (PGO) 19.8%-მდე. საბოლოო ჯამში, ოპტიმიზაცია იქნა გამოყენებული BOLT უტილიტის გამოყენებით, რამაც შესაძლებელი გახადა აშენების სიჩქარის გაზრდა 24.7% -მდე, მაგრამ ინსტრუმენტთა ნაკრების ზომა გაიზარდა 10.9% -ით.

  

• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • ატომური*::from_ptr
  • FileTimes
  • FileTimesExt
  • ფაილი::set_modified
  • ფაილი::set_times
  • IpAddr::to_canonical
  • Ipv6Addr::to_canonical
  • ვარიანტი::as_slice
  • ვარიანტი::as_mut_slice
  • მაჩვენებელი::byte_add
  • მაჩვენებელი::byte_offset
  • მაჩვენებელი::byte_offset_from
  • მაჩვენებელი::byte_sub
  • მაჩვენებელი::wrapping_byte_add
  • მაჩვენებელი::wrapping_byte_offset
  • მაჩვენებელი::wrapping_byte_sub
• "const" ატრიბუტი, რომელიც განსაზღვრავს მისი გამოყენების შესაძლებლობას ნებისმიერ კონტექსტში მუდმივების ნაცვლად, გამოიყენება ფუნქციებში:
  • Ipv6Addr::to_ipv4_mapped
  • შესაძლოაUninit::assume_init_read
  • შესაძლოაUninit::zeroed
  • mem::დისკრიმინანტი
  • mem:: ნულოვანი
• მხარდაჭერის მესამე დონე დანერგილია csky-unknown-linux-gnuabiv2hf, i586-unknown-netbsd და mipsel-unknown-netbsd პლატფორმებისთვის. მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ ავტომატური ტესტირების, ოფიციალური ნაგებობების გამოქვეყნების ან კოდის აწყობის შემოწმების გარეშე.

გარდა ამისა, ჩვენ შეგვიძლია აღვნიშნოთ Hermit პროექტის ახალი ვერსია, რომელიც ავითარებს სპეციალიზებულ ბირთვს (unikernel), დაწერილი Rust ენაზე, რომელიც უზრუნველყოფს ინსტრუმენტებს დამოუკიდებელი აპლიკაციების შესაქმნელად, რომლებიც შეიძლება იმუშაონ ჰიპერვიზორის ან შიშველი აპარატურის თავზე დამატებითი ფენების გარეშე. და ოპერაციული სისტემის გარეშე. როდესაც აშენებულია, აპლიკაცია სტატიკურად არის დაკავშირებული ბიბლიოთეკასთან, რომელიც დამოუკიდებლად ახორციელებს ყველა საჭირო ფუნქციას, OS-ის ბირთვთან და სისტემის ბიბლიოთეკებთან მიბმულობის გარეშე. პროექტის კოდი ნაწილდება Apache 2.0 და MIT ლიცენზიებით. ასამბლეა მხარდაჭერილია Rust, Go, Fortran, C და C++ ში დაწერილი აპლიკაციების დამოუკიდებლად შესრულებისთვის. პროექტი ასევე ავითარებს საკუთარ ჩამტვირთველს, რომელიც საშუალებას გაძლევთ გაუშვათ Hermit QEMU და KVM გამოყენებით.

წყარო: opennet.ru