Persistence has long been difficult to integrate into operating systems. The main problem is that pointers lose their meaning once they are taken out of their address-space. We present a distributed system which has a single address-space encompassing all virtual memory of every node in the system. This design has become possible (and practicable) with the advent of 64-bit microprocessors. In our system, every pointer retains its meaning independent of its location, even across nodes or on secondary storage. No restrictions are imposed on the use of pointers by application programs. Hence persistence is naturally and elegantly integrated into the system. Further features are uniform addressing and unlimited sharing of data, and memory protection based on password capabilities, making the system easy to use. A reliable paging protocol ensures that the impact of node crashes on other parts of the system is minimised.
|
1320
|
Concurrency Control and Recovery in Database Systems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
848
|
Memory coherence in shared virtual memory systems
– Li, Hudak
- 1989
|
|
375
|
Measurements of a Distributed File System
– Baker, Hartman, et al.
- 1991
|
|
338
|
The Directory-Based Cache Coherence Protocol for the Dash Multiprocessor
– Lenoski
- 1990
|
|
294
|
Why aren’t operating systems getting faster as fast as hardware
– Ousterhout
- 1990
|
|
254
|
Distributed Shared Memory: A Survey of Issues and Algorithms
– Nitzberg, Lo
- 1991
|
|
253
|
Munin: Distributed Shared Memory Based on Type-Specific Memory Coherence
– Bennett, Carter, et al.
- 1990
|
|
238
|
An approach to persistent programming
– Atkinson, Bailey, et al.
- 1983
|
|
226
|
A trace-driven analysis of the UNIX 4.2 BSD file system
– Ousterhout, Costa, et al.
- 1985
|
|
219
|
Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency
– Gray, Cheriton
- 1989
|
|
197
|
Experiences with the amoeba distributed operating system
– Tanenbaum, Renesse, et al.
- 1990
|
|
180
|
Distribution and Abstract Types in Emerald
– Black, Hutchinson, et al.
- 1987
|
|
146
|
1 he “ interaction“” of Architecture and Operating System Design
– Anderson, Levy, et al.
- 1991
|
|
138
|
The Effect of Context Switches on Cache Performance
– Mogul, Borg
- 1991
|
|
131
|
The Multics System: An Examination of Its Structure
– Organick
- 1972
|
|
126
|
Mirage: A Coherent Distributed Shared Memory Design
– Fleisch, Popek
- 1989
|
|
99
|
The Clouds Distributed Operating System
– Dasgupta, LeBlanc, et al.
- 1991
|
|
80
|
The design of a capability-based distributed operating system
– Mullender, Tanenbaum
- 1986
|
|
79
|
SOS: An object-oriented operating system - assessment and perspectives. Computing Systems
– Shapiro, Gourhant, et al.
- 1989
|
|
74
|
LOCUS: A network transparent, high reliability distributed system
– Popek, Walker, et al.
- 1981
|
|
68
|
A Hypercube Shared Virtual Memory System
– Li, Schaefer
- 1989
|
|
66
|
Heterogeneous Distributed Shared Memory
– Zhou, Stumm, et al.
- 1992
|
|
62
|
Plus: A Distributed Shared-Memory System
– Bisiani, Ravishankar
|
|
47
|
A passwordcapability system
– Anderson, Pose, et al.
- 1986
|
|
40
|
Opal: A SIngle Address Space System for 64-bit Architectures
– Chase, Levy, et al.
|
|
40
|
Protection in the Hydra Operating System
– Cohen, Jefferson
- 1975
|
|
29
|
The Mether system: A distributed shared memory for SunOS 4.0
– Minnich, Farber
- 1989
|
|
23
|
The cambridge cap computer and its protection system
– Needham, Walker
- 1977
|
|
22
|
Implementing a large virtual memory in a distributed computing system
– Keedy, Abramson
- 1985
|
|
17
|
MONADS-PC - A Capability-Based Workstation to Support Software Engineering
– Rosenberg, Abramson
- 1985
|
|
16
|
A capability-based distributed shared memory
– Henskens, Rosenberg, et al.
- 1991
|
|
14
|
Capability-based protection in the Mungi operating system
– Vochteloo, Russell, et al.
- 1993
|
|
13
|
The file system of an integrated local network
– Leach, Levine, et al.
- 1985
|
|
11
|
Distributed operating systems based on a protected global virtual address space
– Carter, Cox, et al.
- 1992
|
|
10
|
COOL-2: An object oriented support platform built above the Chorus micro-kernel
– Lea, Amaral, et al.
- 1991
|
|
9
|
Distribution + persistence = global virtual memory
– Russell, Skea, et al.
- 1992
|
|
7
|
Address space management issues in the Mungi operating system
– Elphinstone
- 1993
|
|
7
|
A Capability-based Persistent Distributed Shared Memory
– Henskens
- 1991
|
|
7
|
MONADS-PC---a capability-based workstation to support software engineering
– Rosenberg, Abramson
- 1985
|
|
5
|
ACOM: An access control monitor providing protection in persistent object-oriented systems
– Kaiser, Czaja
- 1992
|
|
5
|
A Password-Capability System, The Computer Journal
– Anderson, Pose, et al.
- 1986
|
|
3
|
Concurrency Control and Recovery in DatabaseSystems
– Bernstein, Hadzilacos, et al.
- 1987
|
|
2
|
Napier88 reference manual. Persistent Programming Research
– Morrison, Brown, et al.
- 1989
|
|
2
|
Object management and addressing in the MONADS architecture
– Rosenberg, Keedy
- 1987
|
|
2
|
on Workstation Operating Systems
– Workshop
- 1992
|
|
1
|
Capability based protection in a persistent global virtual memory system
– Vochteloo, Russell, et al.
|
|
1
|
Name management and page table organisation for a distributed global virtual memory system. BSc (Hons) thesis
– Kong
|
|
1
|
Distributed systems and global naming
– Elphinstone
|
|
1
|
The file system of an integrated local network. InACM Computer Science Conference
– Leach, Levine, et al.
- 1985
|
|
1
|
Napier88 reference manual. PersistentProgramming Research Report PPRR-77-89
– Morrison, Brown, et al.
- 1986
|
