Welcome to HAVEN Project

Traditional xen-based systems track memory updates by keeping evidence of the dirty pages at each migration epoch. For example, Remus uses the same page size as Xen (for x86, this is 4KB), which is also the granularity for detecting memory changes. FGBI (Fine-Grained Block Idenification) is a mechanism which uses smaller memory blocks (smaller than page sizes) as the granularity for detecting memory changes. FGBI calculates the hash value for each memory block at the beginning of each migration epoch. At the end of each epoch, instead of transferring the whole dirty page, FGBI computes new hash values for each block and compares them with the corresponding old values. Blocks are only modified if their corresponding hash values don’t match. Therefore, FGBI marks such blocks as dirty and replaces the old hash values with the new ones. Afterwards, FGBI only transfers dirty blocks to the backup host.

HAVEN is based on ​The Remus project and our previous efforts Lightweight Live Migration (LLM) mechanism.

HAVEN Team

Understand HAVEN

• Architecture -- The prototype architecture
• Support Techniques -- Block sharing and hybrid compression support
• Framework -- FGBI execution flow
• Testbed -- Experimental environment
• Evaluation -- Benchmark results on our testbed
• LLM -- Our previous effort
• Documentation & Publications

Use HAVEN

• ​Install the linux kernel -- Currently we use CentOS, but other OS like Fedora is also fine.
• ​Download and install Xen Hypervisor
• ​The Remus project -- Skip this step if your Xen version is newer than 4.0.0
• Check out source code
• Download Patch

Related Efforts

• ​The Xen Hypervisor -- Xen Open Source Industry Standard For Virtualization
• ​The Remus project -- Remus Open Source Project