Time analysis of actor programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2019

Time analysis of actor programs


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
44 View
123 Download



Gmail Facebook Twitter LinkedIn More