All about Eve: execute-verify replication for multi-core servers

  • Authors:

  • Manos Kapritsos;Yang Wang;Vivien Quema;Allen Clement;Lorenzo Alvisi;Mike Dahlin

  • Affiliations:

  • The University of Texas at Austin;The University of Texas at Austin;Grenoble INP;MPI-SWS;The University of Texas at Austin;The University of Texas at Austin

  • Venue:
  • OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents Eve, a new Execute-Verify architecture that allows state machine replication to scale to multi-core servers. Eve departs from the traditional agree-execute architecture of state machine replication: replicas first execute groups of requests concurrently and then verify that they can reach agreement on a state and output produced by a correct replica; if they can not, they roll back and execute the requests sequentially. Eve minimizes divergence using application-specific criteria to organize requests into groups of requests that are unlikely to interfere. Our evaluation suggests that Eve's unique ability to combine execution independence with nondetermistic interleaving of requests enables high-performance replication for multi-core servers while tolerating a wide range of faults, including elusive concurrency bugs.