Deadlock Detection for Actor-Based Coroutines

被引：2
|
作者：
Azadbakht, Keyvan [1 ,2 ]
de Boer, Frank S. [1 ]
de Vink, Erik [1 ,3 ]
机构：
[1] Ctr Wiskunde Informat, Amsterdam, Netherlands
[2] Leiden Univ, Leiden, Netherlands
[3] Eindhoven Univ Technol, Eindhoven, Netherlands
来源：
FORMAL METHODS | 2018年 / 10951卷
关键词：
Deadlock detection; Predicate abstraction; Actor; Cooperative scheduling; Transition system;
D O I：
10.1007/978-3-319-95582-7_3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：39 / 54
页数：16
相关论文
共 50 条
  • [1] ACTOR-BASED SIMULATION
    MCAFFER, J
    [J]. PROCEEDINGS OF THE 1989 SUMMER COMPUTER SIMULATION CONFERENCE, 1989, : 910 - 915
  • [2] An Actor-Based Framework for Edge Computing
    Aske, Austin
    Zhao, Xinghui
    [J]. PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON UTILITY AND CLOUD COMPUTING (UCC' 17), 2017, : 199 - 200
  • [3] Automatic actor-based program partitioning
    Omid BUSHEHRIAN
    [J]. Frontiers of Information Technology & Electronic Engineering, 2010, (01) : 45 - 55
  • [4] Actor-Based Runtime Verification with MESA
    Shafiei, Nastaran
    Havelund, Klaus
    Mehlitz, Peter
    [J]. RUNTIME VERIFICATION (RV 2020), 2020, 12399 : 221 - 240
  • [5] An actor-based model for the electronic market
    Loia, V
    Scandizzo, S
    [J]. INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2880 - 2885
  • [6] Actor-Based Parallel Dataflow Analysis
    Rodriguez, Jonathan
    Lhotak, Ondrej
    [J]. COMPILER CONSTRUCTION, 2011, 6601 : 179 - 197
  • [7] Automatic actor-based program partitioning
    Omid Bushehrian
    [J]. Journal of Zhejiang University SCIENCE C, 2010, 11 : 45 - 55
  • [8] Thespis: Actor-Based Causal Consistency
    Camilleri, Carl
    Vella, Joseph G.
    Nezval, Vitezslav
    [J]. 2017 28TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS (DEXA), 2017, : 42 - 46
  • [9] Automatic actor-based program partitioning
    Bushehrian, Omid
    [J]. JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2010, 11 (01): : 45 - 55
  • [10] Automatic actor-based program partitioning
    Omid BUSHEHRIAN
    [J]. Journal of Zhejiang University-Science C(Computer & Electronics), 2010, 11 (01) : 45 - 55
12345