[wiki:VDEchpTR VDEchp: A Lightweight, Globally Consistent Checkpoint Mechanism for Virtual Distributed Environments: Technical Report]