| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Time analysis of actor programs
Abstract : 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.
Cited literature [17 references]
https://hal.inria.fr/hal-02392909
Contributor : Laneve Cosimo <>
Submitted on : Wednesday, December 4, 2019 - 10:52:27 AM
Last modification on : Friday, October 30, 2020 - 12:04:04 PM
Long-term archiving on: : Thursday, March 5, 2020 - 5:17:31 PM
Contributor : Laneve Cosimo <>
Submitted on : Wednesday, December 4, 2019 - 10:52:27 AM
Last modification on : Friday, October 30, 2020 - 12:04:04 PM
Long-term archiving on: : Thursday, March 5, 2020 - 5:17:31 PM
File
1-s2.0-S2352220818300385-main....
Files produced by the author(s)