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 supportfor single address space operating systems, Proc. 5th Int.Conf. on Architectural Support for Programming Languagesand Operating Systems, Boston, October 1992; in SIGARCHComputer 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 = globalvirtual memory, Proc. 2nd Int. Workshop on Object Orientationin Operating Systems, Dourdan, France, September 1992, 96–99. doi:10.1109/IWOOOS.1992.252993
  5. [5] A. Bartoli, G. Dini, & L. Lopriore, Single address spaceimplementation in distributed systems, Concurrency: Practiceand 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: Application-level virtual memory, Proc. 5th Workshop on Hot Topicsin 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 physicalmemory using external page-cache management, Proc. 5th Int.Conf. on Architectural Support for Programming Languagesand 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-controlledmemory 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 availabilityin a distributed, persistent system, Proc. IASTED Int. Conf.Applied Informatics Symposium 2: Networks, Parallel andDistributed 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, Sharingand 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 SIGPLANNotices, 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 addressspace 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 operatingsystem for distributed computing and high performance, Proc.18th IEEE Int. Performance, Computing, and CommunicationsConf., 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, NewZealand, 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 third-generation 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