SACO: Static Analyzer for Concurrent Objects

Albert, Elvira; Arenas, Puri; Flores-Montoya, Antonio; Genaim, Samir; Gómez-Zamalloa, Miguel; Martin-Martin, Enrique; Puebla, Germán; Román-Díez, Guillermo

doi:10.1007/978-3-642-54862-8_46

Cited by 46 publications

(41 citation statements)

References 12 publications

(13 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The concurrency model of ABS carefully restricts the possible interactions between concurrent tasks by means of cooperative concurrency, while still allowing the complex, realistic behavior of asynchronous systems to be described. Analysis in this setting has been shown to be compositional [4,35] and scalable [40]. Section 3.2 discusses a possible implementation of cooperative scheduling for ABS.…”

Section: :12mentioning

confidence: 99%

“…• A glass box test case generator for concurrent models [5] • Sound deadlock analysis tools [7,43] • A worst-case resource analysis tool that can be parameterized with a cost model for execution time, memory consumption, transmission size, peak cost and various other cost categories [4] 76:14…”

Section: :12mentioning

confidence: 99%

“…Annotations support custom schedulers to be defined to ease the development of batch systems and workflows. The main goal of the Java 8 backend 4 for ABS is to translate these models into production code to be executed in a parallel or distributed environment. The challenge is to generate real memory structures and execution instances, while being aware of possible resource limitations, communication bottlenecks, latencies and performance issues which are not easy to observe at a modeling level.…”

Section: Java 8 Backend For Absmentioning

confidence: 99%

See 2 more Smart Citations

A Survey of Active Object Languages

et al. 2017

View full text Add to dashboard Cite

International audienceTo program parallel systems efficiently and easily, a wide range of programming models have been proposed, each with different choices concerning synchronization and communication between parallel entities. Among them, the actor model is based on loosely coupled parallel entities that communicate by means of asynchronous messages and mailboxes. Some actor languages provide a strong integration with object-oriented concepts; these are often called active object languages. This paper reviews four major actor and active object languages and compares them according to carefully chosen dimensions that cover central aspects of the programming paradigms and their implementation

show abstract

Section: :12mentioning

confidence: 99%

Section: :12mentioning

confidence: 99%

Section: Java 8 Backend For Absmentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Active Object Languages

et al. 2017

View full text Add to dashboard Cite

show abstract

“…Those engines include a deadlock analyser [10], resource, cost, and deployment analysers for cloud environments [2,17], and general program properties verification with the ABSKey tool [8]. The ABS tool suite also includes a frontend compiler and several backend translators into various programming languages.…”

Section: Overview Of Active Object-based Languagesmentioning

confidence: 99%

From Modelling to Systematic Deployment of Distributed Active Objects

Henrio

Rochas

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. In the context of the expansion of actors and active objects, we are still facing a gap between the safety guaranteed by modelling and verification languages and the efficiency of distributed middlewares. In this paper, we reconcile two active object-based languages, ABS and ProActive, that respectively target the aforementioned goals. We compile ABS programs into ProActive, making possible to benefit from the strengths of both languages, while requiring no modification on the source code. After introducing the translational semantics, we establish the properties and the correctness of the translation. Overall, this paper presents an approach to running different active object models in distributed environments, and more generally studies the implementation of programming languages based on active objects.

show abstract

“…We have implemented our approach in SACO [2], a static analyzer for concurrent objects which is able to infer the aforementioned liveness and safety properties. The system can be used online at http://costa.ls.fi.upm.es/saco/web, where the examples used in the paper are also available.…”

Section: Introductionmentioning

confidence: 99%

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

Albert¹,

Genaim²,

Gordillo³

2015

Static Analysis

Self Cite

View full text Add to dashboard Cite

Abstract. 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.

show abstract

SACO: Static Analyzer for Concurrent Objects

Cited by 46 publications

References 12 publications

A Survey of Active Object Languages

A Survey of Active Object Languages

From Modelling to Systematic Deployment of Distributed Active Objects

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

Contact Info

Product

Resources

About