The fail-stop processor approach
DOI:
关键词: Computer hardware 、 Input capture 、 Computer science
摘要:
参考文章(15)
Nancy A. Lynch, Michael J. Fischer, Robert Fowler, Simple and efficient Byzantine generals algorithm IEEE,New York, NY. ,(1982) , 10.21236/ADA113241
Richard Dale Schlichting, Axiomatic verification to enhance software reliability Cornell University. ,(1982)
B. Randell, P. Lee, P. C. Treleaven, Reliability Issues in Computing System Design ACM Computing Surveys. ,vol. 10, pp. 123- 165 ,(1978) , 10.1145/356725.356729
Leslie Lamport, , Time, clocks, and the ordering of events in a distributed system Concurrency and Computation: Practice and Experience. pp. 179- 196 ,(2019) , 10.1145/3335772.3335934
Danny Dolev, The Byzantine Generals strike again Journal of Algorithms. ,vol. 3, pp. 14- 30 ,(1981) , 10.1016/0196-6774(82)90004-9
Michael J. Fischer, Nancy A. Lynch, A lower bound for the time to assure interactive consistency Information Processing Letters. ,vol. 14, pp. 183- 186 ,(1981) , 10.1016/0020-0190(82)90033-3
Leslie Lamport, The implementation of reliable distributed multiprocess systems Computer Networks. ,vol. 2, pp. 95- 114 ,(1978) , 10.1016/0376-5075(78)90045-4
Fred B. Schneider, Synchronization in Distributed Programs ACM Transactions on Programming Languages and Systems. ,vol. 4, pp. 125- 148 ,(1982) , 10.1145/357162.357163
Leslie Lamport, Using Time Instead of Timeout for Fault-Tolerant Distributed Systems. ACM Transactions on Programming Languages and Systems. ,vol. 6, pp. 254- 280 ,(1984) , 10.1145/2993.2994
Edsger Wybe Dijkstra, A Discipline of Programming ,(1976)