A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
The SawMill multiserver approach
2000
Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9
Preserved Fulltext
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
2000
Proceedings of the 9th workshop on ACM SIGOPS European workshop beyond the PC: new challenges for the operating system - EW 9
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2017
Proceedings of the 8th Asia-Pacific Workshop on Systems - APSys '17
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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)
2008
2008 14th IEEE Pacific Rim International Symposium on Dependable Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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
2020
Proceedings of the 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2020 pre-print arXiv:2002.08928v1 fatcat:zb2pfbxqq5c2tbfu47a6la7ogu
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
2009
2009 IEEE/IFIP International Conference on Dependable Systems & Networks
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2006
2006 Sixth European Dependable Computing Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
Proceedings 19th International Conference on Data Engineering (Cat. No.03CH37405)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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]
2001
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
.: 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