A FORMAL MODEL OF CRASH RECOVERY IN A DISTRIBUTED SYSTEM

被引：86

作者：

SKEEN, D ^{[1
]}

STONEBRAKER, M ^{[1
]}

机构：

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

来源：

关键词：

D O I：

10.1109/TSE.1983.236608

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：219 / 228

页数：10

共 16 条

[1]

Aho A. V., 1979, 20th Annual Symposium of Foundations of Computer Science, P267, DOI 10.1109/SFCS.1979.23

[2]

ALSBERG PA, 1976, 2ND P INT C SOFTW EN

[3]

BOCHMANN GV, 1977, COMPUT NETWORKS, V2, P361

[4]

GRAY J, 1979, OPERATING SYSTEMS AD

[5]

Hammer M., 1980, ACM Transactions on Database Systems, V5, P431, DOI 10.1145/320610.320621

[6]

Lampson B., 1976, CRASH RECOVERY DISTR

[7]

LINDSAY BG, 1979, IBM RJ2571 RES REP

[8]

LORIE RA, 1977, ACM T DATABASE SYST, V2

[9] LOCKING AND DEADLOCK DETECTION IN DISTRIBUTED DATA-BASES [J].

MENASCE, DA ;

MUNTZ, RR .

MERLIN, PM .