The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

Выпуск Rust 1.88. Операционная система Munal и утилита rsched на Rust

27.06.2025 19:12

Опубликован релиз языка программирования общего назначения Rust 1.88, основанного проектом Mozilla, но ныне развиваемого под покровительством независимой некоммерческой организации Rust Foundation. Язык сфокусирован на безопасной работе с памятью и предоставляет средства для достижения высокого параллелизма выполнения заданий, при этом обходясь без использования сборщика мусора и runtime (runtime сводится к базовой инициализации и сопровождению стандартной библиотеки).

Методы работы с памятью в Rust избавляют разработчика от ошибок при манипулировании указателями и защищают от проблем, возникающих из-за низкоуровневой работы с памятью, таких как обращение к области памяти после её освобождения, разыменование нулевых указателей, выход за границы буфера и т.п. Для распространения библиотек, обеспечения сборки и управления зависимостями проектом развивается пакетный менеджер Cargo. Для размещения библиотек поддерживается репозиторий crates.io.

Безопасная работа с памятью обеспечивается в Rust во время компиляции через проверку ссылок, отслеживание владения объектами, учёт времени жизни объектов (области видимости) и оценку корректности доступа к памяти во время выполнения кода. Rust также предоставляет средства для защиты от целочисленных переполнений, требует обязательной инициализации значений переменных перед использованием, лучше обрабатывает ошибки в стандартной библиотеке, применяет концепцию неизменяемости (immutable) ссылок и переменных по умолчанию, предлагает сильную статическую типизацию для минимизации логических ошибок.

Основные новшества:

  • Добавлена возможность указания нескольких выражений "let" внутри условных блоков "if" и "while" с использованием для их объединения оператора "&&" (логическое И). Выражения "let" могут комбинироваться с булевыми условными выражениями. Переменные, объявленные в let-выражениях, можно использовать в последующих условных выражениях, а также внутри блоков "if" и "while".
    
       if let Channel::Stable(v) = release_info()
           && let Semver { major, minor, .. } = v
           && major == 1
           && minor == 88
       {
    
  • Добавлена поддержка написания "голых" функций, помечаемых атрибутом "#[unsafe(naked)]" и содержащих внутри один вызов "naked_asm!". У созданных подобным образом функций отсутствует эпилог и пролог, сгенерированный компилятором, что позволяет разработчику полностью контролировать служебный ассемблерный код, прикрепляемый к функции ("голая" функция содержит только ассемблерные инструкции, указанные разработчиком и не включает специальные обработчики аргументов и возвращаемых значений, добавляемые компилятором). "Голые" функции рассматриваются как более удобная альтернатива функциям, определяемым в блоке "global_asm!".
    
       #[unsafe(naked)]
       pub unsafe extern "sysv64" fn wrapping_add(a: u64, b: u64) -> u64 {
           core::arch::naked_asm!(
              "add rax, rdi, rsi",
              "ret"
           ); 
       }
    
  • В язык предикатов, применяемый в атрибутах условной компиляции "cfg" и "cfg_attr" (позволяют включать или отключать части кода в зависимости от заданных условий), добавлена поддержка булевых литералов "true" и "false", которые отождествлены с конфигурациями, которые всегда включены или всегда отключены. Данные литералы также можно использовать в макросе "cfg!" и таблицах "[target]" в манифестах и конфигурациях для Cargo. Выражения cfg(true) и cfg(false) могут применяться вместо cfg(all()) и cfg(any()) для более явного выражения своих намерений.
  • В пакетном менеджере Cargo включён автоматический запуск сборщика мусора для очистки кэша в домашнем каталоге пользователя. Ранее сохраняемые в кэше пакеты с загружаемыми зависимостями не очищались, что приводило к постоянному росту потребления дискового пространства. Включённый механизм сборки мусора будет автоматически удалять загруженные извне crate-файлы, к которым не было обращений более 3 месяцев, и локально установленные crate-файлы, к которым не обращались более месяца. Очиска кэша не запускается при использовании в crage опций "--offline" или "--frozen".
  • В разряд стабильных переведена новая порция API, в том числе стабилизированы методы и реализации типажей:
  • Признак "const" применён в функциях:
  • Удалён первый уровень поддержки целевой платформы i686-pc-windows-gnu.



Дополнительно можно отметить связанные с Rust события:

  • Проект Munal OS развивает экспериментальную операционную систему, написанную на Rust и основанную на концепции unikernel. В Munal OS не применяется вытесняющая многозадачность, маппинг страниц памяти и виртуальное адресное пространство (используется раскладка памяти от UEFI). Ядро и приложения выполняются в одном адресном пространстве с применением модели безопасности на базе sandbox-изоляции WASM (в состав входит движок wasmi для запуска приложений в форме байткода WebAssembly).

    Операционная система оснащена графическим интерфейсом и поддерживает управление через клавиатуру и мышь. Для разработки графических приложений используется собственный тулкит с библиотекой виджетов. Для сетевого взаимодействия предлагаются TCP-стек и драйвер сетевого устройства. Среди доступных для Munal OS приложений: web-браузер с базовой поддержкой HTML и HTTPS, текстовый редактор и терминал для выполнения кода на Python. Код открыт под лицензией MIT.

  • Состоялся выпуск ядра Asterinas 0.15.2, написанного на Rust и предоставляющего ABI, совместимый с ядром Linux. Ядро поддерживает архитектуры x86-64 и RISC-V, и реализует 206 из 368 системных вызовов Linux. В развитии ядра принимают участи 45 разработчиков, в основном из различных китайских университетов. Ядро построено с использованием архитектуры "framekernel", в которой компоненты ядра размещаются в общем адресном пространстве, а безопасность достигается на уровне логического разделения безопасного кода и кода, в котором не исключено возникновение проблем с безопасностью. Все системные вызовы, файловые системы и драйверы реализуются на уровне OS Services и не могут включать unsafe-блоки. Код распространяется под лицензией MPL 2.0.
  • Для ядра Linux подготовлена утилита rsched, позволяющая анализировать статистику о работе планировщика задач. На практике утилита позволяет оценивать решения планировщика, связанные с предоставлением ресурсов процессам, а также отслеживать возникающие при планировании задержки. Для сбора данных в ядре используется подсистема BPF, а работающий в пространстве пользователя инструментарий написан на Rust. Автором утилиты является Крис Мейсон (Chris Mason), создатель и главный архитектор файловой системы Btrfs.
  • Компания Collabora сообщила о разработке варианта инструментария Coccinelle для языка Rust. Coccinelle изначально предназначен для автоматизации поиска и преобразования кода на языке Си в ядре Linux. Преобразования задаются в форме правил, напоминающих абстрагированные патчи, не привязанные к конкретной позиции в коде.
  • Разработчики GNOME представили библиотеку для загрузки изображений glycin, написанную на языке Rust и обеспечивающую декодирование изображений с применением sandbox-изоляции. Поддерживается отдача декодированного контента через gdk::Textures и извлечение метаданных. Предоставляются обвязки для использования glycin в GTK4, а также бэкенд для задействования glycin в библиотеке GdkPixbuf, применяемой в GNOME для загрузки изображений. Glycin уже задействован в просмотрщике изображений Loupe, предлагаемом в GNOME по умолчанию. При этом бэкенд для GdkPixbuf даёт возможность использовать glycin в GNOME Shell, генераторах миниатюр и произвольных приложениях GNOME, без внесения изменений в эти программы.


  1. Главная ссылка к новости (https://blog.rust-lang.org/202...)
  2. OpenNews: Выпуск Rust 1.87
  3. OpenNews: GCC-бэкенд достиг возможности полной раскрутки компилятора rustc. Выпуск Rust Coreutils 0.1.0
  4. OpenNews: Для FreeBSD развивают опциональную поддержку компонентов базовой системы на Rust
  5. OpenNews: Прогресс в разработке транслятора из Rust в код на Cи и .NET IR
  6. OpenNews: Проект Asterinas развивает ядро на языке Rust, совместимое с Linux
Лицензия: CC BY 3.0
Короткая ссылка: https://opennet.ru/63485-rust
Ключевые слова: rust, munal, kernel, gnome, gtk, glycin
При перепечатке указание ссылки на opennet.ru обязательно


Обсуждение (32) Ajax | 1 уровень | Линейный | +/- | Раскрыть всё | RSS
  • 1.5, Аноним (5), 19:56, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Они старую ос не дописали, а уже новую начинают.
     
     
  • 2.12, Аноним (12), 20:16, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +8 +/
    > Они старую ос не дописали, а уже новую начинают.

    Расскажи поподробней, кто эти "они"? А заодно, почему другие "они" не дописали Hurd/Syllable/React/Phantom/HelenOS/<куча других хоббиосей> и каким образом "этодругоепониматьнадо!"?

     
  • 2.13, Аноним (13), 20:17, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +2 +/
    Кто они? Они сейчас с тобой в одной комнате?

    Или это абсолютно разные люди пишут разные ОС?

     
     
  • 3.46, Аноним (5), 22:38, 27/06/2025 Скрыто ботом-модератором     [к модератору]
  • +1 +/
     
  • 3.54, Аноним (54), 00:07, 28/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    >Кто они?

    Jeremy Soller, Ribbon, bjorn3, Ron Williams, 4lDO2, Ian Douglas Scott, Anhad Singh, somewhat inactive, Emanuele Antonio Faraone, Nagy Tibor, jD91mZM2, Xavier L'Heureux, Noelle Levy, François Laignel

     
     
  • 4.58, Аноним (12), 00:31, 28/06/2025 Скрыто ботом-модератором     [к модератору]
  • +/
     

  • 1.7, Версия (?), 19:58, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    Зачем суперминорные версии так часто?
     
     
  • 2.17, Аноним (-), 20:19, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    > Зачем суперминорные версии так часто?

    Почему суперминорные? Нормальная минорная версия.
    И не часто, а ровно раз в 6 недель.

     
  • 2.26, Аноним (12), 20:30, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • –2 +/
    > Зачем суперминорные версии так часто?

    С 2015 так - назло хейтеркам, они так забавно реагируют на упоминания Раста. Ну и чтобы не накапливать "тех-долги" (но в основном, все же - назло) ;)

    И оно вышло вообще-то вчера.
    Но! Вчера был четверг!
    А расто-сра^W э-э-э, конструктивная-критика-раста-опеннетовцами в четверг и конструктивная-критика-раста-опеннетовцами в пятницу-субботу-воскресенье -- это две совсем разные конструктивные-критики-раста-опеннетовцами!
    В общем, летс те срач бегин (хотя вон, выше - уже)!

     
  • 2.57, laindono (ok), 00:20, 28/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    А как надо? Раз в восемь недель, а не раз в шесть недель? Раз в полгода? Раз в несколько лет?

    Частые релизы позволяют поставлять фичи по готовности. Это в целом упрощает процесс разработки и поддержки проекта.

    Не уверен, что ты имеешь ввиду под суперминорными версиями. В стандарте Semantic Versioning про них ни слова. Там есть мажорная, минорная и патч. Ещё есть пререлизные версии и всякая мета. Но никаких суперминорных версий. Вот полный формат: https://semver.org/#backusnaur-form-grammar-for-valid-semver-versions

     

  • 1.8, Аноним (8), 20:02, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Не применяется mmu. Это так надо писать. Как дал uefi direct mapping так и живём. Так ёбта. Я написал свою ось на c++ в которой есть mmap. Там даже acpica прикручена.

    Знаете в чем проблема с mmap? У вас есть гарантия атомарного выставления флага A но нет D. То есть когда ты обновляешь pte ты должен быть готов к тому что тебе с соседнего ядра прилетит некорректная запись. Чтоб этого не было используется ipi с блокировкой ядер на время этой операции. Спасибо сраный Интел. За то что протокол обновления pte не подразумевает compare-and-exchange.

    Растаманы разумеется даже в это не смогли. Но сделано ядро! Воу! Раст вперде! Они ведь даже не понимают что это нахер ненужно

     
     
  • 2.36, НяшМяш (ok), 21:50, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Это точно. Всего-лишь версии 1. Надо как у хромов с файрфоксами - по 169 версий, тогда норм будет.
     

  • 1.16, ckotinko (ok), 20:19, 27/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.18, Аноним (18), 20:20, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +1 +/
    Там аноним со своей осью на крестах слишком умный. Такой умный, что чирбот его схомячил под кат. Потому что нельзя быть таким умным во здесь. А по факту, что тот аноним с крестной ОС, что эти растовики - ну, норм студенческая движуха. Пусть учатся, а не в пакет в подвале дышать. Я - за.
     
     
  • 2.24, ckotinko (ok), 20:25, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Не аноним во первых а я

    Во вторых это не взлетит почему не взлетела моя ось. Дрова. Но допустим что дрова подарят инопланетяне.

    Полно других проблем которые вот прямо так не решаются. MMU. Acpi не всегда работает по стандарту. Иногда оно специально сделано так что пытается сломать Линукс. Примеры есть. Drm задолбаешься портировать. Плюс его ещё и переколбашивают постоянно

     
     
  • 3.25, 12yoexpert (ok), 20:28, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    ну то есть ты не осилил
     
     
  • 4.28, ckotinko (ok), 20:38, 27/06/2025 Скрыто ботом-модератором     [к модератору]
  • +/
     

  • 1.30, Аноним (30), 20:51, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • –7 +/
    Всяко лучше чем всё сишное. Вон Торвальдс прогнулся под натиском солидных корпораций - разработчиков Раста, значит Раст - это будущее человечества! УРА!
     
     
  • 2.33, Аноним (18), 21:17, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +3 +/
    Будущее человечества - TWW. Future. No future.
     

  • 1.35, Аноним (35), 21:29, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +3 +/
    > Ядро и приложения выполняются в одном адресном пространстве

    Здравствуй, ms-dos!

    > с применением модели безопасности на базе sandbox-изоляции WASM (в состав входит движок wasmi для запуска приложений в форме байткода WebAssembly).

    Ладно, не совсем ms-dos, но все равно криво.

     

  • 1.43, Аноним (43), 22:16, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    > а безопасность достигается на уровне логического разделения безопасного кода и кода, в котором не исключено возникновение проблем с безопасностью

    А опять эта система, которая имела бы смысл, если бы без унсейфа нельзя было поломать. Но rust дает защиту, он дает защиту от дураков.

    Для такой архитектуры нужен другой язык.

     
     
  • 2.47, Аноним (5), 22:39, 27/06/2025 [^] [^^] [^^^] [ответить]  
  • +/
    Ты как всегда прав, друг мой.
     

  • 1.48, Аноним (-), 22:58, 27/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.49, Аноним (49), 23:08, 27/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    crates.io с мобильной связи у всех открывается?
     
  • 1.52, Аноним (-), 23:23, 27/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.53, Аноним (-), 23:42, 27/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.55, Аноним (54), 00:09, 28/06/2025 [ответить] [﹢﹢﹢] [ · · · ]  
  • +/
    >Код распространяется под лицензией MPL 2.0.

    Ну хоть лицензия более-менее, хоть это хорошо.

     
  • 1.56, Аноним (56), 00:16, 28/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     
  • 1.59, Аноним (-), 00:48, 28/06/2025 Скрыто ботом-модератором [﹢﹢﹢] [ · · · ]     [к модератору]
  • +/
     

     Добавить комментарий
    Имя:
    E-Mail:
    Текст:



    Партнёры:
    PostgresPro
    Inferno Solutions
    Hosting by Hoster.ru
    Хостинг:

    Закладки на сайте
    Проследить за страницей
    Created 1996-2025 by Maxim Chirkov
    Добавить, Поддержать, Вебмастеру