Fail-awareness in timed asynchronous systems
Christof W. Fetzer, Flaviu Cristian · 1996
We address the problem of the impossibdity of implementing synchronous fault-tolerant service specifications in asynchronous distributed systems.We introduce a method for weakening a synchronous service specification so that it becomes implementable in "timed" asynchronous systems, that q This research was partially sponsored by a grant from the Air Force Office of Scientific Research Fe fmkioo to meted@d/bcrd copies of cll or pert of W:s rnetericl for perm-mel or clcssroarn use is grcnted withcwt &c provided Urct the copies not IIU& or dktdwtrd fw protit or commerc"ml q dvmtege, the.c~yrigbt rdce, the title of the publkxtion q nd ite dcte q ppecr, q nd aottce u given tbct copyright is by pcrmisrkM of tbe ACM, inc.To copy othcnviee, to republicb, to poA 00 aetvers or to rdetribute to Iietcj requires epccitic pcrmhioo cndhr f-.PODC'%, Pttiladelphis PA, USA O l% ACM &SgT$)l.~~%/OS..$3.50 asynchronous distributed systems in which processes have access to local hardware clocks.Hardware clocks and the notion of "performance failures" are essential for our approach.This work is therefore based on the timed asynchronous system model[11]