Elvira Albert, Antonio Flores-Montoya, and Samir Genaim. Analysis of may-happen-in-parallel in concurrent objects. In Holger Giese and Grigore Rosu, editors, Formal Techniques for Distributed Systems, volume 7273 of Lecture Notes in Computer Science, pages 35-51. Springer Berlin / Heidelberg, 2012. [ abstract | DOI | http ]
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.
MayPar is funded in part by the Information & Communication Technologies program of the European Commission, Future and Emerging Technologies (FET), under the ICT-231620 HATS project, by the Spanish Ministry of Science and Innovation (MICINN) under the TIN-2008-05624 and PRI-AIBDE-2011-0900 projects, by UCM-BSCH-GR35/10-A-910502 grant and by the Madrid Regional Government under the S2009TIC-1465 PROMETIDOS-CM project.
HATS, (Highly Adaptable and Trustworthy Software using Formal Methods) code IST-231620.
PROMETIDOS-CM (Jan. 2010 - Dec. 2013) [CAM S2009TIC-1465]
"Madrid Program in Rigorous Methods for the Development of Software"
(Programa en metodos rigurosos para el desarrollo de software de la Comunidad de Madrid)