Toward self-stabilizing operating systems

被引：11
|
作者：
Dolev, ST [1 ]
Yagelt, R [1 ]
机构：
[1] Ben Gurion Univ Negev, Dept Comp Sci, IL-84105 Beer Sheva, Israel
来源：
15TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS | 2004年
关键词：
D O I：
10.1109/DEXA.2004.1333553
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This work presents several approaches for designing self-stabilizing operating systems. The first approach is based on periodical automatic reinstalling of the operating system and restart. The second, reinstalls the executable portion of the operating system and uses predicates on the operating system state (content of variables) to ensure that the operating system does not diverge from its specifications. The last approach presents an example of a tailored self-stabilizing very-tiny operating system. Prototypes using the Intel Pentium processor were composed.
引用
收藏
页码：684 / 688
页数：5
相关论文
共 50 条
  • [31] Game Theoretic Analysis of Self-Stabilizing Systems on Arrays
    Shoja, E.
    Izadi, M.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2021, 60 (02) : 227 - 238
  • [32] Algorithms for Reconfiguring Self-Stabilizing Publish/Subscribe Systems
    Jaeger, Michael A.
    Muehl, Gero
    Werner, Matthias
    Parzyjegla, Helge
    Heiss, Hans-Ulrich
    AUTONOMOUS SYSTEMS - SELF-ORGANIZATION, MANAGEMENT, AND CONTROL, 2008, : 135 - 147
  • [33] CONSTRUCTION OF STABLE AND SELF-STABILIZING SYSTEMS WITH DISTRIBUTED PARAMETERS
    MALKOV, KV
    DIFFERENTIAL EQUATIONS, 1989, 25 (01) : 58 - 70
  • [34] HyperTree for self-stabilizing peer-to-peer systems
    Shlomi Dolev
    Ronen I. Kat
    Distributed Computing, 2008, 20 : 375 - 388
  • [35] Designing Self-Stabilizing Systems Using Game Theory
    Yen, Li-Hsing
    Huang, Jean-Yao
    Turau, Volker
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2016, 11 (03)
  • [36] HyperTree for self-stabilizing peer-to-peer systems
    Dolev, S
    Kat, RI
    THIRD IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, 2004, : 25 - 32
  • [37] Self-Stabilizing Supervised Publish-Subscribe Systems
    Feldmann, Michael
    Kolb, Christina
    Scheideler, Christian
    Strothmann, Thim
    2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2018, : 1050 - 1059
  • [38] Self-Stabilizing Self-Assembly
    Jilek, Martin
    Stranska, Katerina
    Somr, Michael
    Kulich, Miroslav
    Zeman, Jan
    Preucil, Libor
    IEEE ROBOTICS AND AUTOMATION LETTERS, 2022, 7 (04) : 9763 - 9769
  • [39] Self-stabilizing torus orientation
    Beauquier, J
    Kekkonen, S
    Debas, O
    Rozoy, B
    PARALLEL AND DISTRIBUTED COMPUTING SYSTEMS - PROCEEDINGS OF THE ISCA 9TH INTERNATIONAL CONFERENCE, VOLS I AND II, 1996, : 462 - 467
  • [40] UNIFORM SELF-STABILIZING RINGS
    BURNS, JE
    PACHL, J
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (02): : 330 - 344
12345