Composable reliability for asynchronous systems

Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012

Volumn , Issue , 2019, Pages 27-40

  Yoo, Sunghwan ^a,b   Killian, Charles ^a   Kelly, Terence ^b   Cho, Hyoun Kyu ^b,c   Plite, Steven ^a  

^a PURDUE UNIVERSITY   (United States)

^b HEWLETT PACKARD LABORATORIES   (United States)

^c UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENTS; DIGITAL STORAGE; OPEN SOURCE SOFTWARE;

APPLICATION SPECIFIC; ASYNCHRONOUS SYSTEM; COMPLEMENTARY TECHNIQUES; DEVELOPED APPLICATIONS; DISTRIBUTED APPLICATIONS; DISTRIBUTED SYSTEMS DESIGNS; PROGRAMMING TOOLKITS; ROLL-BACK RECOVERIES;

OPEN SYSTEMS;

EID: 84896948001     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (37)

1. L. Alvisi, E. Elnozahy, S. Rao, S. A. Husain, and A. D. Mel. An analysis of communication induced checkpointing. In Fault-Tolerant Computing, 1999. doi:10.1109/FTCS.1999.781058.
2. R. J. Anderson. Why cryptosystems fail. Commun. ACM, 37, Nov. 1994. doi:10.1145/188280.188291.
3. S. Ard and T. Clark. eBay blacks out yet again, June 1999. http://news.cnet.com/eBay- blacks- out- yet- again/ 2100- 1017_3- 226987.html.
4. B. Burns, K. Grimaldi, A. Kostadinov, E. D. Berger, and M. D. Corner. Flux: A language for programming high-performance servers. In USENIX ATC, 2006.
5. K. M. Chandy and L. Lamport. Distributed snapshots: Determining global states of a distributed system. ACM TOCS, 3(1):63-75, Feb. 1985. doi:10.1145/214451.214456.
6. T. Close. Waterken, 2009. http://waterken.org/.
7. M. Correia, D. Ferro, F. P. Junqueira, and M. Serafini. Practical hardening of crash-tolerant systems. In USENIX ATC, 2012.
8. J. Dean and S. Ghemawat. MapReduce: simplified data processing on large clusters. In OSDI, 2004. acmid:1251264.
9. E. N. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in message-passing systems. ACM Comput. Surv., 34:375-408, Sept. 2002. doi:10.1145/568522.568525.
10. M. Finifter, A. Mettler, N. Sastry, and D. Wagner. Verifiable functional purity in Java. In ACM CCS, 2008. acmid:1455793.
11. J. Frey, T. Tannenbaum, M. Livny, I. Foster, and S. Tuecke. Condor-g: A computation management agent for multiinstitutional grids. Cluster Computing, 5(3):237-246, 2002.
12. V. K. Garg. Elements of Distributed Computing. Wiley, 2002.
13. D. Geels, G. Altekar, P. Maniatis, T. Roscoe, and I. Stoica. Friday: Global comprehension for distributed replay. In NSDI, 2007. http://www.usenix.org/event/nsdi07/tech/geels.html.
14. The Graph500 Benchmark. http://www.graph500.org/.
15. M. Isard, M. Budiu, Y. Yu, A. Birrell, and D. Fetterly. Dryad: distributed data-parallel programs from sequential building blocks. SIGOPS OS Rev., 41:59-72, Mar. 2007. acmid:1273005.
16. T. Kelly. http://ai.eecs.umich.edu/~tpkelly/Ken/.
17. T. Kelly, A. H. Karp, M. Stiegler, T. Close, and H. K. Cho. Output-valid rollback-recovery. Technical report, HP Labs, 2010. http://www.hpl.hp.com/techreports/2010/HPL-2010-155.pdf.
18. C. Killian. http://www.macesystems.org/maceken/.
19. C. Killian, K. Nagaraj, S. Pervez, R. Braud, J. W. Anderson, and R. Jhala. Finding latent performance bugs in systems implementations. In FSE, 2010. doi:10.1145/1882291.1882297.
20. C. E. Killian, J. W. Anderson, R. Braud, R. Jhala, and A. M. Vahdat. Mace: language support for building distributed systems. In PLDI, 2007. doi:10.1145/1250734.1250755.
21. L. Leonini, É. Rivière, and P. Felber. Splay: Distributed systems evaluation made simple. In NSDI, 2009. Available from: http://www.usenix.org/event/nsdi09/tech/.
22. M. Litzkow, M. Livny, and M. Mutka. Condor-a hunter of idle workstations. In ICDCS, volume 43, 1988.
23. S. Lohr. Smart dust? Not quite, but we're getting there. New York Times, Jan. 2010. http://www.nytimes.com/2010/01/31/business/31unboxed.html.
24. B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing declarative overlays. In SOSP, 2005. doi:10.1145/1095810.1095818.
25. D. E. Lowell, S. Chandra, and P. M. Chen. Exploring failure transparency and the limits of generic recovery. In OSDI, 2000.
26. lxc Linux containers. http://lxc.sourceforge.net/.
27. D. Mazières. A toolkit for user-level file systems. In USENIX ATC, 2001.
28. D. G. Murray, M. Schwarzkopf, C. Smowton, S. Smith, A. Madhavapeddy, and S. Hand. Ciel: a universal execution engine for distributed data-flow computing. In NSDI, 2011. http://www.usenix.org/event/nsdi11/tech/full_papers/Murray.pdf.
29. T. Negrino and D. Smith. JavaScript and AJAX. Peachpit Press, seventh edition, 2009.
30. http://linux- mm.org/OverCommitAccounting.
31. D. Peleg. Distributed Computing: A Locality-Sensitive Approach. SIAM Press, 2000.
32. S. Rhea, D. Geels, T. Roscoe, and J. Kubiatowicz. Handling churn in a DHT. In USENIX ATC, 2004. http://www.usenix.org/event/usenix04/tech/general/rhea.html.
33. I. Steiner. eBay blames search outage on listings surge, Nov. 2009. http://www.auctionbytes.com/cab/abn/y09/m11/i21/s02.
34. A. Vahdat, K. Yocum, K. Walsh, P. Mahadevan, D. Kostić, J. Chase, and D. Becker. Scalability and accuracy in a large-scale network emulator. In OSDI, 2002. http://www.usenix.org/event/osdi02/tech/vahdat.html.
35. H. Wang, X. Fan, J. Howell, and C. Jackson. Protection and communication abstractions for web browsers in MashupOS. In SOSP, 2007.
36. S. Yoo, H. Lee, C. Killian, and M. Kulkarni. Incontext: simple parallelism for distributed applications. In HPDC, 2011. doi:10.1145/1996130.1996144.
37. N. Zeldovich, A. Yip, F. Dabek, R. Morris, D. Mazières, and F. Kaashoek. Multiprocessor support for event-driven programs. In USENIX ATC, June 2003.