The Spring File System supports cache coherent file data and attributes. It uses the virtual memo... more The Spring File System supports cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system consists of two types of file servers: ones that provide coherent access to files they export and ones that run on each Spring machine and provide caching of data for read and write operations, and has its own private protocol with the remote file servers to cache file attributes.
The Spring File System cache coherent file data and attributes. It uses the virtual memory system... more The Spring File System cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system consists of two types of file servers: ones that provide coherent access to files they export and ones that run on each Spring machine and provide caching of data and attributes for remote files. The per-machine caching file server utilizes the virtual memory system to provide caching of data for read and write operations, and has its own private protocol with the remote file servers to cache file attributes.Categories and Subject Descriptors: D.4 Software:[Operating Systems]: D.4.2 Storage management D.4.3 File systems management D.4.7 Distributed systemsAdditional Keywords and Phrases: Caching, Distributed Shared Memory, Object-oriented Operating System, External Pagers
File systems that employ caching have been built for many years. However, most work in file syste... more File systems that employ caching have been built for many years. However, most work in file systems has been done as part of monolithic operating systems. In this paper we give our experience with building a high-performance distributed file system on Spring, a highly modular operating system where system services such as file systems are provided as user-level servers. The Spring file system described in this paper supports cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system uses a unique dynamic caching algorithm that allows per-machine caching file servers to be located when a file object is passed from one machine to another. A per-machine caching file server utilizes the virtual memory system to provide caching of data for read and write operations, and it has a private protocol with the remote file servers to cache file attribu...
This paper describes tools that we built to support the construction of an object-oriented operat... more This paper describes tools that we built to support the construction of an object-oriented operating system in C++. The tools provide the automatic deletion of unwanted objects, first-class classes, dynamically loadable classes, and class-oriented debugging. As a consequence of our experience building Choices, we advocate these features as useful, simplifying and unifying many aspects of system programming.
JavaOS(tm) is a new platform optimized to run Java(tm) on a variety of computing and consumer pla... more JavaOS(tm) is a new platform optimized to run Java(tm) on a variety of computing and consumer platforms. JavaOS provides a runtime specifically tuned to run Java applications directly on hardware platforms without requiring a host operating system. These Java applications are highly interactive, dynamic, secure, and portable.
The Spring File System supports cache coherent file data and attributes. It uses the virtual memo... more The Spring File System supports cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system consists of two types of file servers: ones that provide coherent access to files they export and ones that run on each Spring machine and provide caching of data for read and write operations, and has its own private protocol with the remote file servers to cache file attributes.
The Spring File System cache coherent file data and attributes. It uses the virtual memory system... more The Spring File System cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system consists of two types of file servers: ones that provide coherent access to files they export and ones that run on each Spring machine and provide caching of data and attributes for remote files. The per-machine caching file server utilizes the virtual memory system to provide caching of data for read and write operations, and has its own private protocol with the remote file servers to cache file attributes.Categories and Subject Descriptors: D.4 Software:[Operating Systems]: D.4.2 Storage management D.4.3 File systems management D.4.7 Distributed systemsAdditional Keywords and Phrases: Caching, Distributed Shared Memory, Object-oriented Operating System, External Pagers
File systems that employ caching have been built for many years. However, most work in file syste... more File systems that employ caching have been built for many years. However, most work in file systems has been done as part of monolithic operating systems. In this paper we give our experience with building a high-performance distributed file system on Spring, a highly modular operating system where system services such as file systems are provided as user-level servers. The Spring file system described in this paper supports cache coherent file data and attributes. It uses the virtual memory system to provide data caching and uses the operations provided by the virtual memory system to keep the data coherent. The file system uses a unique dynamic caching algorithm that allows per-machine caching file servers to be located when a file object is passed from one machine to another. A per-machine caching file server utilizes the virtual memory system to provide caching of data for read and write operations, and it has a private protocol with the remote file servers to cache file attribu...
This paper describes tools that we built to support the construction of an object-oriented operat... more This paper describes tools that we built to support the construction of an object-oriented operating system in C++. The tools provide the automatic deletion of unwanted objects, first-class classes, dynamically loadable classes, and class-oriented debugging. As a consequence of our experience building Choices, we advocate these features as useful, simplifying and unifying many aspects of system programming.
JavaOS(tm) is a new platform optimized to run Java(tm) on a variety of computing and consumer pla... more JavaOS(tm) is a new platform optimized to run Java(tm) on a variety of computing and consumer platforms. JavaOS provides a runtime specifically tuned to run Java applications directly on hardware platforms without requiring a host operating system. These Java applications are highly interactive, dynamic, secure, and portable.
Uploads
Papers by Peter W Madany