This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.
144 Fbufs: A High-Bandwidth Cross-Domain Transfer Facility - Peter Druschel, Larry L. Peterson (1993)(Correct)
We have designed and implemented a new operating system facility for I/O buffer management
and data transfer across protection domain boundaries on shared memory machines. This
facility, called fast b... / processes both in monolithic and microkernel-based operating systems. This br designed and implemented a new operating system facility for I O buffer
129 Horus: A Flexible Group Communications System - van Renesse, Birman, Maffeis (1996)(Correct)
This paper reports on the Horus system, which provides an unusually flexible group communication model to application-developers. This flexibility extends to system interfaces, the properties provided... / in an operating system kernel or microkernel or be split between them. br can run in user space in an operating system kernel or microkernel or be
122 Processor Capacity Reserves: Operating System Support for Multimedia.. - Mercer, Savage, Tokuda (1994)(Correct)
Multimedia applications have timing requirements that cannot generally be satisfied using the time-sharing scheduling algorithms of general purpose operating systems. Our approach is to provide the pr... / specifically designed for the microkernel architecture for measuring br Processor Capacity Reserves Operating System Support for Multimedia
118 A Quality of Service Architecture - Campbell (1994)(Correct)
For applications relying on the transfer of multimedia, and in particular continuous
media, it is essential that quality of service (QoS) is guaranteed system-wide, including endsystems,
communicati... / suite embedded in a Chorus microkernel augmented with services to br Workshop on Network and Operating System Support for Digital and Audio
109 Protocol Service Decomposition for High-Performance Networking - Maeda, Bershad (1993)(Correct)
In this paper we describe a new approach to implementing
network protocols that enables them to have
high performance and high flexibility, while retaining
complete conformity to existing application ... / in the context of a specific microkernel-based operating system it is br from its interface to the operating system. We have separated these
96 Experiences with a High-Speed Network Adaptor: A Software Perspective - Druschel, Peterson, Davie (1994)(Correct)
This paper describes our experiences, from a software perspective,
with the OSIRIS network adaptor. It first identifies
the problems we encountered while programming OSIRIS
and optimizing network perf... / Second because Mach is a microkernel-based system and the x- br able to exploit in the host operating system OS opportunities that
92 The Spring nucleus: A microkernel for objects - Hamilton, Kougiouris (1994)(Correct)
The Spring system is a distributed operating system that supports a distributed, object-oriented application framework. Each individual Spring system is based around a microkernel known as the nucleus... / The Spring nucleus A microkernel for objects Graham Hamilton br Spring system is a distributed operating system that supports a distributed
89 Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer (1996)(Correct)
Today's extensible operating systems allow applications
to modify kernel behavior by providing mechanisms for
application code to run in the kernel address space. The
advantage of this approach is tha... / events Finally in a microkernel operating system the same br the USENIX nd Symposium on Operating Systems Design and Implementation
86 Sharing and Protection in a Single Address Space Operating System - Chase, Levy, Feeley, Lazowska (1994)(Correct)
The appearance of 64-bit address space architectures, such as the DEC Alpha, HP PA-RISC,
and MIPS R4000, signals a radical shift in the amount of address space available to operating
systems and appli... / Opal prototype using the Mach . microkernel as a base. Our implementation br in a Single Address Space Operating System Jeffrey S. Chase Henry M.
84 Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler, Ganger.. (1997)(Correct)
The exokernel operating system architecture safely gives untrusted
software efficient control over hardware and software resources by
separating management from protection. This paper describes an
exo... / in three groups better microkernels virtual machines and br of thee Symposium on Operating Systems Principles SOSP s
79 The Impact of Operating System Structure on Memory System Performance - Bradley Chen (1993)(Correct)
1. Introduction
In this paper we quantitatively evaluate the memory
In this paper we evaluate the memory system behavior of
system behavior of two different implementations of the
two distinctly diff... / . with CMU's UNIX server a microkernel-based UNIX server has br The Fourteenth Symposium on Operating System Principles. The Impact of
69 Efficient Packet Demultiplexing for Multiple Endpoints and Large.. - Yuhara, Bershad (1994)(Correct)
This paper describes a new packet filter mechanism that efficiently dispatches incoming network packets to one of
multiple endpoints, for example address spaces. Earlier packet filter systems iterativ... / requires no changes to the Mach microkernel interface and has no br implemented for the Mach . operating system and is being used to support
66 An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)(Correct)
Spring is a highly modular, distributed, object-oriented
operating system. This paper describes the goals of the
Spring system and provides overviews of the Spring object
model, the security model, an... / details of the Spring microkernel virtual memory system file br distributed object-oriented operating system. This paper describes the
55 Demand-based Coscheduling of Parallel Jobs on Multiprogrammed.. - Sobalvarro (1997)(Correct)
We present demand-based coscheduling, a new approach
to scheduling parallel computations on multiprogrammed
multiprocessors. In demand-based coscheduling,
rather than making the pessimistic assumption... / or different modules in a microkernel operating system running on a br modules in a microkernel operating system running on a multiprocessor.
53 Microkernels Meet Recursive Virtual Machines - Ford (1996)(Correct)
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. ... / Microkernels Meet Recursive Virtual Machines br and extensible operating system functionality and
53 Design Tradeoffs for Software-Managed TLBs - Richard Uhlig (1993)(Correct)
this paper appeared in the Proceedings of the 20th Annual International Symposium on Computer
Architecture, San Diego, May 1993.
Authors' address: Department of Electrical Engineering and Computer Sci... / with a range of monolithic and microkernel operating systems. Through br are highly dependent on the operating system's structure and its use of
49 Processor Capacity Reserves for Multimedia Operating Systems - Mercer, Savage, Tokuda (1994)(Correct)
Multimedia applications have timing requirements that cannot generally be satisfied using time-sharing scheduling algorithms and system structures. To effectively support these types of programs, oper... / specifically designed for the microkernel architecture for controlling br Reserves for Multimedia Operating Systems Clifford W. Mercer
41 A Rate-Based Execution Abstraction For Multimedia Computing - Jeffay, al. (1995)(Correct)
ion For
Multimedia Computing*
Kevin Jeffay, David Bennett
University of North Carolina at Chapel Hill
Department of Computer Science
Chapel Hill, NC 27599-3175 USA
{jeffay,bennettd}@cs.unc.edu
Abs... / implemented in an experimental microkernel and is presently being ported br Workshop on Network and Operating System Support for Digital Audio
40 The Structure of a Multi-Service Operating System - Roscoe (1995)(Correct)
Data Type. A collection of operations, each with a name and a
signature defining the number and types of its arguments.
application domain A domain whose purpose is to execute an application program.... / . . Microkernel-based Systems br Structure of a Multi-Service Operating System Timothy Roscoe Queens'
35 System Architecture Directions for Networked Sensors - Jason Hill Robert(Correct)
Technological progress in integrated, low-power, CMOS communication devices and sensors makes
a rich design space of networked sensors viable. They can be deeply embedded in the physical world
or sp... / Unix or an embedded microkernel However many br design a tiny event-driven operating system and show that it provides
33 A Comparison of OS Extension Technologies - Small, Seltzer (1996)(Correct)
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most effective approach to... / that led to the emergence of microkernels in the early 's leads now to br The current trend in operating systems research is to allow
33 Software Prefetching and Caching for Translation Lookaside Buffers - Kavita Bala (1994)(Correct)
A number of interacting trends in operating system structure,
processor architecture, and memory systems are increasing both
the rate of translation lookaside buffer (TLB) misses and the cost of
servi... / of the U.S. government. Microkernel-based operating systems achieve br of the First Symposium on Operating System Design and Implementation
33 A Logical Language for Expressing Authorizations - Jajodia, Samarati, Subrahmanian (1997)(Correct)
A major drawback of existing access control systems is
that they have all been developed with a specific access control
policy in mind. This means that all protection requirements
(i.e., accesses to b... / The recent implementations of the microkernel-based operating systems e.g. br of the microkernel-based operating systems e.g.Trusted Mach
31 A Multimedia Enhanced Transport Service in a Quality of Service.. - Campbell, Coulson, Hutchison(Correct)
For applications relying on the transfer of multimedia, and in particular continuous media,
it is essential that quality of service (QoS) is guaranteed
system-wide,including#
end-systems,
communicat... / platform embedded in a Chorus microkernel augmented with services to br Workshop on Network and Operating System Support for Digital Audio and
30 The Measured Performance of Personal Computer Operating Systems - Chen, Endo, Chan, Dias, Seltzer.. (1995)(Correct)
This paper presents a comparative study of the performance of three operating systems that run on the personal computer
architecture derived from the IBM-PC. The operating systems, Windows for Workgro... / overhead similar to that of a microkernel since its application interface br of Personal Computer Operating Systems J. Bradley Chen Yasuhiro
28 Fast Interrupt Priority Management in Operating System Kernels - Stodolsky (1993)(Correct)
In this paper we describe a new, low-overhead technique for manipulating processor interrupt state in an operating
system kernel. Both uniprocessor and multiprocessor operating systems protect against... / present results for the Mach . microkernel operating system although the br Priority Management in Operating System Kernels Daniel Stodolsky
27 Lightweight Shared Objects in a 64-Bit Operating System - Chase, Levy, Lazowska, Baker-Harvey (1992)(Correct)
Object-oriented models are a popular basis for supporting
uniform sharing of data and services in operating
systems, distributed programming systems,
and database systems. We term systems that use
obj... / Bal Tanenbaum Most microkernel operating systems e.g.Mach br Shared Objects in a -Bit Operating System Jeffrey S. Chase Henry M.
27 The Flux OSKit: A Substrate for Kernel and Language Research - Ford (1997)(Correct)
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 comp... / different institutions. Our own microkernelbased OS Fluke puts br Abstract Implementing new operating systems is tedious costly and
26 Java Operating Systems: Design and Implementation - Back, Tullmann, Stoller, Hsieh.. (1998)(Correct)
Language-based extensible systems such as Java use
type safety to provide memory safety in a single address
space. Memory safety alone, however, is not sufficient to
protect different applications fro... / structured much like the Fluke microkernel provides a hierarchical br Java Operating Systems Design and Implementation
26 Secure Coprocessors in Electronic Commerce Applications - Yee, Tygar (1995)(Correct)
Many researchers believe electronic wallets (secure storage
devices that maintain account balances) are the solution
to electronic commerce challenges. This paper argues
for a more powerful model --- ... / on top of a port of the Mach . microkernel to the IBM Citadel secure br -that can run a small operating system run application programs
25 Using Secure Coprocessors - Yee (1994)(Correct)
How do we build distributed systems that are secure? Cryptographic techniques can be used to secure the communications between physically separated systems, but this is not enough: we must be able to ... / we can easily envision using a microkernel such as Mach . the NT br under control of the operating system thus the hardware module
24 A Metaobject Architecture for Fault Tolerant Distributed Systems: The .. - Fabre, Pérennou (1998)(Correct)
The FRIENDS system developed at LAAS-CNRS is a metalevel
architecture providing libraries of metaobjects for fault tolerance, secure
communications and group-based distributed applications. The use ... / and also to some extent microkernel technology. The notions of br they are integrated into the operating system mechanisms are not easy to
22 The Increasing Irrelevance of IPC Performance for Microkernel-Based.. - Bershad (1992)(Correct)
IPC is the glue with which traditional operating system services such as networking, and filing, are provided in microkernel-based operating systems. Because applications rely heavily on cross-address... / of IPC Performance for Microkernel-Based Operating Systems br for Microkernel-Based Operating Systems Brian N. Bershad School
21 Explicit Network Scheduling - Black (1994)(Correct)
This dissertation considers various problems associated with the scheduling and
network I/O organisation found in conventional operating systems for effective
support for multimedia applications which... / The Spring nucleus a microkernel for objects. Technical Report br found in conventional operating systems for effective support for
18 Processor Capacity Reserves: An Abstraction for Managing Processor.. - Mercer, Savage, Tokuda (1993)(Correct)
ion for Managing Processor Usage
Clifford W. Mercer, Stefan Savage, and Hideyuki Tokuda
School of Computer Science
Carnegie Mellon University
Pittsburgh, Pennsylvania 15213
fcwm,savage,hxtg@cs.cmu.e... / could be implemented in other microkernel systems with comparable effort. br applications require operating systems that support
18 A Fresh Approach to File System Quality of Service - Barham Paul (1997)(Correct)
This paper describes a file system structure for supporting
Quality of Service (QoS) guarantees. The device
driver model clearly separates control- and datapath
operations and presents a low-level of ... / traditional operating systems microkernel or otherwise. Explicit and br application in a traditional operating system requires no additional
18 Quality of Service Management in Distributed Systems - Hutchison, al. (1994)(Correct)
ty (the QoS-A project) on an architectural approach
to integrated QoS support for multimedia communications.
2 D. Hutchison, G. Coulson, A. Campbell and G.S. Blair
11.1. Introduction
Recent years ha... / Architectural Issues in Microkernel-based Operating Systems the br codecs and frame buffers operating system threads transport protocol
17 Networking Performance for Microkernels - Maeda, Bershad (1992)(Correct)
Performance measurements of network protocols
in microkernel systems have been discouraging;
typically 2 to 5 times slower than comparable
macrokernel systems. This disparity has
led many to conclude ... / Networking Performance for Microkernels Chris Maeda Brian N. br Introduction Microkernel operating systems such as Mach . Accetta
17 Nested Java Processes: OS Structure for Mobile Code - Tullmann, Lepreau (1998)(Correct)
The majority of work on protection in single-language
mobile code environments focuses on information security
issues and depends on the language environment for
solutions to the problems of resource ... / but implemented by a microkernel instead of special hardware. br problems faced by multi-user operating systems. We believe that real
16 Hierarchical Clustering: A Structure for Scalable Multiprocessor.. - Ron Unrau (1993)(Correct)
We introduce the concept of Hierarchical Clustering as a way to structure shared memory multiprocessor
operating systems for scalability. As the name implies, the concept is based on clustering and
hi... / is applied to the design of a microkernel-based operating system called br for Scalable Multiprocessor Operating System Design Ron Unrau Orran
16 Operating-System Support for Distributed Multimedia - Mullender (1994)(Correct)
Multimedia applications place new demands upon processors, networks and operating systems.
While some network designers, through ATM for example, have considered revolutionary
approaches to supporting... / support in Pegasus consists of a microkernel named Neme- Systems br Operating-System Support for Distributed
16 Kernel Structuring for Object-Oriented Operating Systems: The Apertos .. - Yasuhiko Yokote (1993)(Correct)
This paper addresses the issues faced when constructing an operating system and its
kernel with object-oriented technology. We first propose object/metaobject separation, a
means of constructing an ob... / a new technology that goes beyond microkernel and object-oriented br for Object-Oriented Operating Systems The Apertos Approach
15 Kernel Support for the Wisconsin Wind Tunnel - Steven Reinhardt (1993)(Correct)
This paper describes a kernel interface that provides an untrusted user-level process (an
executive) with protected access to memory management functions, including the ability to
create, manipulate,... / of Second USENIX Symposium on Microkernels and Other Kernel br act as a multiprogrammed operating system exporting an alternative
14 A Fast and General Implementation of Mach IPC in a Network - Menze (1993)(Correct)
This paper describes an implementation of the Mach IPC abstraction on a network.
Our implementation, called Mach NetIPC, is done in the context of the x-kernel, which
provides a networking subsystem f... / to implement in the microkernel of a single machine extending br abstraction of the Mach operating system. It supports a rich
14 VINO: An Integrated Platform for Operating System and Database.. - Small, Seltzer (1994)(Correct)
In 1981, Stonebraker wrote: Operating system services in many existing systems are either too slow or inappropriate. Current DBMSs usually provide their own and make little or no use of those offered ... / systems have adopted the microkernel architecture ACET which br An Integrated Platform for Operating System and Database Research
14 Data Movement in Kernelized Systems - Dean, Armand (1992)(Correct)
ions
The Mach 3.0 Microkernel and the CHORUS Nucleus supply a similar set of abstractions for building
systems servers [10, 17]. Unfortunately, for historical reasons, the two systems often use diffe... / monolithic systems. . Microkernel Abstractions The Mach . br A recent trend in operating system research has been towards
14 A Continuous Media Application supporting Dynamic QOS Control on.. - Tatsuo Nakajima (1994)(Correct)
A QOS control is one of the most important factors in continuous media applications.
The QOS levels of the applications should be maintained even if several
continuous media applications are running c... / Real-Time Mach is a realtime microkernel which is being developed in br current operating systems are facing many problems in
13 Providing Policy Control Over Object Operations in a Mach Based System - Minear (1995)(Correct)
In both secure and safety-critical systems it
is desirable to have a very clear relationship
between the system's mandatory security policy
and its proven operational semantics. This
relationship is m... / systems built on a microkernel provide a structure which br the building blocks on which operating systems like Unix flR and
13 A Study of Dynamic Optimization Techniques: Lessons and Directions in .. - Pu, Walpole (1993)(Correct)
The Synthesis kernel [21, 22, 23, 27, 28] showed that dynamic code generation, software feedback,
and fine-grain modular kernel organization are useful implementation techniques for improving the
perf... / exacerbated by the trend towards microkernel-based operating systems. Such br improving the performance of operating system kernels. In addition and
13 Fast Concurrent Dynamic Linking for an Adaptive Operating System - Crispin Cowan (1996)(Correct)
The need for customizable and application-specific operating
systems has been recognized for many years. A customizable
operating system is one that can adapt to some
particular circumstance to gain s... / or performance benefits. Microkernels have attempted to address this br Linking for an Adaptive Operating System Crispin Cowan Tito
13 A brief survey of systems providing process or object migration.. - Nuttall (1994)(Correct)
Migration is the movement of an active entity from one machine to another during execution. Such
migration may be used for dynamic load balancing purposes with the aim of gaining increased performance... / Task migration over two modern microkernel-based operating systems is br facilities As published in Operating Systems Review October Volume
13 Survey of Systems Providing Process or Object Migration - Nuttall (1996)(Correct)
This report details a survey of systems providing process or object migration. After an introduction to the topic a number of systems are covered in detail. Four chapters deal with systems providing m... / kernels migration over modern microkernel based operating systems and br over modern microkernel based operating systems and finally those providing
13 Portable RK: A Portable Resource Kernel for Guaranteed and Enforced.. - Oikawa, Rajkumar (1999)(Correct)
Portable RK is a portable implementation of a resource kernel, a resource-centric approach to build a real-time kernel
that provides explicit timely, guaranteed and enforced access by applications to ... / tightly coupled with the microkernel. Portable RK is by contrast br to work with widely available operating systems with minimal changes. This
13 Dyad: A System for Using Physically Secure Coprocessors - Tygar, Yee (1991)(Correct)
The Dyad project at Carnegie Mellon University is using physically secure
coprocessors to achieve new protocols and systems addressing a number of
perplexing security problems. These coprocessors can ... / programs on the hard disks. Operating system software could be modified
12 Integrated Management of Priority Inversion in Real-Time Mach - Tatsuo Nakajima (1993)(Correct)
Synchronization and communication are two common
sources of priority inversion which may make the behavior
of systems unpredictable and unanalyzable. In
microkernel-based systems, they are heavily use... / and unanalyzable. In microkernel-based systems they are heavily br are heavily used for building operating system servers and decomposing
12 The Pebble Component-Based Operating System - Eran Gabber (1999)(Correct)
Pebble is a new operating system designed with the
goals of flexibility, safety, and performance. Its architecture
combines a set of features heretofore not found in a
single system, including (a) a m... / general structure as classical microkernel operating systems such as Mach br The Pebble Component-Based Operating System Eran Gabber Christopher
11 The Amoeba Distributed Operating System - A Status Report - Tanenbaum, Kaashoek, van Renesse, Bal (1991)(Correct)
As the price of CPU chips continues to fall rapidly, it will soon be economically
feasible to build computer systems containing a large number of processors. The question
of how this computing power s... / Amoeba itself starting with the microkernel. Since much of the traditional br The Amoeba Distributed Operating System-A Status Report Andrew
11 The File System Belongs in the Kernel - Welch (1991)(Correct)
This paper argues that a shared, distributed name space and I/O interface should be implemented
inside the operating system kernel. The grounding for the argument is a comparison between the
Sprite ne... / operating system and the Mach microkernel. Sprite optimizes the common br be implemented inside the operating system kernel. The grounding for the
11 MYOAN: an Implementation of the KOAN Shared Virtual Memory on the.. - Cabillic, Priol, Puaut (1994)(Correct)
KOAN is a shared virtual memory (SVM) system initially designed and
implemented for the Intel iPSC/2 supercomputer. The main features of KOAN are its
support for both strong and relaxed consistency.... / al. is made of the Mach . microkernel and a server implementing Unix br or other I O connections. The operating system running on each node makes
11 EROS: a fast capability system - Shapiro, Smith, Farber (1999)(Correct)
EROS is a capability-based operating system for commodity processors which uses a single level storage model. The single level store's persistence is transparent to applications. The performance conse... / EROS is a capability-based microkernel with a single-level storage br th ACM Symposium on Operating Systems Principles SOSP '
11 Devices in a Multi-Service Operating System - Barham (1996)(Correct)
le application-specific use of I/O devices.
The architecture is applied to several representative classes of device including
network interfaces, network connected peripherals, disk drives and frames... / . . Microkernel-Based Operating Systems br Devices in a Multi-Service Operating System Paul Ronald Barham
11 Toward Real Microkernels - Liedtke (1996)(Correct)
IPC),
and basic scheduling. All servers---even device drivers
---run in user mode and are treated exactly like
any other application by the kernel. Since each server
has its own address space, all th... / Of The Acm T He Microkernel Story Is Full Of Good Ideas And br be a basis for all types of operating systems including timesharing
10 Implementation and Performance of the Mungi Single-Address-Space.. - Heiser, Elphinstone, Vochteloo.. (1997)(Correct)
Single-address-space operating systems (SASOS) are an attractive model for making the
best use of the wide address space provided by the latest generations of microprocessors.
SASOS remove the address... / on our implementation of the L microkernel. Mungi is shown to outperform a br Mungi Single-Address-Space Operating System Gernot Heiser Kevin
10 Persistence in the Spring System - Sanjay Radia (1993)(Correct)
The Spring
1
system does not provide persistent object
identifiers and not all Spring objects are persistent.
Instead, we rely on a general name service and persistent
name-to-object bindings to sup... / door is implemented by the Spring microkernel is valid for a particular br a distributed object-oriented operating system in which all resources and
10 Porting UNIX to Windows NT - Korn (1997)(Correct)
The Software Engineering Research department at
Murray Hill writes and distributes several widely
used development tools and reusable libraries that are
portable across virtually all UNIX platforms.
... / the ground up built around a microkernel that is similar to Mach. br the Windows NT and Windows operating system. The goal was to build an
9 PACA: a Cooperative File System Cache for Parallel Machines - Toni Cortes (1996)(Correct)
A new cooperative caching mechanism,
PACA, along with a caching algorithm, LRUInterleaved,
and an aggressive prefetching algorithm,
Full-File-On-Open, are presented.
The caching algorithm is especiall... / to parallel machines running a microkernel-based operating system. It br running a microkernel-based operating system. It avoids the cache
9 Implementing a QoS Controlled ATM Based Communications System in.. - Philippe Robin (1994)(Correct)
In this paper we describe the design of a QoS driven communications stack in a microkernel
operating system environment. The paper focuses on resource management aspects
of the design and in particula... / driven communications stack in a microkernel operating system environment. br stack in a microkernel operating system environment. The paper
9 Network Subsystem Design: A Case for an Integrated Data Path - Druschel, Abbott, Pagels, Peterson (1993)(Correct)
This paper argues that the CPU/memory data path is a potential throughput bottleneck in workstations connected to high-speed networks, and considers the implications for the design of the I/O subsyste... / way of overview Mach provides a microkernel-based OS framework and the br of high-speed networks is the operating system that runs on the workstation.
9 The System Architecture of the Heidelberg Transport System - Wolf, Herrtwich (1994)(Correct)
HeiTS, the Heidelberg Transport System, is designed for communication of continuousmedia
data. The purpose of HeiTS is the exchange of digital audio and video with quality of service
guarantees. The... / facilitates moving to a microkernel version of HeiTS. It is often br ACM Operating Systems Review Vol. No.
9 The Flux OS Toolkit: Reusable Components for OS Implementation - Bryan Ford (1997)(Correct)
To an unappreciated degree, research both in operating
systems and their programming languages has been severely
hampered by the lack of cleanly reusable code providing
mundane low-level OS infrastruc... / or servers running on top of a microkernel. While the OS Kit currently br degree research both in operating systems and their programming
9 Unix under Mach: The Lites Server - Helander (1994)(Correct)
OF THE
TECHNOLOGY MASTER'S THESIS
Author: Johannes Helander
Thesis Title: Unix under Mach -- The Lites Server
Date: December 30, 1994 Pages: 7 + 64
Department: Faculty of Information Technology C... / Unix Parallel Programming Microkernels Ii Teknillinen Korkeakoulu br in early . Keywords operating systems unix parallel programming
9 Protected Shared Libraries - A New Approach to Modularity and Sharing - Banerji, al. (1997)(Correct)
Protected Shared Libraries, or PSLs, are a new type of support for modularity that form a basis
for building flexible library-based operating system services. PSLs extend the familiar notion of
shared... / operating system kernel into a microkernel that provides a basic set of br is supported by the underlying operating system and the efficacy of that
9 Micro-kernel Support for Migration - Martin Connor Brendan (1993)(Correct)
This paper aims to show that micro-kernels are
a more suitable environment for the implementation
of process migration than conventional monolithic
kernels. This premise is illustrated with an
impleme... / of migration on top of the Chorus microkernel. We draw two additional br A number of distributed operating systems have demonstrated the
9 Highly Reliable Upgrading of Components - Jonathan Cook Jeffrey (1999)(Correct)
After a system is deployed, fixes, enhancements, and
modifications all occur that change the components that
make up the system. Unfortunately, new versions of
components can introduce new errors and ... / have been pursued in current microkernel operating systems research br in current microkernel operating systems research where components
9 The Performance Implications of Locality Information Usage in.. - Bellosa, Steckermeier (1996)(Correct)
This paper examines the performance implications of locality
information usage in thread scheduling algorithms for scalable
shared-memory multiprocessors. A prototype implementation
shows that a local... / operating system is a MACH . microkernel with a HP UX-compatible Unix br of programming languages and operating systems. Userlevel schedulers make
8 Transparent object migration in COOL2 - Amaral, Jacquemot, Jensen, Lea.. (1992)(Correct)
COOL2 is a distributed object oriented computing system which extends the traditional single address space programming model to a distributed environment. COOL2 sits on the top of the CHORUS microkern... / on the top of the CHORUS microkernel and can be used on a local br coupled processors. A COOL operating system is composed of a set of
8 Programming a Distributed System Using Shared Objects - Tanenbaum, Bal, Kaashoek (1993)(Correct)
Building the hardware for a high-performance distributed
computer system is a lot easier than building its
software. In this paper we describe a model for programming
distributed systems based on abst... / such a system based on the Amoeba microkernel and implemented a language br is message passing. The operating system provides primitives SEND and
8 An Object-Oriented Nano-Kernel for Operating System Hardware Support - Tan, Raila, Campbell (1995)(Correct)
The nano-kernel in the ¯Choices operating system
provides hardware support for the operating system.
The nano-kernel is a single, modular subsystem
that encapsulates the hardware and presents an
ideal... / that are built upon the microkernel as part of the operating br Nano-Kernel for Operating System Hardware Support See-Mong
8 HARNESS: A Next Generation Distributed Virtual Machine - Beck, Dongarra, Fagg, Geist, Gray.. (1998)(Correct)
HARNESS (Heterogeneous Adaptable Reconfigurable Networked SystemS) is an
experimental metacomputing system[22] built around the services of a highly customizable
and reconfigurable distributed virtual... / system is built on the microkernel approach Linux has plug-in br programming languages and operating systems. III Dynamics allow the
8 The Mungi Single-Address-Space Operating System - Heiser, Elphinstone, Vochteloo.. (1998)(Correct)
Single-address-space operating systems (SASOS) are an attractive model for making the best use of the wide address space provided by the latest generations of microprocessors. SASOS remove the address... / is based on our port of the L microkernel. Mungi is shown to outperform br Mungi Single-Address-Space Operating System Gernot Heiser Kevin
7 Flexibility in Object-Oriented Operating Systems: A Review - Cahill (1996)(Correct)
This report presents a review of recent research into flexible operating
systems. In this context, flexible operating systems are taken to be
those whose designs have been motivated to some degree by ... / system call and the Mach microkernel whose thread scheduling br in Object-Oriented Operating Systems A Review Vinny Cahill
7 Distributed Virtual Machines: A System Architecture for Network.. - Emin Sirer (1998)(Correct)
Modern virtual machines, such as Java and Inferno, are emerging as network computing
platforms. While today's virtual machines provide higher-level abstractions and more
sophisticated services than th... / monolithic operating systems into microkernel-based operating system servers br to decompose monolithic operating systems into microkernel-based
7 The Amoeba Distributed Operating System - Tanenbaum, Sharp (1992)(Correct)
INTRODUCTION
Roughly speaking, we can divide the history of modern computing into the
following eras:
d 1970s: Timesharing (1 computer with many users)
d 1980s: Personal computing (1 computer per u... / of its characteristics. . . Microkernel Server Architecture Amoeba br The Amoeba Distributed Operating System Andrew S. Tanenbaum
7 Object Oriented Transaction Processing in the KeyKOS Microkernel - Frantz, Landau (1993)(Correct)
Three major technological directions in computer technology are transaction processing, object
orientation, and microkernel operating systems. The KeyKOS operating system and the KeyTXF
transaction pr... / Processing in the KeyKOS Microkernel William S. Frantz Charles R. br orientation and microkernel operating systems. The KeyKOS operating system
7 SCONE: Using Concurrent Objects for Low-level Operating System.. - Itoh, Yokote, Tokoro (1995)(Correct)
This paper proposes a methodology for making low-level system code of operating systems be
replaceable at runtime. Our approach is to use concurrent objects as a basic programming unit
for low-level s... / low-level system code in the microkernel and they have not realized br Objects for Low-level Operating System Programming Jun-ichiro
7 Compiling for a 64-Bit Single Address Space Architecture - Tim Wilkinson (1993)(Correct)
This paper examines techniques to enable standard UNIX applications
to be executed on a new single address space operating system, Angel.
This is achieved using advanced compiler techniques which all... / experience with a message passing microkernel Meshix. We found such a UNIX br on a new single address space operating system Angel. This is achieved
7 A Resource-Centric Approach To Multimedia Operating Systems - Oikawa (1996)(Correct)
this
paper that multimedia operating systems must provide a rich set of resource-centric primitives
and abstractions that enable applications to specify, monitor and control their resource usage and
t... / bandwidth distinctions. The microkernel-based run-time system must br Approach To Multimedia Operating Systems Shuichi Oikawa Ragunathan
7 Towards a Scalable Kernel Architecture - Cordsen, Schröder-Preikschat (1992)(Correct)
The paper starts with an examination of the notion scalability. Afterwards it
discusses scalability issues in state oLthe art kernel architectures, i.e., microkernels.
It motivates the program family ... / art kernel architectures i.e.microkernels. It motivates the program br of state oC the art operating systems i.e.microkernel
7 Memory Behavior of an X11 Window System - Bradley Chen (1994)(Correct)
We used memory reference traces from a DEC Ultrix system running the X11 window system from MIT Project
Athena and several freely available X11 applications to measure different aspects of memory syst... / the X server and the operating system with significant activity
6 Scalable Memory Management through Hierarchical Symmetric.. - Unrau (1993)(Correct)
This dissertation examines scalability issues in the design of operating systems for largescale, shared-memory multiprocessors. In particular, the thesis focuses on structuring issues as they relate t... / is based on a message-passing microkernel similar in concept to the V br issues in the design of operating systems for largescale
6 Protected Shared Libraries - Banerji, Cohn (1994)(Correct)
Protected shared libraries are a new mechanism for building fast user-level
operating system services. They retain the isolation properties of other userlevel
implementation approaches with improved p... / approach can be used with either microkernel-based or monolithic operating br for building fast user-level operating system services. They retain the
6 Managing Contention and Timing Constraints in a Real-Time Database.. - Matthew Lehr (1995)(Correct)
Previous work in real-time database management
systems (RT-DBMS) has primarily based on simulation.
This paper discusses how current real-time technology
has been applied to architect an actual RTDBMS... / an actual RTDBMS on a real-time microkernel operating system. A real br on a real-time microkernel operating system. A real RT-DBMS must
6 Implementing a modular object oriented operating system on top of.. - Paulo Amaral (1992)(Correct)
Building distributed operating systems benefits from the micro-kernel approach by
allowing better support for modularization. However, we believe that that we need to
take this support a step further.... / performance of a highly mature microkernel. The COOL-base provides br a modular object oriented operating system on top of CHORUS Paulo
6 Techniques for the Design of Java Operating Systems - Back, Tullmann, Stoller, Hsieh.. (2000)(Correct)
Language-basedextensible systems, such as Java Virtual
Machines and SPIN, use type safety to provide memory
safety in a single address space. By using software
to provide safety, they can support more... / and the J-Kernel resembles a microkernel-based system. We compare how br for the Design of Java Operating Systems Godmar Back Patrick
5 Escort: A Path-Based OS Security Architecture - Spatscheck (1997)(Correct)
Escort is the security architecture for Scout, a configurable operating system designed for network appliances. Scout is unique in that it is designed around paths---a communication-centric abstractio... / on a very coarse-grain level. Microkernel-based systems like Mach br for Scout a configurable operating system designed for network
5 The Design and Implementation of a RAID-3 Multimedia File Server - Alan Chaney (1995)(Correct)
The Olivetti Research Laboratory has developed an experimental system
based on intelligent peripherals connected directly to an ATM network. As
well as multimedia modules (e.g. audio and video) the sy... / low-level software consists of a microkernel called ATMos which provides br . MacAuley D. R.Operating System Support for the Desk Area
5 Formal Methods: A Practical Tool for OS Implementors - Patrick Tullmann (1997)(Correct)
The formalmethods community has long known aboutthe
need to formally analyze concurrent software, but the OS
community has been slow to adopt such methods. The foremost
reasons for this are the cultur... / the implementation of the Fluke microkernel's IPC subsystem a major br and the intractable size of operating systems. In this paper we show
5 The Impact of Software Structure and Policy on CPU and Memory System.. - Bradley Chen (1994)(Correct)
Operating systems, when compared to application programs, have received disappointingly
little benefit from the performance improvements of the most recent generation of
microprocessors. This thesis u... / performance differences between microkernel and monolithic implementations br Government. Keywords operating systems memory systems
5 Communication in GLOBE: An Object-Based Worldwide Operating System - Homburg, van Steen, Tanenbaum (1996)(Correct)
Current paradigms for interprocess communication are not
sufficient to describe the exchange of information at an
adequate level of abstraction. They are either too lowlevel,
or their implementations ... / do the servers in many modern microkernel-based operating systems br An Object-Based Worldwide Operating System Philip Homburg Maarten
5 Vote for Peace: Implementation and Performance of a Parallel.. - Jörg Cordsen, Thomas Garnatz.. (1997)(Correct)
ion from the physical network interface is handled
by the cluster bus (CLUB). (This terminology comes
from the Suprenum architecture, where a cluster bus
interconnected up to 20 nodes to build a cl... / of Choices we did not use a microkernel as the minimal basis for a br Performance of a Parallel Operating System Jrg Cordsen GMD First
5 DROPS - OS Support for Distributed Multimedia Applications - Härtig, Baumgartl, Borriss, Hamann.. (1998)(Correct)
The characterising new requirement for distributed multimedia
applications is the coexistence of dynamic real-time and
non-real-time applications on hosts and networks. While
some networks (e.g., ATM)... / based on virtual machines or microkernels. It runs a time-sharing br not. DROPS Dresden Real-time OPerating System is being built to remedy
5 An Architecture For A Power-Aware Distributed Microsensor Node - Rex Min Manish (2000)(Correct)
Networks of distributed microsensors are emerging as a compelling
solution for a wide range of data gathering applications. Perhaps the most
substantial challenge facing designers of small but long-li... / is an adaptation of the eCOS microkernel that has been customized to br Volts. Microprocessor And Operating System. A Strongarm Sa-
5 The Horus System - Robbert Van Renesse (1993)(Correct)
Although group communication systems have become popular, software
support for such computing remains complex and poorly integrated
with modern operating systems structures. We describe the Horus sy... / the Horus system which brings microkernel design techniques to bear on br poorly integrated with modern operating systems structures. We describe the
4 Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994)(Correct)
It has been amply demonstrated in recent years that careful attention to the structure of systems
software can lead to greater flexibility, reliability, and ease of implementation, without incurring
a... / systems include the microkernel architecture of the Mach . br architecture of the Mach . operating system and the modular layered
4 Supporting Co-Resident Operating Systems - Gregory Bollella (1995)(Correct)
Distributed multimedia applications are typical
of a new class of workstation applications that require realtime
communication and computation services to be effective.
Unfortunately, there remains ... / executive that allows the IBM Microkernel a derivative of the Mach br Within General Purpose Operating Systems Supporting Co-Resident
4 Software Methods for System Address Tracing: Implementation and.. - Bradley Chen (1994)(Correct)
Systems for recording address traces of operating system activity have frequently relied on special-purpose
hardware and microcode modifications for data collection [1, 2, 11, 10, 32, 30]. In the last... / of Carnegie Mellon's Mach . microkernel MK and UNIX server UX br recording address traces of operating system activity have frequently
4 The Spring File System - Nelson, Khalidi, Madany (1993)(Correct)
The Spring File System supports cache coherent file data and attributes. It uses the virtual memory system to
provide data caching and uses the operations provided by the virtual memory system to k... / With the recent advent of microkernel systems e.g.Mach and br D. Software Operating Systems D. . Storage management
4 Protection is a Software Issue - Bershad, Savage, Pardyak, Becker.. (1995)(Correct)
moters of these systems imply
that their reliability and integrity derive solely from
the use of a core set of protected hardware mechanisms,
such as address spaces and protected supervisor
mode [Cust... / years we've heard tales of how microkernels are more reliable than br misconception in much of the operating systems community that hardware
4 Linux Device Driver Emulation in Mach - Shantanu Goel (1996)(Correct)
We describe the design and performance of code
added to the Mach microkernel (Mach 4.0, version
UK02p21) that permits one to build a Mach kernel
that includes unmodified Linux device drivers. We
have ... / of code added to the Mach microkernel Mach . version UK p br compared to more popular operating systems. Furthermore many of these
4 Object Properties in the Raven System - Finkelstein, Acton, Coatta.. (1994)(Correct)
Raven consists of an object-oriented programming language and a runtime system that supports distributed
and multiprocessor computing. This paper describes the motivation behind the design of the obje... / of Washington in Seattle. A microkernel running on multiprocessor br used it also embodies the operating system services used by applications
4 Evolution of the CHORUS Open Microkernel Architecture: The STREAM.. - Michel Gien (1995)(Correct)
The CHORUS open microkernel technology is being
extended to address the specific needs of real-time
embedded systems. This effort results from a concerted
action between telecommunication systems manu... / Evolution of the CHORUS Open Microkernel Architecture The STREAM br a fully scaleable open operating system as required by modern
4 The Newton Operating System - Welland, Seitz, Wang, Dyer.. (1994)(Correct)
The Newton MessagePad Personal Digital Assistant
(PDA) is the first in a class of devices distinguished by
their pen-based user interface, communications capability,
small size, and low cost. A PDA op... / exist as objects in the microkernel. Kernel objects are managed br IEEE The Newton Operating System Robert WellandGreg
4 PACA: A Distributed File System Cache for Parallel Machines.. - Cortes, Girona, Labarta (1995)(Correct)
Parallel computers have a great computing
power while I/O performance is far behind
and it is, very often, the machine bottleneck.
In this paper we tackle this problem presenting
PACA, a cache directe... / for the PAROS operating system microkernel LABA LABA This target br cache prototype for the PAROS operating system microkernel
4 MPP Parallel Haskell - Davis (1996)(Correct)
MPP Haskell is a parallel implementation of the Haskell
functional language for the Thinking Machines Inc. CM-5 large-scale
distributed-memory multiprocessor. MPP Haskell is a derivative of GUM,
... / while each PE runs a so-called microkernel that provides a very small br does not run a GUMsupported operating system or a GUM-required GNU C gcc
4 High-Capacity Internet Middleware: Internet Caching System.. - Tomlinson, Major, Lee (1999)(Correct)
Previous studies measuring the performance of general-purpose
operating systems running large-scale Internet server applications,
such as proxy caches, have identified design deficiencies that
contri... / these deficiencies. Our microkernel provides the execution br of general-purpose operating systems running large-scale Internet
4 The Persistent Relevance of the Local Operating System to Global.. - Lepreau (1996)(Correct)
The growth and popularity of loosely-coupled distributed systems such as the World Wide Web and the touting of
Java-based systems as the solution to the issues of software maintenance, flexibility, an... / operations exported by our Fluke microkernel and a set of higher-level br Relevance of the Local Operating System to Global Applications
4 EMERALDS: a small-memory real-time microkernel - Khawar Zuberi Padmanabhan (1999)(Correct)
EMERALDS (Extensible Microkernel for Embedded, ReALtime,
Distributed Systems) is a real-time microkernel designed
for small-memory embedded applications. These applications
must run on slow (15--25MHz... / a small-memory real-time microkernel Khawar M. Zuberi y br th ACM Symposium on Operating Systems Principles SOSP '
3 UNIX on a Loosely Coupled Architecture: The CHORUS/MiX Approach - Albinson, Grabas, Piovesan.. (1991)(Correct)
In the CHORUS/MiX
R fl
distributed operating system architecture the microkernel provides
system servers with generic services which are independent of a particular operating
system; these services ... / operating system architecture the microkernel provides system servers with br R fl distributed operating system architecture the microkernel
3 Matching Micro-Kernels to Modern Applications using Fine-Grained.. - Ciaran Bryce (1995)(Correct)
This paper argues that customization
support is one aspect of fine-grained protection for modules needing CPU supervisor
privilege. We describe the kernel support required for fine grained protection.... / the extension of a standard microkernel Mach . incorporating br Moreover in-built operating systemcomponents are not always able
3 A Comparison of Three Microkernels - Tanenbaum (1995)(Correct)
The future of supercomputing lies in massively parallel computers. The nodes of these machines
will need a different kind of operating system than current computers have. Many researchers
in the field... / A Comparison of Three Microkernels Andrew S. Tanenbaum Dept. br will need a different kind of operating system than current computers have.
3 Cache and TLB Effectiveness in Processing Network I/O - Pagels, Druschel, Peterson (1993)(Correct)
This paper considers the question of how effective caches are in processing network I/O. Our
analysis shows that operating system structure plays a key role in the caches behavior, with BSD
Unix (a mo... / use of the cache than Mach a microkernel OS Moreover closer br I O. Our analysis shows that operating system structure plays a key role in
3 Strands: An Efficient and Extensible Thread Management Architecture - Sirer, Pardyak, Bershad (1997)(Correct)
this paper, we describe a new architecture for thread and scheduling subsystems that provides correct, extensible and efficient thread management for applications. The strand architecture enables appl... / implementation based on the Mach microkernel required up to . br space. This allows the operating system to perform upcalls without
3 User-level Checkpointing Through Exportable Kernel State - Tullmann, Lepreau, Ford, Hibler (1996)(Correct)
Checkpointing, process migration, and similar services
need to have access not only to the memory of the constituent
processes, but also to the complete state of all kernel provided
objects (e.g., thr... / as an application on our Fluke microkernel. This microkernel consistently br re-creating the state in the operating system. We have implemented a
3 Issues in Extensible Operating Systems - Margo Seltzer (1997)(Correct)
Operating systems research has traditionally consisted of adding functionality to the operating
system or inventing and evaluating new methods for performing functions. Regardless of the research goal... / This is the approach in the microkernel architecture exemplified by br of Issues in Extensible Operating Systems Margo I. Seltzer
3 Modeling Replication and Placement in the PEACE Parallel Operating.. - Nolte, Schröder-Preikschat (1992)(Correct)
Parallel operating systems are designed to specifically support the execution
of parallel programs on parallel computer architectures. The most challenging
architectures are those which are based on d... / operating system relying on the microkernel approach. Lessons learned from br in the Peace Parallel Operating System A Case for Dual Objects
3 The Design of the Schizophrenic Workstation System - Swanson, Stoller, Critchlow, Kessler (1993)(Correct)
A cycle-harvesting distributed operating system is described. Building upon current kernelized operating
system technology, it promises to utilize spare workstation resources for large, long-running
a... / multiple-personality potential of microkernel-based operating systems. br A cycle-harvesting distributed operating system is described. Building upon
3 Soul: an object-oriented OS framework for object support - Shapiro (1991)(Correct)
Soul is an object-oriented framework for object support, on which specific object-support operating systems (called "subsystems") such as SOS, Comandos, or Cool, can be built and coexist. The Soul fra... / a Nucleus object-oriented microkernel and a Generic Run-Time GRT br which specific object-support operating systems called subsystems such
3 Experimental Evaluation of the Hewlett-Packard Exemplar File-system - Rajesh Bordawekar (1997)(Correct)
In this article we present results from an experimental
evaluation study of the HP Exemplar file system. Our
experiments consist of simple micro-benchmarks that study
the impact of various factors on ... / file system is built on the microkernel-based SPP-UX operating system. br the microkernel-based SPP-UX operating system. Each hypernode has a
3 The Network Hardware Is the Operating System - Ballesteros, Fernandez (1997)(Correct)
To build a distributed operating system the microkernel
approach is the most popular. To build
an adaptable operating system a minimal microkernel
is preferred. But for an adaptable and flexible
distr... / distributed operating system the microkernel approach is the most popular. br The Network Hardware Is the Operating System Francisco J. Ballesteros
3 Using the Mach Communication Primitives in X11 - Michael Ginsberg (1993)(Correct)
We have modified the X11 windowing system to use the native communication facilities
of the Mach 3.0 microkernel. Our new implementation can rely on Mach's lowoverhead
IPC facility as a direct replace... / facilities of the Mach . microkernel. Our new implementation can br Mach is a microkernel-based operating system that provides complete .
3 Avoiding the Cache Coherence Problem in a Parallel/Distributed File.. - Toni Cortes (1997)(Correct)
In this paper we present PAFS, a new parallel/distributed file system. Within the whole
file system, special interest is placed on the caching and prefetching mechanisms. We present
a cooperative cach... / for the PAROS operating system microkernel This target platform br network runs a micro-kernel operating system and all services are handled
3 Soft Real Time Scheduling for General Purpose Client-Server Systems - Ingram (1999)(Correct)
This paper considers the problem of scheduling Real
Time applications on a general-purpose Operating System.
The approach taken is to modify a mainstream system, in
order to realize the benefits of Re... / is no support for QOS. They have microkernel architectures to ensure a high br on a general-purpose Operating System. The approach taken is to
3 Towards Generating Customized Run-time Platforms from Generic.. - Baum (1999)(Correct)
Embedded systems require run-time platforms that are tailored for the specific
application's needs. Extending on existing technology for flexible system
software, this paper presents a generative appr... / PEACE breaks with the popular microkernel approach With the default br Full-fledged general purpose operating systems however turn up with a
3 Service without Servers - Maeda, Bershad (1993)(Correct)
We propose a new style of operating system architecture appropriate for microkernel-based operating systems:
services are implemented as a combination of shared libraries and dedicated server processe... / architecture appropriate for microkernel-based operating systems br Fourth Workshop on Workstation Operating Systems. October - .
3 Performance Measurements of the Multimedia Testbed on Real-Time Mach - Roger Dannenberg David (1994)(Correct)
Multimedia has generated widespread interest in real-time support within general purpose
operating systems. Multimedia also places new demands on operating systems for interprocess
communication. The ... / operating systems using a microkernel and OS server approach. This br within general purpose operating systems. Multimedia also places new
3 The Failure of Personalities to Generalize - Fleisch (1997)(Correct)
IBM's adoption of operating system personalities
was one of the most publicized issues in operating systems
design. The basic premise of Workplace OS work
was: 1) IBM would adopt and improve the CMU M... / and improve the CMU Mach . microkernel for use on PDAs the desktop br Abstract IBM's adoption of operating system personalities was one of the
3 A Mathematical Model of the Mach Kernel: Entities and Relations - Bevier, Smith (1994)(Correct)
Memories : : : : : : : : : : : : : : : : : : : : : : : : 18
6.3 Address Spaces : : : : : : : : : : : : : : : : : : : : : : : : : : 24
6.4 Pages : : : : : : : : : : : : : : : : : : : : : : : : : : : : ... / accurate characterization of the microkernel architecture. We believe that br Mach Ras is an operating system kernel that has been under
3 Verification of Time Partitioning in the DEOS Scheduler Kernel - Penix, Visser, Engstrom, Larson.. (2000)(Correct)
This paper describes an experiment to use the Spin model
checking system to support automated verification of time
partitioning in the Honeywell DEOS real-time scheduling
kernel. The goal of the exper... / Of Deos Deos Is A Portable Microkernel-Based Real-Time Operating br Honeywell Dynamic Enforcement Operating System DEOS is a real-time
3 Using Mobile Code to Control Native Execution of Distributed UNIX - Christian Tschudin Murhimanya (1997)(Correct)
This paper presents MOS, a hybrid mobile/native code architecture
where interpreted mobile code (messengers expressed in the
M language) is used to control the execution of native code. This resul... / code interpreters becoming microkernels. Interpreted messengers are br Mobile code messengers operating systems microkernel distributed
3 A Study of the Structure and Performance of MMU Handling Software - Khalidi, Joshi, Williams (1994)(Correct)
Modern operating systems provide a rich set of interfaces for mapping, sharing, and protecting memory. Different
memory management unit (MMU) architectures provide different mechanisms for managing... / The operating systems included microkernel as well as more traditional br Abstract Modern operating systems provide a rich set of
3 Monitoring the processing of interactive requests on distributed.. - Ashton, Penny (1995)(Correct)
Distributed systems, and systems with microkernel architectures, are becoming widely used. A consequence is that
the processing required to perform a user request is often spread over many computers, ... / systems and systems with microkernel architectures are becoming br as a single process and the operating system kernel. Monitors designed to
3 Is the Microkernel Technology well suited for the Support of.. - Balter Chevalier Freyssinet (1993)(Correct)
This paper describes our experience in the implementation of the Guide distributed objectoriented
system on top of the Mach 3.0 microkernel. While many experimental distributed
object-oriented envi... / Is the Microkernel Technology well suited for the br Support of Object-Oriented Operating Systems the Guide Experience R.
3 Cryptography: It's Not Just For Electronic Mail Anymore - Tygar, Yee (1993)(Correct)
We extend cryptographic techniques to the protection of the application of stamps
for mail. We show how to provide electronic stamps (using off-the-shelf bar
code technology to represent a cryptograph... / kernel of a muiltiprocessor operating system. Communications of the
3 The Exokernel Operating System Architecture - Engler (1998)(Correct)
On traditional operating systems only trusted software such as privileged servers or the kernel can manage resources.
This thesis proposes a new approach, the exokernel architecture, which makes resou... / in to three groups better microkernels virtual machines and br The Exokernel Operating System Architecture by Dawson
3 Design and Implementation of the UVM Virtual Memory System - Cranor (1998)(Correct)
DESIGN AND IMPLEMENTATION OF THE UVM
VIRTUAL MEMORY SYSTEM
by Charles D. Cranor
ADVISOR: Professor Gurudatta M. Parulkar
August, 1998
Saint Louis, Missouri
We introduce UVM, a new virtual memory subsy... / memory under BSD. Mach is a microkernel. This means that only the core br that provides a Unix-like operating system kernel's I O and IPC
2 COSY - An Operating System for Highly Parallel Computers - Burke, Heiß (1996)(Correct)
This paper is dedicated to Prof. Horst Wettstein on the occasion of the 25th anniversary of his appointment.
1 Motivation unknown
An Operating System for Highly Parallel Computers
Roger Butenuth, Un... / there is the approach to take microkernel-based distributed operating br COSY An Operating System for Highly Parallel Computers
2 User Level IPC and Device Management in the Raven Kernel - Ritchie, Neufeld (1993)(Correct)
The increasing bandwidth of networks and storage devices in recent years has placed
greater emphasis on the performance of low level operating system services. Data must
be delivered between hardware ... / kernel is small lightweight microkernel operating system for shared br the performance of low level operating system services. Data must be
2 Angel: Resource Unification in a 64-bit Micro-Kernel - Murray, Stiemerling, Wilkinson, Kelly (1993)(Correct)
The appearance of 64-bit processors allows a new approach to microkernel design --- a single unified address space. This paper describes this kind of approach as adopted in Angel. From our experience ... / allows a new approach to microkernel design -a single unified br based message passing operating system relatively typical in
2 Microkernels Should Support Passive Objects - Ford, Lepreau (1993)(Correct)
We believe that a passive object model, in which the
active entities or threads migrate between passive objects,
is more appropriate than an active object model,
as the basic structure of a microkerne... / Microkernels Should Support Passive Objects br of a microkernel-based operating system. A passive object model
2 Control Transfer in Operating System Kernels - Draves (1994)(Correct)
Control transfer is the fundamental activity in an operating system kernel. The resource
management functionality and application programmer interfaces of an operating system may be
delegated to other... / . . Microkernel Operating Systems br Control Transfer in Operating System Kernels Richard P. Draves
2 Execution Replay of Parallel Programs - Roos Courtrai (1993)(Correct)
Debugging MIMD programs is often a delicate job.
As a matter of fact, they can have different behaviors
in successive executions. So, cyclic debugging is not
applicable. To make it available for paral... / of CAC runtime on a microkernel Mach or Chorus br of any distributed operating system easy adaptability to
2 Messenger-Based Operating Systems - Tschudin, Di Marzo, Murhimanya, Harms (1994)(Correct)
This report proposes to employ messengers, initially developed in the context of
communication protocols, as a fundamental component of the architecture of distributed
operating systems. Current micro... / operating systems. Current microkernels offer non-local services which br No Messenger-Based Operating Systems Christian F. Tschudin
2 A Simple Open File Facility for RHODOS - Michael Hobbs (1995)(Correct)
Access to permanent secondary storage is a fundamental component of any operating
system. File access is required not only by user processes but also by the operating system itself.
The operating syst... / system developed based on the microkernel architecture. It was designed br a fundamental component of any operating system. File access is required not
2 Developing and Using a "Policy Neutral" Access Control Policy - Olawsky, Fine, Schneider, Spencer (1996)(Correct)
The foundation for security enforcement is access control. Resources
must be protected against access by unauthorized entities.
Furthermore, authorized entities must be prevented from accessing
resour... / architecture using the Mach microkernel. In this architecture the br of the Distributed Trusted Operating System DTOS program we have
2 Optimizing the Idle Task and Other MMU Tricks - Cort Dougan (1999)(Correct)
In highly cached and pipelined machines, operating system
performance, and aggregate user/system performance,
is enormously sensitive to small changes in cache and TLB
hit rates. We have implemented a... / in the development of the L microkernel. Our initial belief was that br cached and pipelined machines operating system performance and aggregate
2 The Substrate Object Model and Architecture - Arindam Banerji (1993)(Correct)
Operating system kernels are difficult to build, hard to change and a problem to adapt
to new hardware. This is particularly true when an operating system tries to simulate
a general-purpose multiproc... / effort has modified the Mach microkernel for added performance and br Abstract Operating system kernels are difficult to
2 Software Support for a Virtual Planning Room - Nutt (1995)(Correct)
Computer supported cooperative work depends on conventional personal productivity tools
and on the ability of the system to provide effective means for various members involved in the
work to interact... / nucleus of functions called a microkernel with full services being br underlying object management operating system and network interfaces such
2 A Case Study of a Hardware-ManagedTLB in a Multi-Tasking Environment - Chih-Chieh Lee (1994)(Correct)
There have been very few performance studies of hardware-managed translation look-aside buffers
(TLBs).The major reason is the lack of efficient and accurate analysis tools. Newer operating systems,
a... / as object-oriented programs microkernel operating systems and br accurate analysis tools. Newer operating systems applications and the
2 Pebble: A Component-Based Operating System for Embedded Applications - Bruno, Brustoloni, Gabber.. (1999)(Correct)
The Pebble operating system is intended to support
complex embedded applications. This is accomplished
through two key features: (1) safe extensibility, so that
the system can be constructed from untr... / to co-locate components. Microkernel systems such as Mach have in br Pebble A Component-Based Operating System for Embedded Applications
2 Linux/RK: A Portable Resource Kernel in Linux - Shuichi Oikawa (1998)(Correct)
ions
2.1.1. Reserves
A reserve represents a share of a single computing resource.
Such a resource can be CPU time, physical memory
pages, a network bandwidth, or a disk bandwidth. A certain
amount of... / tightly coupled with the microkernel. Portable RK is by contrast br A main function of an operating system kernel is to multiplex
2 The Flask Security Architecture: System Support for Diverse Security.. - Secure (1998)(Correct)
Operating systems must be flexible in their support for security policies, providing sufficient mechanisms for supporting the wide variety of real-world security policies. Such flexibility requires co... / implementation in the Flask microkernelbased operating system and the br Abstract Operating systems must be flexible in their
2 Trends in Operating Systems Towards Dynamic User-level Policy.. - Mayes (1994)(Correct)
It is possible to distinguish between policy and mechanism in operating system
design. There is a trend to move policy out of the operating system kernel and into
the user-level. This trend is describ... / this is required. In the Chorus microkernel Chorus which does br Trends in Operating Systems Towards Dynamic User-level