VDEchp: A Lightweight, Globally Consistent Checkpoint Mechanism for Virtual Distributed Environments: Technical Report