RTIC
Kesme denetleyicisini zamanlayıcıya çeviren ve paylaşılan kaynakların ne yarışabileceğini ne de kilitlenebileceğini derleyiciye kanıtlatan bir Rust çerçevesi.
Real-Time Interrupt-driven Concurrency, eskiden RTFM (Real-Time For the Masses) diye anılıyordu; bu isim tahmin edileceği gibi pek iyi yaşlanmadı. Proje, Luleå Teknoloji Üniversitesi'nde Per Lindgren çevresinde doğdu; ilk Rust sürümünü Jorge Aparicio yazdı, yeniden adlandırma 2020'de geldi. Temeli, öncelik tavanlarına yakın bir 1990'lar zamanlama protokolü olan Stack Resource Policy'dir. Her görev sabit öncelikli bir kesme işleyicisidir ve asıl geçişi NVIC yapar: çekirdek yok, tick yok, tek bir yığın.
Kaynaklar, dokunmasına izin verilen görevlerle birlikte bildirilir. Çerçeve her kaynağın tavanını derleme zamanında hesaplar; kilit almak da kesme maskesini kısa süreliğine yükseltmekten ibaret kalır. Diğer büyük Rust okulu Embassy'ye karşı denge kabaca şöyle: öngörülebilir gerçek zamanlılık ile rahat async kod.