Operating system support for persistent systems: past, present and future

Software - Practice and Experience

Volumn 30, Issue 4, 2000, Pages 295-324

  Dearle, Alan ^a   Hulse, David ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b UNIVERSITY OF STIRLING   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; ERROR CORRECTION;

ERROR CHECKING; EXO-KERNELS; MICRO-KERNELS; PERSISTENT SYSTEMS;

COMPUTER OPERATING SYSTEMS;

EID: 0033752320     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(20000410)30:4<295::AID-SPE301>3.0.CO;2-P     Document Type: Article

References (62)

1. Atkinson MP. Programming languages and databases. Proceedings of Fourth IEEE International Conference on Very Large Databases, 1978; 408-419.
2. Stonebraker M. Operating system support for database management. Communications of the ACM 1981; 24(7):412-418.
3. Chamberlin D, Astrahan MM, et al. A history and evaluation of system R. Communications of the ACM 1981; 24(10):632-646.
4. Dearle A, Rosenberg J, Henskens FA, Vaughan FA, Maciunas KJ. An examination of operating system support for persistent object systems. Proceedings of 25th Hawaii International Conference on System Sciences, Poipu Beach, Kauaii 1992; 779-789.
5. Brown AL. Persistent object stores. PhD, University of St. Andrews, 1988. http://www-fide.dcs.st-and.ac.uk/Info/Papers4.html#thesis.ab
6. Moss JEB. Working with persistent objects: To swizzle or not to swizzle. IEEE Transactions on Computers 1991; 1-39.
7. Acceta M, Baron R, Bolosky W, Golub D, Rashid R, Tevanian A, Young M. Mach: A new kernel foundation for unix development. Proceedings, Summer Usenix Conference, 1986; 93-112.
8. Rozier M, Abrossimov V, et al. CHORUS distributed operating systems. Computing Systems 1988; 1(4):305-367.
9. Lorie RA. Physical integrity in a large segmented database. ACM Transactions on Database Systems 1977; 2(1):91-104.
10. Elhardt K, Bayer R. A database cache for high performance and fast restart in database systems. Transactions on Database Systems 1984; 9(4):503-525.
11. Mohan C, Haderie D, Lindsay B, Pirahesh H, Schwarz P. ARIES: A transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging. Research Report RJ 6650, IBM 1989.
12. Satyanarayanan M, Mashburn HH, Kumar P, Steere DC, Kistler JJ. Lightweight recoverable virtual memory. ACM Transactions on Computer Systems 1994; 12(1):35-57.
13. Singhal V, Kakkad SV, Wilson PR. Texas: An efficient, portable persistent store. Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato, Pisa, Italy, 1992; 11-33.
14. Hulse D, Dearle A. A flexible persistent architecture permitting trade-off between snapshot and recovery times. Technical Report GH-16, University of Stirling, Stirling, 1996. ftp://os.dcs.st-and.ac.uk/pub/papers/GH-16.ps.Z
15. Hulse D, Dearle A. A log-structured persistent store. Proceedings of 19th Australasian Computer Science Conference, 1996; 563-572.
16. Ritchie DM, Thompson K. The UNIX time-sharing system. Bell System Technical Journal 1978; 63(6): 1905-1930.
17. Chase J, Levy H, Feeley MJ, Lazowska ED. Sharing and protection in a single address space operating system. Transactions on Computer Systems 1994; 12(2).
18. Baker S. CORBA Distributed Objects Using Orbix; Addison-Wesley: Harlow, UK, 1997.
19. The Orbix architecture. Iona Technologies Ltd, 1993-9. http://www.iona.com.
20. Rosenberg J, Dearle A, Hulse D, Lindstrom A, Norris S. Operating system support for persistant and recoverable computations. Communications of the ACM 1996; 39(9):62-69.
21. Dearle A. Towards ubiquitous environments for mobile users. Internet Computing 1998; 2(1):22-32. ftp://os.dcs.st-and.ac.uk/pub/papers/mobileic.pdf
22. Rosenberg J, Abramson DA. MONADS-PC: A capability based workstation to support software engineering. Proceedings of 18th Hawaii International Conference on System Sciences, 1985; 515-522.
23. Keedy JL, Rosenberg J. Support for objects in the MONADS architecture. Proceedings of 3rd International Workshop on Persistent Object Systems, 1989; 392-406.
24. Rosenberg J. The MONADS architecture - a layered view. Proceedings of 4th International Workshop on Persistent Object Systems, 1990; 215-225.
25. Liedtke J. On μ-Kernel construction. Proceedings of 15th ACM Symposium on Operating System Principles; Copper Mountain Resort, Co 1995; 1-14.
26. Dasgupta P, Chen R, et al. The Design and implementation of the clouds distributed operating system. 88/25, Georgia Institute of Technology, 1988.
27. Campbell RH, Johnston GM, Russo VF. Choices (Class Hierarchical Open Interface for Custom Embedded Systems). ACM Operating Systems Review 1987; 21(3):9-17.
28. Hardy N. The Keykos architecture. Operating Systems Review September 1992; 1-8.
29. Rosenberg J, Koch D, Keedy JL. A massive memory supercomputer. Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences, 1988; 338-345.
30. Organick EI. The Multics System: An Examination of its Structure; MIT Press: Cambridge, Mass., 1972.
31. Dasgupta P, LeBlanc R, Mustaque A, Umakishore R. The Clouds distributed operating system. Technical Report 88/25, Arizona State University 1988.
32. Chen R, Dasgupta P. Linking consistency with object/thread semantics: An approach to robust computation. Proceedings of Ninth International Conference on Distributed Computing Systems, 1989; 1-17.
33. Moss JEB. Nested Transactions: An Approach to Distributed Computing; MIT Press: Cambridge, Mass, 1985.
34. Elnozahy E, Johnson D, Zwaenepoel W. The performance of consistent checkpointing. Proceedings of 11th Symposium on Reliable Distributed Systems, 1992; 39-47.
35. Vaughan F, Schunke T, Koch B, Dearle A, Marlin C, Barter C. Casper: A cached architecture supporting persistence. Computing Systems 1992; 5(3):337-364.
36. Jalili R, Henskens FA. Using directed graphs to describe entity dependency in stable distributed persistent stores. Proceedings of Hawaii International Conference on System Sciences, 1994.
37. Dearle A, di Bona R, Farrow J, Henskens F, Hulse D, Lindström A, Norris S, Rosenberg J, Vaughan F. Protection in the grasshopper operating system. Proceedings of 6th International Workshop on Persistent Object Systems, 1994; 60-78. ftp://os.dcs.st-and.ac.uk/pub/papers/GH-04.ps.Z
38. Dearle A, di Bona R, Farrow J, Henskens F, Lindström A, Rosenberg J, Vaughan F. Grasshopper: An orthogonally persistent operating system. Computer Systems 1994; 289-312.
39. Dearle A, Hulse D. On page-based optimistic process checkpointing. Proceedings of IWOOOS '95, Lund, Sweden 1995; 24-32.
40. Raila DK, Tan S-M, Campbell RH. Remote procedure call implementations of micro-kernel virtual memory services degrade system performance. Technical Report, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995.
41. Lindstrom A, Rosenberg J, Dearle A. The grand unified theory of address spaces. Proceedings of Hot Topics in Operating Systems (HotOS-V), 1995; 66-71. http://os.dcs.st-and.ac.uk/~al/abstracts.html#GH-11
42. Morrison R, Brown AL, Connor RCH, Dearle A. The Napier88 reference manual. Technical Report PPRR-77-89, Universities of Glasgow and St. Andrews, 1989. http://www-fide.dcs.st-and.ac.uk/Publications/ 1989.html#napier.reference.manual
43. PS-algol Reference Manual - fourth edition. Persistent Programming Research Report 12/88, University of Glasgow and St. Andrews, 1988.
44. Atkinson MP, Daynes L, Jordan MJ, Printezis T, Spence S. An orthogonally persistent Java. ACM Sigmod Record 1996; 25(4).
45. Douglis F, Ousterhout J, Kaashoek MF, Tanenbaum A. A comparison of two distributed systems: amoeba and sprite. Computing Systems 1991; 4(4):352-385.
46. Mullender SJ, van Rossum G, Tanenbaum AS, van Renesse R, van Stavern JM. Amoeba - high-performance distributed computing. CS-R8937, Vrije Universiteit, 1989.
47. Cheriton DR. The V Kernel: A software base for distributed systems. Software 1984; 1(2):9-42.
48. Scott ML, LeBlanc TJ, Marsh BD, Becker TG, Dubnicki C, Markatos EP, Smithline NG. Implementation issues for the Psyche multiprocessor operating system. 1-22.
49. Mayes KR. Trends in operating systems towards dynamic user-level policy provision. 1993; 1-38.
50. Anderson T, Lazowska E, Levy H. User-level interprocess communication for shared memory multiprocessors. ACM Transactions on Computer Systems 1991; 9(2):175-198.
51. Bershad BN, Savage S, Pardyak P, Sirer EG, Fiuczynski ME, Becker D, Chambers C, Eggers S. Extensibility, safety and performance in the SPIN operating system. Proceedings of Fifteenth Symposium on Operating Systems Principles (SOSP 15), 1995.
52. Nelson G. System Programming in Modula-3; Prentice Hall, 1991.
53. Engler DR, Kaashoek MF. Exokernel: An operating system architecture for application-level resource management. Proceedings of the Fifteenth ACM Symposium on Operating System Principles, Copper Mountain, Co, 1995; 251-266.
54. Mullender SJ, van Rossum G, Tanenbaum AS, van Renesse R, van Staveren H. Amoeba - A distributed operating system for the 1990s. IEEE Computer 1990; 23(5):44-53.
55. Cheriton DR, Duda KJ. A caching model of operating system Kernel functionality. Proceedings of the First Symposium on Operating System Design and Implementation, Monterey, CA, 1994; 179-194.
56. Dearle A, Hulse D. The charm operating system web pages. 1999. http://os.dcs.st-and.ac.uk/Charm/
57. Cardelli L, Gordon AD. Mobile Ambients. Lecture Notes in Computer Science, 1378; 1998; 140-155. http://www.luca.demon.co.uk/Bibliography.html#Abstractions for Mobile Computation.
58. Rosenberg J, Dearle R, Hulse D, Lindström A, Norris S. Operating system support for persistent and recoverable computations. CACM 1996; 39(9):62-69.
59. Leslie I, McAuley D, Black R, Roscoe T, Barham P, Evers D, Fairbairns R, Hyden E. The design and implementation of an operating system to support distributed multimedia applications. IEEE Journal on Selected Areas in Communications 1996; 14(7). http://www.cl.cam.ac.uk/Research/SRG/pegasus/papers/jsac-jun97/paper.html
60. Bala K, Kaashoek MF, Weihl WE. Software prefetching and caching for translation lookaside buffers. Proceedings of First Symposium on Operating System Design and Implementation (OSDI), Monterey, CA, 1994.
61. Lindstrom A, Dearle A, di Bona R, Rosenberg J, Vaughan F. User-level management of persistent data in the grasshopper operating system. GH-08, Universities of Adelaide and Sydney, 1994. http://persistence.cs.stir.ac.uk/ al/abstracts.html#GH-08
62. Hulse D, Dearle A. Lumberjack: a log-structured persistent store. Proceedings of Eighth International Workshop on Persistent Object Systems (POS-8), Tiburon, CA, 1998; 187-198.