A Distinguished Lecture on Computer Science
Leslie Lamport
Distributed State Machines and Disk Paxos
Abstract
The state-machine approach to designing a fault-tolerant distributed
system is reviewed. Disk Paxos, a new algorithm for implementing this
approach, is described. It achieves fault-tolerance by replicating
disks rather than processors.
Host: contact Prof. Hehner regarding the speaker's schedule
Time: Tuesday, April 11th, 11am
Location: SF1105
Software Engineering Research Seminar
A related
research seminar will be given Wed, April 12th, 11am in DL Pratt 378
on "Disk Paxos in TLA+".