A discrete-event systems approach to communication induced checkpointing

被引：0

作者：

Ricker, SL ^{[1
]}

机构：

[1] Mt Allison Univ, Dept Math & Comp Sci, Sackville, NB E4L 1E6, Canada

来源：

WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS | 2002年

关键词：

supervisory control; communication protocols; applications-distributed computing;

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

A particular communication protocol for distributed computations is examined in the context of supervisory control. A critical part of these protocols allows for the formation of special system states the system reliably returns to in the event of deadlock or failure. The proposed discrete-event system makes use of Z-path theory from distributed computing literature to provide decentralized controllers with information to identify these special states.

引用

页码：69 / 74

页数：6

共 9 条

[1] An analysis of communication induced checkpointing [J].

Alvisi, L ;

Elnozahy, E ;

Rao, S ;

Husain, SA ;

De Mel, A .

TWENTY-NINTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, 1999, :242-249

[2] A VP-accordant checkpointing protocol preventing useless checkpoints [J].

Baldoni, R ;

Quaglia, F ;

Ciciani, B .

SEVENTEENTH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 1998, :61-67

[3]

Cassandras C. G., 2009, Introduction to discrete event systems, V2nd, DOI 10.1007/978-3-030-72274-6

[4] Communication-based prevention of useless checkpoints in distributed computations [J].

Hélary, JM ;

Mostefaoui, A ;

Netzer, RHB ;

Raynal, M .

DISTRIBUTED COMPUTING, 2000, 13 (01) :29-43

[5] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

COMMUNICATIONS OF THE ACM, 1978, 21 (07) :558-565

[6] NECESSARY AND SUFFICIENT CONDITIONS FOR CONSISTENT GLOBAL SNAPSHOTS [J].

NETZER, RHB ;

XU, J .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1995, 6 (02) :165-169

[7] SUPERVISORY CONTROL OF A CLASS OF DISCRETE EVENT PROCESSES [J].

RAMADGE, PJ ;

WONHAM, WM .

SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25 (01) :206-230

[8]

Randell B., 1975, IEEE Transactions on Software Engineering, VSE-1, P220, DOI 10.1109/TSE.1975.6312842

[9] STATE RESTORATION IN SYSTEMS OF COMMUNICATING PROCESSES [J].

RUSSELL, DL .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (02) :183-194

← 1 →