ON DISTRIBUTED SNAPSHOTS

被引：89

作者：

LAI, TH

YANG, TH

机构：

[1] Ohio State Univ, Columbus, OH, USA, Ohio State Univ, Columbus, OH, USA

来源：

INFORMATION PROCESSING LETTERS | 1987年 / 25卷 / 03期

关键词：

COMPUTER SYSTEMS; DIGITAL; -; Distributed;

D O I：

10.1016/0020-0190(87)90125-6

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

We develop an efficient snapshot algorithm that needs no control messages and does not require channels to be first-in-first-out. We also show that several stable properties (e. g. , termination, deadlock) can be detected with uncoordinated distributed snapshots. For such properties, our algorithm can be further simplified.

引用

收藏

页码：153 / 158

页数：6

相关论文

共 10 条

[1] DISTRIBUTED DEADLOCK DETECTION [J].

CHANDY, KM ;

MISRA, J ;

HAAS, LM .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1983, 1 (02) :144-156

[2] DISTRIBUTED SNAPSHOTS - DETERMINING GLOBAL STATES OF DISTRIBUTED SYSTEMS [J].

CHANDY, KM ;

LAMPORT, L .

ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1985, 3 (01) :63-75

[3] A BELATED PROOF OF SELF-STABILIZATION [J].

DIJKSTRA, EW .

DISTRIBUTED COMPUTING, 1986, 1 (01) :5-6

[4] SELF-STABILIZING SYSTEMS IN SPITE OF DISTRIBUTED CONTROL [J].

DIJKSTRA, EW .

COMMUNICATIONS OF THE ACM, 1974, 17 (11) :643-644

[5]

DIJKSTRA EW, 1983, EWD864A U TEX TECH R

[6] ACHIEVING DISTRIBUTED TERMINATION WITHOUT FREEZING [J].

FRANCEZ, N ;

RODEH, M .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (03) :287-292

[7] TERMINATION DETECTION FOR DYNAMICALLY DISTRIBUTED SYSTEMS WITH NON-1ST-IN-1ST-OUT COMMUNICATION [J].

LAI, TH .

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1986, 3 (04) :577-599

[8] GLOBAL AND LOGICAL TIME IN DISTRIBUTED ALGORITHMS [J].

MORGAN, C .

INFORMATION PROCESSING LETTERS, 1985, 20 (04) :189-194

[9]

Spezialetti M., 1986, 6th International Conference on Distributed Computing Systems Proceedings (Cat. No. 86CH2293-9), P382

[10] TERMINATION DETECTION FOR DISTRIBUTED COMPUTATIONS [J].

TOPOR, RW .

INFORMATION PROCESSING LETTERS, 1984, 18 (01) :33-36