A FORMAL MODEL OF CRASH RECOVERY IN A DISTRIBUTED SYSTEM

被引：85

作者：

SKEEN, D ^{[1
]}

STONEBRAKER, M ^{[1
]}

机构：

[1] UNIV CALIF BERKELEY,DEPT ELECT ENGN & COMP SCI,BERKELEY,CA 94720

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1983年 / 9卷 / 03期

关键词：

D O I：

10.1109/TSE.1983.236608

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：219 / 228

页数：10

共 50 条

[1] Researches in distributed operating system formal system model
[J]. 1600, (16):
[2] Crash recovery technique for distributed DBMS
[J]. Jisuanji Yanjiu yu Fazhan, 5 (25-30):
[3] Crash recovery for distributed mobile computing systems
Juang, TYT
[J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2001, E84A (02): : 668 - 674
[4] EFFICIENT ALGORITHMS FOR CRASH RECOVERY IN DISTRIBUTED SYSTEMS
JUANG, TTY
VENKATESAN, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 : 349 - 361
[5] Crash recovery for distributed mobile computing systems
Juang, Tong-Ying Tony
[J]. 2001,
[6] Brief announcement: Termination detection in an asynchronous distributed system with crash-recovery failures
Freiling, Felix C.
Majuntke, Matthias
Mittal, Neeraj
[J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4280 : 572 - 573
[7] Formal Verification of Distributed System Using an Executable C Model
Cifuentes, F.
Bustos, J.
Simmonds, J.
[J]. IEEE LATIN AMERICA TRANSACTIONS, 2016, 14 (06) : 2874 - 2878
[8] Gemini: A Distributed Crash Recovery Protocol for Persistent Caches
Ghandeharizadeh, Shahram
Huang, Haoyu
[J]. MIDDLEWARE'18: PROCEEDINGS OF THE 2018 ACM/IFIP/USENIX MIDDLEWARE CONFERENCE, 2018, : 134 - 145
[9] A formal verification strategy for crash recovery in Web-database applications
Younas, M
Eaglestone, B
[J]. WISE 2002: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON WEB INFORMATION SYSTEMS ENGINEERING (WORKSHOPS), 2002, : 113 - 119
[10] Network recovery based on system crash early warning in a cascading failure model
Zhou, Dong
Elmokashfi, Ahmed
[J]. SCIENTIFIC REPORTS, 2018, 8

← 1 2 3 4 5 →