Dependability, abstraction, and programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5463, Issue , 2009, Pages 1-21

  Lomet, David ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

Abstraction; Application persistence; Availability; Dependability; Enterprise applications; Programming model; Scalability

Indexed keywords

ABSTRACTION; DEPENDABILITY; DEPENDABLE SYSTEMS; ENTERPRISE APPLICATIONS; HIGH AVAILABILITY; PERFORMANCE COSTS; PROGRAM DEVELOPMENT; PROGRAMMING MODEL; PROGRAMMING MODELS; SYSTEMS ISSUES;

DATABASE SYSTEMS; SCALABILITY;

ABSTRACTING;

EID: 67650178290     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00887-0_1     Document Type: Conference Paper

References (24)

1. Avǐienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Computer System Dependability. In: IARP/IEEE-RAS Workshop, Seoul (2001)
2. Barga, R., Chen, S., Lomet, D.: Improving Logging and Recovery Performance in Phoenix/ App. In: ICDE Conference, Boston, pp. 486-497 (2004)
3. Barga, R., Lomet, D.: Phoenix Project: Fault Tolerant Applications. SIGMOD Record 31(2), 94-100 (2002)
4. Barga, R., Lomet, D., Paparizos, S., Yu, H., Chandrasekaran, S.: Persistent Applications via Automatic Recovery. In: IDEAS Conference, Hong Kong, pp. 258-267 (2003)
5. Barga, R., Lomet, D., Shegalov, G., Weikum, G.: Recovery Guarantees for Internet Applications. ACM Trans. on Internet Technology 4(3), 289-328 (2004)
6. Barga, R., Lomet, D., Weikum, G.: Recovery Guarantees for Multi-tier Applications. In: ICDE Conference, San Jose, pp. 543-554 (2002)
7. Bernstein, P., Hsu, M., Mann, B.: Implementing Recoverable Requests Using Queues. In: SIGMOD Conference, Atlantic City, pp. 112-122 (1990)
8. Bernstein, P.A., Newcomer, E.: Principles of Transaction Processing. Morgan Kaufmann, San Francisco (1996)
9. Borg, A., Baumbach, J., Glazer, S.: A message system supporting fault tolerance. In: Symposium on Operating Systems Principles, pp. 90-99 (1983) (Pubitemid 15481603)
10. Elnozahy, E.N., Alvisi, L., Wang, Y.-M., Johnson, D.B.: A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv. 34(3), 375-408 (2002)
11. Frølund, S., Guerraoui, R.: A Pragmatic Implementation of e-Transactions. In: IEEE Symposium on Reliable Distributed Systems, Nürnberg, pp. 186-195 (2000)
12. Gray, J.: Keynote address Internet Reliability. In: 2nd HDCC Workshop, Santa Cruz, CA (May 2001)
13. Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Francisco (1993)
14. Hoare, H.A.R.: As quoted in B. Randell: Turing Memorial Lecture Facing Up to Faults. Comput. J. 43(2), 95-106 (2000)
15. Lomet, D.: Robust Web Services via Interaction Contracts. In: TES Workshop, Toronto, pp. 1-14 (2004)
16. Lomet, D.: Persistent Middle Tier Components without Logging. In: IDEAS Conference, Montreal, pp. 37-46 (2005)
17. Lomet, D.: Faithless Replay. for Persistent Logless Mid-Tier Components. Microsoft Research Technical Report MSR-TR-2008-50 (April 2008)
18. Narasimhan, P., Moser, L., Melliar-Smith, P.M.: Lessons Learned in Building a Fault-Tolerant CORBA System. In: DSN 2002, pp. 39-44 (2002)
19. MSDN Library: Persistence Overview, http://msdn.microsoft.com/workshop/ author/persistence/overview.asp
20. OMG: CORBA 2000. Fault Tolerant CORBA Spec V1.0,http://cgi.omg.org/cgi- bin/doc?ptc/00-04-04
21. Patterson, D.: Recovery Oriented Computing (talk) (September 2001),http://roc.cs.berkeley.edu
22. Shegalov, G., Weikum, G.: Formal Verification of Web Service Interaction Contracts. IEEE SCC (2), 525-528 (2008)
23. Sun 2001. Enterprise Java Beans Specification, Vers. 2.0 (2001), http://java.sun.com/products/ejb/docs.html
24. Weikum, G., Vossen, G.: Transactional Information Systems. Morgan Kaufmann, San Francisco (2002)