Proceedings of the fifteenth ACM symposium on Operating systems principles最新文献_第3页

The performance of the Container Shipping I/O system 集装箱运输I/O系统的性能

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.225831

E. Anderson, J. Pasquale

引用次数: 10

Exokernel: an operating system architecture for application-level resource management Exokernel:用于应用程序级资源管理的操作系统架构

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224076

D. Engler, M. Kaashoek, J. O'Toole

{"title":"Exokernel: an operating system architecture for application-level resource management","authors":"D. Engler, M. Kaashoek, J. O'Toole","doi":"10.1145/224056.224076","DOIUrl":"https://doi.org/10.1145/224056.224076","url":null,"abstract":"Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess communication and virtual memory. The exokernel operating system architecture addresses this problem by providing application-level management of physical resources. In the exokernel architecture, a small kernel securely exports all hardware resources through a low-level interface to untrusted library operating systems. Library operating systems use this interface to implement system objects and policies. This separation of resource protection from management allows application-specific customization of traditional operating system abstractions by extending, specializing, or even replacing libraries. We have implemented a prototype exokemel operating system. Measurements show that most primitive kernel operations (such as exception handling and protected control transfer) are ten to 100 times faster than in Ultrix, a mature monolithic UNIX operating system. In addition, we demonstrate that an exokernel allows applications to control machine resources in ways not possible in traditional operating systems. For instance, virtual memory and interprocess communication abstractions are implemented entirely within an application-level library. Measurements show that application-level virtual memory and interprocess communication primitives are five to 40 times faster than Ultrix's kernel primitives. Compared to state-of-the-art implementations from the literature, the prototype exokernel system is at least five times faster on operations such as exception dispatching and interprocess communication.","PeriodicalId":168455,"journal":{"name":"Proceedings of the fifteenth ACM symposium on Operating systems principles","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114372093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1457

Serverless network file systems 无服务器网络文件系统

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224066

T. Anderson, M. Dahlin, Jeanna M. Neefe, D. Patterson, D. Roselli, Randolph Y. Wang

引用次数: 138

Using annotated interface definitions to optimize RPC 使用带注释的接口定义来优化RPC

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.225833

B. Ford, Mike Hibler, Jay Lepreau

{"title":"Using annotated interface definitions to optimize RPC","authors":"B. Ford, Mike Hibler, Jay Lepreau","doi":"10.1145/224056.225833","DOIUrl":"https://doi.org/10.1145/224056.225833","url":null,"abstract":"Abstract In RPC-based communication, it is useful to distinguish the RPC interface, which is the “network contract” between the client and the server, from the presentation, which is the “programmer’s contract” between the RPC stubs and the code that calls or is called by them. Presentation is usually a fixed function of the RPC interface, but some RPC systems, such as DCE and Concert, support the notion of a flexible presentation or endpoint modifier, allowing controlled modification of the behavior of the stubs on each side without affecting the contract between the client and the server. Up until now, the primary motivation for flexible presentation has been for programmer convenience and improved interoperability. However, we have found flexible presentation also to be useful for optimization of RPC, and in many cases necessary to achieving maximal performance without throwing out the RPC system and resorting to hand-coded stubs. In this paper we provide examples demonstrating this point for a number of different operating systems and IPC transport mechanisms, with RPC performance improvements ranging from 5% to an order of magnitude. In general, we observe that the more efficient the underlying IPC transport mechanism is, the more important it is for the RPC system to support flexible presentation, in order to avoid unnecessary user-space overhead.1","PeriodicalId":168455,"journal":{"name":"Proceedings of the fifteenth ACM symposium on Operating systems principles","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121147341","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 20

Managing update conflicts in Bayou, a weakly connected replicated storage system 管理Bayou(弱连接复制存储系统)中的更新冲突

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224070

D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, C. Hauser

{"title":"Managing update conflicts in Bayou, a weakly connected replicated storage system","authors":"D. Terry, M. Theimer, K. Petersen, A. Demers, M. Spreitzer, C. Hauser","doi":"10.1145/224056.224070","DOIUrl":"https://doi.org/10.1145/224056.224070","url":null,"abstract":"Bayou is a replicated, weakly consistent storage system designed for a mobile computing environment that includes portable machines with less than ideal network connectivity. To maximize availability, users can read and write any accessible replica. Bayou’s design has focused on supporting application-specific mechanisms to detect and resolve the update conflicts that naturally arise in such a system, ensuring that replicas move towards eventual consistency, and defining a protocol by which the resolution of update conflicts stabilizes. It includes novel methods for conflict detection, called dependency checks, and per -write conflict resolution based on client-provid ed mer ge procedures. To guarantee eventual consistency, Bayou servers must be able to rollback the effects of previously executed writes and redo them according to a global serialization order . Furthermore, Bayou permits clients to observe the results of all writes received by a server , including tentative writes whose conflicts have not been ultimately resolved. This paper presents the motivation for and design of these mechanisms and describes the experiences gained with an initial implementation of the system.","PeriodicalId":168455,"journal":{"name":"Proceedings of the fifteenth ACM symposium on Operating systems principles","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122241515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1190

On micro-kernel construction 微核构造

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224075

J. Liedtke

引用次数: 689

Hive: fault containment for shared-memory multiprocessors Hive:用于共享内存多处理器的故障控制

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224059

J. Chapin, M. Rosenblum, Scott Devine, T. Lahiri, D. Teodosiu, Anoop Gupta

{"title":"Hive: fault containment for shared-memory multiprocessors","authors":"J. Chapin, M. Rosenblum, Scott Devine, T. Lahiri, D. Teodosiu, Anoop Gupta","doi":"10.1145/224056.224059","DOIUrl":"https://doi.org/10.1145/224056.224059","url":null,"abstract":"Reliability and scalability are major concerns when designing operating systems for large-scale shared-memory multiprocessors. In this paper we describe Hive, an operating system with a novel kernel architecture that addresses these issues. Hive is structured as an internal distributed system of independent kernels called cells. This improves reliability because a hardware or software fault damages only one cell rather than the whole system, and improves scalability because few kernel resources are shared by processes running on different cells. The Hive prototype is a complete implementation of UNIX SVR4 and is targeted to run on the Stanford FLASH multiprocessor. This paper focuses on Hive's solution to the following key challenges : (1) fault containment, i.e. confining the effects of hardware or software faults to the cell where they occur. and (2) memory sharing among cells, which is required to achieve application performance competitive with other multiprocessor operating systems. Fault containment in a shared-memory multiprocessor requires defending each cell against erroneous writes caused by faults in other cells. Hive prevents such damage by using the FLASH firewall, a write permission bit-vector associated with each page of memory, and by discarding potentially corrupt pages when a fault is detected. Memory sharing is provided through a unified file and virtual memory page cache across the cells, and through a unified free page frame pool. We report early experience with the system, including the results of fault injection and performance experiments using SimOS, an accurate simulator of FLASH. The effects of faults were contained to the cell in which they occurred in all 49 tests where we injected fail-stop hardware faults, and in all 20 tests where we injected kernel data corruption. The Hive prototype executes test workloads on a four-processor four-cell system with between 0% and 11% slowdown as compared to SGI IRIX 5.2 (the version of UNIX on which it is based).","PeriodicalId":168455,"journal":{"name":"Proceedings of the fifteenth ACM symposium on Operating systems principles","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126871128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 168

A real-time upcall facility for protocol processing with QoS guarantees 具有QoS保证的协议处理的实时向上调用设施

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.225835

R. Gopalakrishnan, G. Parulkar

引用次数: 44

Going threadbare (panel session): sense or sedition? a debate on the threads abstraction 老生常谈(小组讨论):理智还是煽动?关于线程抽象的争论

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.224074

M. Baker

引用次数: 0

SMART: a processor scheduler for multimedia applications SMART:多媒体应用程序的处理器调度程序

Proceedings of the fifteenth ACM symposium on Operating systems principles Pub Date : 1995-12-03 DOI: 10.1145/224056.225837

Jason Nieh, M. Lam

引用次数: 17