Practical Persistence on Microkernels (ft. PhantomOS)

This presentation describes the technical implementation of PhantomOS, an orthogonally-persistent operating system, on modern microkernel architecture using the Genode framework. The talk center on the engineering challenges encountered during the porting process, especially the adaptation of the core persistence mechanisms. The talk will also touch on work on network persistence and the added WASM runtime.

As part of the port, the snapshot process was reworked and separated into its own Genode component. The talk will cover how the component utilizes backlink data structures and CRC validation to achieve efficient state storage with minimal overhead. A live demonstration will showcase the reliability and performance characteristics in a real-world environment.

Relevant Links:

• PhantomOS: http://phantomos.org
• PhantomOS (Genode port): https://github.com/rumenmitov/phantomuserland-snapper
• Snapper: https://github.com/rumenmitov/snapper