Analysis of may-happen-in-parallel in concurrent objects

Authors:
Elvira Albert;Antonio E. Flores-Montoya;Samir Genaim
Affiliations:
Complutense University of Madrid, Spain;Complutense University of Madrid, Spain;Complutense University of Madrid, Spain
Venue:
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Year:
2012

Citing 14
Cited 1

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
An efficient algorithm for computing MHP information for concurrent Java programs

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Parameterized object sensitivity for points-to and side-effect analyses for Java

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
May-happen-in-parallel analysis of X10 programs

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Featherweight X10: a core calculus for async-finish parallelism

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
A complete guide to the future

ESOP'07 Proceedings of the 16th European conference on Programming
Efficient computation of may-happen-in-parallel information for concurrent java programs

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing
COSTABS: a cost and termination analyzer for ABS

PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
A practical MHP information analysis for concurrent java programs

LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
Cost analysis of concurrent OO programs

APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
ABS: a core language for abstract behavioral specification

FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects

MayPar: a may-happen-in-parallel analyzer for concurrent objects

Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 with those of the (asynchronous) call on o2, and with those of transitively invoked methods. The goal of the MHP analysis is to identify pairs of statements in the program that may run in parallel in any execution. Our MHP analysis is formalized as a method-level (local) analysis whose information can be modularly composed to obtain application-level (global) information.