Configurable isolation: building high availability systems with commodity multi-core processors