RTIC
Un framework Rust che trasforma il controller degli interrupt in scheduler e fa dimostrare al compilatore che le risorse condivise non possono né generare race né andare in deadlock.
Real-Time Interrupt-driven Concurrency si chiamava in precedenza RTFM, Real-Time For the Masses, un nome invecchiato prevedibilmente male; nasce all'Università di Tecnologia di Luleå attorno a Per Lindgren, Jorge Aparicio scrisse la prima versione in Rust e il cambio di nome è del 2020. Il fondamento è la Stack Resource Policy, un protocollo di scheduling degli anni Novanta strettamente imparentato con i priority ceiling. Ogni task è un gestore di interrupt con priorità fissa e a eseguire i cambi è l'NVIC: nessun kernel, nessun tick, un solo stack.
Le risorse sono dichiarate insieme ai task autorizzati a usarle. Il framework calcola il ceiling di ciascuna in fase di compilazione, così acquisire un lock equivale a un breve innalzamento della maschera degli interrupt. Il compromesso rispetto a Embassy, l'altra grande scuola Rust, è più o meno tra tempo reale prevedibile e comodo codice async.