DATE: Thursday, March 27, 2008
TIME: 12:00 pm - 1:00 pm
PLACE: Wean Hall 8220

SPEAKER:
Lidong Zhou
Microsoft Research

TITLE:
Reconfiguring a State Machine: A Tutorial

ABSTRACT:
Replicated state machine is a well-known approach to fault tolerance in distributed systems. Protocols that implement a replicated state machine often assume a fixed configuration, where a configuration specifies the set of processes executing the state machine. Reconfiguration can be performed to reduce the vulnerability to further failures after a process has failed or to replace hardware without shutting down the system.

The basic idea for state-machine reconfiguration is simple and known: use the state machine itself to maintain the configuration; yet the implications of this idea are not well understood. In this talk, we explain several methods for reconfiguring a system implemented using the state-machine approach, including some new ones.

This is based on joint work with Leslie Lamport and Dahlia Malkhi at Microsoft Research Silicon Valley.

BIO:
Lidong Zhou has been affiliated with Microsoft Research Silicon Valley since 2002. He obtained his M.S. and Ph.D. in Computer Science from Cornell University. His main research interests are on theory and practice of distributed system, system security, and computer networks.

 

SDI / LCS Seminar Questions?
Karen Lindenfelser, 86716, or visit www.pdl.cmu.edu/SDI/