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 o 2 from a task executing on object o 1, statements of the current task in o 1 may run in parallel with those of the (asynchronous) call on o 2, 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. © 2012 IFIP International Federation for Information Processing.
CITATION STYLE
Albert, E., Flores-Montoya, A. E., & Genaim, S. (2012). Analysis of may-happen-in-parallel in concurrent objects. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7273 LNCS, pp. 35–51). https://doi.org/10.1007/978-3-642-30793-5_3
Mendeley helps you to discover research relevant for your work.