Rust — programowanie systemowe i bezpieczne

Te dwa istniejące szkolenia to węższe, samodzielne kursy skupione odpowiednio na bezpieczeństwie systemowym i podstawach programowania systemowego w Rust. To szkolenie to pięciodniowy warsztat end-to-end, który łączy w jednej ścieżce cztery obszary rozwijane osobno gdzie indziej: model ownership/borrow-checker, programowanie asynchroniczne z Tokio, świadome użycie unsafe Rust i FFI do integracji z C/C++, oraz kompletny tooling produkcyjny (cargo, testy, CI/CD). To pełny kurs od podstaw do gotowości produkcyjnej, nie pogłębienie pojedynczego wątku.

Nie jest to formalny wymóg, ale doświadczenie w języku niskiego poziomu istotnie ułatwia zrozumienie modelu pamięci Rust oraz modułu FFI, w którym Rust komunikuje się z istniejącym kodem C. Osoby bez takiego doświadczenia powinny liczyć się z wolniejszym tempem w pierwszych dwóch dniach warsztatu.

Unsafe Rust jest potrzebny tam, gdzie kompilator nie jest w stanie zweryfikować bezpieczeństwa operacji, mimo że programista wie, że jest ona poprawna — np. przy pracy z surowymi wskaźnikami, wywołaniach FFI do C, czy implementacji niskopoziomowych struktur danych. Szkolenie uczy nie tylko składni unsafe, ale przede wszystkim wzorca bezpiecznego opakowywania takiego kodu w bezpieczne API, tak by reszta aplikacji korzystała z gwarancji Rust.

Rust eliminuje całą klasę błędów pamięciowych (use-after-free, buffer overflow, data race) na etapie kompilacji, bez kosztu wydajnościowego garbage collectora — stąd adopcja w jądrze Linuksa, systemie Android, komponentach Windows (Microsoft) i infrastrukturze AWS, gdzie bezpieczeństwo pamięci i wydajność są krytyczne jednocześnie. Szkolenie pokazuje, jak te same gwarancje wykorzystać we własnych projektach.