Filters








10 Hits in 1.3 sec

The SawMill multiserver approach

Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin J. Elphinstone, Volkmar Uhlig, Jonathon E. Tidswell, Luke Deller, Lars Reuther
2000 Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9  
An effective multiserver system must: (1) protect its servers from errors or malice in other servers; (2) implement coherent system semantics; and (3) incur minimal performance overhead.  ...  This is exactly the motivation for multiservers. In this paper, we define the SawMill multiserver approach.  ...  Conclusions In this paper, we describe the SawMill approach to constructing multiserver operating systems.  ... 
doi:10.1145/566747.566751 fatcat:aoskomajz5d2zbx7jxkkiejhi4

The SawMill multiserver approach

Alain Gefflaut, Trent Jaeger, Yoonho Park, Jochen Liedtke, Kevin J. Elphinstone, Volkmar Uhlig, Jonathon E. Tidswell, Luke Deller, Lars Reuther
2000 Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9  
An effective multiserver system must: (1) protect its servers from errors or malice in other servers; (2) implement coherent system semantics; and (3) incur minimal performance overhead.  ...  This is exactly the motivation for multiservers. In this paper, we define the SawMill multiserver approach.  ...  Conclusions In this paper, we describe the SawMill approach to constructing multiserver operating systems.  ... 
doi:10.1145/566726.566751 dblp:conf/sigopsE/GefflautJPLEUTDR00 fatcat:g2w44ij3o5abxh3vllj3pf5k4u

A Performance Evaluation of Rump Kernels as a Multi-server OS Building Block on seL4

Kevin Elphinstone, Amirreza Zarrabi, Kent Mcleod, Gernot Heiser
2017 Proceedings of the 8th Asia-Pacific Workshop on Systems - APSys '17  
We expect the approach to provide a balance between componentisation, development effort, and legacy system compatibility.  ...  In the paper, we argue that it is worthwhile to revisit building microkernel-based multiserver operating systems, and introduce a multiserver OS architecture.  ...  The SawMill project attempted to evolve Linux into a multiserver OS by extracting parts of Linux into services [Gefflaut et al. 2000 ].  ... 
doi:10.1145/3124680.3124727 dblp:conf/apsys/ElphinstoneZMH17 fatcat:reqzohc45rhmvkyd4ig3cq5wzu

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
2008 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing  
IPC is fundamental to the dependability of multiserver systems.  ...  Based on our classification of IPC threats we present the IPC defense mechanisms and architecture of MINIX 3.  ...  Furthermore, SawMill Linux [7] showed how trade-offs in the design of multiserver IPC protocols affect performance.  ... 
doi:10.1109/prdc.2008.25 dblp:conf/prdc/HerderBGHT08 fatcat:zji2r5oetndxtappkn7lcvekxm

LibrettOS

Ruslan Nikolaev, Mincheol Sung, Binoy Ravindran
2020 Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments  
Finally, to efficiently use hardware resources, applications can dynamically switch between the indirect and direct modes based on their I/O load at run-time. [full abstract is in the paper]  ...  LibrettOS has a uniquely distinguishing advantage in that, the two paradigms seamlessly coexist in the same OS, enabling users to simultaneously exploit their respective strengths (i.e., greater isolation  ...  , IARPA, or the U.S.  ... 
doi:10.1145/3381052.3381316 dblp:conf/vee/0001SR20 fatcat:5wmkfqjnrbdmrdu4uxse4fjt74

Fault isolation for device drivers

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
2009 2009 IEEE/IFIP International Conference on Dependable Systems & Networks  
We have prototyped our ideas in an open-source multiserver OS (MINIX 3) that isolates drivers by strictly enforcing least authority and iteratively refined our isolation techniques using a pragmatic approach  ...  In particular, we explore the operations drivers can perform and how fault propagation in the event a bug is triggered can be prevented.  ...  Instead, a multiserver-like approach is required whereby each driver runs in a paravirtualized OS in a dedicated VM [21] .  ... 
doi:10.1109/dsn.2009.5270357 dblp:conf/dsn/HerderBGHT09 fatcat:piitpyysgjfpnga47cmlrix5dy

Construction of a Highly Dependable Operating System

Jorrit Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew Tanenbaum
2006 2006 Sixth European Dependable Computing Conference  
We also discuss the performance effects of our changes and evaluate how our multiserver design improves operating system dependability over monolithic designs.  ...  -Antoine de Saint-Exupéry [2] The Solution: Proper Fault Isolation One of the key observations of the research reported in this paper is that a powerful technique for increasing system reliability is to  ...  Supported by the Netherlands Organization for Scientific Research (NWO) under grant 612-060-420.  ... 
doi:10.1109/edcc.2006.7 dblp:conf/edcc/HerderBGHT06 fatcat:b4sdp6nkffhcfphq7cv26w4j2q

VirtuOS

Ruslan Nikolaev, Godmar Back
2013 Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13  
We have implemented a prototype based on the Linux kernel and Xen hypervisor. We demonstrate the viability of our approach by creating and evaluating a network and a storage service domain.  ...  Our prototype can survive the failure of individual service domains while outperforming alternative approaches such as isolated driver domains and even exceeding the performance of native Linux for some  ...  We would like to thank the anonymous reviewers and our shepherd Kevin Elphinstone for their insightful comments and suggestions, which helped greatly improve this paper.  ... 
doi:10.1145/2517349.2522719 dblp:conf/sosp/NikolaevB13 fatcat:eolqsbmsbfbppeheykl4toswsm

Vulnerabilities in synchronous IPC designs

J.S. Shapiro
Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405)  
This IPC design approach offers shorter instruction path lengths, requires fewer locks, has smaller instruction and data cache footprints, dramatically reduces TLB overheads, and consequently offers higher  ...  While the performance of thread-migrating IPC has been examined in detail, the vulnerabilities implicit in synchronous IPC designs have not been examined in depth in the archival literature, and their  ...  Personal discussion with Yoon Ho Park regarding how timeout values were actually used in L4-based SawMill multiserver system [10] concluded that the use of L4 timeouts (and timeouts in general) can be  ... 
doi:10.1109/secpri.2003.1199341 dblp:conf/sp/Shapiro03 fatcat:rqy6zgffuvbj7ldh2d2ud3qrha

Veröffentlichungen und Vorträge 2000 der Mitglieder der Fakultät für Informatik [article]

Fakultät Für Informatik
2001
.: The KeY Approach: Integrating Object Oriented Design and Formal Verification. /51/ Ateyeh, K.; Mülle, J.; Lockemann, P.: Modulare Aufbereitung von multimedialen Lerninhalten für eine heterogene Lernumgebung  ...  S. 200-210 /127/ Gefflaut, A.; Jaeger, T.; Park, Y.; Liedtke, J.; Elphinstone, K.; Uhlig, V.; Tidswell, J.E.; Deller, L.; Reuther, L.: The SawMill Multiserver Approach.  ...  -S.: The Axiomatic Approach in the Universal Design Theory. In: Proceedings of the First International Conference on Axiomatic Design, Workshop ICAD.  ... 
doi:10.5445/ir/1000022875 fatcat:mvtnxo2y4rghna7erpgnbndzem