DATE: Thursday, October 13, 2005
TIME: Noon - 1 pm
PLACE: Wean Hall 8220
SPEAKER:
Michael Abd-El-Malek
CMU
TITLE:
Lazy verification in fault-tolerant distributed storage systems
ABSTRACT:
Verification of write operations is a crucial component of Byzantine
fault-tolerant consistency protocols for storage. Lazy verification
shifts this work out of the critical path of client operations. This
shift enables the system to amortize verification effort over multiple
operations, to perform verification during otherwise idle time, and to
have only a subset of storage-nodes perform verification. In this talk,
I will introduce lazy verification and describe implementation
techniques for exploiting its potential. I will also show results comparing the traditional write- and read-time verification approaches with lazy verification.
BIO:
Michael Abd-El-Malek is a third-year graduate student at Carnegie
Mellon, co-advised by Greg Ganger and Mike Reiter. His research
interests lie in distributed systems and storage systems. Mike received
his BS in Computer Engineering from the University of Waterloo.
SDI / LCS Seminar Questions?
Karen Lindenfelser, 86716, or visit www.pdl.cmu.edu/SDI/