OpenMPspy: Leveraging Quality Assurance for Parallel Software
OpenMP is widely used in practice to create parallel software, however, software quality assurance tool support is still immature. OpenMPspy introduces a new approach, with a short-term and a long-term perspective, to aid software engineers write better parallel programs in OpenMP. On the one hand, OpenMPspy acts like an online-debugger that statically detects problems with incorrect construct usage and which reports problems while programmers are typing code in Eclipse. We detect simple slips as well as more complex anti-patterns that can lead to correctness problems and performance problems. In addition, OpenMPspy can aggregate statistics about OpenMP language usage and bug patterns from many projects. Insights generated from such data help OpenMP language designers improve the usability of constructs and reduce error potential, thus enhancing parallel software quality in the long run. Using OpenMPspy, this paper presents one of the first detailed empirical studies of over 40 programs with more than 4 million lines of code, which shows how OpenMP constructs are actually used in practice. Our results reveal that constructs believed to be frequently used are actually rarely used. Our insights give OpenMP language and compiler designers a clearer picture on where to focus the efforts for future improvements.
KeywordsParallel Region Real Project Abstract Syntax Tree Parallel Software Software Quality Assurance
Unable to display preview. Download preview PDF.
- 1.Code Analysis Framework for Eclipse CDT (CODAN) (2010), http://wiki.eclipse.org/CDT/designs/StaticAnalysis
- 2.Evaluation and Usability of Programming Languages and Tools (PLATEAU) Workshops (2010), http://ecs.victoria.ac.nz/Events/PLATEAU
- 3.The OpenMP API specification for parallel programming (2011), http://www.openmp.org
- 4.Chapman, B., Jost, G., van der Pas, R.: Using OpenMP. Portable Shared Memory Parallel Programming. The MIT Press, Cambridge (2007)Google Scholar
- 5.Flanagan, C., Freund, S.N.: Fasttrack: efficient and precise dynamic race detection. In: Proc. PLDI 2009, pp. 121–133. ACM, New York (2009)Google Scholar
- 6.Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software, vol. 206. Addison-Wesley, Reading (1995)Google Scholar
- 7.Helmbold, D.P., McDowell, C.E.: A taxonomy of race detection algorithms. Technical report, UC Santa Cruz, Santa Cruz, CA, USA, September 28 (1994)Google Scholar
- 8.Intel. Intel parallel lint. (2010), http://software.intel.com
- 9.Lu, S., et al.: Learning from mistakes: a comprehensive study on real world concurrency bug characteristics. In: Proc. ASPLOS XIII (2008)Google Scholar
- 10.Nistor, A., et al.: Light64: Lightweight hardware support for data race detection during systematic testing of parallel programs. In: MICRO 2009 (2009)Google Scholar
- 11.Pozniansky, E., Schuster, A.: Multirace: efficient on-the-fly data race detection in multithreaded C++ programs. Concurr. Comput.: Pract. Exper. 19(3) (2007)Google Scholar