Towards Distributed Memory Parallel Program Analysis

作者: Daniel J. Quinlan , Gergö Barany , Thomas Panas

DOI:

关键词: AutomationSecurity analysisDistributed computingShared memoryComputer scienceExtensibilityProgram analysisDistributed memoryOperating systemRule-based machine translationCompiler

摘要: Our work presents a parallel attribute evaluation for distributed memory computer architectures where previously only shared support this technique has been developed. Attribute is part of how attribute grammars are used program analysis within modern compilers. Within this work, we have extended ROSE, open compiler infrastructure, with memory mechanism to user defined global program required some forms security which can not be addresses by file view large scale applications. As result, defined analyzes may now run in without the having specify way data communicated between processors. The automation of communication enables an extensible open-source analysis infrastructure.

参考文章(6)
Drew Dean, David A. Wagner, Hao Chen, Model Checking One Million Lines of C Code. network and distributed system security symposium. ,(2004)
Markus Schordan, Dan Quinlan, A Source-To-Source Architecture for User-Defined Optimizations Lecture Notes in Computer Science. pp. 214- 223 ,(2003) , 10.1007/978-3-540-45213-3_27
Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur, Framework for testing multi‐threaded Java programs Concurrency and Computation: Practice and Experience. ,vol. 15, pp. 485- 499 ,(2003) , 10.1002/CPE.654
Yichen Xie, Alex Aiken, Saturn: A scalable framework for error detection using Boolean satisfiability ACM Transactions on Programming Languages and Systems. ,vol. 29, pp. 16- ,(2007) , 10.1145/1232420.1232423
Lingxiao Jiang, Zhendong Su, Osprey Proceeding of the 28th international conference on Software engineering - ICSE '06. pp. 262- 271 ,(2006) , 10.1145/1134285.1134323
Michelle Mills Strout, John Mellor-Crummey, Paul Hovland, Representation-independent program analysis ACM SIGSOFT Software Engineering Notes. ,vol. 31, pp. 67- 74 ,(2006) , 10.1145/1108768.1108810