Compliant persistent architecture

Software - Practice and Experience

Volumn 30, Issue 4, 2000, Pages 363-386

  Morrison, Ron ^a   Balasubramaniam, Dharini ^a   Greenwood, Mark ^b   Kirby, Graham ^a   Mayes, Ken ^b   Munro, Dave ^c   Warboys, Brian ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF ADELAIDE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE;

NANO KERNELS; PROCESS MODELLING; SOFTWARE ARCHITECTURES;

COMPUTER ARCHITECTURE;

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

References (81)

1. Atkinson MP, Bailey PJ, Chisholm KJ, Cockshott WP, Morrison R. An approach to persistent programming. Computer Journal 1983; 26(4): 360-365.
2. Atkinson MP, Morrison R. Procedures as persistent data objects. ACM Transactions on Programming Languages and Systems 1985; 7(4): 539-559.
3. Warboys B. The IPSE 2.5 Project: Process modelling as the basis for a support environment. Proceedings of 1st International Conference on System Development Environments and Factories; Berlin: Germany, 1989.
4. Finkelstein A, Kramer J, Nuseibeh B (eds.), Software Process Modelling and Technology; Research Studies Press, 1994.
5. Bruynooghe RF, Parker JM, Rowles JS. PSS: A system for process enactment. Proceedings of 1st International Conference on the Software Process: Manufacturing Complex Systems, Redondo Beach, CA, 1991; 142-158.
6. Reisig W, Rozenberg G. Informal introduction to petri nets. Proceedings of the Advanced Course on Petri Nets; Lecture Notes in Computer Science, 1491, Reisig W, Rozenberg G (eds.), Dagstuhl, 1996; 1-11.
7. Wise A, Lerner, BS, McCall, EK, Osterweil LJ, Sutton SM. Specifying coordination in processes using Little-JIL. Department of Computer Science, University of Massachusetts at Amherst Technical Report 98-38, 1998.
8. Atkinson MP, Morrison R. Orthogonally persistent object systems. VLDB Journal 1995; 4(3):319-401.
9. Albano A, Cardelli L, Orsini R. Galileo: a strongly typed, interactive conceptual language. ACM Transactions on Database Systems 1985; 10(2):230-260.
10. Morrison R, Dearle A, Bailey PJ, Brown AL, Atkinson MP. The persistent store as an enabling technology for integrated project support environments. Proceedings of 8th IEEE International Conference on Software Engineering; London, 1985; 166-172.
11. Atkinson MP, Morrison R, Pratten GD. A persistent information space architecture. Proceedings of 9th Australian Computing Science Conference, Australia, 1986.
12. Dearle A. On the construction of persistent programming environments. PhD Thesis, University of St Andrews, 1988.
13. Brown AL. Persistent object stores. PhD Thesis, University of St Andrews, 1989.
14. Connor RCH, Brown AL, Carrick R, Dearle A, Morrison R. The persistent abstract machine. Persistent Object Systems; Rosenberg J, Koch DM (eds.), Proceedings of the 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, 1990; 353-366.
15. Connor RCH, Brown AL, Carrick R, Dearle A, Morrison R. The persistent abstract machine. Persistent Object Systems; Rosenberg J, Koch DM (eds.), Proceedings of the 3rd International Workshop on Persistent Object Systems, Newcastle, Australia, 1990; 353-366.
16. Rosenberg J. The MONADS architecture - a layered view. Implementing Persistent Object Bases; Dearle A, Shaw GM, Zdonik SB (eds.), Proceedings of the 4th International Workshop on Persistent Object Systems, Martha's Vineyard, USA, 1990; 215-225.
17. Rosenberg J. The MONADS architecture - a layered view. Implementing Persistent Object Bases; Dearle A, Shaw GM, Zdonik SB (eds.), Proceedings of the 4th International Workshop on Persistent Object Systems, Martha's Vineyard, USA, 1990; 215-225.
18. Atkinson MP, Birnie A, Jackson N, Philbrow PC. Measuring Persistent Object Systems. Persistent Object Systems; Albano A, Morrison R (eds.), Proceedings of the 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, 1992; 63-85.
19. Atkinson MP, Birnie A, Jackson N, Philbrow PC. Measuring Persistent Object Systems. Persistent Object Systems; Albano A, Morrison R (eds.), Proceedings of the 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, 1992; 63-85.
20. Brown AL, Mainetto G, Matthes F, Müller R, McNally DJ. An open system architecture for a persistent object store. Proceedings of 25th International Conference on Systems Sciences, Hawaii, 1992; 766-776.
21. Brown AL, Morrison R. A generic persistent object store. Software Engineering Journal 1992; 7(2):161-168.
22. Dearle A, Rosenberg J, Henskens FA, Vaughan F, Maciunas KJ. An examination of operating system support for persistent object systems. Proceedings of 25th International Conference on Systems Sciences, Hawaii, 1992; 779-789.
23. Matthes F, Schmidt JW. System construction in the tycoon environment: architectures, interfaces and gateways. Proceedings of Euro-ARCH '93, Hamburg, 1993; 301-317.
24. Munro DS. On the integration of concurrency, distribution and persistence. PhD Thesis, University of St Andrews. Technical Report CS/94/1, 1993.
25. 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; 7(3):289-312.
26. Mayes KR. Trends in Operating Systems Towards Dynamic User-Level Policy Provision. University of Manchester Technical Report UMCS-93-9-1, 1993.
27. Mayes KR, Bridgland J. Arena-a Run-Time Operating System for Parallel Applications. Proceedings of 5th EuroMicro Workshop on Parallel and Distributed Processing (PDP'97), 1997; 253-258.
28. Morrison R, Balasubramaniam D, Greenwood M, Kirby GNC, Mayes K, Munro DS, Warboys BC. ProcessBase reference manual (Version 1.0.6). Universities of St Andrews and Manchester, 1999.
29. Mukherjee B, Schwan K, Gopinath P. A survey of multiprocessor operating systems kernels. Georgia Institute of Technology, Technical Report GIT-CC-92-05, 1993.
30. Cults QI, Connor RCH, Kirby GNC, Morrison R. An execution driven approach to code optimisation. Proceedings of 17th Australasian Computer Science Conference (ACSC'94); Christchurch, New Zealand, 1994; 83-92.
31. Sjoøberg DIK, Cutts QI, Welland R, Atkinson MP. Analysing persistent language applications. Persistent Object Systems; Atkinson MP, Maier D, Benzaken V (eds.), Proceedings of the 6th International Workshop on Persistent Object Systems, Tarascon, France, 1994; 235-255.
32. Sjoøberg DIK, Cutts QI, Welland R, Atkinson MP. Analysing persistent language applications. Persistent Object Systems; Atkinson MP, Maier D, Benzaken V (eds.), Proceedings of the 6th International Workshop on Persistent Object Systems, Tarascon, France, 1994; 235-255.
33. Hosking A. Residency check elimination for object-oriented persistent languages. Persistent Object Systems: Principles and Practice; Connor RCH, Nettles S (eds.), Proceedings of the 7th International Workshop on Persistent Object Systems, Cape May, NJ, 1996; 174-183.
34. Hosking A. Residency check elimination for object-oriented persistent languages. Persistent Object Systems: Principles and Practice; Connor RCH, Nettles S (eds.), Proceedings of the 7th International Workshop on Persistent Object Systems, Cape May, NJ, 1996; 174-183.
35. Cutts QI, Lennon S, Hosking A. Reconciling buffer management with persistence optimisations. Advances in Persistent Object Systems; Morrison R, Jordan M, Atkinson MP (eds.), Proceedings of the 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, CA, 1999; 51-63.
36. Cutts QI, Lennon S, Hosking A. Reconciling buffer management with persistence optimisations. Advances in Persistent Object Systems; Morrison R, Jordan M, Atkinson MP (eds.), Proceedings of the 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, CA, 1999; 51-63.
37. Hosking A, Nystrom N, Cutts QI, Brahnmath, K. Optimizing the read and write barriers for orthogonal persistence. Advances in Persistent Object Systems; Morrison R, Jordan M, Atkinson MP (eds.), Proceedings of the 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, CA, 1999; 149-159.
38. Hosking A, Nystrom N, Cutts QI, Brahnmath, K. Optimizing the read and write barriers for orthogonal persistence. Advances in Persistent Object Systems; Morrison R, Jordan M, Atkinson MP (eds.), Proceedings of the 8th International Workshop on Persistent Object Systems (POS8) and 3rd International Workshop on Persistence and Java (PJW3), Tiburon, CA, 1999; 149-159.
39. Cattell RGG, Skeen J. Object operations benchmark. ACM Transactions on Database Systems 1992; 17(1): 1-31.
40. Dietrich SW, Brown M, Cortes-Rello E, Wunderlin S. A practitioner's introduction to database performance benchmarks and measurements. Computer Journal 1992; 35(4):322-331.
41. Maynard AMG, Donnelly CM, Olszewski BR. Contrasting characteristics and cache performance of technical and multiuser commercial workloads. ACM SIGPLAN Notices 1994; 29(11): 145-156.
42. Gallivan K, Gannon D, Jalby W, Malony A, Wijshoff H. Experimentally characterizing the behaviour of multiprocessor memory systems: A case study. IEEE Transactions on Software Engineering 1990; 16(2):216-222.
43. Bowen NS, Pradhan DK. Program fault tolerance based on memory access behavior. Proceedings of 21st International Symposium on Fault-Tolerant Computing, Montreal, Canada, 1991; 426-435.
44. Wall DW. Predicting program behavior using real or estimated profiles. AGM SIGPLAN Notices 1991; 26(6):59-70.
45. Morrison R, Brown AL, Connor RCH, Cutts QI, Dearle A, Kirby GNC, Munro DS. Napier88 reference manual (Release 2.2.1). University of St Andrews, 1996.
46. Kirby GNC, Morrison R. A persistent view of encapsulation. Computer Science '98; McDonald C (eds.), Proceedings of the 21st Australasian Computer Science Conference (ACSC'98), Perth, Australia, 1998; 231-244.
47. Kirby GNC, Morrison R. A persistent view of encapsulation. Computer Science '98; McDonald C (eds.), Proceedings of the 21st Australasian Computer Science Conference (ACSC'98), Perth, Australia, 1998; 231-244.
48. Wulf WA, Cohen E, Corwin WM, Jones AK, Levin R, Pierson C, Pollack FJ. HYDRA: The kernel of a multiprocessor operating system. Communications of the ACM 1974; 17(6):337-345.
49. Acceta M, Baron R, Bolosky W, Golub D, Rashid R, Tevanian A, Young M. Mach: A new kernel foundation for Unix development. Proceedings of Summer USENIX Conference, 1986; 93-112.
50. Rozier M et al., CHORUS distributed operating systems. Computing Systems 1988; 1(4):305-367.
51. Marsh BD, Scott ML, LeBlanc TJ, Markatos EP. First-class user-level threads. ACM Operating Systems Review 1991; 25(5):110-121.
52. Anderson TE, Bershad BN, Lazowska ED, Levy HM. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computing Systems 1992; 10(1):53-79.
53. Assenmacher H, Breitbach P, Buhler P, Hübsch V, Peine H, Schwarz R. Meeting the application in user space. Proceedings of 6th ACM SIGOPS European Workshop, 1994; 82-87.
54. Engler DR, Kaashoek MF, O'Toole J. Exokernel: An operating system architecture for application-level resource management. ACM Operating Systems Review 1995; 29(5):251-266.
55. Gheith A, Schwan K. CHAOSarc: Kernel support of multiweight objects, invocations and atomicity in real-time multiprocessor applications. ACM Transactions on Computer Systems 1993; 11(1):33-72.
56. Bershad BN, Lazowska ED, Levy HM. Presto: A system for object-oriented parallel programming. Software-Practice and Experience 1988; 18(8):713-732.
57. Hutchinson NC, Mishra S, Peterson LL, Thomas VT. Tools for implementing network protocols. Software-Practice and Experience 1989; 19(9):895-916.
58. Campbell RH, Johnston GM, Russo VF. Choices (Class Hierarchical Open Interface for Custom Embedded Systems). ACM Operating Systems Review 1987; 21(3):9-17.
59. Shrivastava SK, Dixon GN, Parrington GD. An overview of the Arjuna distributed programming system. IEEE Software 1991;8(1):66-73.
60. Mukherjee B, Schwan K. Experimentation with a reconfigurable microkernel. Proceedings of USENIX Symposium on Microkernels and other Kernel Architectures, San Diego, CA, 1993; 45-60.
61. Philbin J. Customizable policy management in the Sting operating system. Lecture Notes in Computer Science 748; Proceedings of the US/Japan Workshop on Parallel Symbolic Computing: Languages, Systems and Applications, 1992; 380-401.
62. Rosenberg J, Dearle A, Hulse D, Linström A, Norris S. Operating system support for persistent and recoverable computations. Communications of the ACM 1996; 39(9):62-69.
63. Hulse D, Dearle A. Trends in operating system design: towards a customisable persistent micro-kernel. University of Stirling, Technical Report Pastel RT1R4, 1998.
64. Dearle A, Hulse D. Operating system support for persistent systems: past, present and future. Software-Practice and Experience 2000; 30(4):295-324.
65. Munro DS, Connor RCH, Morrison R, Scheuerl, S, Stemple D. Concurrent shadow paging in the Flask architecture. Persistent Object Systems; Atkinson MP, Maier D, Benzaken V (eds.), Proceedings of the 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, 1994; 160-42.
66. Munro DS, Connor RCH, Morrison R, Scheuerl, S, Stemple D. Concurrent shadow paging in the Flask architecture. Persistent Object Systems; Atkinson MP, Maier D, Benzaken V (eds.), Proceedings of the 6th International Workshop on Persistent Object Systems (POS6), Tarascon, France, 1994; 160-42.
67. Davie AJT, McNally DJ. Statically typed applicative persistent language environment (STAPLE) reference manual. University of St Andrews, Technical Report CS/90/14, 1990.
68. Cardelli L. Typeful programming. DEC Systems Research Center, Technical Report 45, 1989.
69. Kirschke H. Persistenz in Objekt-Orientierten Programmiersprachen; Logos Verlag: Berlin, 1997.
70. 2 Technical Report FIDE/93/70, 1993.
71. Stemple D, Morrison R. Specifying flexible concurrency control schemes: an abstract operational approach. Proceedings of 15th Australian Computer Science Conference, Hobart, Tasmania, 1992; 873-891.
72. Garcia-Molina H, Salem K. Sagas. ACM SIGMOD Record 1987; 16(3):249-259.
73. Mayes KR, Quick S, Warboys BC. User-level threads on a general hardware interface. Operating Systems Review 1995; 29(4):57-62.
74. Kirby GNC, Connor RCH, Cutts QI, Dearle A, Farkas AM, Morrison R. Persistent hyper-programs. Persistent Object Systems; Albano A, Morrison R (eds.), Proceedings of the 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, 1992; 86-106.
75. Kirby GNC, Connor RCH, Cutts QI, Dearle A, Farkas AM, Morrison R. Persistent hyper-programs. Persistent Object Systems; Albano A, Morrison R (eds.), Proceedings of the 5th International Workshop on Persistent Object Systems (POS5), San Miniato, Italy, 1992; 86-106.
76. Connor RCH, Cutts QI, Kirby GNC, Moore VS, Morrison R. Unifying interaction with persistent data and program. Interfaces to Database Systems; Sawyer P (ed.). Proceedings of the 2nd International Workshop on User Interfaces to Databases, Ambleside, Cumbria, 1994; 197-212.
77. Connor RCH, Cutts QI, Kirby GNC, Moore VS, Morrison R. Unifying interaction with persistent data and program. Interfaces to Database Systems; Sawyer P (ed.). Proceedings of the 2nd International Workshop on User Interfaces to Databases, Ambleside, Cumbria, 1994; 197-212.
78. Kirby GNC. Persistent programming with strongly typed linguistic reflection. Proceedings of 25th International Conference on Systems Sciences, Hawaii, 1992; 820-831.
79. Morrison R. On the development of Algol. PhD Thesis, University of St Andrews, 1979.
80. PS-algol Reference Manual, 4th edition; Universities of Glasgow and St Andrews, Technical Report PPRR-12-88, 1988.
81. Morrison R, Connor RCH, Cutts QI, Kirby GNC, Stemple D. Mechanisms for controlling evolution in persistent object systems. Journal of Microprocessors and Microprogramming 1993; 17(3):173-181.