Can we control time in operating system design?

It's a shame the talk is over! (I posted this yesterday before the talk). It was an excellent talk by Renato about new research approaches to Hard Real Time in OSes.

The recording will appear on this channel/playlist, but at time of writing is not uploaded yet: https://www.youtube.com/playlist?list=PLVuc-VIfmlz0gky_yKhIu...

IDK but the title reminds me of TimeWarp OS

This paper describes the Time Warp Operating System, under development for three years at the Jet Propulsion Laboratory for the Caltech Mark III Hypercube multi-processor. Its primary goal is concurrent execution of large, irregular discrete event simulations at maximum speed. It also supports any other distributed applications that are synchronized by virtual time.

The Time Warp Operating System includes a complete implementation of the Time Warp mechanism, and is a substantial departure from conventional operating systems in that it performs synchronization by a general distributed process rollback mechanism. The use of general rollback forces a rethinking of many aspects of operating system design, including programming interface, scheduling, message routing and queueing, storage management, flow control, and commitment.

The Trustworthy Systems group at UNSW has been doing a lot of research (and verification) of temporal isolation on seL4.

I worked on encrypted voice over ip where timeliness is key and is part of the OS (VxWorks). I read the Abstract but I don't think is talking about the same thing. I wonder.