FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Deadlock Detection for Actor-based Coroutines

Authors: Keyvan Azadbakht, Frank De Boer and Erik de Vink

Paper Information

Title:Deadlock Detection for Actor-based Coroutines
Authors:Keyvan Azadbakht, Frank De Boer and Erik de Vink
Proceedings:FM FMComplete
Editors: Jan Peleska, Klaus Havelund and Bill Roscoe
Keywords:Deadlock Detection, Predicate Abstraction, Actor, Cooperative Scheduling, Transition System
Abstract:

ABSTRACT. In this paper we introduce a new method for detecting deadlock in the coroutine mode of the method execution of a single actor. The underlying actor-based language features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the tasks belonging to an actor. We model the local behavior of an actor as a well-structured transition system by means of predicate abstraction and derive the decidability of the occurrence of deadlocks caused by the coroutine mode of method execution.

Pages:16
Talk:Jul 15 09:00 (Session 101B)
Paper: