I read about an interesting tool that is being integrated into Xen that offers high availability.  It is developed by The University of British Columbia.

This is pretty interesting for High Availability in virtual machines.