Skip to main content
USENIX
  • Conferences
  • Students
Sign in
  • HotDep '12 Home
  • Organizers
  • Registration Information
  • Workshop Program
  • Hotel and Travel Information
  • Sponsorship
  • Students
  • Help Promote
  • For Participants
  • Call for Papers
  • Past HotDeps

twitter

Tweets by @usenix

usenix conference policies

  • Event Code of Conduct
  • Conference Network Policy
  • Statement on Environmental Responsibility Policy

You are here

Home » ShadowDB: A Replicated Database on a Synthesized Consensus Core
Tweet

connect with us

http://twitter.com/usenix
https://www.facebook.com/events/225273080901144/

ShadowDB: A Replicated Database on a Synthesized Consensus Core

Authors: 

Nicolas Schiper, Vincent Rahli, Robbert Van Renesse, Mark Bickford, and Robert L. Constable, Cornell University

Abstract: 

This paper describes ShadowDB, a replicated version of the BerkeleyDB database. ShadowDB is a primary-backup based replication protocol where failure handling, the critical part of the protocol, is taken care of by a synthesized consensus service that is correct by construction. The service has been proven correct semi-automatically by the Nuprl proof assistant. We describe the design and process to prove the consensus protocol correct and present the database replication protocol. The performance of ShadowDB is good in the normal case and recovering from a failure only takes seconds. Our approach offers simplified means to diversify the code in a way that preserves correctness.

Nicolas Schiper, Cornell University

Vincent Rahli, Cornell University

Robbert Van Renesse, Cornell University

Mark Bickford, Cornell University

Robert L. Constable, Cornell University

Open Access Media

USENIX is committed to Open Access to the research presented at our events. Papers and proceedings are freely available to everyone once the event begins. Any video, audio, and/or slides that are posted after the event are also free and open to everyone. Support USENIX and our commitment to Open Access.

BibTeX
@inproceedings {179463,
author = {Nicolas Schiper and Vincent Rahli and Robbert Van Renesse and Mark Bickford and Robert L. Constable},
title = {{ShadowDB}: A Replicated Database on a Synthesized Consensus Core},
booktitle = {Eighth Workshop on Hot Topics in System Dependability (HotDep 12)},
year = {2012},
address = {Hollywood, CA},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/Schiper},
publisher = {USENIX Association},
month = oct,
}
Download
Schiper PDF
View the slides

Presentation Video

Presentation Audio

MP3 Download OGG Download

Download Audio

  • Log in or    Register to post comments

© USENIX

  • Privacy Policy
  • Contact Us