RTIC
Ett Rust-ramverk som gör avbrottskontrollern till schemaläggare och låter kompilatorn bevisa att delade resurser aldrig ger kapplöpning eller deadlock.
Real-Time Interrupt-driven Concurrency hette tidigare RTFM, Real-Time For the Masses, och växte fram vid Luleå tekniska universitet kring Per Lindgren; Jorge Aparicio skrev den första Rust-versionen och namnbytet kom 2020. Grundidén är Stack Resource Policy, ett schemaläggningsprotokoll från 1990-talet besläktat med prioritetstak. Varje uppgift är en avbrottsrutin med fast prioritet, och NVIC sköter själva växlingen — det finns ingen kärna, ingen tick och bara en stack.
Resurser deklareras med vilka uppgifter som får röra dem. Ramverket räknar ut varje resurs prioritetstak vid kompilering, och ett lås blir bara en tillfällig höjning av avbrottsmasken. Avvägningen mot Embassy, den andra stora Rust-skolan, är ungefär den mellan förutsägbar realtid och bekväm asynkron kod.