1   Filesystems and Transactions

• Hennessy and Patterson. Computer Architecture: A Quantitative Approach. Pages 485--493 (section on disk storage).
• M. K. McKusick, W. N. Joy, S. J. Leffler, and R. S. Fabry. A Fast File System for UNIX. ACM Transactions on Computer Systems, Vol. 2, No. 3, August 1984, pp. 181--197. (Summary)
• M. Rosenblum and J. K. Ousterhout. The Design and Implementation of a Log-Structured File System. ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 26--52. (Summary)
• S. R. Kleiman. Vnodes: An Architecture for Multiple File System Types in Sun UNIX. In Proceedings of the 1986 Usenix Conference, June 1986, pp. 238--247.
• D. K. Gifford, P. Jouvelot, M. A. Sheldon, and J. W. O'Toole, Jr. Semantic File Systems. In Proceedings of the 13th ACM Symposium on Operating System Principles, October 1991.
• P. A. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Pages 25--56 (serializability and 2PL).
• N. S. Barghouti and G. E. Kaiser. Sections 5 and 6 from Concurrency Control in Advanced Database Applications. ACM Computing Surveys, 23(9), 269--317, 1991.

• K. Thompson. Unix Implementation. Bell System Technical Journal, 56(6), 1978.
• L. McVoy and S. Kleiman. Extent-like Performance from a Unix File System. In Proceedings of the 1991 Winter Usenix Conference, January 1991, pp. 33--44. (Summary)
• M. Seltzer, K. Bostic, M. K. McKusick, and Carl Staelin. An Implementation of A Log-Based File System for Unix. In Proceedings of the 1993 Winter Usenix Conference, January 1993.
• J. N. Mattews, D. Roselli, A. M. Costello, R. Y. Wang, and T. E. Anderson. Improving the Performance of Log-Structured File Systems with Adaptive Methods. In Proceedings of the 16th ACM Symposium on Operating System Principles, October 1997.
• R. Y. Wang, T. E. Anderson, and D. A. Patterson. Virtual Log Based File Systems for a Programmable Disk. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, February 1999.
• D. S. H. Rosenthal. Evolving the Vnode Interface. Proceedings of the Summer USENIX Conference, pages 107--117, June 1990.
• J. S. Heidemann and G. J. Popek. File System Development with Stackable Layers. ACM Transaction on Computer Systems, 12(1): 58--89, Febuary 1994.
• B. Welch. A Comparison of Three Distributed File System Architectures: Vnode, Sprite, and Plan 9. Computing Systems, 7(2):175--99, Spring 1994.
• G. Weikum and G. Vossen. Transactional Information Systems. Academic Press, 2002. Chapter 3 (pages 61--123).

• Ext2fs home page (including full sources -- only 6K lines! -- and design papers)
• ReiserFS home page
• XFS home page
• FiST home page
• D. S. H. Rosenthal. Evolving the Vnode Interface. Proceedings of the Summer USENIX Conference, pages 107--117, June 1990.
• Burra Gopal, Integrating Content-Based Access Mechanisms with Hierarchical File Systems. OSDI'99.
• Rob Pike, Dave Presotto, Ken Thompson, Howard Trickey, Phil Winterbottom. The Use of Name Spaces in Plan 9. Operating Systems Review (reprinted from Proceedings of the 5th ACM SIGOPS European Workshop), 1992.
• Epsilon serializability

2   Pessimismistic Replication

• S. B. Davidson and H. Garcia-Molina and D. Skeen. Consistency in Partitioned Networks, ACM Computing Surveys, 17(3), 1985.
• M. Satyanarayanan, ``Distributed File Systems.'' In Distributed Systems, Sape Mullender, ed. Addison Wesley, 1993.
• Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh and Bob Lyon, "Design and Implementation of the Sun Network Filesystem," in Proc. Summer 1985 USENIX Conf., pp. 119-130.
• B. Liskov, S. Ghemawat, R. Gruber, P. Johnson, L. Shrira and M. Williams, "Replication in the Harp File System," Proceedings of the Thirteenth Symposium on Operating Systems Principles, ACM, October 1991, pp. 198-212.
• M. N. Nelson, B. B. Welch and J. K. Ousterhout, Caching in the Sprite Network File System, ACM Transactions on Computer Systems, Vol. 6, No. 1, February 1988, pp. 134-154.

• M. Satyanarayanan, A Survey of Distributed File Systems. Technical Report, Department of Computer Science, Carnegie-Mellon University, Number CMU-CS-89-116, February 1989. Also appeared in Annu. Rev. Comput. Sci., volume 4, 1990, pages 73--104.

• A. Muthitacharoen, B. Chen, David Mazières, "A Low-Bandwidth Network File System", Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), October 21-24, 2001. (Summary)

3   Optimistic Replication Schemes

• J. J. Kistler and M. Satyanarayanan, Disconnected Operation in the Coda File System, ACM Transactions on Computer Systems, Vol. 10, No. 1, February 1992, pp. 3-25.
• Bruce Walker, Gerald Popek, Robert English, Charles Kline, Greg Thiel, The LOCUS Distributed Operating System, 9th Symposium on Operating Systems Principles (SOSP), Bretton Woods, New Hampshire, November 1983, pp. 49-70.
• Alan J. Demers, Daniel H. Greene, Carl Hauser, Wes Irish, John Larson. Epidemic algorithms for replicated database maintenance. Proceedings of the Sixth Annual ACM Symposium on Principles of distributed computing (PODC). August 10 - 12, 1987, Vancouver Canada. Pages 1-12.
• Fischer, Michael J., and Michael, Alan. Sacrificing serializability to attain high availability of data in an unreliable network. Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, pp. 70-75.
• R. G. Guy, G. J. Popek, and T. W. Page, Jr., Consistency Algorithms for Optimistic Replication. Proceedings of the First International Conference on Network Protocols. IEEE, October 1993.
• Maurice Herlihy, Apologizing vs. asking permission: optimistic concurrency control for abstract data types. TODS 15(1), 96--124, 1990.

• E. T. Mueller, J. D. Moure, and G. J. Popek, A Nested Transaction Mechanism for LOCUS, 9th Symposium on Operating Systems Principles (SOSP), Bretton Woods, New Hampshire, November 1983, pp. 71-89.
• R. G. Guy, J. S. Heidemann, W.-K. Mak, T. W. Page Jr., G. J. Popek, D. Rothmeier, Implementation of the Ficus Replicated File System, USENIX Summer 1990, 63-72.
• T. W. Page Jr., R. G. Guy, J. S. Heidemann, D. Ratner, P. L. Reiher, A. Goel, G. H. Kuenning, G. J. Popek, Perspectives on Optimistically Replicated, Peer-to-Peer Filing. Software - Practice and Experience 28(2): 155-180 (1998).

• A nice Overview of epidemic architectures and related ideas

4   Authentication, privacy, and resource control

• Mariposa: A Wide-Area Distributed Database System, Michael Stonebraker, Paul M. Aoki, Avi Pfeffer, Adam Sah, Jeff Sidell, Carl Staelin, and Andrew Yu. VLDB Journal 5, 1 (Jan. 1996), p. 48-63.
• I. Clarke, O. Sandberg, B. Wiley, and T.W. Hong, Freenet: A Distributed Anonymous Information Storage and Retrieval System, in Workshop on Design Issues in Anonymity and Unobservability, Berkeley, California. Springer: New York (2001). (See also the FreeNet homepage.)
• J. Ioannidis, S. Ioannidis, A. Keromytis, V. Prevelakis, ``Fileteller: Paying and getting paid for file storage. (Summary)
• S. Miltchev, V. Prevelakis, S. Ioannidis, J. Smith, A. Keromytis, ``Secure and Flexible Global File Sharing.

• Mark Miller and Eric Drexler, Markets and computation: Agoric open systems. (Sections 1-3 are enough to get a general picture.)

5   Synchronization Technologies

• Sundar Balasubramaniam and Benjamin C. Pierce, What is a file synchronizer. Fourth Annual ACM/IEEE International Conference on Mobile Computing and Networking (MobiCom '98).
• W. Keith Edwards, Elizabeth D. Mynatt, Karin Petersen, Mike J. Spreitzer, Douglas B. Terry, and Marvin Theimer. Designing and Implementing Asynchronous Collaborative Applications with Bayou. ACM Symposium on User Interface Software and Technology, 1997.
• Anne-Marie Kermarrec, Anthony Rowstron, Marc Shapiro, and Peter Druschel. The IceCube approach to the reconciliation of divergent replicas, PODC, 2001. (Summary)
• Jonathan P. Munson and Prasun Dewan. A flexible object merging framework. Proceedings of the conference on Computer supported cooperative work, Chapel Hill, North Carolina, 1994.

• Norman Ramsey and Elod Csirmaz, An Algebraic Approach to File Synchronization. Foundations of Software Engineering, 175--185, September 2001.
• Trevor Jim, Benjamin Pierce, and Jerome Vouillon, How to Build a File Synchronizer.
• Douglas B. Terry, Marvin Theimer, Karin Petersen, Alan J. Demers, Mike Spreitzer, and Carl Hauser. Managing Update Conflicts in Bayou, a Weakly Connected Replicated Storage System. SOSP 1995, pp. 172-183. (Summary) D. B. Terry, A. J. Demers, K. Petersen, M. J. Spreitzer, M. M. Theimer, and B. B. Welch. Session Guarantees for Weakly Consistent Replicated Data. Proceedings International Conference on Parallel and Distributed Information Systems (PDIS), Austin, Texas, September 1994, pages 140-149.
• Shirish H. Phatak and B.R. Badrinath, Conflict Resolution and Reconciliation in Disconnected Databases, Proc. of Mobility in Databases and Distributed Systems (MDDS), Florence, Italy, Sep.'99.
• Peter Reiher, John Heidemann, David Ratner, Greg Skinner, and Gerald Popek. Resolving File Conflicts in the Ficus File System. Usenix summer conference, 1994.
• Puneet Kumar and M. Satyanarayanan. Flexible and Safe Resolution of File Conflicts. Usenix winter conference, 1995.

• The Bayou project home page

6   Algorithmic Underpinnings

• Eugene W. Meyers. An o(nd) difference algorithm and its variations. Algorithmica, 1(2):251 266, 1986.
• Tancred Lindholm. A 3-way Merging Algorithm for Synchronizing Ordered Trees: The 3DM merging and differencing tool for XML. Masters thesis, Helsinki University of Technology, 2001. (Summary)

• Hunt, J.W., and McIlroy, M.D. An Algorithm for Differential File Comparison, Bell Laboratories, N.J., Computing Science Technical Report No.41, 1975.
• Miller, W., and Myers, E.W. A file comparison program. Software-Practice and Experience 15, 11 (1985), 1025-1040.
• D. S. Hirschberg. Algorithms for the longest common subsequence problem. Journal of the ACM, 24:664-675, 1977.
• Neuwirth, C. M., Chandhok, R., Kaufer, D. S., Erion, P., Morris, J., and Miller, D. (1992). Flexible diff-ing in a collaborative writing system. In Proceedings of the Fourth Conference on Computer-Supported Cooperative Work (CSCW '92) (pp. 147-154). Baltimore, MD: Association for Computing Machinery. Reprinted in R. Rada (Ed.) (1996). Groupware and authoring (pp. 189-204).
• Sudarshan S. Chawathe, Comparing Hierarchical Data in External Memory. VLDB, 1999. (Summary)
• Yuan Wang, David J. DeWitt, and Jin-Yi Cai. X-Diff: A Fast Change Detection Algorithm for XML Documents. (Summary)

• The source code for diff3 is part of the GNU diffutils package.
• The 3DM site.