Preemption sealing for efficient concurrency testing

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

Volumn 6015 LNCS, Issue , 2010, Pages 420-434

  Ball, Thomas ^a   Burckhardt, Sebastian ^a   Coons, Katherine E ^b   Musuvathi, Madanlal ^a   Qadeer, Shaz ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY ERRORS; CONCURRENT PROGRAM; CONCURRENT SYSTEMS; KEY PROBLEMS; MICROSOFT'S .NET FRAMEWORK; PROGRAM EXECUTION; SCHEDULING STRATEGIES; THREAD SCHEDULING; ATOMICITY VIOLATIONS; INDUSTRIAL SCALE; NET FRAMEWORK;

COMPUTER SOFTWARE; ERRORS; SCHEDULING ALGORITHMS; ALGORITHMS; SCHEDULING;

CONCURRENCY CONTROL;

EID: 77951603982     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12002-2_35     Document Type: Conference Paper

References (20)

1. Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: POPL, pp. 97-105 (2003)
2. Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Producing scheduling that causes concurrent programs to fail. In: PADTAD 2006: Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging, pp. 37-40. ACM, New York (2006) (Pubitemid 46652500)
3. Choi, J.-D., Zeller, A.: Isolating failure-inducing thread schedules. In: ISSTA 2002: International Symposium on Software Testing and Analysis, pp. 210-220 (2002)
4. Elmas, T., Qadeer, S., Tasiran, S.: A calculus of atomic actions. In: POPL 2009: Principles of Programming Languages, pp. 2-15 (2009)
5. Farzan, A., Madhusudan, P.: Monitoring atomicity in concurrent programs. In: Gupta, A., Malik, S. (eds.) CAV 2008. LNCS, vol. 5123, pp. 52-65. Springer, Heidelberg (2008)
6. Flanagan, C., Freund, S.N.: Atomizer: A dynamic atomicity checker for multithreaded programs. In: POPL 2004: Principles of Programming Languages, pp. 256-267. ACM Press, New York (2004)
7. Flanagan, C., Qadeer, S.: A type and effect system for atomicity. In: PLDI 2003: Programming Language Design and Implementation, pp. 338-349. ACM, New York (2003)
8. Flanagan, C., Freund, S.N., Yi, J.: Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. In: PLDI 2008, pp. 293-303. ACM, New York (2008)
9. Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT 8(3), 229-247 (2006)
10. Joshi, P., Park, C.-S., Sen, K., Naik, M.: A randomized dynamic program analysis technique for detecting real deadlocks. In: PLDI 2009, pp. 110-120. ACM, New York (2009)
11. Jula, H., Tralamazza, D.M., Zamfir, C., Candea, G.: Deadlock immunity: Enabling systems to defend against deadlocks. In: OSDI 2008: Operating System Design and Implementation, pp. 295-308 (2008)
12. Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: ASPLOS 2008: Architectural Support for Programming Languages and Operating Systems (2008)
13. Lu, S., Tucek, J., Qin, F., Zhou, Y.: Avio: detecting atomicity violations via access interleaving invariants. In: ASPLOS 2006: Architectural Support for Programming Languages and Operating Systems, pp. 37-48 (2006) (Pubitemid 46160711)
14. Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI 2007: Programming Language Design and Implementation, pp. 446-455 (2007) (Pubitemid 47630711)
15. Musuvathi, M., Qadeer, S.: Fair stateless model checking. In: PLDI 2008: Programming Language Design and Implementation (2008)
16. Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI, pp. 267-280 (2008)
17. Rajamani, S.K., Ramalingam, G., Ranganath, V.P., Vaswani, K.: Isolator: dynamically ensuring isolation in comcurrent programs. In: ASPLOS 2009: Architectural Support for Programming Languages and Operating Systems, pp. 181-192 (2009)
18. Sadowski, C., Freund, S.N., Flanagan, C.: Singletrack: A dynamic determinism checker for multithreaded programs. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 394-409. Springer, Heidelberg (2009)
19. Sen, K.: Race directed random testing of concurrent programs. In: PLDI 2008, pp. 11-21. ACM, New York (2008)
20. Wang, Y., Lafortune, S., Kelly, T., Kudlur, M., Mahlke, S.A.: The theory of dead-lock avoidance via discrete control. In: POPL 2009: Principles of Programming Languages, pp. 252-263 (2009)