虚同步(Virtual Synchrony)核心文献

康奈尔的K. Birman(虚同步的鼻祖)的History of Virtual Synchrony Replication 一文讲述了Virtual Synchrony的发展历史，根据该文章，整理出了虚同步的核心文献，如下：

• J.M. Chang, N.F. Maxemchuck, "Reliable broadcast protocols", ACM Trans. on. Computer Systems 2 (3), Aug. 1984, pp. 251‐273
• F. Cristian, H. Aghali, R. Strong and D. Dolev, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement", in Proc. 15th Int. Symp. on Fault‐Tolerant Computing (FTCS‐15), (Ann Arbor, MI, USA), pp.200‐206, IEEE Computer Society Press, June 1985
• K. Birman, T. Joseph, T. Räuchle, A. El Abbadi: Implementing Fault‐Tolerant Distributed Objects. IEEE Transactions on Software Engineering 11:6, June 1985.
•K. Birman.Replication and Fault‐Tolerance in the ISIS System. 10th ACM Symposium on Operating Systems Principles, Dec 1985, 79‐86.
•K. Birman, T. Joseph. Reliable communication in presence of failures. ACM Transactions on Computer Systems, Vol. 5, No. 1, Feb. 1987
• T. A. Joseph, K. Birman: Low Cost Management of Replicated Data in Fault‐Tolerant Distributed Systems. ACM Trans. Comput. Syst. 4(1): 54‐70 (1986)
• K. Birman and T. Joseph: Exploiting Virtual Synchrony in Distributed Systems.. 11th ACM Symposium on Operating Systems Principles, Dec 1987.
• M. Herlihy and J.M. Wing. Linearizability: a correctness condition for concurrent objects.ACM TOPLAS 12:3 (July 1990). 463‐492.
• N. C. Hutchinson and L. L. Peterson. The x‐Kernel: An architecture for implementing network protocols. IEEE T, 17(1), Jan. 1991.
• K. Birman, A. Schiper and P. Stephenson. Lightweight Causal and Atomic Group Multicast. ACM Transactions on Computer Systems, Aug 1991, (3):272‐314.
• A. Schiper and A. Sandoz. Uniform reliable multicast in a Virtually Synchronous Environment. Proc. 13th ICDCS,, Pittsburgh (May 1993).
• R. Van Renesse and K. Birman. Reliable Distributed Computing with the Isis Toolkit. IEEE Computer Society Press. Los Alamitos, CA. 1994.
• D. Dolev and D. Malkhi. The Transis Approach to High Availability Cluster Communication.Comm. ACM, 39(4), April 1996, pp 87‐92.
• K. Birman. A review of experiences with reliable multicast. Software Practice and Experience29(9), 1999.
• X. Liu, C. Kreitz, R. Van Renesse, J. Hickey, M. Hayden, K. Birman, R. Constable. Building reliable, high‐performance communication systems from components. 17th ACM SOSP (Dec.1999).

其中，前两篇是文中提到的对虚同步有很大启发意义的文献。第三篇是ISIS system的早期实现，该system是Virtual Synchrony的载体。从第四篇开始，就是围绕虚同步本身的文献。其中，加粗的是被广泛引用的文献。