Cooperative reasoning for preemptive execution

ACM SIGPLAN Notices

Volumn 46, Issue 8, 2011, Pages 147-156

  Yi, Jaeheon ^a   Sadowski, Caitlin ^a   Flanagan, Cormac ^a  

^a University of California Santa Cruz   (United States)

Author keywords

Atomicity; Concurrency; Cooperability; Parallelism; Yield Annotation

Indexed keywords

ATOMICITY; CONCURRENCY; COOPERABILITY; PARALLELISM; YIELD ANNOTATION;

INFERENCE ENGINES;

DYNAMIC ANALYSIS;

EID: 80053937626     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2038037.1941575     Document Type: Conference Paper

References (38)

1. M. Abadi and G. Plotkin. A model of cooperative threads. In Symposium on Principles of Programming Languages (POPL), 2009.
2. S. V. Adve and K. Gharachorloo. Shared memory consistency models: A tutorial. IEEE Computer, 29(12):66-76, 1996. (Pubitemid 126517873)
3. A. Adya, J. Howell, M. Theimer, W. J. Bolosky, and J. R. Douceur. Cooperative task management without manual stack management. In Annual Technical Conference. USENIX Association, 2002.
4. R. M. Amadio and S. D. Zilio. Resource control for synchronous cooperative threads. In International Conference on Concurrency Theory (CONCUR), 2004.
5. C. Artho, K. Havelund, and A. Biere. High-level data races. In International Conference on Verification and Validation of Enterprise Information Systems (ICEIS), 2003.
6. E. D. Berger, T. Yang, T. Liu, and G. Novark. Grace: Safe multithreaded programming for C/C++. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2009.
7. R. L. Bocchino, Jr., V. S. Adve, D. Dig, S. Adve, S. Heumann, R. Komuravelli, J. Overbey, P. Simmons, H. Sung, and M. Vakilian. A type and effect system for Deterministic Parallel Java. In Object- Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2009.
8. M. D. Bond, K. E. Coons, and K. S. McKinley. PACER: Proportional detection of data races. In Conference on Programming Language Design and Implementation (PLDI), 2010.
9. G. Boudol. Fair cooperative multithreading. In International Conference on Concurrency Theory (CONCUR), 2007.
10. J. Burnim and K. Sen. Asserting and checking determinism for multithreaded programs. In International Symposium on Foundations of Software Engineering (FSE), 2009.
11. A. Farzan and P. Madhusudan. Causal atomicity. In Computer Aided Verification (CAV), 2006.
12. A. Farzan and P. Madhusudan. Monitoring atomicity in concurrent programs. In Computer Aided Verification (CAV), 2008.
13. C. Flanagan and S. N. Freund. FastTrack: Efficient and precise dynamic race detection. In Conference on Programming Language Design and Implementation (PLDI), 2009.
14. C. Flanagan and S. N. Freund. The RoadRunner dynamic analysis framework for concurrent programs. In Program Analysis for Software Tools and Engineering (PASTE), 2010.
15. C. Flanagan, S. N. Freund, M. Lifshin, and S. Qadeer. Types for atomicity: Static checking and inference for Java. Transactions on Programming Languages and Systems (TOPLAS), 30(4):1-53, 2008.
16. C. Flanagan, S. N. Freund, and J. Yi. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In Conference on Programming Language Design and Implementation (PLDI), 2008.
17. E. Fleury and G. Sutre. Raja, version 0.4.0-pre4. Available at http://raja.sourceforge.net/, 2007.
18. M. Isard and A. Birrell. Automatic mutual exclusion. In Workshop on Hot Topics in Operating Systems (HOTOS), 2007.
19. N. Jalbert and K. Sen. A trace simplification technique for effective debugging of concurrent programs. In International Symposium on Foundations of Software Engineering (FSE), 2010.
20. Java Grande Forum. Java Grande benchmark suite. Available at http://www.javagrande.org, 2008.
21. A. Kulkarni, Y. D. Liu, and S. F. Smith. Task types for pervasive atomicity. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2010.
22. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978. (Pubitemid 8615486)
23. J. R. Larus and R. Rajwar. Transactional Memory. Synthesis Lectures on Computer Architecture. Morgan & Claypool Publishers, 2006.
24. N. D. Matsakis and T. R. Gross. A time-aware type system for datarrace protection and guaranteed initialization. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2010.
25. M. Olszewski, J. Ansel, and S. Amarasinghe. Kendo: efficient deterministic multithreading in software. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2009.
26. C.-S. Park and K. Sen. Randomized active atomicity violation detection in concurrent programs. In International Symposium on Foundations of Software Engineering (FSE), 2008.
27. P. Ratanaworabhan, M. Burtscher, D. Kirovski, B. Zorn, R. Nagpal, and K. Pattabiraman. Detecting and tolerating asymmetric races. In Symposium on Principles and Practice of Parallel Programming (PPoPP), 2009.
28. C. Sadowski, S. N. Freund, and C. Flanagan. SingleTrack: A dynamic determinism checker for multithreaded programs. In European Symposium on Programming (ESOP), 2009.
29. C. Sadowski and J. Yi. Applying usability studies to correctness conditions: A case study of cooperability. In Onward! Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU), 2010.
30. A. Sasturkar, R. Agarwal, L. Wang, and S. D. Stoller. Automated type-based analysis of data races and atomicity. In Symposium on Principles and Practice of Parallel Programming (PPoPP), 2005.
31. Y. Smaragdakis, A. Kay, R. Behrends, and M. Young. Transactions with isolation and cooperation. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2007.
32. Standard Performance Evaluation Corporation. SPEC benchmarks. http://www.spec.org/, 2003.
33. The World Wide Web Consortium. Jigsaw Web Server. Available from http://www.w3.org/Jigsaw/, 2009.
34. T. Usui, Y. Smaragdakis, R. Behrends, and J. Evans. Adaptive locks: Combining transactions and locks for efficient concurrency. In Parallel Architectures and Compilation Techniques (PACT), 2009.
35. R. Von Behren, J. Condit, F. Zhou, G. Necula, and E. Brewer. Capriccio: scalable threads for internet services. ACM SIGOPS Operating Systems Review, 37(5):281, 2003.
36. C. von Praun and T. Gross. Static conflict analysis for multi-threaded object-oriented programs. In Conference on Programming Language Design and Implementation (PLDI), 2003.
37. L.Wang and S. D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In Symposium on Principles and Practice of Parallel Programming (PPoPP), 2006.
38. J. Yi and C. Flanagan. Effects for cooperable and serializable threads. In Workshop on Types in Language Design and Implementation (TLDI), 2010.