Rust 1.94 გამოშვება. Rust-ის ექსპერიმენტები FreeBSD ბირთვში. Turso მონაცემთა ბაზა და VCAD Rust-ში

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

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

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

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

• ნაჭრის ტიპს ახლა აქვს array_windows მეთოდი. ეს მეთოდი ქმნის იტერატორს ფიქსირებული ზომის ფანჯრებში ნაჭრების გადასაკვეთად, რომლებიც ერთდროულად ერთი ელემენტით წინ მიიწევენ. ადრე ხელმისაწვდომი Windows მეთოდისგან განსხვავებით, array_windows მუშაობს მუდმივი ფანჯრის ზომით და თითოეული იტერაციისთვის აბრუნებს მითითებას ფიქსირებული ზომის მასივზე (&[T; N]) განუსაზღვრელი ზომის ნაჭრის (&[T]) ნაცვლად. რადგან მასივის ზომა თავდაპირველად ცნობილია კომპილატორისთვის, მუშაობის გაუმჯობესება შესაძლებელია თითოეულ იტერაციის ეტაპზე საზღვრების შემოწმების თავიდან აცილებით. let slice = [0, 1, 2, 3]; let mut iter = slice.array_windows(); assert_eq!(iter.next().unwrap(), &[0, 1]); assert_eq!(iter.next().unwrap(), &[1, 2]); assert_eq!(iter.next().unwrap(), &[2, 3]); assert!(iter.next().is_none());
• Cargo-ს პაკეტების მენეჯერის კონფიგურაციის ფაილები (.cargo/config.toml) ახორციელებენ "include" დირექტივას, რომელიც საშუალებას გაძლევთ, სხვა ფაილების შინაარსი ჩასვათ. include = [ "frodo.toml", "samwise.toml", ] include = [ { path = "required.toml" }, { path = "optional.toml", optional = true }, ]
• TOML 1.1 მარკირების ენის ახალი ვერსიის მხარდაჭერა დაემატა მანიფესტსა და კონფიგურაციის ფაილებს. ამ ახალ ვერსიაში დამატებულია მრავალსტრიქონიანი ჩაშენებული ცხრილების, თექვსმეტობითი ბაიტური წარმოდგენების ჩასასმელად "\xHH" გაქცევის თანმიმდევრობის და "\e" გაქცევის თანმიმდევრობის მხარდაჭერა "\u001B"-სთვის, ბოლო ელემენტის ბოლოს ბოლო მძიმის დატოვების და დროის მნიშვნელობებში წამების გამოტოვების შესაძლებლობასთან ერთად. serde = { version = "1.0", features = ["derive"] } ახლა შეიძლება შეიცვალოს serde = { version = "1.0", features = ["derive"], }-ით.
• API-ს ახალი ნაწილი გადავიდა სტაბილურების კატეგორიაში, მათ შორის, სტაბილიზირებულია თვისებების მეთოდები და განხორციელებები:
  • <[T]>::array_windows
  • <[T]>::ელემენტის_ოფსეტი
  • LazyCell::get
  • LazyCell::get_mut
  • LazyCell::force_mut
  • LazyLock::get
  • LazyLock::get_mut
  • LazyLock::force_mut
  • იმპლიკაციური TryFrom გამოსაყენებლად
  • std::iter::Peekable::next_if_map
  • std::iter::Peekable::next_if_map_mut
  • x86 avx512fp16 ინსტრუქციების შინაგანი მახასიათებლები
  • AArch64 NEON fp16 ინსტრუქციების შინაგანი მახასიათებლები
  • f32::consts::EULER_GAMMA
  • f64::consts::EULER_GAMMA
  • f32::consts::GOLDEN_RATIO
  • f64::consts::GOLDEN_RATIO
• "const" ნიშანი გამოიყენება ფუნქციებში:
  • f32::mul_add
  • f64::mul_add
• riscv64im-unknown-none-elf პლატფორმა გადავიდა მხარდაჭერის მესამე დონეზე. მხარდაჭერის მესამე დონე მოიცავს საბაზისო მხარდაჭერას, მაგრამ არ მოიცავს ავტომატურ ტესტირებას, ოფიციალურ ბილდინგიან რელიზებს ან ბილდინგიან ვერიფიკაციას.

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

• აირტონ მუნიოსმა, რომელმაც Rust კომპილატორში დანერგა Sony PlayStation 1 პლატფორმის მხარდაჭერა და FreeBSD პორტირება მოახდინა Apple Silicon ჩიპების მქონე კომპიუტერებზე, Rust for FreeBSD-ში დანერგა ბირთვის კომპონენტების და მოწყობილობის დრაივერების ჩაწერის შესაძლებლობა. ტესტირებისთვის მოწოდებულია KPI (Kernel Programming Interface) კავშირების ნაკრები, რომელიც საშუალებას იძლევა Rust კოდის გამოყენება FreeBSD ბირთვში, ასევე virtio-ს ხმის დრაივერთან (virtio_snd), DockChannel HID დრაივერთან M2 MacBook კლავიატურისთვის და Apple Silicon ჩიპებზე Mac კომპიუტერის ქვესისტემებისთვის რამდენიმე დაბალი დონის დრაივერთან ერთად, რომლებიც ყველა შექმნილია ამ კავშირების გამოყენებით.

  Rust-ის ბმულებზე მუშაობა 2024 წლის ბოლოდან მიმდინარეობს. ამჟამად, ბმულები მხოლოდ C-KPI-ების ნაწილს ნერგავს და არასტაბილურად ითვლება, მაგრამ დროთა განმავლობაში, ისინი გეგმავენ მათი სტაბილურობის გაუმჯობესებას, რათა შეესაბამებოდეს C ენის მსგავსი ინტერფეისის სტაბილურობას. მაგალითად, შემოთავაზებული virtio_snd დრაივერი გამოდგება QEMU-ში მუსიკის დასაკრავად. მოსალოდნელია, რომ 2026 წლისთვის Rust-ის ბმულები საკმარისად სტაბილური იქნება, რათა დაინტერესებულმა დეველოპერებმა დაიწყონ მათი გამოყენება კოდის წერისთვის.

• NetBSD-ის დეველოპერმა ბენი სიგერტმა NetBSD-ის ბირთვში Rust-ის მხარდაჭერის არარსებობის ახსნა შემოგვთავაზა: NetBSD მხარს უჭერს არქიტექტურებს, რომელთათვისაც Rust არ არის ხელმისაწვდომი; pkgsrc-ში არსებული Rust-ის ინსტრუმენტთა ქსელის შენარჩუნება მნიშვნელოვანი ძალისხმევაა და მას მხოლოდ რამდენიმე დეველოპერი უჭერს მხარს; Rust-ის ბირთვის მხარდაჭერა მოითხოვს Rust კომპილატორის ჩართვას საბაზისო სისტემაში; NetBSD-ზე Rust-ის ჩატვირთვა იყენებს მემკვიდრეობით მიღებულ ბინარულ პაკეტს, რაც მიუღებელია წყაროს სახით გავრცელებული თვითკმარი დისტრიბუციებისთვის; Rust-ის გამოშვების ციკლები შეუთავსებელია NetBSD-ის მემკვიდრეობითი ფილიალების განვითარებისა და მხარდაჭერის ციკლებთან (მაგალითად, 2020 წელს გამოშვებული NetBSD 9 კვლავ მხარდაჭერილია, რაც მოითხოვს ექვსი წლის Rust კომპილატორის მიწოდებას და მხარდაჭერას).
• გამოვიდა Turso 0.5, Rust-ში დაწერილი ჩაშენებული მონაცემთა ბაზის მართვის სისტემა, რომელიც თავსებადია SQLite-თან SQL დიალექტის, მონაცემთა ბაზის ფაილის ფორმატისა და C API დონისთვის. გაუმჯობესებული ფუნქციები მოიცავს CDC (Change data capture) მექანიზმს მონაცემთა ბაზის ცვლილებების რეალურ დროში თვალყურის დევნებისთვის და io_uring-ის გამოყენებას ასინქრონული შეყვანა/გამოყვანისთვის. Linux, ვექტორული ძიების მხარდაჭერა, მონაცემთა ბაზის სქემის შესაცვლელად ALTER ოპერატორის არსებობა, მონაცემთა ბაზაში მონაცემების დაშიფვრის შესაძლებლობა, ინკრემენტული გამოთვლის რეჟიმი, „BEGIN CONCURRENT“ კონსტრუქცია.
• პროექტი, რომელიც Rust-ის სტანდარტული ბიბლიოთეკის გამოყენების საშუალებას იძლევა GPU-ს მხარეს პროგრამებში.
• Emuko არის Rust-ში დაწერილი RISC-V ემულატორი, რომელსაც ჩატვირთვის უნარი აქვს. Linux, რომელიც მხარს უჭერს JIT კომპილაციას და შეუძლია მდგომარეობის სნეპშოტების შენახვა და აღდგენა.
• RustConn (flatpak) არის გრაფიკული ინტერფეისი გარე ქსელური კავშირების სამართავად სხვა ჰოსტებთან, რომელიც მხარს უჭერს SSH, RDP, VNC, SPICE, Telnet, Serial, Kubernetes, Zero Trust და SFTP. კოდი დაწერილია Rust-ში GTK4-ისა და Wayland-ის გამოყენებით.
• გამოვიდა zlib-rs 0.6 პროექტის ახალი შტო, რაც მას პირველ სტაბილურ ვერსიად აქცევს, რომელიც სრულად თავსებადია zlib C API-სთან და შესაფერისია zlib-ის გამჭვირვალე ჩანაცვლებისთვის. პროექტის მიზანია შექმნას zlib მონაცემთა შეკუმშვის ბიბლიოთეკის უსაფრთხო ალტერნატივა. შემუშავება ხორციელდება zlib-ng პროექტის გათვალისწინებით, რომელიც ავითარებს zlib-ის მაღალი ხარისხის ვარიანტს.
• VCAD პროექტი წარმოადგენს Rust-ში დაწერილი პარამეტრული კომპიუტერული დიზაინის (CAD) სისტემის შემუშავებას, რომელიც ინტეგრირებულია ხელოვნური ინტელექტის აგენტებთან MCP პროტოკოლის გამოყენებით. ის მხარს უჭერს 3D მოდელირებას, სიმულაციას, 2D ესკიზს, კომპონენტების აწყობას, STEP იმპორტს და STL/GLB/STEP/DXF ექსპორტს.
• გამოქვეყნდა Rust-ში დაწერილი და Mistral Voxtral Mini 4B Realtime AI მოდელისა და Burn machine learning framework-ის გამოყენებით მეტყველების ამოცნობის სისტემა. პროექტი ფოკუსირებულია პირდაპირი ტრანსლაციის ტრანსკრიფციისთვის მეტყველების ამოცნობის მყისიერ პროცესზე.
• გამოვიდა c2rust 0.22 ინსტრუმენტარიუმი. ის შექმნილია C კოდის (C99) Rust-ის არაუსაფრთხო წარმოდგენად გადასათარგმნად, რომელიც სტრუქტურით ორიგინალი C კოდის მსგავსია. შედეგად მიღებული სამუშაო ჩარჩო შეიძლება გამოყენებულ იქნას იდიომატურ Rust-ზე თანდათანობითი მიგრაციისთვის და არაუსაფრთხო ბლოკების მოსაშორებლად.

წყარო: opennet.ru