Universidad Complutense de Madrid
E-Prints Complutense

May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization

Impacto

Descargas

Último año



Albert Albiol, Elvira y Genaim, Samir y Gordillo, Pablo (2015) May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. In 22nd International Symposium, SAS 2015, September 9-11, 2015, Saint-Malo, France.

[img]
Vista previa
PDF
625kB

URL Oficial: http://link.springer.com/chapter/10.1007/978-3-662-48288-9_5



Resumen

A may-happen-in-parallel (MHP) analysis computes pairs of program points that may execute in parallel across different distributed components. This information has been proven to be essential to infer both safety properties (e.g., deadlock freedom) and liveness properties termination and resource boundedness) of asynchronous programs. Existing MHP analyses take advantage of the synchronization points to learn that one task has finished and thus will not happen in parallel with other tasks that are still active. Our starting point is an existing MHP analysis developed for intra-procedural synchronization, i.e., it only allows synchronizing with tasks that have been spawned inside the current task. This paper leverages such MHP analysis to handle inter-procedural synchronization, i.e., a task spawned by one task can be awaited within a different task. This is challenging because task synchronization goes beyond the boundaries of methods, and thus the inference of MHP relations requires novel extensions to capture inter-procedural dependencies. The analysis has been implemented and it can be tried online.


Tipo de documento:Ponencia o Póster de Seminario, Congreso,etc (Ponencia)
Información Adicional:

Publicado en Lecture Notes in Computer Science, vol. 9291

Materias:Ciencias > Informática
Ciencias > Informática > Programación de ordenadores
Código ID:37050
Depositado:12 Abr 2016 14:56
Última Modificación:01 Oct 2016 23:01

Descargas en el último año

Sólo personal del repositorio: página de control del artículo