PEDAL: a dynamic analysis tool for efficient concurrency bug reproduction in big data environment

Cluster Computing

Volumn 19, Issue 1, 2016, Pages 153-166

  Hu, Yan ^a,d   Yan, Jun ^b   Choo, Kim Kwang Raymond ^c  

^a DALIAN UNIVERSITY OF TECHNOLOGY   (China)

^b INSTITUTE OF SOFTWARE   (China)

^c UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

^d KEY LABORATORY FOR UBIQUITOUS NETWORK AND SERVICE SOFTWARE OF LIAONING PROVINCE   (China)

Author keywords

Bug reproduction; Concurrency analysis; Dynamic analysis; Profiling

Indexed keywords

DYNAMIC ANALYSIS; LEARNING ALGORITHMS; MULTITASKING; PROGRAM DEBUGGING; SCHEDULING; SCHEDULING ALGORITHMS; SYNCHRONIZATION;

BUG REPRODUCTION; CONCURRENCY ANALYSIS; DYNAMIC ANALYSIS TOOLS; EXPLORATION ALGORITHMS; MULTITHREAD PROGRAMS; PROFILING; SCHEDULING DECISIONS; SYNCHRONIZATION POINTS;

BIG DATA;

EID: 84955569976     PISSN: 13867857     EISSN: 15737543     Source Type: Journal    
DOI: 10.1007/s10586-016-0537-1     Document Type: Article

References (34)

1. Altekar, G., Stoica, I.: Odr: output-deterministic replay for multicore debugging. In: SOSP, pp. 193–206 (2009)
2. Apache bug 21285. https://bz.apache.org/bugzilla/show_bug.cgi?id=21285
3. Apache bug 21287. https://bz.apache.org/bugzilla/show_bug.cgi?id=21287
4. Apache bug 45605. https://bz.apache.org/bugzilla/show_bug.cgi?id=45605
5. Ball, T., Burckhardt, S., Coons, K.E., Musuvathi, M., Qadeer, S.: Preemption sealing for efficient concurrency testing. In: TACAS, pp. 420–434 (2010)
6. Deng, D., Zhang, W., Lu, S.: Efficient concurrency-bug detection across inputs. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26–31, 2013, pp. 785–802 (2013)
7. Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: PLDI, pp. 121–133 (2009)
8. Fonseca, P., Rodrigues, R., Brandenburg, B.B.: SKI: exposing kernel concurrency bugs through systematic schedule exploration. In: 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI ’14, Broomfield, CO, USA, October 6–8, 2014, pp. 415–431 (2014)
9. Hu, Y., Yan, J., Zhang, J., Jiang, H.: Profile directed systematic testing of concurrent programs. In: 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, USA, May 18–19, 2013, pp. 47–52
10. Huang, J., Liu, P., Zhang, C.: Leap: lightweight deterministic multi-processor replay of concurrent java programs. In: SIGSOFT FSE, pp. 385–386 (2010)
11. Huang, J., Zhang, C., Dolby, J.: CLAP: recording local executions to reproduce concurrency failures. In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI ’13, Seattle, WA, USA, June 16–19, 2013, pp. 141–152 (2013)
12. Jagannath, V., Gligoric, M., Jin, D., Luo, Q., Rosu, G., Marinov, D.: Improved multithreaded unit testing. In: SIGSOFT FSE, pp. 223–233 (2011)
13. Jalbert, N., Sen, K.: A trace simplification technique for effective debugging of concurrent programs. In: SIGSOFT FSE, pp. 57–66 (2010)
14. Joshi, P., Naik, M., Park, C.S., Sen, K.: Calfuzzer: An extensible active testing framework for concurrent programs. In: CAV, pp. 675–681 (2009)
15. Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: PLDI, pp. 446–455 (2007)
16. Mysql bug 10224. https://bugs.mysql.com/bug.php?id=10224
17. Mysql bug 10602. https://bugs.mysql.com/bug.php?id=10602
18. Naik, M., Park, C.S., Sen, K., Gay, D.: Effective static deadlock detection. In: ICSE, pp. 386–396 (2009)
19. Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10–13, 2007, pp. 89–100 (2007)
20. Park, S., Lu, S., Zhou, Y.: Ctrigger: exposing atomicity violation bugs from their hiding places. In: ASPLOS, pp. 25–36 (2009)
21. Patil, H., Pereira, C., Stallcup, M., Lueck, G., Cownie, J.: Pinplay: a framework for deterministic replay and reproducible analysis of parallel programs. In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24–28, 2010, pp. 2–11 (2010)
22. Pratikakis, P., Foster, J.S., Hicks, M.: Locksmith: Practical static race detection for C. ACM Trans. Program. Lang. Syst. 33(1), 3 (2011)
23. Samak, M., Ramanathan, M.K.: Trace driven dynamic deadlock detection and reproduction. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP ’14, Orlando, FL, USA, February 15–19, 2014, pp. 29–42 (2014)
24. Thomson, P., Donaldson, A.F., Betts, A.: Concurrency testing using schedule bounding: an empirical study. In: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP ’14, Orlando, FL, USA, February 15–19, 2014, pp. 15–28 (2014)
25. Wang, C., Said, M., Gupta, A.: Coverage guided systematic concurrency testing. In: ICSE, pp. 221–230 (2011)
26. Wang, L., Geng, H., Liu, P., Lu, K., Kolodziej, J., Ranjan, R., Zomaya, A.Y.: Particle swarm optimization based dictionary learning for remote sensing big data. Knowl.-Based Syst. 79, 43–50 (2015)
27. Wang, L., Lu, K., Liu, P., Ranjan, R., Chen, L.: IK-SVD: dictionary learning for spatial big data via incremental atom update. Comput. Sci. Eng. 16(4), 41–52 (2014)
28. Wang, L., Ma, Y., Zomaya, A.Y., Ranjan, R., Chen, D.: A parallel file system with application-aware data layout policies for massive remote sensing image processing in digital earth. IEEE Trans. Parallel Distrib. Syst. 26(6), 1497–1508 (2015)
29. Wang, L., Stoller, S.D.: Runtime analysis of atomicity for multithreaded programs. IEEE Trans. Softw. Eng. 32(2), 93–110 (2006)
30. Wang, L., Tao, J., Ranjan, R., Marten, H., Streit, A., Chen, J., Chen, D.: G-hadoop: Mapreduce across distributed data centers for data-intensive computing. Future Gener. Comput. Syst. 29(3), 739–750 (2013)
31. Weeratunge, D., Zhang, X., Jagannathan, S.: Analyzing multicore dumps to facilitate concurrency bug reproduction. In: ASPLOS, pp. 155–166 (2010)
32. Yu, J.: Concurrency bugs. https://github.com/jieyu/concurrency-bugs
33. Yu, J., Narayanasamy, S.: A case for an interleaving constrained shared-memory multi-processor. In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20–24, 2009, Austin, TX, USA, pp. 325–336 (2009)
34. Yu, J., Narayanasamy, S., Pereira, C., Pokam, G.: Maple: a coverage-driven testing tool for multithreaded programs. In: OOPSLA, pp. 485–502 (2012)