Concurrency, Data Correctness, and Rust

Modern computing architectures have stopped getting
significantly faster than the generations before them. Instead, they are becoming more parallelised. Programs have to split their work over many different processes to fully leverage modern hardware.
But this comes with a lot of problems and hard-to-identify bugs. In this talk we will discuss how thread safety works in principal, what mechanisms the hardware gives us to ensure data correctness, and finally how Rust uses these techniques to make writing "data race" bugs impossible!

Vorkenntnisse

• No previous knowledge necessary
• Optional: Rust basic, memory layout basics, threading basics

Lernziele

• Understand how to use Rust to write concurrent data applications while guaranteeing data correctness