RTIC
Un framework de Rust que convierte el controlador de interrupciones en planificador y deja que el compilador demuestre que los recursos compartidos no pueden sufrir carreras ni interbloqueos.
Real-Time Interrupt-driven Concurrency se llamaba antes RTFM, Real-Time For the Masses, y nació en la Universidad Tecnológica de Luleå en torno a Per Lindgren; Jorge Aparicio escribió la primera versión en Rust y el cambio de nombre llegó en 2020. La base es la Stack Resource Policy, un protocolo de planificación de los años noventa emparentado con el techo de prioridad. Cada tarea es una rutina de interrupción con prioridad fija y el NVIC se encarga del cambio: sin núcleo, sin tick y con una sola pila.
Los recursos se declaran junto con las tareas que pueden tocarlos. El framework calcula el techo de cada recurso en tiempo de compilación, así que tomar un cerrojo es solo una breve subida de la máscara de interrupciones. La disyuntiva frente a Embassy, la otra gran escuela de Rust, es más o menos tiempo real predecible contra código asíncrono cómodo.