Persistent objects in the Fleet system

Proceedings - DARPA Information Survivability Conference and Exposition II, DISCEX 2001

Volumn 2, Issue , 2001, Pages 126-136

  Malkhi, D ^a   Reiter, M K ^b   Tulone, D ^b   Ziskind, E ^b  

^a HEBREW UNIVERSITY OF JERUSALEM   (Israel)

^b LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MIDDLEWARE;

ARBITRARY FAILURES; CRITICAL APPLICATIONS; DISTRIBUTED REPOSITORIES; JAVA OBJECTS; MIDDLEWARE SYSTEM; PERSISTENT OBJECTS;

SEMANTICS;

EID: 84964556607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DISCEX.2001.932165     Document Type: Conference Paper

References (28)

1. L. Alvisi, D. Malkhi, L. Pierce, and M. K. Reiter. Fault detection for Byzantine quorum systems. In Proceedings of the 7th IFIP Working Conference on Dependable Computing for Critical Applications, pages 357-371, January 1999.
2. R. Anderson. The Eternity service. In Proceedings of PRAGOCRYPT '96, Czech Technical University Publishing House, September 1996.
3. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, October 2000.
4. Y. Chen, J. Edler, A. Goldberg, A. Gottlieb, S. Sobti and P. Yianilos. A prototype implementation of archival intermemory. In Proceedings of the 4th ACM Conference on Digital Libraries, August 1999.
5. G. Chockler, D. Malkhi, and M. K. Reiter. Backoff protocols for distributed mutual exclusion and ordering. In Proceedings of the 21st International Conference on Distributed Computing Systems, April 2001. To appear.
6. G. Czajkowski and T. von Eicken. JRes: A resource accounting interface for Java. In Proceedings of the 1998 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 21-35, October 1998.
7. C. Hawblitzel, C.-C. Chang, G. Czajkowski, D. Hu, and T. von Eicken. Implementing multiple protection domains in Java. In Proceedings of the 1998 USENIX Annual Technical Conference, June 1998.
8. M. P. Herlihy. Wait-free synchronization. ACM Transactions on Programming Languages and Systems 13(1):124-149, January 1991.
9. M. P. Herlihy and J. M. Wing. Linearizability: A correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems 12(3):463-492, July 1990.
10. D. W. Kravitz. Digital signature algorithm. U.S. Patent 5,231,668, 27 July 1993.
11. L. Lamport. "On interprocess communication (Part II: algorithms)". Distributed Computing 1:86-101, 1986.
12. B. Liskov, M. Castro, L. Shrira and A. Adya. Providing persistent objects in distributed systems. In Proceedings of the 13th European Conference on Object-Oriented Programming, June 1999.
13. J. Larsen and J. Spring. Globe: Global Object Exchange. Masters Thesis, University of Copenhagen, October 1999.
14. L. Lamport, R. Shostak, and M. Pease. The Byzantine generals problem. ACM Transactions on Programming Languages and Systems 4(3):382-401, July 1982.
15. G. McGraw and E. F. Felten. Securing Java. Second edition, John Wiley & Sons, 1999.
16. D. Malkhi, Y. Mansour, and M. K. Reiter. On diffusing updates in a Byzantine environment. In Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems, pages 134-143, October 1999.
17. D. Malkhi, M. Merritt, M. K. Reiter, and G. Taubenfeld. Objects shared by Byzantine processes. In Proceedings of the 14th International Symposium on Distributed Computing (Lecture Notes in Computer Science 1914), pages 345-359, Springer, October 2000.
18. D. Malkhi and M. K. Reiter. Byzantine quorum systems. Distributed Computing 11(4):203-213, 1998.
19. D. Malkhi and M. Reiter. Secure and scalable replication in Phalanx. In Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems, pages 51-58, October 1998.
20. D. Malkhi and M. K. Reiter. An architecture for survivable coordination in large-scale systems. IEEE Transactions on Knowledge and Data Engineering 12(2):187-202, March/April 2000.
21. D. Malkhi, M. K. Reiter, and A. Wool. The load and availability of Byzantine quorum systems. SIAM Journal of Computing 29(6):1889-1906, 2000.
22. D. Malkhi, M. K. Reiter, A. Wool, and R. N. Wright. Probabilistic quorum systems. Information and Computation, 2001. To appear.
23. A. Rudys, J. Clements and D. S. Wallach. Termination in language-based systems. In Proceedings of the 2001 ISOC Network and Distributed Systems Security Symposium, February 2001.
24. R. L. Rivest, A. Shamir, and L. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Communications of the ACM 21(2):120-126, February 1978.
25. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. ACM Computing Surveys 22(4):299-319, December 1990.
26. P. Tullman and J. Lepreau. Nested Java processes: OS structure for mobile code. In Proceedings of the 8th ACM SIGOPS European Workshop, September 1998.
27. M. Waldman, A. D. Rubin, and L. F. Cranor. Publius: A robust, tamper-evident and censorship-resistant web publishing system. In Proceedings of the 9th USENIX Security Symposium, August 2000.
28. M. Wiesmann, F. Pedone, A. Schiper, B. Kemme and G. Alonso. "Understanding replication in databases and distributed systems". In Proceedings of the 20th international conference on distributed computing systems (ICDCS 2000), pages 264-274, Taiwan, April 2000.