Recovery guarantees for internet applications

ACM Transactions on Internet Technology

Volumn 4, Issue 3, 2004, Pages 289-328

  Barga, Roger ^a   Lomet, David ^a   Shegalov, German ^b   Weikum, Gerhard ^b  

^a MICROSOFT RESEARCH   (United States)

^b MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

Application recovery; Communication protocols; Exactly once execution; Interaction contracts

Indexed keywords

APPLICATION RECOVERY; EXACTLY ONE EXECUTION; INTERACTION CONTRACTS;

DATABASE SYSTEMS; ELECTRONIC COMMERCE; INFORMATION RETRIEVAL; NETWORK PROTOCOLS; WEB BROWSERS;

INTERNET;

EID: 4444313951     PISSN: 15335399     EISSN: None     Source Type: Journal    
DOI: 10.1145/1013202.1013205     Document Type: Article

References (42)

1. ALVISI, L. AND MARZULLO, K. 1995. Message logging: Pessimistic, optimistic, and causal. In Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, Canada, May30-June 2, 1995. IEEE Computer Society, Los Alamitos, CA, 229-236.
2. BARGA, R., LOMET, D., AND WEIKUM, G. 2002. Recovery guarantees for general multi-tier applications. In Proceedings of the 18th International Conference on Data Engineering, San Jose, CA, February 26-March 1, 2002. IEEE Computer Society, Los Alamitos, CA, 543-554.
3. BARGA, R., LOMET, D., AGRAWAL, S. AND BABY, T. 2000. Persistent client-server database sessions. In Proceedings (Lecture Notes in Computer Science, 1777) of the 7th International Conference on Extending Database Technology, Constance, Germany, March 2000, C. Zaniolo, P. C. Lockemann, M. H. Scholl and T. Grust, Eds. Springer, Berlin and Heidelberg, Germany, 462-477.
4. BARGA, R. AND LOMET, D. 2001. Measuring and optimizing a system for persistent database sessions. In Proceedings of the 17th International Conference on Data Engineering, Heidelberg, Germany, April 2001. IEEE Computer Society, Los Alamitos, CA, 21-30.
5. BARGA, R., LOMET, D., PAPARIZOS, S., YU, H., AND CHANDRASEKARAN, S. 2003. Persistent applications via automatic recovery. In Proceedings of the 17th International Database Engineering and Applications Symposium, Hong Kong, China, July 2003. IEEE Computer Society, Los Alamitos, CA, 258-267.
6. BARTLETT, J. F. 1981. A NonStop kernel. In Proceedings (Operating System Review 15(5)) of the 8th Symposium on Operation Systems Principles, Asilomar, CA, December 1981. ACM, New York, 22-29.
7. BERNSTEIN, P. A., HSU, M., AND MANN, B. 1990. Implementing recoverable requests using queues. In Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, June 1990, H. Garcia-Molina and H. V. Jagadish, Eds. ACM, New York, 112-122.
8. BERNSTEIN, P. A. AND NEWCOMER, E. 1996. Principles of Transaction Processing, Morgan Kaufmann, 1996.
9. BORG, A., BLAU, W., GRAETSCH, W., HERRMANN, F., AND OBERLE, W. 1989. Fault tolerance under UNIX. ACM Transactions on Computer Systems 7, 1, 1-24.
10. CRISTIAN, F. 1991. Understanding fault-tolerant distributed systems. Comm. ACM 34, 2, 56-78.
11. DEBULL 2001. IEEE Bulletin of the Technical Committee on Data Engineering 24, 1. Special Issue on Infrastructure for Advanced E-Services.
12. DUTTA, K., VANDERMEER, D., DATTA, A., RAMAMRITHAM K. 2001. User action recovery in internet SAGAs (iSAGAs). In Proceedings (Lecture Notes in Computer Science 2193) of the 2nd International Workshop on Technologies for E-Services (TES), Rome, Italy, September 2001, F. Casati, D. Georgakopoulos and M.-C. Shan, Eds. Springer, Heidelberg and Berlin, Germany, 132-146.
13. ELNOZAHY, E. N., ALVISI, L., WANG, Y., AND JOHNSON, D. B. 2002. A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34, 3, 375-408.
14. FREYTAG, J. C., CRISTIAN, F., AND KÄHLER, B. 1987. Masking system crashes in database application programs. In Proceedings of 13th International Conference on Very Large Data Bases, Brighton, UK, September 1987, P. M. Stocker, W. Kent, and P. Hammersley, Eds. Morgan Kaufmann, 407-416.
15. FRØLUND, S. AND GUERRAOUI R. 2000. Implementing e-transactions with asynchronous replication. In Proceedings of 2000 International Conference on Dependable Systems and Networks, New York, NY, June 2000. IEEE Computer Society, Los Alamitos, CA, 449-458.
16. FU, X., BULTAN, T., HULL, R., SU, J. 2001. Verification of vortex workflows. In Proceedings (Lecture Notes in Computer Science 2031) of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Genoa, Italy, April 2001, Tiziana Margaria and Wang Yi, Eds. Springer, Berlin and Heidelberg, 143-157.
17. GRAY, J. AND REUTER A. 1993. Transaction Processing: Concepts and Techniques. Morgan Kaufmann.
18. HAREL, D. AND GERY, E. 1997. Executable object modeling with statecharts. IEEE Comput. 30, 7, 31-42.
19. HUANG, Y. AND WANG, Y.-M. 1995. Why optimistic message logging has not been used in telecommunications systems. In Proceedings of the 25th International Symposium on Fault-Tolerant Computing Systems, Pasadena, CA, June 1995. IEEE Computer Society, Washington, D.C., 459.
20. JOHNSON, D. B. AND ZWAENEPOEL, W. 1987. Sender-based message logging. In Proceedings of the 7th International Symposium on Fault-Tolerant Computing, Pittsburgh, PA, July 1987. IEEE Computer Society, 14-19.
21. KIM, W. 1984. Highly available systems for database applications. ACM Comput. Surv. 16, 1, 71-98.
22. LOMET, D. 1998. Persistent applications using generalized redo recovery, In Proceedings of the 14th International Conference on Data Engineering, Sydney, Australia, Orlando, FL, February 1998. IEEE Computer Society, Los Alamitos, CA, 154-163.
23. LOMET, D. AND WEIKUM, G. 1998. Efficient transparent application recovery in client-server information systems. In Proceedings of 1998 ACM SIGMOD International Conference on Management of Data, Seattle, WA, June 1998, L. M. Haas and A. Tiwary, Eds. ACM, New York, NY, 460-471.
24. LOMET, D. AND TUTTLE, M. 1999. Logical logging to extend recovery to new domains. In. Proceedings of 1999 ACM SIGMOD International Conference on Management of Data, Philadelphia, PA, June 1999, A. Delis, C. Faloutsos, S. Ghandeharizadeh, Eds. ACM, New York, NY, 73-84.
25. LUO, M.-Y. AND YANG, C.-S. 2001. Constructing zero-loss Web services. In Proceedings IEEE INFOCOM 2001 of the 20th Joint International Conference of the IEEE Computer and Communication Societies on Computer Communications, Anchorage, AK, April 2001. IEEE, Los Alamitos, CA, 1781-1790.
26. MOHAN, C., ET AL. 1992. ARIES: A transaction recovery method supporting fine-granularity locking and partial rollback using write-ahead logging. ACM Trans. on Database Syst. 17, 1, 94-162.
27. MSDN LIBRARY. PERSISTENCE. Microsoft Internet Explorer Persistence Overview. http://msdn. microsoft.com/workshop/author/persistence/overview.asp.
28. MSDN LIBRARY: .NET. .NET Remoting Overview, http://msdn.microsoft.com/ library/default.asp? url=/library/en-us/cpguide/html/cpconnetremotingoverview. asp.
29. MSR PHOENIX. Phoenix: Making Applications Robust, http://www.research. microsoft.com/research/ db/phoenix/.
30. OMG: CORBA 2000. Fault Tolerant CORBA Spec V1.0. http://cgi.omg.org/cgi- bin/doc?ptc/00-04-04.
31. OMG: UML 1999. OMG Unified Modeling Language (UML) Version 1.3.http://www.rational. com/uml.
32. PEDREGAL-MARTIN, C. AND RAMAMRITHAM, K. 1999. Recovery guarantees in mobile systems. In Proceedings of the ACM International Workshop on Data Engineering for Wireless and Mobile Access, Seattle, WA, August 1999. ACM, New York, NY, 22-29.
33. PEDREGAL-MARTIN, C., RAMAMRITHAM, K. 2001. Guaranteeing recoverability in electronic commerce. In Proceedings of the 3rd International Workshop on Advanced Issues of E-Commerce and Web-based Information Systems, San Juan, CA, June 2001. IEEE Computer Society, Los Alamitos, CA, 144-155.
34. PHP. PHP Documentation and Downloads, http://www.php.net.
35. POPOVICI, A., SCHULDT, H., AND SCHEK, H.-J. 2000. Generation and verification of heterogeneous purchase processes. In Proceedings of the 1st International Workshop on Technologies for E-Services, Cairo, Egypt, September 2000, 5-22.
36. SCHULDT, H., POPOVICI, A., AND SCHEK, H.-J. 2000. Automatic generation of reliable e-commerce payment processes. In Proceedings of the 1st International Conference on Web Information Systems Engineering, Hong Kong, China, June 2000, Q. Li, Z. M. Özsoyoglu, R. Wagner, Y. Kambayashi, and Y. Zhang, Eds. IEEE Computer Society, Los Alamitos, CA, 434-441.
37. SHEGALOV, G., WEIKUM, G., BARGA, R., AND LOMET, D. 2002. EOS: Exactly-once E-Service Middleware (Demo Paper). In Proceedings of the 28th International Conference on Very Large Data Bases, Hong Kong, China, August 2002, P. A. Bernstein, Y. E. Ioaninidis, R. Ramakrishnan, D. Papadias, Eds. Morgan Kaufmann, 1043-1046.
38. SUN 2001. Enterprise Java Beans Specification, Version 2.0, http://java.sun.com/products/ ejb/docs.html.
39. TYGAR, J. D. 1998. Atomicity versus anonymity - Distributed transactions for electronic commerce. In Proceedings of the 24th International Conference on Very Large Data Bases, New York, NY, August 1998, A. Gupta, O. Shmueli, and J. Widom, Eds. Morgan Kaufmann, 1-12.
40. WEIKUM, G. AND VOSSEN, G. 2001. Transactional Information Systems-Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, San Francisco, CA, 2001.
41. WILLIAMS, M. 2002. Microsoft Visual C# .NET. Microsoft Press, Redmond, WA.
42. ZEND. Zend Engine. http://www.zend.com.