Operating system support for persistent and recoverable computations

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Operating system support for persistent and recoverable computations

Full text

Pdf (398 KB)

Source

Communications of the ACM archive
Volume 39 , Issue 9 (September 1996) table of contents

Pages: 62 - 69

Year of Publication: 1996

ISSN:0001-0782

Authors

John Rosenberg	Univ. of Sydney
Alan Dearle	Univ. of Stirling
David Hulse	Univ. of Stirling
Anders Lindström	Univ. of Sydney
Stephen Norris	Univ. of Sydney

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 35, Citation Count: 5

Additional Information:

references cited by index terms review collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/234215.234472 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Malcolm Atkinson , Ken Chisholm , Paul Cockshott, PS-algol: an algol with a persistent heap, ACM SIGPLAN Notices, v.17 n.7, July 1982 [doi>10.1145/988376.988378]
	2	Atkinson, M.P., Bailey, P., Chisholm, K.J., Cockshott, W.P., and Morrison, R. An approach to persistent programming. Comput. J. 26, 4 (1983), 360-365.
	3	Brown, A.L., and Cockshott, W.P. The CPOMS Persistent Object Management System. PPRR-13 Tech. Rep. Dept. of Computing Science, Univ. of Glasgow, Dept. of Computational Science, Univ. of St. Andrews, 1985.
	4	Campbell, R.H., Islam, N., and Madany, P. Choices, frameworks and refinement. Comput. 5~yst. 5, 3 (Summer 1992), 217-258.
	5	R. G. G. Cattell , J. Skeen, Object operations benchmark, ACM Transactions on Database Systems (TODS), v.17 n.1, p.1-31, March 1992 [doi>10.1145/128765.128766]
	6	Jeffrey S. Chase , Henry M. Levy , Michael J. Feeley , Edward D. Lazowska, Sharing and protection in a single-address-space operating system, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.271-307, Nov. 1994 [doi>10.1145/195792.195795]
	7	Cheriton, D.R. The V Kernel: A software base for distributed systems. Software 1, 2 (1984), 9-42.
	8	D. Hulse, On Page-Based Optimistic Process Checkpointing, Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems, p.24, August 14-15, 1995
	9	Dearie, A., Rosenberg, J., Henskens, F.A., Vaughan, F., and Maciunas, K. An examination of operating system support for persistent object systems. In Proceedings of the 25th Hawaii International Conference on 5~ystem Sciences, V. Milutinovic and B.D. Shriver, Eds. (Hawaii, Jan. 1992). IEEE Computer Society Press, Los Alamitos, Calif. 1992, pp. 779-789.
	10	Alan Dearle , Rex di Bona , James Farrow , Frans Henskens , Anders Lindström , Stephen Norris , John Rosenberg , Francis Vaughan, Protection in Grasshopper: A Persistent Operating System, Proceedings of the Sixth International Workshop on Persistent Object Systems, p.60-78, September 05-09, 1994
	11	Alan Dearle , Rex di Bona , James Farrow , Frans Henskens , Anders Lindström , John Rosenberg , Francis Vaughan, Grasshopper: an orthogonally persistent operating system, Computing Systems, v.7 n.3, p.289-312, Summer 1994
	12	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	13	Fidge, L.J. Timestamps in message passing systems that preserve partial ordering. In Proceedings of the llth Australian Computer Science Conference (Queensland, Jan. 1988).
	14	Kieran Harty , David R. Cheriton, Application-controlled physical memory using external page-cache management, Proceedings of the fifth international conference on Architectural support for programming languages and operating systems, p.187-197, October 12-15, 1992, Boston, Massachusetts, United States
	15	Keedy, J.L., and Vosseberg, K. Persistent protected modules and persistent processes as the basis for a more secure operating system. In Proceedings of the IEEE's 25th Hawaii International Conference on 5~ystems Sciences (Hawaii, Jan. 1992). IEEE Computer Society Press, Los Alamitos, Calif, 1992, pp. 747-756.
	16	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	17	A. Lindstrom , J. Rosenberg , A. Dearle, The grand unified theory of address spaces, Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V), p.66, May 04-05, 1995
	18	Ronald Morrison , Alfred L. Brown , Raymund Carrick , Richard C. H. Connor , Alan Dearle , Malcolm P. Atkinson, The Napier Type System, Proceedings of the Third International Workshop on Persistent Object Systems, p.3-18, January 10-13, 1989
	19	Radia, S., Madany, P., and Powell, M.L. Persistence in the Spring system. In Proceedings of the 3rd International Workshop on Object Orientation in Operating 5~ystems (Asheville, N.C., Dec. 1993). IEEE Computer Society Press, Los Alamitos, Calif., 1993, pp. 12-23.
	20	Joel E. Richardson , Michael J. Carey, Implementing Persistence in E, Proceedings of the Third International Workshop on Persistent Object Systems, p.175-199, January 10-13, 1989
	21	Frank G. Soltis, Inside the as/400, Twenty Ninth Street Press, 1996
	22	Michael Stonebraker, Virtual memory transaction management, ACM SIGOPS Operating Systems Review, v.18 n.2, p.8-16, April 1984 [doi>10.1145/850755.850757]
	23	Andrew S. Tanenbaum, Modern operating systems, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	24	Irving L. Traiger, Virtual memory management for database systems, ACM SIGOPS Operating Systems Review, v.16 n.4, p.26-48, October 1982 [doi>10.1145/850726.850729]
	25	Michael Wayne Young, Exporting a user interface to memory management from a communication-oriented operating system, 1989

CITED BY 5

	Antony L. Hosking , Jiawan Chen, Mostly-copying reachability-based orthogonal persistence, ACM SIGPLAN Notices, v.34 n.10, p.382-398, Oct. 1999
	Mohit Aron , Jochen Liedtke , Kevin Elphinstone , Yoonho Park , Trent Jaeger , Luke Deller, The sawmill framework for virtual memory diversity, Australian Computer Science Communications, v.23 n.4, p.3-10, January 2001
	Alan Dearle, Toward Ubiquitous Environments for Mobile Users, IEEE Internet Computing, v.2 n.1, p.22-32, January 1998
	Lanfranco Lopriore, Access Control Mechanisms in a Distributed, Persistent Memory System, IEEE Transactions on Parallel and Distributed Systems, v.13 n.10, p.1066-1083, October 2002
	Antony L. Hosking , Jiawan Chen, PM3: An Orthogonal Persistent Systems Programming Language - Design, Implementation, Performance, Proceedings of the 25th International Conference on Very Large Data Bases, p.587-598, September 07-10, 1999

INDEX TERMS

Primary Classification:
D. Software
D.4 OPERATING SYSTEMS
D.4.7 Organization and Design

Additional Classification:
D. Software
D.4 OPERATING SYSTEMS
D.4.2 Storage Management
Subjects: Virtual memory
D.4.3 File Systems Management
Subjects: File organization
D.4.4 Communications Management
D.4.5 Reliability
D.4.8 Performance

General Terms:
Design, Languages, Reliability

REVIEW

"Jason Gait : Reviewer"

In a persistent computation, the lifetime of data is orthogonal to the method used to access it. This allows a uniform mechanism of manipulating all data. The authors define a persistent operating system with these characteristics: the base ab more...

Collaborative Colleagues:

John Rosenberg: colleagues

Alan Dearle: colleagues

David Hulse: colleagues

Anders Lindström: colleagues

Stephen Norris: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player