Unsafe Rust and Miri by Ralf Jung - Rust Zürisee June 2023
Memory safety is one of the key selling points of Rust. However, even the Rust compiler is not omniscient, so sometimes programmers need to resort to "unsafe" code and take on the responsibility of ensuring memory safety themselves. In this talk I will introduce key terms surrounding unsafe code such as "undefined behavior" and "soundness", and explain how to write unsafe code in a systematic way that reduces the chance of getting it wrong. I will also demonstrate how you can use Miri to check your unsafe code for otherwise hard-to-detect bugs.
Slides: https://github.com/rust-zurichsee/mee...
Ralf's Blog: https://ralfj.de/blog/
Would you like to chat or give a talk? Join us in our Matrix room:
https://matrix.to/#/#rust-zuerisee:matrix.coredump.ch
Support the Zürich community: https://estada.ch/support-my-work/
Chapters:
00:00 Introduction
01:45 Rust is a memory-safe language
08:49 Common misconceptions with unsafe code
18:12 Examples of Undefined Behavior
44:28 Questions
Смотрите видео Unsafe Rust and Miri by Ralf Jung - Rust Zürisee June 2023 онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Rust 12 Июнь 2023, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 8,59 раз и оно понравилось 28 людям.