E1Distributed operating system project
HomeE1 ArchitectureDocumentsTeam
E1 Arch...Bibliography
E1 Architecture
E1 Concepts
Distributed Object
Design Overview
Protection Domains
Crossdomain calls
Component services
Programming in E1
  1. M. J. Accetta, R. V. Baron, W. Bolosky, D. B. Golub, R. F. Rashid, Jr. A. Tevanian, M. W. Young. Mach: A New Kernel Foundation for UNIX Development. Proc. of the Summer 1986 USENIX Conference pp.93-113, July 1986.
  2. M. Ahamad, M. Raynal, G. Thia-Kime. An Adaptive Protocol for Implementing Causally Consistent Distributed Services. Proc. 18th International Conference on Distributed Computing Systems, Amsterdam, pp.86-93, 1998.
  3. Y. Amir, D. Dolev, S. Kramer and D. Malki. Transis: A communication sub-system for high availability. Proc. 22nd IEEE Fault -Tolerant Computing Symposium (FTCS), July 1992.
  4. J. S. Barrera. A fast Mach network IPC implementation. Proc. of the Second USENIX Mach Symposium. pp.1-12, 1991.
  5. K. P. Birman, T. Joseph, T. Raeuchle, and A. El Abbadi. Implementing fault-tolerant distributed objects. IEEE Transactions on Software Engineering, 11(6):502–508, June 1985.
  6. K. P. Birman, T. A. Joseph, Exploiting Virtual Synchrony in Distributed Systems, Proc. 11th ACM Symp. on Operating Systems Principles, pp. 123-138, Austin, TX, November 1987.
  7. M. Bishop, L. Snyder. The transfer of information and authority in a protection system. Proc. 17th ACM Symposium on Operating Systems Principles, 1979.
  8. J. Biskup. Some variants of the take-grant protection model. Information Processing Letters. 3, №19. 1984.
  9. N. Budhiraja, K. Marzullo, F. B. Schneider, and S. Toueg. The primary-backup approach. In S. Mullender, editor, Distributed Systems, ACM Press Books, chapter 8, pages 199–216, Addison-Wesley, second edition, 1993.
  10. J. S. Chase. An Operating System Structure for Wide-Address Architectures. PhD Thesis, Department of Computer Science and Engineering, University of Washington, August 1995.
  11. P. Dasgupta, R.C. Chen, S. Menon, M. Pearson, R. Ananthanarayanan, U. Ramachandran, M. Ahamad, R. Jr. LeBlanc, W. Applebe, J. M. Bernabeu-Auban, P.W. Hutto, M.Y.A. Khalidi, C. J. Wileknloh. The Design and Implementation of the Clouds Distributed Operating System. Computing Systems Journal, Vol 3, USENIX, Winter 1990.
  12. A. Dearle, R. di Bona, J. M. Farrow, F. A. Henskens, A. Lindström, J. Rosenberg, F. Vaughan. Grasshopper: An Orthogonally Persistent Operating System, Technical Report, Departments of Computer Science, Universities of Adelaide and Sydney, 1993.
  13. P. Dechamboux, J.-P. Fassino, D. Hagimont, J. Mossière, X. Rousset. The ARIAS Distributed Shared Memory: an Overview. SOFSEM Seminar, Prague, November 1996.
  14. K. Elphinstone, G. Heiser, L4 Reference Manual, Technical Report UNSW-CSE-TR-9709, School of Computer Science and Engineering, University of New South Wales, December 1997.
  15. K. Elphinstone, S. Russell, G. Heiser. Supporting Persistent Object Systems in a Single Address Space. Technical Report 9601, School of Computer Science and Engineering, The University of New South Wales, February 1996.
  16. A. Fekete, M. F. Kaashoek, N. A. Lynch. Implementing Sequentially Consistent Shared Objects Using Broadcast and Point-to-Point Communication Proc. International Conference on Distributed Computing Systems pp.439-449, 1995.
  17. B. Ford, J. Lepreau. Evolving Mach 3.0 to use migrating threads. Technical Report UUCS-93-022, University of Utah, August 1993.
  18. B. Ford, J. Lepreau. Microkernels Should Support Passive Objects, Proc. I-WOOOS'93, December 1993.
  19. R. Golding. Weak-Consistency Group Communication and Membership. PhD thesis, University of California, Santa Cruz, 1992.
  20. Li Gong. A Secure Identity-Based Capability System. Proc. IEEE Symposium on Security and Privacy, pp.56-65, 1989.
  21. G. Heiser, K. Elphinstone, S. Russell, J. Vochteloo. Mungi: A distributed single address-space operating system. Technical Report 9314. School of Computer Science and Engineering, The University of New South Wales, 1993.
  22. G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, J. Liedtke. The Mungi single-address-space operating system. Software Practice and Experience, 28(9), July 1998.
  23. P. Homburg. The Architecture of a Worldwide Distributed System. PhD thesis Vrije University, Advanced School of Computing and Imaging, Amsterdam, 2001.
  24. A. K. Jones, R. J. Lipton, and L. Snyder. A Linear Time Algorithm for Deciding Security. Proc. 17th Symposium on Foundations of Computer Science, Houston, Texas, pp. 33-41, 1976.
  25. The L4Ka team. L4 experimental kernel reference manual, version X.2. February 2002.
  26. R. Ladin, B. Liskov, L. Shirira, S. Ghemawat. Providing Availability Using Lazy Replication. ACM Transactions on Computer Systems 10:4, pp.360-391, 1992.
  27. L. Lamport. Time, Clocks and the Ordering of Events in a Distributed System. Comm. ACM 21:7, pp.558-565, July 1978.
  28. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9), September 1979.
  29. K. Li Shared Virtual Memory on Loosely Coupled Multiprocessors. PhD thesis, Yale, September 1986.
  30. J. Liedtke. On µ-Kernel Construction. Proc. of the 15th ACM Symposium on Operating System Principles (SOSP), Copper Mountain Resort, CO, pp.237-250, 1995.
  31. J. Liedtke. L4 reference manual (486, Pentium, Pro). Research Report RC 20549, IBM T. J. Watson Research Center, Yorktown Heights, NY, September 1996.
  32. J. Liedtke, K. Elphinstone, S. Schönberg, H. Härtig, G. Heiser, N. Islam, T. Jaeger. Achieved IPC performance (still the foundation for extensibility). Proc. 6th Workshop on Hot Topics in Operating Systems (HotOS), pp.28–31, Chatham (Cape Cod), MA, May 1997.
  33. Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification. version 0.9., October 1995.
  34. P. Mockapetris, K. J. Dunlap. Development of the Domain Name System. Proc. ACM SIGCOMM, Stanford, CA, 1988.
  35. Object Management Group (OMG). The Common Object Request Broker: Architecture and Specification. version 2.6.1, May 2002.
  36. Object Management Group (OMG). CORBAservices: Common Object Services Specification, 1998.
  37. Object Management Group (OMG). Life Cycle Service Specification. version 1.2. September 2002.
  38. D. Plainfossë, M. Shapiro A Survey of Distributed Garbage Collection Techniques Proc. Int. Workshop on Memory Management Kinross, Scotland (UK), September 1995.
  39. D. Potts, S. Winwood, G. Heiser. L4 Reference Manual: Alpha 21x64. Technical Report UNSW-CSE-TR-0104, University of New South Wales, Sydney, March 2001.
  40. R. van Renesse, K. P. Birman, B. Glade, K. Guo, M. Hayden, T. M. Hickey, D. Malki, A. Vaysburd, W. Vogels. Horus: A Flexible Group Communication Subsystem. Technical Report TR 95-1500, Cornell University, Ithaca, NY, 1995.
  41. A. Ricciardi, A. Schiper, K. Birman. Understanding Partitions and the “No Partition” Assumption. Proc. 4th IEEE Workshop on Future Trends of Distributed Systems, Lisboa, September 1993.
  42. D. M. Ritchie, K. Thompson. The UNIX time sharing system. Comm. ACM 17:7, pp 365-375, July 1974.
  43. M. Rozier, V. Abrossimov, F. Armand, I. Boule, M. Gien, M. Guillemont, F. Herrmann, C. Kaiser, S. Langlois, P. Léonard, W. Neuhauser. Chorus Distributed Operating Systems. Computing Systems, 1988.
  44. R. S. Sandhu, E. J. Coyne, H. L. Feinstein, C. E. Youman. Role-Based Access Control Models. IEEE Computer, Volume 29, No 2, pp.38-47, February 1996.
  45. A. Schiper, A. Ricciardi. Virtually-Synchronous Communication Based on a Weak Failure Suspector. Proc. 23rd International Symposium on Fault-Tolerant Computing Systems, Toulouse, France, pp.534–543, June 1993.
  46. F. Schneider. Implementing fault-tolerant services using the state machine approach: a tutorial. ACM Computing Surveys, 22(4). pp.290–319, December 1990.
  47. M. Shapiro. Structure and Encapsulation in Distributed Systems: the Proxy Principle. Proc. 6th Intl. Conf. on Distributed Computing Systems, pp.198-204, May 1986.
  48. M. Shapiro, P. Gautron, L. Mosseri. Persistence and Migration for C++ Objects. Proc. Third European Conference on Object-Oriented Programming, pp.191-204, 1989.
  49. A. C. Skousen, SOMBRERO: A Very Large Single Address Space Distributed Operating System. MS Thesis, Computer Science and Engineering Department, Arizona State University, December 1994.
  50. M. Van Steen, P. Homburg, A. S. Tanenbaum Globe: A Wide-Area Distributed System. IEEE Concurrency, pp.70–78 January-March 1999.
  51. I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, H. Balakrishnan. Chord: A scalable peer-to-peer lookup service for Internet applications. Technical Report TR-819, MIT, March 2001.
  52. B. Stroustrup. The C++ Programming Language (3rd Edition). Addison-Wesley, 1997.
  53. Sun Microsystems, Inc. EJB specification 2.0.
  54. C. Szyperski Component Software - Beyond Object-Oriented Programming. Addison-Wesley, 1998.
  55. A. S. Tanenbaum, M. F. Kaashoek, R. van Renesse, H. Bal. The Amoeba Distributed Operating System - A Status Report. Computer Communications, vol. 14, pp.324-335, July/August 1991.
  56. A. S. Tanenbaum, S. J. Mullender, R. van Renesse. Using Sparse Capabilities in a Distributed Operating System. Proc. Sixth International Conference on Distributed Computing Systems, IEEE, pp. 558-563, 1986.
  57. F. Torres M. Ahamad, M. Raynal. Timed Consistency for Shared Distributed Objects. Proc 18th ACM Int Symposium on Principles of Distributed Computing (PODC 99), Atlanta, pp 163-172, 1999.
  58. P. R. Wilson. Uniprocessor garbage collection techniques. Technical report, University of Texas, January 1994.
Copyright E1 Team 2003