RU

Родитель засыпал навсегда: чего Rust не делает за вас в ядре ОС

Я пишу ядро операционной системы на Rust. Не потому что собираюсь заменить Linux, а потому что мне интересно, что получится, если закладывать безопа…

rustядрооперационные системымногопоточностьunsafeконкурентность
Habr
RU

Твой код на Rust компилируется, проходит тесты и является UB. Ты просто об этом не знаешь

Если взять случайный крейт с crates.io и поставить его под Miri, шанс увидеть undefined behavior где-то в зависимостях стремится к единице. Разбирае…

rustunsafemiristacked_borrowstree_borrowsprovenancellvmnoaliasundefined_behavior