Candelabra: a virtual machines manager