Tiddle: A trace description language for generating concurrent benchmarks to test dynamic analyses

WODA 2009 - Proceedings of the 7th International Workshop on Dynamic Analysis, Held in Conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2009

Volumn , Issue , 2009, Pages 15-21

  Sadowski, Caitlin ^a   Yi, Jaeheon ^a  

^a University of California Santa Cruz   (United States)

Author keywords

Atomicity violations; Concurrency; Dynamic analysis; Race conditions; Traces

Indexed keywords

ANALYSIS TOOLS; ATOMICITY VIOLATIONS; BENCHMARK PROGRAMS; CONCURRENCY; CONCURRENT PROGRAM; DESCRIPTION LANGUAGES; DYNAMIC ANALYSIS TOOLS; HASKELL; JAVA SOURCE CODES; MULTI-THREADED JAVA PROGRAMS; MULTI-THREADED PROGRAMS; MULTIPLE THREADS; SOURCE CODES; TRACES;

HAZARDS AND RACE CONDITIONS; JAVA PROGRAMMING LANGUAGE; PROGRAM DEBUGGING; SOFTWARE TESTING;

DYNAMIC ANALYSIS;

EID: 84858025176     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2134243.2134248     Document Type: Conference Paper

References (46)

1. Hackage. http://hackage.haskell.org.
2. S. Boroday, A. Petrenko, J. Singh, and H. Hallal. Dynamic analysis of Java applications for multithreaded antipatterns. In International Workshop on Dynamic Analysis (WODA). ACM, 2005.
3. R. Brown, K. Driesen, D. Eng, L. Hendren, J. Jorgensen, C. Verbrugge, and Q. Wang. STEP: A framework for the efficient encoding of general trace data. In ACM SIGPLAN-SIGSOFT Workshop on Program Anaylsis for Software Tools and Engineering (PASTE), Nov. 2002.
4. R. Carver and K. Tai. Replay and testing for concurrent programs. IEEE Software, 8(2):66-74, 1991. (Pubitemid 21647571)
5. S. Chandra, B. Richards, and J. Larus. Teapot: a domain-specific language for writing cache coherence protocols. Software Engineering, IEEE Transactions on, 25(3):317-333, 1999.
6. F. Chang and J. Ren. Validating system properties exhibited in execution traces. In International Conference on Automated Software Engineering (ASE). ACM, 2007.
7. F. Chen and G. Ro?su. Mop: an efficient and generic runtime verification framework. SIGPLAN Notices, 42(10):569-588, 2007.
8. J. Choi and H. Srinivasan. Deterministic replay of Java multithreaded applications. In SIGMETRICS Symposium on Parallel and Distributed Tools (SPDT). ACM, 1998.
9. M. d'Amorim and K. Havelund. Event-based runtime verification of java programs. In International Workshop on Dynamic Analysis (WODA), pages 1-7, New York, NY, USA, 2005. ACM.
10. L. Eeckhout, K. de Bosschere, and H. Neefs. Performance analysis through synthetic trace generation. In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2000.
11. T. Elmas, S. Qadeer, and S. Tasiran. Goldilocks: a race and transaction-aware Java runtime. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 245-255, 2007. (Pubitemid 47630692)
12. Y. Eytani, R. Tzoref, and S. Ur. Experience with a Concurrency Bugs Benchmark. In IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW), 2008.
13. Y. Eytani and S. Ur. Compiling a benchmark of documented multi-threaded bugs. In Parallel and Distributed Processing Symposium, 2004.
14. A. Farzan and P. Madhusudan. Monitoring atomicity in concurrent programs. In Computer Aided Verification (CAV), 2008.
15. C. Flanagan and S. Freund. FastTrack: Efficient and precise dynamic race detection. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2009. To appear.
16. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL), pages 256-267, 2004.
17. C. Flanagan, S. N. Freund, and J. Yi. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2008.
18. C. Hammer, J. Dolby, M. Vaziri, and F. Tip. Dynamic detection of atomic-set-serializability violations. In International Conference on Software Engineering. ACM, 2008.
19. A. Hamou-Lhadj and T. C. Lethbridge. An efficient algorithm for detecting patterns in traces of procedure calls. In International Workshop on Dynamic Analysis (WODA). ACM, 2003.
20. D. Harmanci, P. Felber, V. Gramoli, and C. Fetzer. TMunit: Testing Transactional Memories. 4th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT), 2009.
21. P. Hudak, J. Hughes, S. Peyton Jones, and P. Wadler. A history of Haskell: being lazy with class. In HOPL III: Proceedings of the third ACM SIGPLAN conference on History of programming languages. ACM, 2007.
22. E. Jahier, M. Ducass?e, and O. Ridoux. Specifying prolog trace models with a continuation semantics. In LOPSTR: Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation, pages 165-182, London, UK, 2001. Springer-Verlag. (Pubitemid 33276315)
23. C.-W. Jeon, I.-G. Kim, and J.-Y. Choi. Automatic generation of the c# code for security protocols verified with casper/fdr. In AINA '05: Proceedings of the 19th International Conference on Advanced Information Networking and Applications, pages 507-510, Washington, DC, USA, 2005. IEEE Computer Society. (Pubitemid 43804079)
24. S. Joshi and A. Orso. Scarpe: A technique and tool for selective capture and replay of program executions. In International Conference on Software Maintenance (ICSM), pages 234-243. IEEE, 2007.
25. J. Levine, T. Mason, and D. Brown. lex & yacc. O'Reilly, 2nd edition, 1992.
26. B. Long, D. Hoffman, and P. Strooper. Tool support for testing concurrent java components. IEEE Transactions on Software Engineering, 29(6):555-566, 2003.
27. S. Lu, J. Tucek, F. Qin, and Y. Zhou. Avio: Detecting atomicity violations via access-interleaving invariants. IEEE Micro, 27(1):26-35, 2007. (Pubitemid 46850885)
28. S. Marlow. Happy, a parser-generator for Haskell. http://www.haskell.org/ happy.
29. S. Marlow. A lexical analyser generator for Haskell. http://www.haskell. org/alex.
30. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2003.
31. S. Peyton Jones. A pretty printer library in Haskell. Part of the GHC distribution at http://www.haskell.org/ghc.
32. E. Pozniansky and A. Schuster. MultiRace: efficient on-the-fly data race detection in multithreaded C++ programs. Concurrency and Computation: Practice & Experience, 19(3):327-340, 2007.
33. D. Pozza, R. Sisto, and L. Durante. Spi2java: Automatic cryptographic protocol java code generation from spi calculus. In AINA '04: Proceedings of the 18th International Conference on Advanced Information Networking and Applications, page 400, Washington, DC, USA, 2004. IEEE Computer Society.
34. W. Pugh and N. Ayewah. Unit testing concurrent software. In International Conference on Automated Software Engineering (ASE). ACM, 2007.
35. M. Ronsse and K. D. Bosschere. Recplay: a fully integrated practical record/replay system. ACM Transactions on Computer Systems, 17(2):133-152, 1999. (Pubitemid 129541508)
36. C. Sadowski, S. N. Freund, and C. Flanagan. Singletrack: A dynamic determinism checker for multithreaded programs. In European Symposium on Programming (ESOP).
37. C. Sadowski and J. Yi. Sidetrack: Generalizing dynamic atomicity analysis. In Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD), 2009. To appear.
38. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. E. Anderson. Eraser: A dynamic data race detector for multi-threaded programs. ACM Transactions on Computer Systems, 15(4):391-411, 1997. (Pubitemid 127449840)
39. E. Schonberg. On-the-fly detection of access anomalies. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 285-297, 1989.
40. V. Schuppan, M. Baur, and A. Biere. Jvm independent replay in java. Electronic Notes in Theoretical Compututer Science, 113:85-104, 2005. (Pubitemid 40073307)
41. J. Steven, P. Chandra, B. Fleck, and A. Podgurski. jrapture: A capture/replay tool for observation-based testing. SIGSOFT Software Engineering Notes, 25(5):158-167, 2000.
42. L. Wang and S. D. Stoller. Run-time analysis for atomicity. volume 89(2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2003.
43. L. Wang and S. D. Stoller. Accurate and efficient runtime detection of atomicity errors in concurrent programs. In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 137-146, 2006. (Pubitemid 44758684)
44. D. Wile. Supporting the DSL Spectrum. Journal of Computing and Information Technology, 9(4):263-288, 2001.
45. M. Xu, R. Bod?ik, and M. D. Hill. A serializability violation detector for shared-memory server programs. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 1-14, 2005.
46. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: efficient detection of data race conditions via adaptive tracking. In ACM Symposium on Operating Systems Principles (SOSP), 2005.