A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Filters
Concurrency: a case study in remote tasking and distributed IPC
1996
Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences
Preserved Fulltext
Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. ...
We analyze two versions of distributed IPC supported in Mach (NORMA IPC and DIPC). ...
The measurements reported were collected on a 56-node Intel Paragon multicomputer, running an OSF/1 AD 1.2 operating system server on top of an NMK17.2 microkernel (NORMA IPC) or an NMK19b1 microkernel ...
doi:10.1109/hicss.1996.495459
dblp:conf/hicss/MilojicicLBSDD96
fatcat:e2li66t6szd2bdp246her7lbsm
Process migration
2000
ACM Computing Surveys
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.
The benefits and drawbacks of process migration depend on the details of implementation and, therefore, this paper focuses on practical matters. ...
This survey will help in understanding the potentials of process migration and why it has not caught on. ...
The anonymous reviewers provided an extensive list of general, as well as very detailed, suggestions that have strengthened our focus, presentation and correctness of the paper. ...
doi:10.1145/367701.367728
fatcat:n2hd2cfc3zcvthnmotqadqhjpy
A microkernel API for fine-grained decomposition
2009
Proceedings of the Fifth Workshop on Programming Languages and Operating Systems - PLOS '09
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.
For evaluation, we have developed a kernel according to our design, and a networking-capable multi-server system on top. ...
We present a new microkernel design that enables OS developers to decompose systems into very fine-grained servers. We avoid the typical obstacles by defining servers as lightweight, passive objects. ...
Although most multi-server systems employ some component framework, it is usually built on top of an existing microkernel. ...
doi:10.1145/1745438.1745441
dblp:conf/sosp/ReicheltSB09
fatcat:ele3fmwgyfcq7nkfkjvjqjusyu
Design tradeoffs for software-managed TLBs
1994
ACM Transactions on Computer Systems
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.
By migrating
these services into separate
user-level
tasks, operating
sys-
tems like Mach 3.0, fundamentally,
change the behavior
of the system for two
reasons. ...
In either case, migrated
services will have to share more of the
TLB with user tasks, possibly conflicting
with the user tasks' TLB footprints. ...
doi:10.1145/185514.185515
fatcat:nuya5frbwnhvvooxqa2eneb2wy
Microkernels meet recursive virtual machines
1996
Proceedings of the second USENIX symposium on Operating systems design and implementation - OSDI '96
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.
microkernel running on generic hardware. ...
This paper describes a novel approach to providing modular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. ...
Discussions with Jonathan Shapiro also influenced the kernel, while Michael Bushnell and Miles Bader provided key insights on the design of higher-level services. ...
doi:10.1145/238721.238769
dblp:conf/osdi/FordHLTBC96
fatcat:adj7bvsf25g7fj63jvsyr7pzm4
Microkernels meet recursive virtual machines
1996
ACM SIGOPS Operating Systems Review
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.
microkernel running on generic hardware. ...
This paper describes a novel approach to providing modular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. ...
Discussions with Jonathan Shapiro also influenced the kernel, while Michael Bushnell and Miles Bader provided key insights on the design of higher-level services. ...
doi:10.1145/248155.238769
fatcat:wbg7e7oplfakngum7dhx2pxwhe
An Extensible Cloud Platform Inspired by Operating Systems
2011
2011 Fourth IEEE International Conference on Utility and Cloud 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 2012; you can also visit the original URL.
The file type is application/pdf.
We have implemented a prototype of an OS-like middleware that adopted a microkernel design, had resource abstraction achieved by objects and functions, and offered a scripting environment as a programming ...
The experimental results demonstrated that it had the ability to achieve elasticity and high-availability VMs. ...
First, our microkernel could be made smaller because the current microkernel ran on top of the Java VM on a traditional OS, along with a large number of Java standard libraries. ...
doi:10.1109/ucc.2011.49
dblp:conf/ucc/SugikiK11
fatcat:g6jlr43uebh4jp6gfjzktftmly
A Practical Look at Micro-Kernels and Virtual Machine Monitors
2009
2009 6th IEEE Consumer Communications and Networking 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 2017; you can also visit the original URL.
The file type is application/pdf.
An analysis of the fundamental principles behind each approach is presented with a discussion of their impact on existing operating environments, together with practical performance results based on existing ...
We conclude that mapping the VMM (hypervisor) approach used in data centers to the needs of embedded systems is a better option for the support of complete operating systems (as guests) than extending ...
systems and helped shape the design of VirtualLogix VLX to better address embedded systems needs. ...
doi:10.1109/ccnc.2009.4784874
dblp:conf/ccnc/ArmandG10
fatcat:csddcnv24rft5gxnepavosmaea
Armada Middleware and Communication Services
[chapter]
1999
Operating Systems and Services
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 2007; you can also visit the original URL.
The file type is application/pdf.
composable middleware layered on top of the kernel. ...
This raises the challenge of constructing dependable and predictable real-time services for application developers on top of the inexpensive hardware and software components which has minimal support for ...
The MK microkernel is originally based on release 2.5 of the Mach operating system from CMU. ...
doi:10.1007/978-1-4615-5041-9_1
fatcat:agmlkj7jpvgtliystu543tyrfu
Design tradeoffs for software-managed TLBs
1993
Proceedings of the 20th annual international symposium on Computer architecture - ISCA '93
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.
TLB peflormance for benchmati running on a MIPS R.XXW-based workstation running Ultrix, OSF/1, and thee verswns of Mach 3.0. ...
HoweveC so@vam management can impose consiakrable penalties, which cnv highly dependent on the operating system k structuw and its use of virtual memmy. ...
One version places the AFS cache manager in the Mach Unix Server while the other migrates the AFS cache manager into a separate server task. ...
doi:10.1145/165123.165127
dblp:conf/isca/NagleUSSMB93
fatcat:n5vjaeffyvh2xj4ly6dfmkss7q
Design tradeoffs for software-managed TLBs
1993
SIGARCH Computer Architecture News
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.
TLB peflormance for benchmati running on a MIPS R.XXW-based workstation running Ultrix, OSF/1, and thee verswns of Mach 3.0. ...
HoweveC so@vam management can impose consiakrable penalties, which cnv highly dependent on the operating system k structuw and its use of virtual memmy. ...
One version places the AFS cache manager in the Mach Unix Server while the other migrates the AFS cache manager into a separate server task. ...
doi:10.1145/173682.165127
fatcat:dwfzixda2re3fdntjheknj4dje
Fault-tolerant RT-Mach (FT-RT-Mach) and an application to real-time train control
1999
Software, Practice & Experience
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.
The Alpha approach to fault tolerance [8, 9] is to provide replication, migration, and atomic transactions at the kernel level, and to allow implementations of policies on a higher level. ...
In our implementation, FT-RT-Mach, we adopt a non-preemptive strategy for the hard real-time tasks, with the ability to create preemptive tasks at lower priorities. ...
Using this approach we guarantee that the top priority run queue contains a maximum of one process, namely the process at the head of the timeline. ...
doi:10.1002/(sici)1097-024x(19990410)29:4<379::aid-spe235>3.0.co;2-6
fatcat:wl4s6lfexjdz5prtfxebjn4acy
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.
-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 ...
We also discuss the performance effects of our changes and evaluate how our multiserver design improves operating system dependability over monolithic designs. ...
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
A critique of the GNU hurd multi-server operating system
2007
ACM SIGOPS Operating Systems Review
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.
Then follows an evaluation of Mach, the microkernel on which the Hurd is built, emphasizing the design constraints which Mach imposes as well as a number of deficiencies its design presents for multi-server ...
We then critique the architecture and assess it in terms of the user environment of today focusing on security. ...
Acknowledgements Roland McGrath and Thomas Bushnell have been pivotal in helping the early development of our understanding of the Hurd. ...
doi:10.1145/1278901.1278907
fatcat:v6sjdqh3mzaorh4iayu3lrqdd4
A Real-Time Programmer's Tour of General-Purpose L4 Microkernels
2008
EURASIP Journal on Embedded Systems
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.
unique to microkernels and the L4 family. ...
In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. ...
Their feedback improved both the content and style of this paper. ...
doi:10.1155/2008/234710
fatcat:o52ssqqfubg27olbeewlwxyvtu
« Previous
Showing results 1 — 15 out of 94 results