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.
14758.6 A Survey of Multiprocessor Operating System Kernels - Mukherjee, Schwan, Gopinath (1993)(Correct)
Multiprocessors have been accepted as vehicles for improved computing speeds,
cost/performance, and enhanced reliability or availability. However, the added
performance requirements of user programs a... / system kernel designed using microkernel technology The major design br A Survey of Multiprocessor Operating System Kernels DRAFT
9729.0 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
9193.8 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
7076.2 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
6216.9 Trends in Multiprocessor and Distributed Operating System Designs - Tripathi, Karnik(Correct)
This paper presents an overview of the developments in operating systems technology
for distributed computing systems and multiprocessor machines. We focus on
those design principles that are now wide... / of common approaches based on microkernel designs object model of br Multiprocessor and Distributed Operating System Designs Anand R.
6051.9 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
5389.1 Pi: A New Approach To Flexibility In System Software - Kulkarni (1995)(Correct)
by
Dinesh Chandrakant Kulkarni
Conventional operating system design makes decisions based on assumptions about
applications' usage of hardware and software resources. When the assumptions do not
hold,... / . . Microkernel Approach and Multiple Servers br Kulkarni Conventional operating system design makes decisions based
5368.9 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
5287.9 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
4906.0 The Tigger Cub Nucleus - Hogan (1994)(Correct)
M
icrokernel technology is a well recognised technology for building operating systems.
Recently there has been some experimentation in the area of building distributed
object-support platforms on to... / platforms on top of microkernels. This thesis presents the
4770.9 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
4499.1 Process Migration on Chorus - O'Connor(Correct)
ions : : : : : : : : : : : : : : : : : : : : : : : : 53
5.2 Supervisor Interface : : : : : : : : : : : : : : : : : : : : : : : : : : : : 58
5.3 mmuContext Operations : : : : : : : : : : : : : : : : : ... / implemented only at the Chorus microkernel level it was not integrated br A number of distributed operating systems have demonstrated the
4157.5 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
4088.9 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
3911.0 Extensibility, Safety and Performance in the SPIN Operating System - Bershad, Savage, Pardyak, Sirer.. (1995)(Correct)
This paper describes the motivation, architecture and
performance of SPIN, an extensible operating system.
SPIN provides an extension infrastructure together with
a core set of extensible services th... / functions using a traditional or microkernel-based operating system execute br Performance in the SPIN Operating System Brian N. Bershad Stefan
3898.0 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
3582.1 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
3554.4 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'
3545.1 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
3523.8 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
3336.8 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
3308.8 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
3286.5 Microkernel Operating Systems In Parallel Architectures - Blum (1994)(Correct)
MICROKERNEL
OPERATING SYSTEMS
IN
PARALLEL ARCHITECTURES
by
JOACHIM BLUM
In the past few years operating systems' complexity has increased substantially
because of the growing number of required serv... / Department Of Computer Science Microkernel Operating Systems In Parallel
3262.4 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
3205.8 Pi: A New Approach to Operating System Structuring for Flexibility - Kulkarni (1993)(Correct)
Continuing innovations in hardware technology and changing demands of a wide range of
applications are the two main challenges faced by operating systems. To exploit the available hardware
capabilitie... / . . . Microkernels br Pi A New Approach to Operating System Structuring for Flexibility
3124.2 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
3078.3 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.
2875.9 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
2857.6 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
2677.2 Group Orientation: a Paradigm for Modern Distributed Systems - Paulo Ver'issimo (1992)(Correct)
Increasing use of distributed systems, with the corresponding
decentralisation, stimulates the need for
structuring activities around groups of participants,
for reasons of consistency, user-friendlin... / operating system e.g. microkernel port group management br are penetrating too slowly in operating systems technology. Two important
2654.8 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
2544.4 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
2516.0 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
2463.3 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
2407.1 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
2298.5 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
2243.5 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
2234.4 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.
2230.9 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
2195.8 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
2115.7 Experience with Real-Time Mach for Writing Continuous Media.. - Tatsuo Nakajima (1994)(Correct)
This paper describes the experience with Real-Time Mach for writing a network server
and a storage server which are suitable for handling audio and video, and a video-on-demand
system on these servers... / difficult. Real-Time Mach is a microkernel-based real-time operating br policies of current operating systems should be changed for
2079.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
2027.6 The Raven Kernel: a Microkernel for Shared Memory Multiprocessors - Ritchie (1993)(Correct)
This report presents a new operating system kernel which addresses the above factors for
a shared memory multiprocessing environment. This design is geared specifically towards uniformly
shared memory... / The Raven Kernel a Microkernel for Shared Memory br kernel is a small lightweight operating system for shared memory
2014.6 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 '
2010.6 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 ... /
1983.5 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
1970.9 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
1970.2 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
1932.0 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
1864.6 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
1820.9 The Client-Server Model and Systems 4 - Ys Te Ms(Correct)
this paper is to introduce and discuss the client-server model, and the communication
paradigm which supports this model, and to show how this model has influenced the
development of different system ... / It employs the concept of a microkernel which is a cornerstone of the br by monolithic kernel operating systems was practiced on data and
1788.8 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
1759.4 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
1754.8 Experiences Developing a Virtual Shared Memory System using.. - Cordsen, Nolte, Schröder-Preikschat(Correct)
Shared-memory programming is still a common and popular
way of utilizing parallel machines for high-performance computing. Virtual
shared memory (VSM) systems promote a gentle migration path allowin... / also suitable for constructing microkernel-based distributed operating br In contrast in the Peace operating system family almost all
1751.5 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
1739.8 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 - .
1716.4 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.
1703.0 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
1690.6 Scalable Operating Systems - Schröder-Preikschat(Correct)
This work describes the design of scalable operating systems that have
to meet the needs of various computer architectures and user applications.
The focus is on how to organize and structure these op... / to answer the question of whether microkernel technology is adequate for br Scalable Operating Systems Wolfgang
1681.9 Group Orientation: a Paradigm for Distributed Systems of the Nineties - Veríssimo, Rodrigues (1992)(Correct)
Increasing use of distributed systems, with the corresponding
decentralization of activities, stimulates the
need for structuring those activities around groups
of participants, for reasons of consist... / by several layers on top of a microkernel allowing visibility of the br using large objects ffl operating system support providing threads
1678.3 Customizable Operating Systems - Jonathan Walpole (1995)(Correct)
A customizable operating system is one that can adapt to improve its functionality
or performance. The need for customizable and application-specific operating systems
has been recognized for many yea... / approach neither the microkernel itself nor other br Customizable Operating Systems Jonathan Walpole
1661.9 Design Principles of Parallel Operating Systems - A PEACE Case Study - Schröder-Preikschat (1993)(Correct)
Forthcoming massively parallel systems are distributed memory architectures. They
consist of several hundreds to thousands of autonomous processing nodes interconnected
by a high-speed network. A majo... / question of whether distributed microkernelbased operating systems are br Design Principles of Parallel Operating Systems A Peace Case Study-
1658.9 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
1621.1 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
1619.9 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
1615.8 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
1613.8 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 '
1592.3 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
1588.3 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
1557.6 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
1551.5 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
1537.8 D. Nagle, R. Uhlig, T. Stanley, T. Mudge, S. Sechrest and R. Brown.. - Proc Of(Correct)
An increasing number of architectures provide virtual memory
support through software-managed TLBs. However, software
management can impose considerable penalties, which are highly
dependent on the op... / systems including monolithic and microkernel designs. Through hardware br are highly dependent on the operating system's structure and its use of
1531.7 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
1531.6 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
1522.1 Case Studies in Security and Resource Management for Mobile Object.. - Milojicic, Agha, Bernadat, Chauhan..(Correct)
Mobile objects have gained a lot of attention in research and industry in the recent past,
but they also have a long history. Security is one of the key requirements of mobile
objects, and one of th... / task migration for the Mach microkernel a case of mobile objects br Mobile Objects Supported By An Operating System. Using The Omg Masif
1514.4 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
1511.1 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
1501.9 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
1482.7 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
1481.7 Network Systems Research Group: An Annotated Bibliography - Peterson (1994)(Correct)
This paper gives a brief overview of the research done by the Network Systems Research Group
over the last three to four years, and references the principle papers published during that time.
November... / software platform was the Mach microkernel with the x-kernel serving as br implemented within the operating system OS of the hosts of which
1456.1 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
1452.0 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
1444.3 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
1441.9 Experience with Building Distributed Systems on top of the Mach.. - Muller (1995)(Correct)
This paper presents a summary of experience in building distributed systems on
top of the Mach 3.0 micro-kernel. This experience was gained through four independent
research projects: Gothic (distribu... / Systems on top of the Mach Microkernel L. Amsaleg G. Muller br fault-tolerant distributed operating system Guide distributed
1432.1 Using Object-Oriented Techniques in Microkernel Based Operating.. - Nakajima (1994)(Correct)
Advanced future applications require to exploit new types
of objects such as continuous media objects and distributed
objects. Such new requirements stress operating
systems to support variable levels... / Object-Oriented Techniques in Microkernel Based Operating Systems br in Microkernel Based Operating Systems Tatsuo Nakajima Keio
1429.6 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
1427.5 Old Wine in New Bottles - Applying OS Process Migration Technology to .. - Milojicic, Guday, Wheeler (1997)(Correct)
We describe how our experience with classic operating system
level process migration mechanisms influenced the design of
MOA, a mobile agents project. A case is presented for
implementing mobile agent... / as in the case of the Mach microkernel. Transparent communication. br our experience with classic operating system level process migration
1418.6 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
1413.1 Design and Implementation of Real-Time Scheduler in Real-Time Mach - Tatsuo Nakajima (1992)(Correct)
A micro kernel-based operating system architecture is becoming common for advanced
distributed computing systems. However, a current microkernel lacks the support of realtime
facilities such as a real... / systems. However a current microkernel lacks the support of realtime br A micro kernel-based operating system architecture is becoming
1411.8 Efficient Cross-domain Mechanisms for Building Kernel-less Operating.. - Dave Probert(Correct)
We describe a set of efficient cross-domain mechanisms that allow operating systems to be implemented
as cooperating applications, eliminating the need for a monolithic kernel. Our implementation,
cal... / a central monolithic kernel or microkernel An alternative is to br for Building Kernel-less Operating Systems Dave Probert and John
1410.5 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
1409.3 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
1405.3 Self-Parameterizing Protocol Stacks for Quality-of-Service Guarantees - Mehra, Wang, Shin(Correct)
Recent trends in communication subsystem design reflect a continued thrust towards support for highperformance
and high-function data transfer. One important type of value-added functionality is suppo... / service on the OSF Mach MK microkernel operating system on br communication subsystems and operating systems and network elements such
1403.0 Distributed Scheduling Framework - A Load Distribution Facility on.. - Lu, Lui, Lie, Tang, Lau, Li(Correct)
With a network of workstations, load distribution strategies can be employed
to better utilize resources. In practice, there is no single load
distribution algorithm that outperforms all others in all... / System Software Tools Mach Microkernel Introduction With a br running the algorithm is an operating system protected object. This paper
1399.4 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
1394.0 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
1376.0 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
1350.2 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
1347.0 Level Two Translation Lookaside Buffers - Callaghan, Hoque, Rotenberg (1995)(Correct)
The Translation Lookaside Buffer (TLB) is a key component of the memory hierarchy in
that it hides the overhead of maintaining virtual memory. However, certain trends in computer
design are increasi... / contexts due to the use of microkernels This will increase the br trend is the distribution of operating systems across several contexts due
1326.7 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
1325.5 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
1324.4 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
1316.8 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
1312.9 Extensible Operating Systems - Maheshwari (1994)(Correct)
To exploit the high performance afforded by the hardware,
applications must be allowed to customize the operating system
according to their needs. A pertinent question is: What
interface should the op... / small kernel commonly known as a microkernel and userlevel servers. The br Extensible Operating Systems Umesh Maheshwari MIT
1299.8 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
1292.5 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
1284.9 Implementing Lightweight Remote Procedure Calls in the Mach 3.. - Bourassa, Zahorjan (1995)(Correct)
The Mach 3 operating system makes extensive use of remote procedure calls (RPCs) to provide
services to client applications. Although the existing Mach 3 RPC facility is highly optimized, the
incorpor... / issues involved with the Mach microkernel operating system and the br Procedure Calls in the Mach Operating System Virgil Bourassa and John
1276.8 The RHODOS Migration Facility - Damien De Paoli (1995)(Correct)
This paper looks at the design, implemntation and performance of RHODOS' process
migration facility which reflects RHODOS' aspiration to support both load balancing and parallel
execution on a distrib... / The RHODOS System RHODOS is a microkernel based operating system that br several modern distributed operating systems show that already our
1276.3 Sprite on Mach - Kupfer (1993)(Correct)
this paper explains why we ported Sprite to Mach. Section 3 sketches the design of the
Sprite server and discusses a few of the problems that arose during design and testing. Section 4
shows how the S... / a server on top of the Mach . microkernel. Although the resulting server br Sprite is a distributed operating system that supports a fast
1272.6 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
1264.1 An Object-Based Approach to Programming Distributed Systems - Tanenbaum, Bal, Hassen (1994)(Correct)
Two kinds of parallel computers exist: those with shared memory and those without. The former
are difficult to build but easy to program. The latter are easy to build but difficult to program.
In this... / major components . The Amoeba microkernel. . The shared object runtime br Amoeba is a distributed operating system consisting of a microkernel
1254.0 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
1252.5 RHODOS --- A Microkernel based Distributed Operating System: An.. - De Paoli (1993)(Correct)
The current direction of computer systems is increasingly moving away from centralised system and moving
towards distributed sets of workstations and personal computers connected by a network, known a... / September RHODOS -A Microkernel based Distributed Operating br Microkernel based Distributed Operating System An Overview of the
1251.1 Processes in KaffeOS: Isolation, Resource Management, and Sharing in.. - Back, Hsieh, Lepreau(Correct)
Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the features that operating sys... / Consumers is built on the Chorus microkernel OS to achieve real-time br some of the features that operating systems provide inter-application
1248.1 The Paros Operating System Microkernel - Jes Labarta (1994)(Correct)
Keywords:
The Paros Operating System Microkernel
June 1994
TIC-392/89
This paper describes the concepts and rationale of Paros, an operating
system microkernel specifically targeted to distributed ... / The Paros Operating System Microkernel Jess Labarta Sergi Girona br The Paros Operating System Microkernel Jess Labarta
1247.3 A Design Of Operating System For Easily Implementing Efficient File.. - Bau Rmf(Correct)
The OS kernel should provide a framework with which programmers can easily
implement an efficient file system. With conventional frameworks, a file system
has been embedded into the kernel for efficie... / . . Microkernel br A Design Of Operating System For Easily Implementing
1242.8 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
1242.0 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
1236.3 Requirements for High Performance Group Support in Distributed Systems - Vogels, Veríssimo, Rodrigues (1992)(Correct)
Although the use of groups and group communication
is becoming more and more accepted as an important
tool for implementing distributed applications
and algorithms, there is still much controversy
abo... / systems build on top of a microkernel it is easier to structure a br to discuss some subjects like operating system interaction use of network
1223.3 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
1218.8 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
1216.1 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
1210.8 Separating Presentation from Interface in RPC and IDLs - Bryan Ford(Correct)
In RPC-based communication, we term the interface
the set of remote procedures and the types of their arguments;
the presentation is the way these procedures
and types are mapped to the target langua... / supported in an optimized microkernel RPC implementation. A flexible br design and implementation. Operating system interfaces are replete with
1208.0 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
1199.9 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
1198.9 A Detailed Description of - Distributed Adaptable(Correct)
The Off ++ distributed adaptable µkernel is a minimal µkernel whose only task is to
safely multiplex and export the distributed hardware present in the network. It is designed
to be used as a basis fo... / operating systems based on microkernels which essentially multiplex br basic support for the K operating system we are currently
1193.3 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
1189.4 Software Architecture for a Firm Real-Time Database System - Young-Kuk Kim(Correct)
An actual development of a real-time database management system (RT-DBMS) must confront
many new and practical problems which have been often ignored in previous work based
on simulation. In addition ... / an RT-DBMS on a real-time microkernel operating system and how the br on a real-time microkernel operating system and how the problems have
1187.5 Replicated Naming Service in Spring - Ganesha Beedubail (1995)(Correct)
This paper presents the design and implementation of a Replicated Naming Service (RNS) for
the Spring (a microkernel based distributed object oriented) Operating System and a new replica
consistency p... / Service RNS for the Spring a microkernel based distributed object br distributed object oriented Operating System and a new replica
1185.6 Amadeus Project - Micro-Kernel Support(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... / on top of the Chorus microkernel. We draw two additional br A number of distributed operating systems have demonstrated the
1170.5 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
1166.3 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
1165.1 Multi-Model Fault-Tolerant Programming in Distributed Object-Based.. - Muthusamy Chelliah (1993)(Correct)
Extended and replicated transaction models provide consistency and forward progress guarantees
for distributed applications that manipulate persistent, shared data. In our earlier work,
we developed O... / actions on top of the the Mach microkernel However there is no one br Schemes Distributed Operating Systems Programming Support.
1163.6 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
1161.5 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
1143.8 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.
1128.7 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
1127.4 Experience Building a File System on a Highly Modular Operating System - Nelson, Khalidi, Madany (1993)(Correct)
File systems that employ caching have been built for many years. However, most
work in file systems has been done as part of monolithic operating systems. In this
paper we give our experience with bui... / system. With the advent of microkernel systems e.g. Mach and br System on a Highly Modular Operating System Michael N. Nelson Yousef
1112.4 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
1112.4 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
1108.4 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
1106.2 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
1104.2 Virtual memory versus file interfaces for large, memory-intensive.. - Park, Scott, Sechrest(Correct)
Scientific applications often require some strategy for temporary data storage to
do the largest possible simulations. The use of virtual memory for temporary data
storage has received criticism becau... / and consists of the Mach . microkernel and various servers. The br virtual memory found in recent operating systems such as Cenju- DE give
1096.9 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
1093.8 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
1090.8 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
1084.6 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
1083.6 Page Tables for 64-Bit Computer Systems - Elphinstone, Heiser (1998)(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
implementat... / particularly systems based on microkernels. We have implemented a number br TLB which gives the operating system complete flexibility in the
1074.8 Experiences with building a Continuous Media Application on Real-Time .. - Tezuka, Nakajima (1995)(Correct)
Real-time system and continuous media system researchers
have worked in areas that are considered by
each to be unrelated to the other's domain although continuous
media system researchers agree with ... / Overview of Real-Time Mach The microkernel-based operating system br on traditional timesharing operating systems. On the other hand
1072.4 Design Principles of Parallel Operating Systems - Schröder-Preikschat(Correct)
Forthcoming massively parallel systems are distributed memory architectures. They
consist of several hundreds to thousands of autonomous processing nodes interconnected by a highspeed
network. A m... / question of whether distributed microkernel-based operating systems are br Design Principles of Parallel Operating Systems Wolfgang
1072.1 Real-Time Communication in Distributed Environment --- Real-Time.. - Takuro Kitayama Keio(Correct)
Recent modern operating system technology enables
protocol processing in user space using in-kernel packet
filter and user-level protocol processing library for flexibility
without sacrificing the per... / mechanism on Real-Time Mach microkernel. Real-Time Mach RT-Mach has br Abstract Recent modern operating system technology enables protocol
1066.8 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
1061.5 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
1059.7 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
1051.7 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
1046.1 Protected Shared Libraries: A New Approach to Application-Extensible.. - Banerji, Cohn (1994)(Correct)
Protected shared libraries are a new mechanism for building fast applicationextensible
user-level operating system services. They extend notions previously
found in dynamically linked shared libraries... / the best performance whereas microkernel based systems are modular br Workshop on Hot Topics in Operating Systems Protected Shared
1043.8 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
1038.8 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
1036.1 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
1035.5 Scheduling and Admission Testing for Jitter Constrained Periodic.. - Andreas Mauthe (1995)(Correct)
We present new admission tests for periodic real-time threads with explicitly stated
deadlines scheduled according to the earliest deadline first (EDF) algorithm. In traditional
real-time periodic sch... / design and implementation of a microkernel based operating system support br appropriate support from the operating system. Unfortunately present day
1024.9 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
1013.6 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
1011.9 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
1009.0 Object-Oriented Device Driver Programming - Jun-Ichiro Itoh(Correct)
Operating systems should be made flexible from their
low-level system structures, to enable them to adapt
to dynamic changes of the outer world. This paper
proposes a methodology for making device dri... / have been incorporated into many microkernel and object-oriented operating br Laboratory Abstract Operating systems should be made flexible from
1007.5 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
1005.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
1005.0 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
999.5 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