Time analysis of actor programs - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2019

Time analysis of actor programs

Résumé

This paper proposes a technique for estimating the computational time of programs in an actor model, which is intended to serve as a compiler target of a wide variety of actor-based programming languages. We define a compositional translation function returning cost equations, which are fed to an automatic off-the-shelf solver for obtaining the time bounds. Our approach is based on a new notion of synchronization sets, which captures possible difficult synchronization patterns between actors and helps make the analysis efficient and precise. The approach is proven to correctly over-approximate the worst computational time of an actor model of concurrent programs. Our technique is complemented by a prototype analyzer that returns upper bound of costs for the actor model.
Fichier principal
Vignette du fichier
1-s2.0-S2352220818300385-main.pdf (897.15 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02392909 , version 1 (04-12-2019)

Identifiants

Citer

Cosimo Laneve, Michael Lienhardt, Ka I Pun, Guillermo Román-Díez. Time analysis of actor programs. Journal of Logical and Algebraic Methods in Programming, 2019, 105, pp.1 - 27. ⟨10.1016/j.jlamp.2019.02.007⟩. ⟨hal-02392909⟩
77 Consultations
159 Téléchargements

Altmetric

Partager

More