|
|
|
These works are copyright © ACM, IEEE, Usenix, North-Holland, or IBM.
Permission to make digital or hard copies of part of all of this work for
personal or classroom use is granted without fee provided that copies are
not made or distributed for profit or commercial advantage. To copy
otherwise, to republish, to post on servers, or to redistribute to lists,
requires prior specific permission and/or a fee.
|
|
Optimistic Parallelization of Communicating Sequential Processes
David F. Bacon and Robert E. Strom
Proceedings of the Third ACM Symposium on Principles and Practices of
Parallel Programming
(Williamsburg, Virginia, April 1991),
SIGPLAN Notices volume 26, number 7, July 1991, pp. 155-166.
Presentation.
|
 |
A method for optimistically parallelizing any sequential computation in a
distributed system when the result of the first part of the compuation can
be guessed with reasonably high probability.
|
|
|
File System Measurements and their Application to the Design of Efficient
Operation Logging Algorithms
David F. Bacon
Proceedings of the Tenth IEEE Symposium on Reliable Distributed Systems
(Pisa, Italy, September 1991), pp. 21-30.
Presentation.
|
|
Demonstrates that deterministic replay can be achieved by only logging 1%
of all file system operations, by using the volatile logging technique.
|
|
|
Transparent Recovery in Distributed Systems
David F. Bacon
Proceedings of the Fourth ACM SIGOPS European Workshop on Reliability in
Distributed Systems
(Bologna, Italy, September 1990),
Operating Systems Review, volume 25, number 2, April 1991, pp. 1-4.
|
|
The case for using transparent recovery techniques like optimistic recovery
instead of transactions.
|
|
|
Transparent Recovery of Mach Applications
Arthur P. Goldberg,
David F. Bacon, Ajei Gopal, Kong Li, and Robert E. Strom
Proceedings of the 1990 Usenix Mach Workshop. Also
available as IBM Research Report RC 16242.
|
|
An implementation of optimistic techniques on Mach processes.
|
|
|
Volatile Logging in n-Fault-Tolerant Distributed Systems
Robert E. Strom, David F. Bacon, and Shaula Yemini
Proceedings of the Eighteenth International Symposium on Fault Tolerant
Computing, IEEE Computer Society, 1988. Also available as IBM Research
Report RC 13373.
|
|
Deterministic replay requires logging of non-deterministic events. But many
events are actually determined by other inputs, and therefore can be logged
"volatilely" by using the replay capability of other processes in the system.
|
|
|
A Recoverable Object Store
Robert E. Strom, Shaula Yemini, and David F. Bacon
Proceedings of the Hawaii International Conference on Systems Sciences,
IEEE Computer Society, 1988.
|
|
Application of optimistic recovery techniques to a persistent object store.
|
|
Toward Self-Recovering Operating Systems
Robert E. Strom, Shaula Yemini, and David F. Bacon
Proceedings of the International Conference on Parallel
Processing, North-Holland, 1987.
|
|
How to integrate recovery as a fundamental operating system primitive.
|
|
|
Optimistic Recovery in Distributed Systems
Rob Strom and Shaula Yemini
ACM Transactions on Computing Systems, volume 3, number 3, MONTH 1985, pp. 204-226.
|
|
The case for using transparent recovery techniques like optimistic recovery
instead of transactions.
|
|
Other
projects in