Was macht Rust so sicher und wie funktioniert das?

Rust verhindert Speichermanagementfehler wie Buffer-Overflows und Double free genauso wie Probleme bei der Nebenläufigkeit. Diese werden schon beim Kompilieren entdeckt und unterbunden.

Der Vortrag geht nach einer kurzen Einführung vorwiegend auf die Hintergründe ein und erklärt, wie die Speicherverwaltung in Rust funktioniert und welche Mechanismen der Rust-Compiler benutzt, um dies umzusetzen.

Begriffe aus der Rust-Speicherwelt wie Move, Copy, Clone, Borrow, Sync, Send oder lifetimes, werden anschaulich erklärt. Dabei werden auch die Unterschiede zu einerseits C/C++ und anderseits zu Sprachen wie z.B. Java, Go, Javascript aufgezeigt.

Weiterhin soll auch Erwähnung finden, wo die Grenzen dieses Modells liegen und was nach wie vor in der Verantwortung des Entwicklers bleibt.

Vorkenntnisse

Der Vortrag richtet sich an Rust-Einsteiger und jene, die es werden wollen. Die Kenntnis einer anderen Programmiersprache wird vorausgesetzt.

Lernziele

• Funktionsweise der Speicherverwaltung in Rust
  
• Speichermanagement bei Nebenläufigkeit in Rust
  
• Unterschiede zu anderen Programmiersprachen