Filters








87,152 Hits in 12.4 sec

Analysis of May-Happen-in-Parallel in Concurrent Objects [chapter]

Elvira Albert, Antonio E. Flores-Montoya, Samir Genaim
2012 Lecture Notes in Computer Science  
This paper presents a may-happen-in-parallel (MHP) analysis for OO languages based on concurrent objects.  ...  In this concurrency model, objects are the concurrency units such that, when a method is invoked on an object o2 from a task executing on object o1, statements of the current task in o1 may run in parallel  ...  This paper develops a may-happen-in-parallel (MHP) analysis for concurrent objects. The goal of an MHP analysis is to identify pairs of statements that can execute in parallel (see, e.g., [10] ).  ... 
doi:10.1007/978-3-642-30793-5_3 fatcat:idydnwdlzjfsdjlpt7jmguq7rq

SACO: Static Analyzer for Concurrent Objects [chapter]

Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Enrique Martin-Martin, German Puebla, Guillermo Román-Díez
2014 Lecture Notes in Computer Science  
The system integrates auxiliary analyses such as points-to and may-happen-in-parallel, which are essential for increasing the accuracy of the aforementioned more complex properties.  ...  We present the main concepts, usage and implementation of SACO, a static analyzer for concurrent objects.  ...  May-Happen-in-Parallel.  ... 
doi:10.1007/978-3-642-54862-8_46 fatcat:cnvgwwkkjrgs3ffqa7qwqnwcgy

MayPar

Elvira Albert, Antonio Flores-Montoya, Samir Genaim
2012 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12  
We present the concepts, usage and prototypical implementation of MayPar, a may-happen-in-parallel (MHP) static analyzer for a distributed asynchronous language based on concurrent objects.  ...  The information can be displayed by means of a graphical representation of the MHP analysis graph or, in a textual way, as a set of pairs which identify the program points that may run in parallel.  ...  The goal of a may-happen-in-parallel analysis is to identify pairs of statements that can execute in parallel (see, e.g., [7] ).  ... 
doi:10.1145/2393596.2393611 dblp:conf/sigsoft/AlbertFG12 fatcat:tqqlkzsbh5azhliecwdlniqf5u

Static Analysis of Dynamic Schedules and Its Application to Optimization of Parallel Programs [chapter]

Christoph M. Angerer, Thomas R. Gross
2011 Lecture Notes in Computer Science  
Effective optimizations for concurrent programs require the compiler to have detailed knowledge about the scheduling of parallel tasks at runtime.  ...  Currently, optimizations for parallel programs must define their own models and analyses of the parallel constructs used in the source programs.  ...  A may-happen-in-parallel (MHP) analysis can be used to determine what statements in a program may be executed in parallel [12] .  ... 
doi:10.1007/978-3-642-19595-2_2 fatcat:o6knxylxczcnxekdggrfjtwlju

Context-sensitive Data Race Detection for Concurrent Programs

Yang Zhang, Huan Liu, Liu Qiao
2021 IEEE Access  
INDEX TERMS Concurrent programs, data race, context-sensitive, alias analysis, happens-before.  ...  First, control-flow analysis is used to construct call graphs, in which escape analysis is employed to find escaped objects among threads.  ...  Context-sensitive alias analysis and happens-before analysis are conducted to find those aliased objects and establish a happens-before relation.  ... 
doi:10.1109/access.2021.3055831 fatcat:i5653bi74jdx3an3ohrl5f5sci

May-happen-in-parallel analysis of X10 programs

Shivali Agarwal, Rajkishore Barik, Vivek Sarkar, Rudrapatna K. Shyamasundar
2007 Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '07  
In this paper, we introduce a new algorithm for May-Happen-in-Parallel (MHP) analysis of X10 programs.  ...  The analysis algorithm is based on simple path traversals in the Program Structure Tree, and does not rely on pointer alias analysis of thread objects as in MHP analysis for Java programs.  ...  Acknowledgments X10 is being developed in the context of the IBM PERCS (Productive Easy-to-use Reliable Computing Systems) project, which is supported in part by DARPA under contract No.  ... 
doi:10.1145/1229428.1229471 dblp:conf/ppopp/AgarwalBSS07 fatcat:kdpvgt2alndi5l5jkyibo6lvtu

Termination and Cost Analysis of Loops with Concurrent Interleavings [chapter]

Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin
2013 Lecture Notes in Computer Science  
At the core of the analysis, we use a may-happen-in-parallel analysis to restrict the set of program points whose execution can interleave with the considered loop.  ...  By following a rely-guarantee style of reasoning, we present a novel termination analysis for concurrent programs that, in order to prove termination of a considered loop, makes the assumption that the  ...  7) and that may happen in parallel with S RP (to this end we pass S RP as parameter to nvisits).  ... 
doi:10.1007/978-3-319-02444-8_25 fatcat:ubo2mgaa6bblfo6icj7nvg5nua

An efficient algorithm for computing MHP information for concurrent Java programs

Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999 Software engineering notes  
Information about which statements in a concurrent program may happen in parallel (MHP) has a number of important applications.  ...  We present a preliminary experimental comparison between our algorithm and a reachability analysis algorithm that determines the "ideal" static MHP information for concurrent Java programs.  ...  but may never happen in parallel with 's successors or that some nodes that may not happen in parallel with may happen in parallel with 's successors.  ... 
doi:10.1145/318774.319252 fatcat:rh4izb2lcrgkrant7jv246m5ca

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs [chapter]

Gleb Naumovich, George S. Avrunin, Lori A. Clarke
1999 Lecture Notes in Computer Science  
Information about which statements in a concurrent program may happen in parallel (MHP) has a number of important applications.  ...  We present a preliminary experimental comparison between our algorithm and a reachability analysis algorithm that determines the "ideal" static MHP information for concurrent Java programs.  ...  but may never happen in parallel with 's successors or that some nodes that may not happen in parallel with may happen in parallel with 's successors.  ... 
doi:10.1007/3-540-48166-4_21 fatcat:nwkjxcimsjdsxckozs6jzggfd4

Can We Make It Faster? Efficient May-Happen-in-Parallel Analysis Revisited

Congming Chen, Wei Huo, Lung Li, Xiaobing Feng, Kai Xing
2012 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies  
May-Happen-in-Parallel (MHP) analysis is a very important and fundamental mechanism to facilitate concurrent program analysis, optimization and even concurrency bug detection.  ...  Specifically, we address the most severe efficiency problems in node process order of the work-list in the original approach, and resolve them in our design and implementation by using the concept of parallel  ...  INTRODUCTION AND MOTIVATION May-Happen-in-Parallel (MHP) analysis is an important and fundamental mechanism to facilitate concurrent program analysis.  ... 
doi:10.1109/pdcat.2012.59 dblp:conf/pdcat/ChenHL0X12 fatcat:sm7y6jyacfcpfavvel3pyxrwle

DTAM

Malay Ganai, Dongyoon Lee, Aarti Gupta
2012 Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering - FSE '12  
We classify various types of relevancy in terms of how an input source or a shared object can affect control flow (e.g., a conditional branch) or dataflow (e.g., state of the shared objects) in the program  ...  It performs thread-modular taint analysis for each thread in parallel during runtime, and then aggregates the thread-modular results offline.  ...  Different inputs and schedules of concurrent threads may affect the shared object state and control-flow of programs.  ... 
doi:10.1145/2393596.2393650 dblp:conf/sigsoft/GanaiLG12 fatcat:uiga2xgd75dbvl7qk3o7eoqr2a

now happens-before later

Christoph M. Angerer, Thomas R. Gross
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
The result of this schedule analysis can answer the question as to whether two tasks execute in sequence, exclusively, or in parallel with each other. void begin() { this.a = new ThreadA(this); this.b  ...  In this paper, we present a programming model where the program contains explicit scheduling constraints in the form of happens-before relationships between scheduled tasks.  ...  A may-happen-in-parallel (MHP) analysis can be used to determine what statements in a program may be executed in parallel [19] .  ... 
doi:10.1145/1869542.1869544 dblp:conf/oopsla/AngererG10 fatcat:agptqu6ftrdzbijknuxjuqlvxi

Finding synchronization defects in java programs

Frank Otto, Thomas Moschny
2008 Proceedings of the 1st international workshop on Multicore software engineering - IWMSE '08  
Our approach uses static analysis techniques combined with points-to and may-happen-in-parallel (MHP) information to reduce the number of false positives.  ...  Concurrent programming is getting more and more important. Managing concurrency requires the usage of synchronization mechanisms, which is error-prone.  ...  POINTS-TO AND MHP ANALYSIS To increase the accuracy of our analysis, we use pointsto and may-happen-in-parallel (MHP) analysis.  ... 
doi:10.1145/1370082.1370093 fatcat:xxacazgchjgwjfgb4tf4x2xw3y

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects [chapter]

Antonio E. Flores-Montoya, Elvira Albert, Samir Genaim
2013 Lecture Notes in Computer Science  
We present a novel deadlock analysis for concurrent objects based on the results inferred by a points-to analysis and a may-happenin-parallel (MHP) analysis.  ...  An MHP analysis provides an over-approximation of the pairs of program points that may be running in parallel.  ...  The crux of our analysis is the use of a precise may-happen-in-parallel (MHP) analysis [2] .  ... 
doi:10.1007/978-3-642-38592-6_19 fatcat:uy7jquzwijbohlsp3htm7nn53a

Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs

Christoph M. Angerer, Thomas R. Gross
2011 2011 International Conference on Parallel Architectures and Compilation Techniques  
Based on a programming model with explicit happens-before constraints between tasks, we describe a static schedule analysis that computes whether two tasks may be executed in parallel or if they are ordered  ...  For safety reasons, Java therefore defines a memory model that prevents undefined behavior in multi-threaded programs even if the programs are not correctly synchronized.  ...  A may-happen-in-parallel (MHP) analysis can be used to determine what statements in a program may be executed in parallel [15] .  ... 
doi:10.1109/pact.2011.70 dblp:conf/IEEEpact/AngererG11 fatcat:zb34p6ylrfg5xnb2ohhaj4liei
« Previous Showing results 1 — 15 out of 87,152 results