Design Framework for a Distributed, Single-Address-Space System

G. Dini, G. Lettieri, and L. Lopriore

References

  1. [1] G. Heiser, K. Elphinstone, J. Vochteloo, S. Russell, & J. Liedtke, The Mungi single-address-space operating system, Software—Practice and Experience, 28 (9), 1998, 901–928. doi:10.1002/(SICI)1097-024X(19980725)28:9<901::AID-SPE181>3.0.CO;2-7
  2. [2] E.J. Koldinger, J.S. Chase, & S.J. Eggers, Architectural support for single address space operating systems, Proc. 5th Int. Conf. on Architectural Support for Programming Languages and Operating Systems, Boston, October 1992; in SIGARCH Computer Architecture News, 20(Special Issue), October 1992, 175–186.
  3. [3] J. Rosenberg, A. Dearle, D. Hulse, A. Lindström, & S. Norris, Operating system support for persistant and recoverable computations, Comm. ACM, 39 (9), 1996, 62–69. doi:10.1145/234215.234472
  4. [4] S. Russel, A. Skea, K. Elphinstone, G. Heiser, K. Burston, I. Gorton, & G. Hellestrand, Distribution + persistence = global virtual memory, Proc. 2nd Int. Workshop on Object Orientation in Operating Systems, Dourdan, France, September 1992, 96–99. doi:10.1109/IWOOOS.1992.252993
  5. [5] A. Bartoli, G. Dini, & L. Lopriore, Single address space implementation in distributed systems, Concurrency: Practice and Experience, 12 (4), 2000, 251–280. doi:10.1002/(SICI)1096-9128(20000410)12:4<251::AID-CPE475>3.0.CO;2-T
  6. [6] L. Lopriore, Access control mechanisms in a distributed, persistent memory system, IEEE Trans. on Parallel and Distributed Systems, 13 (10), 2002, 1066–1083. doi:10.1109/TPDS.2002.1041883
  7. [7] C.A.R. Hoare, An axiomatic basis for computer programming, Comm. ACM, 12 (10), 1969, 576–583. doi:10.1145/363235.363259
  8. [8] N.H. Vaidya, Staggered consistent checkpointing, IEEE Trans. on Parallel and Distributed Systems, 10 (7), 1999, 694–702. doi:10.1109/71.780864
  9. [9] D.R. Engler, S.K. Gupta, & M.F. Kaashoek, AVM: Applicationlevel virtual memory, Proc. 5th Workshop on Hot Topics in Operating Systems (HotOS-V ), Los Alamitos, CA, 1995, 72–77. doi:10.1109/HOTOS.1995.513458
  10. [10] K. Harty & D.R. Cheriton, Application-controlled physical memory using external page-cache management, Proc. 5th Int. Conf. on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992, 187–197.
  11. [11] J. Liedtke, Toward real microkernels, Comm. ACM, 39 (9), 1996, 70–77. doi:10.1145/234215.234473
  12. [12] A. Bartoli, G. Dini, & L. Lopriore, Application-controlled memory management in a single address space environment, International Journal on Software Tools for Technology Transfer, 3 (2), 2001, 235–245.
  13. [13] P. Corsini, G. Dini, G. Lettieri, & L. Lopriore, Page availability in a distributed, persistent system, Proc. IASTED Int. Conf. Applied Informatics Symposium 2: Networks, Parallel and Distributed Processing, and Applications, Innsbruck, Austria, February 2001, 70–75.
  14. [14] G. Dini, G. Lettieri, & L. Lopriore, An overview of Ulisse, a distributed single address space system, in G.N.C. Kirby, A. Dearle, & D.I.K Sjøberg (eds.), Persistent Object Systems: Design, Implementation, and Use: Ninth International Workshop (POS-9, Lillehammer, Norway, September 2000) (Berlin: Springer-Verlag, 2001), 215–227.
  15. [15] J.S. Chase, H.M. Levy, M.J. Feeley, & E.D. Lazowska, Sharing and protection in a single-address-space operating system, ACM Trans. on Computer Systems, 12 (4), 1994, 271–307. doi:10.1145/195792.195795
  16. [16] J.S. Chase, H.M. Levy, E.D. Lazowska, & M. Baker-Harvey, Lightweight shared objects in a 64-bit operating system, Proc. of Conf. on Object-Oriented Programming Systems, Languages, and Applications, Vancouver, October 1992; in SIGPLAN Notices, 27 (10), 1992, 397–413. doi:10.1145/141937.141969
  17. [17] R. Feigen, A. Skousen, & D. Miller, Reduction of software development costs under the Sombrero distributed single address space operating system, Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA ’02), Vol. 1, Las Vegas, NV, June 2002, 76–82.
  18. [18] A. Skousen & D. Miller, Using a single address space operating system for distributed computing and high performance, Proc. 18th IEEE Int. Performance, Computing, and Communications Conf., Piscataway, NJ, February 1999, 8–14.
  19. [19] A. Skousen & D. Miller, Operating system structure and processor architecture for a large distributed single address space, Proc. 10th IASTED Int. Conf. on Parallel and Distributed Computing Systems (PDCS ’98), October 1998, 631–634.
  20. [20] G. Heiser, K. Elphinstone, S. Russell, & J. Vochteloo, Mungi: A distributed single address-space operating system, Proc. 17th Australasian Computer Science Conf., Christchurch, New Zealand, January 1994, 271–280.
  21. [21] R.E. Kessler, The Alpha 21264 microprocessor, IEEE Micro, 19 (2), 1999, 24–36. doi:10.1109/40.755465
  22. [22] K.C. Yeager, The MIPS R10000 superscalar microprocessor, IEEE Micro, 16 (2), 1996, 28–40. doi:10.1109/40.491460
  23. [23] T. Horel & G. Lauterbach, UltraSPARC-III: Designing thirdgeneration 64-bit performance, IEEE Micro, 19 (3), 1999), 73–85. doi:10.1109/40.768506
  24. [24] Intel Corporation, Intel® Itanium® Architecture Software Developer's Manual, Volume 2: System Architecutre, revision 2.1 Available at http://developer.intel.com/design/itanium/maunals.htm (June 2004).

Important Links:

Go Back