虛同步(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).

• Robbertvan Renesse, Kenneth P. Birman and Silvano Maffeis, Horus, a flexible Group Communication System,Communications of the ACM, April 1996

• 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).

還有一些基於虛同步的項目：

http://www.cs.cornell.edu/Info/Projects/HORUS/Overview.html

http://www.cs.cornell.edu/info/projects/isis/

http://www.cs.huji.ac.il/labs/transis/lab-projects/guide/chap3.html

其中，前兩篇是文中提到的對虛同步有很大啟發意義的文獻。第三篇是ISIS system的早期實現，該system是Virtual Synchrony的載體。從第四篇開始，就是圍繞虛同步本身的文獻。其中，加粗的是被廣泛引用的文獻。