0.1.2 Process Virtualization

[Mathnerd314]

Desired function
Represent OS process state as a pure, deterministic value and realize it via CRIU-like mechanisms.

Futamura role
Part of the effectful semantics of run; allows (i) and (p_x) to manipulate whole processes “symbolically” and then realize them.

Inputs

• Abstract description of process state (Fds, mappings, env, signals, etc.).

Processing

• Model process as a structured value / deterministic data structure.
• Allow transformations and optimizations on this structure (e.g., remove redundant operations).
• Use CRIU-like APIs to “realize” snapshots into real OS processes.

Outputs

• First-class process values / process state components.
• Realized OS processes when requested.