Efficient system-enforced deterministic parallelism

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010

Volumn , Issue , 2019, Pages 193-206

  Aviram, Amittai ^a   Weng, Shu Chun ^a   Hu, Sen ^a   Ford, Bryan ^a  

^a YALE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; PARALLEL PROGRAMMING; SYSTEMS ANALYSIS;

COARSE-GRAINED PARALLELS; DETERMINISTIC EXECUTION; DETERMINISTIC PARALLELISMS; DISTRIBUTED CLUSTERS; INTERPROCESS COMMUNICATION; NONDETERMINISTIC SYSTEMS; OPTIMISTIC REPLICATION; PARALLEL PROGRAMMING MODEL;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (57)

1. PA-RISC 1.1 Architecture and Instruction Set Reference Manual. Hewlett-Packard, Feb. 1994.
2. C. Amza et al. TreadMarks: Shared memory computing on networks of workstations. IEEE Computer, 29(2):18-28, Feb. 1996.
3. C. Artho, K. Havelund, and A. Biere. High-level data races. In VVEIS, pages 82-93, Apr. 2003.
4. A. Aviram et al. Determinating timing channels in compute clouds. In CCSW, Oct. 2010.
5. A. Aviram and B. Ford. Deterministic consistency, Feb. 2010. http://arxiv.org/abs/0912.0926.
6. F. Bellard. QEMU, a fast and portable dynamic translator, Apr. 2005.
7. M. Beltrametti, K. Bobey, and J. R. Zorbas. The control mechanism for the Myrias parallel computer system. Computer Architecture News, 16(4):21-30, Sept. 1988.
8. T. Bergan et al. CoreDet: A compiler and runtime system for deterministic multithreaded execution. In 15th ASPLOS, Mar. 2010.
9. T. Bergan et al. Deterministic process groups in dOS. In 9th OSDI, Oct. 2010.
10. E. D. Berger et al. Grace: Safe multithreaded programming for C/C++. In OOPSLA, Oct. 2009.
11. C. Bienia et al. The PARSEC benchmark suite: Characterization and architectural implications. In 17th PACT, October 2008.
12. R. L. Bocchino et al. Parallel programming must be deterministic by default. In HotPar. Mar. 2009.
13. R. L. Bocchino et al. A type and effect system for deterministic parallel Java. In OOPSLA, Oct. 2009.
14. S. Boyd-Wickizer et al. Corey: An operating system for many cores. In 8th OSDI, Dec. 2008.
15. T. C. Bressoud and F. B. Schneider. Hypervisor-based fault-tolerance. TOCS, 14(1):80-107, Feb. 1996.
16. J. Burnim and K. Sen. Asserting and checking determinism for multithreaded programs. In FSE, Aug. 2009.
17. J. B. Carter, J. K. Bennett, and W. Zwaenepoel. Implementation and performance of Munin. In 13th SOSP, Oct. 1991.
18. M. Castro and B. Liskov. Practical byzantine fault tolerance. In 3rd OSDI, pages 173-186, Feb. 1999.
19. J.-D. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In SPDT'98: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, pages 48-59. 1998.
20. H. Cui, J. Wu, and J. Yang. Stable deterministic multithreading through schedule memoization. In 9th OSDI, Oct. 2010.
21. J. Devietti et al. DMP: Deterministic shared memory multiprocessing. In 14th ASPLOS, Mar. 2009.
22. G. W. Dunlap et al. ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In 5th OSDI, Dec. 2002.
23. G. W. Dunlap et al. Execution replay for multiprocessor virtual machines. In VEE, Mar. 2008.
24. S. A. Edwards, N. Vasudevan, and O. Tardieu. Programming shared memory multiprocessors with deterministic message-passing concurrency: Compiling SHIM to Pthreads. In DATE, Mar. 2008.
25. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In 19th SOSP, Oct. 2003.
26. D. R. Engler, M. F. Kaashoek, and J. O'Toole. Exokernel: An operating system architecture for application-level resource management. In 15th SOSP, Dec. 1995.
27. B. Ford et al. Microkernels meet recursive virtual machines. In 2nd OSDI, pages 137-151, 1996.
28. K. Gharachorloo et al. Memory consistency and event ordering in scalable shared-memory multiprocessors. In 17th ISCA, pages 15-26, May 1990.
29. git: the fast version control system. http://git-scm.com/.
30. A. Haeberlen et al. Accountable virtual machines. In 9th OSDI, Oct. 2010.
31. A. Haeberlen, P. Kouznetsov, and P. Druschel. PeerReview: Practical accountability for distributed systems. In 21st SOSP, Oct. 2007.
32. R. H. Halstead, Jr. Multilisp: A language for concurrent symbolic computation. TOPLAS, 7(4):501-538, Oct. 1985.
33. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In 20th ISCA, pages 289-300, May 1993.
34. A. Joshi et al. Detecting past and present intrusions through vulnerability-specific predicates. In 20th SOSP, pages 91-104. 2005.
35. F. Kaashoek et al. 6.828: Operating system engineering. http://pdos.csail.mit.edu/6.828/.
36. G. Kahn. The semantics of a simple language for parallel programming. In Information Processing, pages 471-475. 1974.
37. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX, pages 1-15, Apr. 2005.
38. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9):690-691, Sept. 1979.
39. T. J. Leblanc and J. M. Mellor-Crummey. Debugging parallel programs with instant replay. IEEE Transactions on Computers, C-36(4):471-482, Apr. 1987.
40. E. Lee. The problem with threads. Computer, 39(5):33-42, May 2006.
41. J. Liedtke. On micro-kernel construction. In 15th SOSP, 1995.
42. S. Lu, S. Park, E. Seo, and Y. Zhou. Learning from mistakes - a comprehensive study on real world concurrency bug characteristics. In 13th ASPLOS, pages 329-339, Mar. 2008.
43. M. Musuvathi et al. Finding and reproducing Heisenbugs in concurrent programs. In 8th OSDI. 2008.
44. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: Efficient deterministic multithreading in software. In 14th ASPLOS, Mar. 2009.
45. OpenMP Architecture Review Board. OpenMP application program interface version 3.0, May 2008.
46. D. Z. Pan and M. A. Linton. Supporting reverse execution of parallel programs. In PADD'88, pages 124-129. 1988.
47. D. S. Parker, Jr. et al. Detection of mutual inconsistency in distributed systems. IEEE Transactions on Software Engineering, SE-9(3), May 1983.
48. D. E. Porter et al. Operating system transactions. In 22nd SOSP, Oct. 2009.
49. C. Sadowski, S. N. Freund, and C. Flanagan. Single-Track: A dynamic determinism checker for multithreaded programs. In 18th ESOP, Mar. 2009.
50. F. B. Schneider. Implementing fault-tolerant services using the state machine approach: A tutorial. Computing Surveys, 22(4):299-319, Dec. 1990.
51. J. T. Schwartz. The burroughs FMP machine, Jan. 1980. Ultracomputer Note #5.
52. N. Shavit and D. Touitou. Software transactional memory. Distributed Computing, 10(2):99-116, Feb. 1997.
53. D. B. Terry et al. Managing update conflicts in Bayou, a weakly connected replicated storage system. In 15th SOSP, 1995.
54. R. von Behren et al. Capriccio: Scalable threads for internet services. In SOSP'03.
55. B. Walker et al. The LOCUS distributed operating system. OSR, 17(5), Oct. 1983.
56. L. Wittie. The Bugnet distributed debugging system. In Making Distributed Systems Work, Sept. 1986.
57. S. C. Woo et al. The SPLASH-2 programs: Characterization and methodological considerations. In 22nd ISCA, pages 24-36, June 1995.