Deadlock detection for actor-based coroutines

Keyvan Azadbakht, Frank S. de Boer, Erik de Vink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)

Abstract

The actor-based language studied in this paper features asynchronous method calls and supports coroutines which allow for the cooperative scheduling of the method invocations 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.

Original languageEnglish
Title of host publicationFormal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings
EditorsK. Havelund, J. Peleska, B. Roscoe, E. de Vink
Place of PublicationCham
PublisherSpringer
Pages39-54
Number of pages16
ISBN (Electronic)978-3-319-95582-7
ISBN (Print)978-3-319-95581-0
DOIs
Publication statusPublished - 1 Jan 2018
Event22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10951 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
CountryUnited Kingdom
CityOxford
Period15/07/1817/07/18

Keywords

  • Actor
  • Cooperative scheduling
  • Deadlock detection
  • Predicate abstraction
  • Transition system

Fingerprint

Dive into the research topics of 'Deadlock detection for actor-based coroutines'. Together they form a unique fingerprint.

Cite this