2012 | OriginalPaper | Buchkapitel
Analysis of May-Happen-in-Parallel in Concurrent Objects
verfasst von : Elvira Albert, Antonio E. Flores-Montoya, Samir Genaim
Erschienen in: Formal Techniques for Distributed Systems
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.