Proceedings of the sixteenth ACM symposium on Operating systems principles最新文献

Extensible security architectures for Java 用于Java的可扩展安全架构

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266668

D. Wallach, D. Balfanz, Drew Dean, E. Felten

引用次数: 283

System support for automatic profiling and optimization 系统支持自动分析和优化

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266640

Xiaolan Zhang, Zheng Wang, Nicholas C. Gloy, J. B. Chen, Michael D. Smith

引用次数: 204

Frangipani: a scalable distributed file system 一个可扩展的分布式文件系统

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266694

C. Thekkath, T. Mann, Edward K. F. Lee

{"title":"Frangipani: a scalable distributed file system","authors":"C. Thekkath, T. Mann, Edward K. F. Lee","doi":"10.1145/268998.266694","DOIUrl":"https://doi.org/10.1145/268998.266694","url":null,"abstract":"The ideal distributed file system would provide all its users with coherent, shared access to the same set of files, yet would be arbitrarily scalable to provide more storage space and higher performance to a growing user community. It would be highly available in spite of component failures. It would require minimal human administration, and administration would not become more complex as more components were added. Frangipani is a new file system that approximates this ideal, yet was relatively easy to build because of its two-layer structure. The lower layer is Petal (described in an earlier paper), a distributed storage service that provides incrementally scalable, highly available, automatically managed virtual disks. In the upper layer, multiple machines run the same Frangipani file system code on top of a shared Petal virtual disk, using a distributed lock service to ensure coherence. Frangipani is meant to run in a cluster of machines that are under a common administration and can communicate securely. Thus the machines trust one another and the shared virtual disk approach is practical. Of course, a Frangipani file system can be exported to untrusted machines using ordinary network file access protocols. We have implemented Frangipani on a collection of Alphas running DIGITAL Unix 4.0. Initial measurements indicate that Frangipani has excellent single-server performance and scales well as servers are added.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131706950","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}

引用次数: 494

HAC: hybrid adaptive caching for distributed storage systems HAC:分布式存储系统的混合自适应缓存

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266666

M. Castro, A. Adya, B. Liskov, A. Myers

{"title":"HAC: hybrid adaptive caching for distributed storage systems","authors":"M. Castro, A. Adya, B. Liskov, A. Myers","doi":"10.1145/268998.266666","DOIUrl":"https://doi.org/10.1145/268998.266666","url":null,"abstract":"This paper presents HAC, a novel technique for managing the client cache in a distributed, persistent object storage system. HAC is a hybrid between page and object caching that combines the virtues of both while avoiding their disadvantages. It achieves the low miss penalties of a page-caching system, but is able to perform well even when locality is poor, since it can discard pages while retaining their hot objects. It realizes the potentially lower miss rates of object-caching systems, yet avoids their problems of fragmentation and high overheads. Furthermore, HAC is adaptive: when locality is good it behaves like a page-caching system, while if locality is poor it behaves like an object-caching system. It is able to adjust the amount of cache space devoted to pages dynamically so that space in the cache can be used in the way that best matches the needs of the application. The paper also presents results of experiments that indicate that HAC outperforms other object storage systems across a wide range of cache sizes and workloads; it performs substantially better on the expected workloads, which have low to moderate locality. Thus we show that our hybrid, adaptive approach is the cache management technique of choice for distributed, persistent object systems.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134334400","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}

引用次数: 70

Disco: running commodity operating systems on scalable multiprocessors Disco:在可伸缩的多处理器上运行普通操作系统

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266672

Edouard Bugnion, Scott Devine, M. Rosenblum

{"title":"Disco: running commodity operating systems on scalable multiprocessors","authors":"Edouard Bugnion, Scott Devine, M. Rosenblum","doi":"10.1145/268998.266672","DOIUrl":"https://doi.org/10.1145/268998.266672","url":null,"abstract":"In this paper we examine the problem of extending modern operating systems to run efficiently on large-scale shared memory multiprocessors without a large implementation effort. Our approach brings back an idea popular in the 1970s, virtual machine monitors. We use virtual machines to run multiple commodity operating systems on a scalable multiprocessor. This solution addresses many of the challenges facing the system software for these machines. We demonstrate our approach with a prototype called Disco that can run multiple copies of Silicon Graphics' IRIX operating system on a multiprocessor. Our experience shows that the overheads of the monitor are small and that the approach provides scalability as well as the ability to deal with the non-uniform memory access time of these systems. To reduce the memory overheads associated with running multiple operating systems, we have developed techniques where the virtual machines transparently share major data structures such as the program code and the file system buffer cache. We use the distributed system support of modern operating systems to export a partial single system image to the users. The overall solution achieves most of the benefits of operating systems customized for scalable multiprocessors yet it can be achieved with a significantly smaller implementation effort.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125579177","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}

引用次数: 31

The Flux OSKit: a substrate for kernel and language research Flux OSKit:内核和语言研究的基础

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266642

B. Ford, Godmar Back, Gregory D. Benson, Jay Lepreau, A. Lin, O. Shivers

{"title":"The Flux OSKit: a substrate for kernel and language research","authors":"B. Ford, Godmar Back, Gregory D. Benson, Jay Lepreau, A. Lin, O. Shivers","doi":"10.1145/268998.266642","DOIUrl":"https://doi.org/10.1145/268998.266642","url":null,"abstract":"Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, well-documented OS components designed to be reused in a wide variety of other environments, rather than defining a new OS structure. The OSKit uses unconventional techniques to maximize its usefulness, such as intentionally exposing implementation details and platform-specific facilities. Further, the OSKit demonstrates a technique that allows unmodified code from existing mature operating systems to beincorporated quickly and updated regularly, by wrapping it with a small amount of carefully designed “glue” code to isolate it s dependencies and export well-defined interfaces. The OSKit uses this technique to incorporate over 230,000 lines of stable code including device drivers, file systems, and network protocols. Ourexperience demonstrates that this approach to component software structure and reuse has a surprisingly large impact in the OS implementation domain. Four real-world examples show how the OSKit is catalyzing research and development in operating systems and programming languages.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128632606","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}

引用次数: 296

The design, implementation and evaluation of SMART: a scheduler for multimedia applications 多媒体应用程序调度程序SMART的设计、实现与评价

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266677

Jason Nieh, M. Lam

{"title":"The design, implementation and evaluation of SMART: a scheduler for multimedia applications","authors":"Jason Nieh, M. Lam","doi":"10.1145/268998.266677","DOIUrl":"https://doi.org/10.1145/268998.266677","url":null,"abstract":"Real-time applications such as multimedia audio and video are increasingly populating the workstation desktop. To support the execution of these applications in conjunction with traditional non-realtime applications, we have created SMART, a Scheduler for Multimedia And Real-Time applications. SMART supports applications with time constraints, and provides dynamic feedback to applications to allow them to adapt to the current load. In addition, the support for real-time applications is inte grated with the support for conventional computations. This allows the user to prioritize across real-time and conventional computations, and dictate how the processor is to be shared among applications of the same priority . As the system load changes, SMART adjusts the allocation of resources dynamically and seamlessly. SMAR T is unique in its ability to automatically shed real-time tasks and re gulate their execution rates when the system is overloaded, while providing better value in underloaded conditions than previously proposed schemes. We have implemented SMART in the Solaris UNIX operating system and measured its performance against other schedulers in e xecuting real-time, interacti ve, and batch applications. Our results demonstrate SMART’s superior performance in supporting multimedia applications.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128566498","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}

引用次数: 298

The performance of μ-kernel-based systems 基于μ内核的系统的性能

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266660

Hermann Härtig, Michael Hohmuth, J. Liedtke, S. Schönberg, J. Wolter

{"title":"The performance of μ-kernel-based systems","authors":"Hermann Härtig, Michael Hohmuth, J. Liedtke, S. Schönberg, J. Wolter","doi":"10.1145/268998.266660","DOIUrl":"https://doi.org/10.1145/268998.266660","url":null,"abstract":"First-generation μ-kernels have a reputation for being too slow and lacking sufficient flexibility. To determine whether L4, a lean second-generation μ-kernel, has overcome these limitations, we have repeated several earlier experiments and conducted some novel ones. Moreover, we ported the Linux operating system to run on top of the L4 μ-kernel and compared the resulting system with both Linux running native, and MkLinux, a Linux version that executes on top of a first-generation Mach-derived μ-kernel. For L 4 Linux, the AIM benchmarks report a maximum throughput which is only 5% lower than that of native Linux. The corresponding penalty is 5 times higher for a co-located in-kernel version of MkLinux, and 7 times higher for a user-level version of MkLinux. These numbers demonstrate both that it is possible to implement a high-performance conventional operating system personality above a μ-kernel, and that the performance of the μ-kernel is crucial to achieve this. Further experiments illustrate that the resulting system is highly extensible and that the extensions perform well. Even real-time memory management including second-level cache allocation can be implemented at user-level, coexisting with L 4 Linux.","PeriodicalId":340271,"journal":{"name":"Proceedings of the sixteenth ACM symposium on Operating systems principles","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133576301","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}

引用次数: 404

Eraser: a dynamic data race detector for multi-threaded programs 擦除器:多线程程序的动态数据竞争检测器

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266641

S. Savage, M. Burrows, Greg Nelson, P. Sobalvarro, T. Anderson

引用次数: 260

Distributed schedule management in the Tiger video fileserver Tiger视频文件服务器中的分布式日程管理

Proceedings of the sixteenth ACM symposium on Operating systems principles Pub Date : 1997-10-01 DOI: 10.1145/268998.266692

W. Bolosky, Robert P. Fitzgerald, John R. Douceur

引用次数: 88