The OpenNET Project / Index page

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



"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0.6.7"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для сортировки сообщений в нити по дате нажмите "Сортировка по времени, UBB".
. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..." –2 +/
Сообщение от Витюшка (?), 30-Дек-23, 02:09 
Отлично! Я тебя нашёл. Да что там освобождение мьютекса!

Давай хотя бы сначала попробуем написать мьютекс безопасный на Rust!

Есть код мьютекса (спинлока). Естественно это суперкритичный к качеству и надёжности код. Естественно написан на Rust.

Докажи, пожалуйста, с помощью Rust (который безопасный по памяти и гонкам данных!) что этот код:
1. Действительно даёт mutual exclusion доступ к критической секции (т.е. работает корректно)
2. Является deadlock-free
3. Является starvation-free

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Выпуск языка программирования Rust 1.75 и unikernel Hermit 0.6.7, opennews, 29-Дек-23, 19:34  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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