Memory coherence in shared virtual memory systems
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
The duality of memory and communication in the implementation of a multiprocessor operating system
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Fine-grained mobility in the Emerald system
ACM Transactions on Computer Systems (TOCS)
Generic virtual memory management for operating system kernels
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
The Amber system: parallel programming on a network of multiprocessors
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Lightweight remote procedure call
ACM Transactions on Computer Systems (TOCS)
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
ACM SIGPLAN Notices
| Hi-index | 0.00 |
The recent appearance of architectures with flat 64-bit virtual addressing opens an opportunity to reconsider the way our operating systems use virtual address spaces. We are building an operating system called Opal for these wide-address architectures. The key feature of Opal is a single global virtual address space that extends to data on long-term storage and across the network. Hardware-enforced memory protection exists within this single address space.This paper outlines our ideas for extending Opal to a distributed environment, focusing on the naming and binding of data and services to allow uniform treatment across the network. Our central point is that although the meaning of names (i.e., the entities denoted by those names) should be uniform throughout the network, at a lower level the binding of names to physical data or servers may vary with the node uttering the name, in order to accommodate caching, replication, and migration. This principle affects Opal's handling of both data names (virtual addresses) and resource names (capabilities).