David Mashiah

Real-time systems

Holding thousands of live connections without the state going wrong: serialisation by construction rather than by locking, and what it costs to run.