Skip to Main content Skip to Navigation

Analysis of synchronisation patterns in active objects based on behavioural types

Vicenzo Mastandrea 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
2 SCALE - Safe Composition of Autonomous applications with Large-SCALE Execution environment
Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The active object concept is a powerful computational model for defining distributed and concurrent systems. This model has recently gained prominence, largely thanks to its simplicity and its abstraction level. In this work we study an active object model with no explicit future type and wait-by-necessity synchronisations, a lightweight technique that synchronises invocations when the corresponding values are strictly needed. Although high concurrency combined with a high level of transparency leads to good performances, they also make the system more prone to problems such as deadlocks. This is the reason that led us to study deadlock analysis in this active objects model.The development of our deadlock analysis is divided in two main works. In the first work we focus on the implicit synchronisation on the availability of some value. This way we are able to analyse the data-flow synchronisation inherent to languages that feature wait-by-necessity. In the second work we present a static analysis technique based on effects and behavioural types for deriving synchronisation patterns of stateful active objects and verifying the absence of deadlocks in this context. Our effect system traces the access to object fields, thus allowing us to compute behavioural types that express synchronisation patterns in a precise way. As a consequence we can automatically verify the absence of deadlocks in active object based programs with wait-by-necessity synchronisations and stateful active objects.
Document type :
Complete list of metadatas

Cited literature [114 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Thursday, March 15, 2018 - 9:26:08 AM
Last modification on : Monday, October 19, 2020 - 11:12:37 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01651649, version 2



Vicenzo Mastandrea. Analysis of synchronisation patterns in active objects based on behavioural types. Other [cs.OH]. Université Côte d'Azur, 2017. English. ⟨NNT : 2017AZUR4113⟩. ⟨tel-01651649v2⟩



Record views


Files downloads