A virtual machine time-sharing system | Synapse