A practical MHP information analysis for concurrent java programs
作者： Lin Li , Clark Verbrugge
DOI: 10.1007/11532378_15
关键词: Range (mathematics) 、 Concurrency 、 Compiler 、 Java 、 Programming language 、 Program analysis 、 Variety (cybernetics) 、 Computer science 、 Call graph 、 Control flow graph
摘要: In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some the practical concerns original work. We describe a design incorporates techniques aiding feasible and expanding range acceptable inputs. provide experimental results showing utility impact our approach optimizations using variety concurrent benchmarks.
springer.com
sci-hub.st 参考文章(22)
Raja Vallee-Rai, Patrick Lam, Vijay Sundaresan, Laurie Hendren, Phong Co, Etienne M. Gagnon, Soot---a java optimization framework conference of the centre for advanced studies on collaborative research. ,(1999)
Acm Sigsoft, Proceedings of the ACM SIGPLAN-SIGACT Workshop on Program Analysis for Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998 Association for Computing Machinery. ,(1998)
Vivek Sarkar, Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation languages and compilers for parallel computing. pp. 94- 113 ,(1997) , 10.1007/BFB0032686
David A. Padua, Jaejin Lee, Compilation techniques for explicitly parallel programs University of Illinois at Urbana-Champaign. ,(1999)
Doug Lea, Concurrent Programming in Java. Second Edition: Design Principles and Patterns Addison-Wesley Longman Publishing Co., Inc.. ,(1999)
Vivek Sarkar, Barbara Simons, Parallel Program Graphs and their Classification languages and compilers for parallel computing. pp. 633- 655 ,(1993) , 10.1007/3-540-57659-2_36
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, An efficient algorithm for computing MHP information for concurrent Java programs foundations of software engineering. ,vol. 24, pp. 338- 354 ,(1999) , 10.1145/318774.319252
Erik Ruf, Effective synchronization removal for Java Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00. ,vol. 35, pp. 208- 218 ,(2000) , 10.1145/349299.349327
Jeff Bogda, Urs Hölzle, Removing unnecessary synchronization in Java conference on object-oriented programming systems, languages, and applications. ,vol. 34, pp. 35- 46 ,(1999) , 10.1145/320384.320388
Christoph von Praun, Thomas R. Gross, Object race detection conference on object-oriented programming systems, languages, and applications. ,vol. 36, pp. 70- 82 ,(2001) , 10.1145/504282.504288