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.
Security Architectures Revisited - Härtig (2002)(Correct)
The knowledge in technologies needed to build secure
platforms, or Security Architectures, has significantly matured
over the recent years. These include small interface
technologies, access-control c... /
A Dataspace Manager for Physical Memory - Dussa (2002)(Correct)
This document describes dm_phys, a dataspace manager for physical random-access
memory within the experimental L4/SawMill operating system environment. unknown System Architecture Group
Faculty for C... /
The JX Operating System - Golm, Felser, Wawersich, Kleinöder (2002)(Correct)
This paper describes the architecture and performance of the JX operating system. JX is both an operating system completely written in Java and a runtime system for Java applications. unknown The JX O... / safety. JX is based on a small microkernel which is responsible for br The JX Operating System Michael Golm Meik Felser
Integrated Real-Time Resource Scheduling - Gopalan, Chiueh (2001)(Correct)
Real-time periodic applications, such as multimedia applications, that utilize multiple system resources, such as CPU, disks, and network link, require coordinated scheduling of these resources in ord... / and memory resident objects. The microkernel supports an abstraction called br algorithm used in traditional operating systems is either SCAN algorithm or
Design And Implementation Of The J-Seal2 Mobile Agent Kernel - Binder (2001)(Correct)
This paper describes the unknown
DESIGN AND IMPLEMENTATION OF
THE J-SEAL2 MOBILE AGENT KERNEL
WALTER BINDER
CoCo Software Engineering GmbH, Margaretenstr. 22/9, A-1040 Vienna, Austria
E-mail: w.... / the J-SEAL mobile agent microkernel first described in br functions as a traditional operating system kernel protection
Beyond Address Spaces - Flexibility, Performance, Protection, and.. - Golm, Kleinöder, Bellosa (2001)(Correct)
Early type-safe operating systems were hampered by poor performance. Contrary to these experiences we show that an operating system that is founded on an object-oriented, type-safe intermediate code c... / code can compete with MMUbased microkernels concerning performance while br in the Type-Safe JX Operating System Michael Golm Jrgen
The L4Ka Vision - Dannowski, Elphinstone, Liedtke.. (2001)(Correct)
Microkernels are minimal but highly flexible kernels. Both conventional and non-classical operating systems can be built on top or adapted to run on top of them. Microkernel-based architectures should... / liedtke ira.uka.de Abstract Microkernels are minimal but highly flexible br and non-classical operating systems can be built on top or
Ubiquitous Computing and the Need for a New Operating System.. - Golm, Kleinöder (2001)(Correct)
Traditional operating system architectures are not able
to cope with the demands of ubiquitous computing. These
demands include mobility of code and running applications,
precise resource control, rob... / the desired properties follows a microkernel approach and structures the br and the Need for a New Operating System Architecture Michael Golm
RTLinux with Address Spaces - Mehnert, Hohmuth, Schönberg, Härtig (2001)(Correct)
The combination of a real-time executive and an o#-the-shelf time-sharing operating system has the
potential of providing both predictability and the comfort of a large application base. To isolate t... / RTLinux API based on a real-time microkernel and a user-level Linux server. br an o the-shelf time-sharing operating system has the potential of
Extensible Operating Systems - Porwal, Manadhata (2001)(Correct)
Operating systems provide an abstract view of the underlying hardware to applications by de ning an interface between the two. Traditionally, monolithic kernels hide hardware specifications and other ... /
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
Operating System Support for Emerging Application Domains - Clarke (2000)(Correct)
Traditional operating systems are based on a design first originated some thirty
years ago. Though suitable then for supporting a limited and predetermined set of
application domains, many flaws in th... / . . The Microkernel Architecture br Operating System Support for Emerging
The SawMill Multiserver Approach - Gefflaut, Jaeger, Park, Liedtke.. (2000)(Correct)
this paper, we define the SawMill multiserver approach.
This approach consists of: (1) an architecture
upon which efficient and robust multiserver systems can
be constructed and (2) a set of protocol ... / engineering complexity. The Mach microkernel base suffered from a br Multiserver systems operating systems composed from a set of
Case study in coalgebraic specification: Memory management in the.. - Tews (2000)(Correct)
This case study applies coalgebraic specfication and verfication techniques to the Fiasco microkernel developed at Dresden University of Technology. A part of the memory management of Fiasco was specf... / Memory management in the Fiasco microkernel Hendrik Tews Inst. Theor. br commercially successful operating systems like Unix and Windows are
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-
Stub-Code Performance is Becoming Important - Haeberlen, Liedtke, Park, Reuther.. (2000)(Correct)
As IPC mechanisms become faster, stub-code efficiency becomes
a performance issue for local client/server RPCs and
inter-component communication. Inefficient and unnecessary
complex marshalling code c... / stub-code for gcc and the L microkernel. IDL is neither br a variety of custom operating systems. With the emergence of
Piglet: A Low-Intrusion Vertical Operating System - Muir, Smith (2000)(Correct)
Introduction
The primary purpose of a computer system is to run
user applications; the operating system provides a
supporting infrastructure for applications but does
not directly carry out user task... / of IPC e.g.the L and L microkernels Liedtke Hartig Spring br A Low-Intrusion Vertical Operating System Steve Muir Jonathan Smith
Syllabus For ASCI-500 Operating Systems Spring 2000 - Maniatty (2000)(Correct)
u cannot allocate about 20 hours a week to work
on this class, you will have difficulty.
1
3 Some Additional Resources
Some good books for alternative information include:
ffl Overviews: Stallings... / MVS VM Unix Linux and Microkernel systems. Particular emphasis br Syllabus For ASCI- Operating Systems Spring Instructor
Transparent Orthogonal Checkpointing Through User-Level Pagers - Skoglund, Ceelen, Liedtke (2000)(Correct)
Orthogonal persistence opens up the possibility for a number
of applications. We present an approach for easily enabling transparent
orthogonal persistence, basically on top of a modern -kernel. No... / checkpoints on top of a microkernel i.e.a through user-level br leave the checkpointing to the operating system. In this paper we
Operating Systems for Safety-Critical Applications - By Dr Yinong (2000)(Correct)
This article discusses issues related to the computer software and operating systems
in safety-critical systems. unknown Elektron: the Journal of the South African Institute of the Electrical Engineer... / came up with a solution using the microkernel technology. The latest br Engineers Jan. . Operating Systems for Safety-Critical
The USC Autonomous Flying Vehicle (AFV) Project: Year 2000 Status - Montgomery (2000)(Correct)
this document. The BIT and health checks software has not yet been
implemented. The vision processing software runs on a ground-based computer but has not
yet been ported to execute onboard the AVATAR... / Posix Os With A Small Robust Microkernel Ideal For Embedded Systems. The br contains both the realtime operating system RTOS and flight software.
Flexible Application Design Using VR Juggler - Christopher (2000)(Correct)
Introduction Designers of virtual reality (VR) applications need tools to effectively develop applications that meet the constraints of virtual environments. Many current tools have limited flexibilit... / VR Juggler's center is a portable microkernel a minimal core that br The microkernel builds on an operating system abstraction layer that hides
Integrated Quality of Service Management - Ingram (2000)(Correct)
General purpose operating systems need integrated real time scheduling. It has recently become standard practice to run soft real time applications, such as multimedia and games programs, on general p... / . . . Microkernel . br Abstract General purpose operating systems need integrated real time
Virtual Memory In A 64-Bit Microkernel - Elphinstone (1999)(Correct)
Virtual memory is a feature of most operating systems. It presents a level of indirection
between the addresses that an application views, and the physical memory
addresses used by the hardware. The b... / Virtual Memory In A -Bit Microkernel A Dissertation Submitted To br memory is a feature of most operating systems. It presents a level of
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 '
Highly Reliable Upgrading of Components - Cook, Dage (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 ... /
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 '
Operating Systems - Denning, Hunt, Tichy (1999)(Correct)
Introduction Early operating systems were control programs a few thousand bytes long that scheduled jobs, drove peripheral devices, and kept track of system usage for billing purposes. Modern operatin... / allocation a nightmare. The microkernel architecture to be discussed br Operating Systems Peter J. Denning James
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
DUNES: A Performance-Oriented System Support Environment for.. - John Cruz (1999)(Correct)
With the proliferation of workstation clusters connected
by high-speed networks, providing efficient system
support for concurrent applications engaging in
nontrivial interaction has become an importa... / interface to kernel services. The microkernel approach to operating system br architecture endows commodity operating systems with distributed operating
Dynamic Memory Model Reconfiguration in DEIMOS - Clarke, Coulson (1999)(Correct)
Operating system design has traditionally followed a philosophy in which the system is structured as a fixed set
of abstractions and mechanisms. This approach, however, is now showing its limitations ... / include the latest Chorus microkernel b i.v'o oo dhq br Abstract Operating system design has traditionally
Zero-Copy Data Movement Mechanisms for UVM - Cranor, Parulkar (1999)(Correct)
We introduce UVM, a new virtual memory system specifically
designed to provide the I/O and IPC systems with
a range of flexible data movement mechanisms. Implemented
in the NetBSD operating system, UV... / management and IPC in the Mach microkernel developed at Carnegie Mellon br Implemented in the NetBSD operating system UVM completely replaces the
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
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
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
Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser, Liedtke (1999)(Correct)
Most modern wide-address computer architecture do not prescribe a
page table format, but instead feature a software-loaded TLB, which gives the
operating system complete flexibility in the impleme... / particularly systems based on microkernels. We have implemented a number br TLB which gives the operating system complete flexibility in the
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
Cooperative Scheduling of Multiple Resources - Saowanee Saewong And (1999)(Correct)
Obtaining simultaneous and timely access to multiple resources
is known to be an NP-complete problem [10]. Complete
resource decoupling is, therefore, often used for managing
end-to-end delays in dist... / of RT-Mach RT-Mach is a microkernel operating system which employs br RT-Mach is a microkernel operating system which employs separately
A Survey of Cooperative Caching - Raunak (1999)(Correct)
The last decade has seen a super-exponential growth of the World Wide Web. The
demand of bandwidth has been consistently increasing faster than the resource. Researchers
have looked for alternative ... / optimized disk I O and dedicated microkernel operating system. This survey br I O and dedicated microkernel operating system. This survey is going to
An extensible virtual machine architecture - Harris (1999)(Correct)
In this paper I present a new approach to designing virtual machines. I argue that the monolithic structure of existing
systems leads to unnecessarily rigid high-level abstractions being imposed on ap... / The approach taken in Microkernel designs is to move sections of br Recent work in the operating systems and programming languages
An highly-configurable, modular system architecture for mobility.. - Baillarguet, Piumarta (1999)(Correct)
Current systems and architectures in the domains of distributed and embedded computing are complex, respond badly to many application needs, and are not easily specialisable to better support a given ... / might be provided by a local microkernel or implemented directly on top br critical characteristics of operating systems Cah At the same time
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
Integrating PDAs into Distributed Systems: 2K and PalmORB - Román, Singhai, Carvalho.. (1999)(Correct)
In this paper we describe an application model for seamless
mobile data access using handheld devices and wireless links. We go beyond
the current model in which handhelds are used as smart organize... / on the design of a customized microkernel called O K is based br environments based on the K operating system. Thus instead of using PDAs
Providing Quality of Service Guarantees to Networked Applications.. - Voigt (1999)(Correct)
As the Internet grows, more and more applications are being networked. In
this thesis, we use the Nemesis operating system to provide networked applications
with service guarantees from both the net... / . . Microkernels . br Applications Using the Nemesis Operating System Thiemo Voigt October
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
Cooperating Resource Managers - Härtig, Reuther, Wolter, Borriss.. (1999)(Correct)
Operating System designers currently face two major challenges. One is the coexistence of time-sharing and dynamic real-time components on a single machine and even in the same application. The other ... / CPU Main Memory Caches Microkernel RT Filesystem SCSI Driver br Abstract Operating System designers currently face two
Enabling Deadline Scheduling for Java Real-Time Computing - Lizzi (1999)(Correct)
We present a scheduling architecture that enables the implementation
of deadline-based scheduling policies. The
architecture is used to give real-time capabilities to a custom
Java virtual machine. Th... / implementation in the ChorusOS microkernel and its use by the Java br distributed real-time operating system. Its kernel scheduler does
Characterizing the Parallel Execution Behavior of some SPLASH-2.. - Artiaga, Serra, Navarro (1999)(Correct)
In order to evaluate the benefits of parallel systems, it is necessary to
know how real parallel programs behave. The SPLASH-2 applications provide us
with a realistic workload for such systems. W... / of parallel systems. KEYWORDS Microkernel multithreaded shared-memory br Unix and microkernel operating system interfaces such as OSF
L4 User Manual - Au, Heiser (1999)(Correct)
This document is a user manual for the L4 -kernel. It gives an introduction to the main concepts and
features of L4, and explains their use by a number of examples. The manual is generally platform
in... / L is an operating system microkernel kernel That is L by br notes for a course on Advanced Operating Systems given by Gernot Heiser at
Using the OSKit as a base for L4 applications - Hohmuth (1999)(Correct)
not only offers help, it
contains complete solutions for many problems. However,
the OSKit didn't seem to be easily accessible: Dozens of
megabytes of source code and 500+ pages of documentation
seeme... / bugs in Rmgr and the Fiasco microkernel's Sigma . . . Memory-mapped br for the construction of operating-system kernels servers and other
Cv - Fleisch (1999)(Correct)
COMPCON Spring 1988, San Francisco, CA, pp 182-184, Feb-Mar 1988.
B.D. Fleisch, "Distributed Shared Memory in a Loosely Distributed System", Proceedings SIGCOMM '87 -
Workshop on Frontiers in Compu... / Fleisch Mark Allan Co Workplace Microkernel and OS A Case Study Software br Sabbatical Visitor Operating Systems Research Department
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
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
Towards Performance-Driven System Support for Distributed Computing.. - Cruz, Park (1998)(Correct)
With the proliferation of networked distributed resources and the prevalence of workstation
clusters as a dominant computing platform, providing adequate system support for distributed
computing, incl... / other predefined services. The microkernel approach to operating system br features-allows commodity operating systems to be easily transformed
Realizing Services for Guaranteed-QoS Communication on a Microkernel.. - Mehra (1998)(Correct)
Provision of end-to-end QoS guarantees on communication necessitates appropriate support in the
end systems (i.e., hosts) and network routers that form the communication fabric. Typically, the
support... / Communication on a Microkernel Operating System Ashish br on a Microkernel Operating System Ashish Mehra y
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
Design, Implementation and Performance of Protection in the Mungi.. - Vochteloo (1998)(Correct)
Traditional operating system rely on separate address-spaces for protection. The advent
of 64-bit architectures has allowed the construction of operating systems that have a single,
shared address spa... / on top of the L Lie microkernel. The L microkernel was chosen br Mungi Single Address Space Operating System A Dissertation submitted to
An Automatic Approach to Specializing System Components - Volanschi (1998)(Correct)
Introduction
Adaptability is increasingly becoming a critical feature of modern operating systems. This
feature must cope with some fundamental requirements such as:
ffl keeping up with the evolutio... / calls which are typical to any microkernel implementation Such br a critical feature of modern operating systems. This feature must cope
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
Analysis of the Security of Windows NT - Hedbom, Lindskog, al. (1998)(Correct)
This paper presents an analysis of the security in Windows NT 4.0, working
in both stand-alone and networking mode. The objective of the work was to
find out how secure this operating system actuall... / . . Microkernel objects br to find out how secure this operating system actually is. A technical
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
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
An Architecture for Dynamically Extensible Operating Systems - Clarke, Coulson (1998)(Correct)
Operating system design has traditionally followed a
philosophy in which the system is structured as a fixed set
of abstractions and mechanisms. This approach, however,
is now showing its limitations ... / Paradoxically the microkernel paradigm which was seen as the br for Dynamically Extensible Operating Systems Michael Clarke and Geoff
Design and Implementation of a Real-Time ATM-Based Protocol Server - Borriss, Härtig (1998)(Correct)
The DROPS (Dresden Real-Time OPerating System)
project aims at the support of coexisting real-time
and time-sharing applications. In a kernel environment,
a number of dedicated real-time servers|each... / FS L Linux Server L Microkernel Resource Management Figure br Computer Science Department Operating Systems Group Phone
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
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
Background Analysis and Design of ABOS, an Agent-Based Operating.. - Svahnberg (1998)(Correct)
Modern operating systems should be extensible and flexible. This means that the operating system
should be able to accept new behaviour and change existing behaviour without too much trouble
and tha... / kernel while still using a microkernel design and object-oriented br of ABOS an Agent-Based Operating System Author Mikael Svahnberg
The Fiasco Kernel: Requirements Definition - Hohmuth (1998)(Correct)
Fiasco is a new implementation of the L4 microkernel interface for the x86
architecture. It is intended to be a drop-in replacement for L4/x86.
Fiasco is intended to have good real-time properties, an... / is a new implementation of the L microkernel interface for the x br Dept. of Computer Science Operating Systems Group D- Dresden
Towards a Grand Unified Framework For Mobile Objects - Ballesteros, Kon, Arevelo, Campbell (1998)(Correct)
Distributed object systems (DOS) are usually implemented as middleware
which repeats and undoes a significant amount of work
performed by the underlying operating system. This introduces
overhead and ... / object systems. A flexible microkernel is responsible for securely br performed by the underlying operating system. This introduces overhead
Taming Linux - Härtig, Hohmuth, Wolter (1998)(Correct)
This paper describes the overall design, partial implementation and
brief performance evaluation of a system in which Linux and its applications run
besides real-time applications. The separation ... / this DROPS is based on the L microkernel kernel with the br processes on real-time operating systems. Another class of systems
Workplace Microkernel and OS: A Case Study - Fleisch, Co, Tan (1998)(Correct)
this report. We also present lessons that may benefit future projects with
similar goals. unknown
Workplace Microkernel and OS:
A Case Study
Brett D. Fleisch
Mark Allan A. Co
Chao Tan
April 4... / .Workplace Microkernel and OS A Case Study Brett
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
Towards Multi-server Unix Emulation on Mach: Design and.. - Raghuram (1998)(Correct)
This work is a beginning towards our efforts to build a multi-server emulation of
Unix over Mach. In this thesis, we present the design of a file server architecture
for emulating Unix file services o... / Introduction . Microkernels br Microkernels Traditionally operating systems have been designed and
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
DSPs as flexible Multimedia Accelerators - Baumgartl, Härtig (1998)(Correct)
The increase of multimedia data processing
requires immense processing power and transfer
bandwidth as well as the consideration of real-time
requirements. To reduce the CPU load the
integration of fl... / PC architectures running microkernel-based systems. Three br offers only the most basic operating system functionality. On top of it
Structuring Host Communication Software For Quality Of Service.. - Mehra (1997)(Correct)
STRUCTURING HOST COMMUNICATION SOFTWARE
FOR QUALITY OF SERVICE GUARANTEES
by
Ashish Mehra
Chair: Kang G. Shin
This dissertation addresses several issues involved in structuring communication soft... / service on a contemporary microkernel operating system using a new br . . Multimedia Real-Time Operating Systems . A
The User-Safe Device I/O Architecture - Alexander (1997)(Correct)
ion Module (DAM) . . . . . . . . . . 29
3.3 Nemesis Device Driver Examples . . . . . . . . . . . . . . . . . . 31
3.3.1 The EFS Storage Service . . . . . . . . . . . . . . . . . . 31
iii
3.3.2 Window... / exist within conventional and microkernel operating systems in the form br API provided by conventional operating systems. This dissertation presents
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
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
Nemesis, The Kernel - Overview - Reed, (eds.) (1997)(Correct)
this document.
Comments, either pointing out problems or correcting errors, will be welcomed by the editors.
Such comments should be posted to the newsgroup nemesis.misc unknown Overview
Editors: Dick... / guarantees to applications. In a microkernel environment an application is br iii Preface The Nemesis operating system has been developed at the
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
ARMADA Middleware and Communication Services - Abdelzaher, Bjorklund, Dawson, Feng, .. (1997)(Correct)
Real-time embedded systems have evolved during the past several decades from small customdesigned
digital hardware to large distributed processing systems. As these systems become more complex,
thei... / Evaluation Channels Real-Time Microkernel Figure . Overview Of Armada br and emerging standards in operating systems and communication services.
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
Design Issues of a Cooperative Cache with no Coherence Problems - Labarta (1997)(Correct)
In this paper, we examine some of the important problems observed in the design of cooperative
caches. Solutions to the coherence, load-balancing and fault-tolerance problems are
presented. These solu... / node runs a micro-kernel based operating system instead of a monolithic one. br is also the case for the file-system operations. Besides the typical
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
An Efficient Semaphore Implementation Scheme for Small-Memory.. - Khawar Zuberi (1997)(Correct)
In object-oriented programming, updates to the
state variables of objects (by the methods of the object)
have to be protected through semaphores to ensure
mutual exclusion. Semaphore operations are in... / in the EMERALDS Extensible Microkernel for Embedded ReALtime br that any real-time operating system RTOS used in these
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
Or-Parallel Prolog on a Distributed Memory Architecture - Silva, Watson (1997)(Correct)
Whilst there has been much work over the last ten years on the parallel implementation of
logic programming, the vast majority of it has been focused on shared memory multiprocessor
systems. In this p... / by adapting the Chorus Systemes microkernel. In this section we will br application writer though the operating system provides hooks that allow
A Portable Run-Time System for the SR Concurrent Programming Language - Benson, Olsson (1997)(Correct)
A run-time system is the glue between the compiler-generated code and the underlying platform.
In addition to having a significant impact on performance, run-time systems are also largely responsible
... / SR's run-time support on top of microkernel operating systems This br interface with the underlying operating system and or architecture. Often
The Inherently Distributed Adaptable Off µkernel - 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 To build a distributed operating system the microkernel approach is
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
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
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
A Generalized Computing Model of Active Networks - Alexander (1997)(Correct)
Introduction
As network connectivity grows throughout the world, the uses of the network
also grow. The current network infrastructure cannot and does not keep up with
this increase in protocols. We ... / a Core Switchlet that parallels a microkernel It would be possible br the boot process of an operating system. These are a loader that
A Real-Time Execution Performance Agent Interface to Parametrically.. - Siewert, Nutt, Humphrey (1997)(Correct)
This paper presents work-in-progress to build a
confidence-based in-kernel pipeline execution
performance interface to a fixed priority deadline
monotonic scheduler. The interface provides
performance... / being implemented in the RTMach microkernel as well as Solaris . . and br Time or WCET so that the operating system can mathematically check
Designing Meta-Interfaces For Object-Oriented Operating Systems - Horie, Pang, Manning, Shoja (1997)(Correct)
Modern multimedia applications place ever-growing performance
and flexibility demands on operating systems. Unfortunately,
many existing operating systems are inflexible;
because of their monolithic n... / such monolithic systems into microkernels and user-level components. br For Object-Oriented Operating Systems Michael Horie
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
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
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.
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
PVM on the RHODOS Distributed Operating System - Goscinski (1997)(Correct)
This report describes the design and implementation of a syntax-compatible version of the PVM parallel processing tool for the RHODOS distributed operating system. The design of the tool for RHODOS is... / operating system composed of a microkernel and kernel servers supported by br PVM on the RHODOS Distributed Operating System J. Rough A. Goscinski D.
Single System Image: Need, Approaches and Supporting HPC Systems - Rajkumar Operating (1997)(Correct)
High performance computing on proprietary
or commodity hardware is gaining wide acceptance. For
this to be practicable, it is important that systems provide
a single system image at any one (or more) ... / HPC Systems RAJKUMAR Operating Systems Group Centre for br there is no longer any need for system operators to be concerned with their
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
UWIN - UNIX for Windows - Korn (1997)(Correct)
This paper describes an effort of trying to build a UNIX interface layer on top of the Windows NT [1] and Windows 95 [2] operating system. The goal was to build an open environment rich enough to be b... / the ground up built around a microkernel that is similar to Mach. br and Windows operating system. The goal was to build an
Analysis of Several Scheduling Algorithms under the Nano-Threads.. - Xavier Martorell Jesus (1997)(Correct)
In this work we present the analysis, on a dynamic processor allocation environment, of
four scheduling algorithms running on top of the nano-threads programming model. Three of them are
well-know... / environment runs on the Mach microkernel on a Intel x based br is being ported to the IRIX operating system on the SGI R
Real-Time Parametrically Controlled In-Kernel Pipelines - Siewert, Nutt, al. (1997)(Correct)
Sam Siewert, Gary Nutt, and Marty Humphrey*
Department of Computer Science
University of Colorado, Boulder, CO 80309-0430
siewerts@rodin.colorado.edu
1.0 Introduction
The RT-PCIP ("Real-Time Para... / being implemented in the RT-Mach microkernel and will be tested on a UAV br negotiation support from an operating system is increasing with the
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
User-Safe Devices for True End-to-End QoS - Pratt Ian Pratt (1997)(Correct)
User-Safe Devices are a little smarter than your average
device. They implement some of the functionality traditionally
found in device drivers within the device itself.
This provides a number of perf... / by multimedia applications. Microkernel virtual memory systems are br QoS Sadly conventional operating systems and workstation hardware
Padma: An Architecture for Adaptive Multimedia Systems - Khan, Li, Manning (1997)(Correct)
We present Padma architecture -- a system architecture
for multi-session adaptive multimedia systems (AMSs)
where the perceived quality of each session is dynamically
adapted to the change of resource... / System level Application level Microkernel level Hardware level Control br a flexible and dynamic operating system called Apertos Here the
MPP Parallel Haskell Preliminary Results - Kei Davis (1997)(Correct)
MPP Haskell is a parallel implementation of the lazy purely-functional language
Haskell for the Thinking Machines Inc. CM-5 large-scale distributed-memory
multiprocessor. MPP Haskell is a derivative o... / while each PE runs a so-called microkernel that provides a very small br does not run a GUM-supported operating system or a GUM-required GNU C
A Real-Time Execution Performance Agent Interface for.. - Siewert (1997)(Correct)
The use of microprocessors and software to build real-time applications is expanding from
traditional domains such as digital control, data acquisition, robotics, and digital switching, to
include eme... / preemptive multitasking operating system or interrupt driven
Viable Approaches To Realizing Single System Image in Multicomputer.. - Xu, Wang, Hwang (1997)(Correct)
This paper assesses the effectiveness of various approaches to realizing SSI clusters.
We cover both workstation and SMP server clusters such as Berkeley NOW [2], Sun
SolarisMC [7], and Digital TruClu... / Node OS Copies and Type N microkernels and monolithic OS at host br each node runs with its own operating system a traditional network of
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
Middleware Enabled Fault Management for Commercial Operating Systems - Charlotte Rekiere Advisor (1997)(Correct)
Commercial computer systems have escaped fault-tolerant design requirements
typically reserved for mission critical systems. As computer systems become an integral
part of daily activities people ar... / the control flow of the Mach . microkernel. In microkernel operating br Management for Commercial Operating Systems Charlotte Rekiere
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
Distributed Debugging and Monitoring on $5 a Day - Michael Gorlick The (1997)(Correct)
One of the principal impediments to debugging and
monitoring distributed systems is the difficulty of implementing
the required infrastructure. If remote debugging
and monitoring were universally avai... / includes a commercial real-time microkernel operating system and a full br real-time microkernel operating system and a full TCP IP protocol
Fault-Tolerant Servers for the RHODOS System - Wanlei Zhou Andrzej (1997)(Correct)
Providing reliable services is one of the primary goals in designing a distributed operating
system. Nowadays, wehave seen a trend in distributed operating system design to shift from
large kernel a... / even monolithic architectures to microkernel architectures supported by the br in designing a distributed operating system. Nowadays wehave seen a
DOEF1430.22Noticeof - Energyrddproject Grant De-Fg (1997)(Correct)
stem) on this machine facilitates
efficient and structured multiple-programmer software development. The next phase of activity
involves determining the overall accuracy of the quadric estimation proc... / QNX a real-time distributed microkernel based operating system. A br distributed microkernel based operating system. A simple PD controller for
A Preliminary Evaluation of the Security of a Non-Distributed Version .. - Hans Hedbom Stefan (1997)(Correct)
In this paper we present a preliminary evaluation of the security of a non-distributed
version of Windows NT. The objectives of the work are twofold: first,
to learn more about the security system; an... / portable. Above HAL is the microkernel. This is responsible for br been classified as a C level operating system OS by the National Security
A Quality of Service Architecture - Campbell (1996)(Correct)
i Acknowledgements ............................................................... ii 1. Introduction ....................... / e.g.the ORL uses the ATMos microkernel French the content of br . . Operating
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
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
Microkernels Meet Recursive Virtual Machines - Ford, Hibler, Lepreau, Tullmann.. (1996)(Correct)
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 concept... / D R A F T -UUCS- - Microkernels Meet Recursive Virtual Machines br modular and extensible operating system functionality and
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
I/O Performance of Scientific-Parallel Applications under PAFS - Toni Cortes (1996)(Correct)
In this paper we present the behavior of PAFS in a scientific environment where big parallel
applications are run. PAFS is a parallel/distributed file system with a cooperative cache that
avoids the c... / for the PAROS operating system microkernel This target platform br network runs a micro-kernel operating system and all services are handled
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
Towards Microkernel Support for the SR Concurrent Programming Language - Benson, Olsson (1996)(Correct)
Microkernels provide a core set of abstractions; these usually include
threads, interprocess communication (IPC), and memory regions. These
abstractions are used to implement higher-level operating sy... / Towards Microkernel Support for the SR Concurrent br used to implement higher-level operating system functionality such as file
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
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
Access Consistency Memory Model for Messengers - Muhugusa, Di Marzo, Tschudin, Harms (1996)(Correct)
The messenger paradigm is an alternative to computer communication based
on the exchange of programs called messengers which are afterwards executed,
instead of messages that are interpreted. The comm... / TDMMH is a distributed microkernel designed for the efficient br MOS Messenger based Operating System TDMMH is a distributed
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
QOS-Ticket: A New Resource-Management Mechanism for Dynamic QOS.. - Kiyokuni Kawachiya Hideyuki (1996)(Correct)
In an interactive multimedia environment that handles
multiple sessions dynamically, a mechanism for
controlling the QOS among sessions is very important.
It is, however, difficult to achieve such QOS... / mechanism is suitable for the microkernel environment We are now br through the cooperation of an operating system a QOS Manager and
EMERALDS: A Microkernel for Embedded Real-Time Systems - Khawar Zuberi (1996)(Correct)
EMERALDS (Extensible Microkernel for
Embedded, ReAL-time, Distributed Systems) is a realtime
microkernel designed for cost-conscious, small to
medium size embedded systems. It not only offers standard... / EMERALDS A Microkernel for Embedded Real-Time Systems br usually ensured by a real-time operating system RTOS The variety of
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
Simple Continuous Media Storage Server on Real-Time Mach - Hiroshi Tezuka (1996)(Correct)
This paper presents the design and implementation
of a simple continuous media storage server: CRAS
on Real-Time Mach. CRAS is a specially optimized
storage system for retrieving multiple continuous m... / systems due to its use of a microkernel-based operating system. CRAS br its use of a microkernel-based operating system. CRAS solves the problems
The Factorization of Memory-Communication Dualism and other Tales of.. - Loepere (1996)(Correct)
This paper explains the codependence
between VM and IPC, discusses how the codependence was factored, and
makes observations on the general problem of producing a decomposition of
tightly coupled mech... / In producing the high assurance microkernel MKbased on the Mach br in the implementation of the operating system kernel itself.This
A User-Level Unix Server for the SPIN Operating System - Dion (1996)(Correct)
An operating system that emulates Unix supports a wide range of popular applications.
This paper describes the SPIN Unix Server, an implementation of Unix for the SPIN operating
system. The SPIN Unix ... / developed for the Mach . microkernel Golub et al. It has been br Unix Server for the SPIN Operating System David Dion Department of
Connecting Oberon - Hof (1996)(Correct)
Oberon [WiGu89] is a modular, single-threaded operating system for single-user
operation of stand-alone workstations. It is used in daily work as well as in
programming courses. As a stand-alone syste... / Work . Hermes . Amoeba Microkernel . Chorus . DCE . Mach br is a modular single-threaded operating system for single-user operation of
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
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
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
Final Report on Research in Parallel Computing: Very Large Scale.. - December Carnegie Mellon (1996)(Correct)
This report documents the progress Carnegie Mellon's Mach Group made in research in very large scale operating
systems, for the period 1990-1993. Parts of the Mach Operating system have been incorpora... / workstations. Designing a microkernel architecture that limits the br Computing Very Large Scale Operating Systems - December
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
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
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
Were Microkernels a good idea that did not work? - Kon (1996)(Correct)
this
paper. unknown Were Microkernels a good idea that did not work?
CS423 final exam -- Prof. Roy H. Campbell
Fabio Kon -- f-kon@cs.uiuc.edu
May 1, 1996
1 / Were Microkernels a good idea that did not work br The kernel is a piece of the operating system which has complete access
Consistency Management in the EROS Kernel - Implementing Efficient.. - Shapiro, Farber, Smith (1996)(Correct)
EROS is a persistent operating system targeted towards managing resources with great longevity. The system provides a persistent single-level store supporting two fundamental object types: nodes and p... / EROS is designed as a small microkernel with a high performance br EROS is a persistent operating system targeted towards managing
Adaptive System Support for Multimedia in Mobile End-Systems - Michael Clarke (1996)(Correct)
Introduction
Future computer users will work with a variety of end-systems which, at any given time,
will either be disconnected, weakly connected by low speed wireless networks such as GSM
or WaveLAN... / the Chorus Rozier real-time microkernel. The advantage of a Chorus br distributed systems platforms operating system and communications system.
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