计算机科学 ›› 2016, Vol. 43 ›› Issue (5): 146-149.doi: 10.11896/j.issn.1002-137X.2016.05.027
蔡媛媛,赵致琢
CAI Yuan-yuan and ZHAO Zhi-zhuo
摘要： 在设计分布式容错系统的架构时,不仅要控制所有组件正常运行时的标准系统活动,还要控制某个组件失效时的情形。在传统的分布式容错系统设计中,这两者的模块实现往往具有紧密的耦合性,这为大型分布式容错系统的理解、设计、开发与维护增加了难度。为了解决这个问题,提出了一种新的方法,参考Hoare的通信顺序进程理论,使用维也纳定义语言元语言来定义这样一种描述语言:它不仅能够描述分布式计算的并发现象,还能够独立刻画系统的容错行为。这种解决方案体现了现代编程语言走向抽象化的必然趋势,也为分布式容错计算研究领域的发展提供了一种新的思路。
| [1] Laprie J C.Dependable computing and fault tolerance:Concepts and terminology [C]∥Proceedings of the 15th International Symposium on Fault-Tolerant Computing.1985:2-11 [2] Elena D.Fault-Tolerant Design [M].New York:Springer,2013:15-16 [3] Herlihy Maurice P,Jeannette M W.Specifying Graceful Degradation [J].IEEE Transactions on Parallel and Distributed System,1991,2(1):93-104 [4] Grtner C.FELIX,Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments [J].ACM Computing Surveys,1999,31(1):1-26 [5] Aviienis A.Design of Fault-Tolerant Computers[C]∥Procee-dings of the AFIPS’67 Fall Joint Computer Conference,1967.Washington:Thompson Books,1967:733-743 [6] Alpern B,Schneider F B.Defining liveness [J].Information Processing Letters,1985,21(4):181-185 [7] Ajay D K,Mukesh S.Distributed Computing(Principles,Algorithms,and Systems) [M].New York:Cambridge University Press,2008 [8] Needham R M,Herbert A J.The Cambridge Distributed System[M].Addison Wesley International Computer Science Series,1982 [9] Hoare C A R.Communicating Sequential Processes [M].Pren-tice Hall International,2004 [10] Peter W.The Vienna Definition Language [J].ACM Computing Surveys,1972,4(1):5-63 [11] Hoare C A R.Communicating sequential processes [J].Commu-nications of the ACM,1978,21(8):666-677 [12] Lamport L,Shostak R,Pease M.The Byzantine generals problems [J].ACM Transaction on Programming Languages and Systems,1982,4(3):382-401 [13] Pierre A.The practical importance of formal semantics [M].Liber Amicorum,1989:31-40 [14] Larsen P G,Lausdahl K,Battle N.The VDM-10 Lauguage Ma-nual:TR-2010-06 [R].the Overture Open Source Initiative,April 2010 [15] Lausdahl K,Coleman J W,Larsen P G.Semantics of the VDM Real-time Dialect:ECE-TR-13 [R].Adarhus University,April 2013 [16] Birrell A D,Nelson B J.Implementing Remote Procedure Calls [J].ACM Transaction on Computer System,1984,2(1):39-59 [17] Wang Yan-yan,Liu Wei,Wang Zhi-ming.Networked fault to-lerant control for uncertain singular systems with a packet dropout[J].Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition),2013,5(3):379-383(in Chinese) 王岩岩,刘伟,汪志鸣.数据包丢失的不确定奇异系统网络化容错控制[J].重庆邮电大学学报(自然科学版),2013,5(3):379-383 |
| No related articles found! |
|
||
首页