frogcircus.org

Nested objects in a Byzantine quorum-replicated system

Charles P. Fry and Michael K. Reiter.
In Proceedings of the 2004 IEEE Symposium on Reliable Distributed Systems, pages 79–89, October 2004.
doi:10.1109/RELDIS.2004.1353005

Abstract

Modern distributed, object-based systems support nested method invocations, whereby one object can invoke methods on another. In this paper we present a framework that supports nested method invocations among Byzantine fault-tolerant, replicated objects that are accessed via quorum systems. A challenge in this context is that client object replicas can induce unwanted method invocations on server object replicas, due either to redundant invocations by client replicas or Byzantine failures within the client replicas. At the core of our framework are a new quorum-based authorization technique and a novel method invocation protocol that ensure the linearizability and failure atomicity of nested method invocations despite Byzantine client and server replica failures. We detail the implementation of these techniques in a system called Fleet, and give preliminary performance results for them.

Full Text

pdf (161 KB)
ps (514 KB)


© 2004 IEEE Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. [IEEE copyright policy]