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.
1148.9 Proof-Carrying Code - Necula (1997)(Correct)
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe to execute a program supplied (possibly in binary form) by an untrusted ... / safe with respect to a given operating system safety policy. br For example in the realm of operating systems it is often profitable to
890.9 Resource containers: A new facility for resource management in server .. - Banga, Druschel, Mogul (1999)(Correct)
General-purpose operating systems provide inadequate
support for resource management in large-scale
servers. Applications lack sufficient control over
scheduling and management of machine resources,
w... / Abstract General-purpose operating systems provide inadequate support br of current general-purpose operating systems and the behavior of modern
834.5 KQML as an Agent Communication Language - Finin, Fritzson, McKay, McEntire (1994)(Correct)
This paper describes the design of and experimentation with
the Knowledge Query and Manipulation Language (KQML),
a new language and protocol for exchanging information
and knowledge. This work is par... / nodes. An information system operating in such an environment must
646.3 High Performance Messaging on Workstations: Illinois Fast Messages.. - Pakin, Lauria, Chien (1995)(Correct)
ing with credit is permitted. To
copy otherwise, to republish, to post on servers or to redistribute to
lists, requires prior specific permission and/or a fee. Request Permissions
from Publication Dep... / link management and operating system overhead. Even in recent br have typically exploited operating system communication services
617.0 Agile Application-Aware Adaptation for Mobility - Noble (1997)(Correct)
In this paper we show that application-aware adaptation, a collaborative partnership between the operating system and applications, offers the most general and effective approach to mobile information... / of the th ACM Symposium on Operating System Principles Agile br partnership between the operating system and applications offers the
557.4 System Design Issues for Internet Middleware Services: Deductions.. - Gribble (1997)(Correct)
System Design Issues for Internet Middleware Services: Deductions from a Large
Client Trace
by
Steven D. Gribble
Master of Science in Computer Science
University of California at Berkeley
Professor Er... / explored the performance of operating system primitives and their br architecture and operating system design issues for busy
544.6 A Scalable Comparison-Shopping Agent for the World-Wide Web - Doorenbos, Etzioni, Weld (1997)(Correct)
The Web is less agent-friendly than we might hope. Most information on the Web is presented
in loosely structured natural language text with no agent-readable semantics. HTML annotations
structure the... / including price and operating system for the products. It br name manufacturer price operating system requirements etc.ffl
534.0 Efficient Software-Based Fault Isolation - Wahbe, Lucco, Anderson, Graham (1993)(Correct)
One way to provide fault isolation among cooperating software modules is to place each in its own address space. However, for tightly-coupled modules, this solution incurs prohibitive context switch o... / of the Symposium on Operating System Principles . br of these applications an operating system can provide services that
530.4 The Oz Programming Model - Smolka (1995)(Correct)
The Oz Programming Model (OPM) is a concurrent programming model subsuming higher- order functional and object-oriented programming as facets of a general model. This is particularly interesting for c... / activities to the underlying operating system and network protocols. This br This is typically the case in operating systems that advance several
472.3 Cluster-Based Scalable Network Services - Fox, Gribble, Chawathe, Brewer.. (1997)(Correct)
This paper has benefited from the detailed and perceptive comments of our reviewers, especially our shepherd Hank Levy. We thank Randy Katz and Eric Anderson for their detailed readings of early draft... / it is normally viewed as an operating system Multics Multiplexed br use all the facilities of the operating system need not be thread-safe
469.5 Performance of Various Computers Using Standard Linear Equations.. - Jack Dongarra (1995)(Correct)
This report compares the performance of different computer systems in solving dense systems
of linear equations. The comparison involves approximately a hundred computers, ranging from
a Cray Y-MP to ... / LINPACK Benchmark gives the operating system and compiler used. The run br evaluating machines and operating systems will gather more reliable
455.0 Safe Kernel Extensions Without Run-Time Checking - Necula, Lee (1996)(Correct)
This paper describes a mechanism by which an operating
system kernel can determine with certainty
that it is safe to execute a binary supplied by an
untrusted source. The kernel first defines a safety... / a mechanism by which an operating system kernel can determine with br of the Second Symposium on Operating Systems Design and Implementation
455.0 The MIT Alewife Machine: Architecture and Performance - Agarwal, Bianchini, Chaiken, al (1995)(Correct)
Alewife is a multiprocessor architecture that supports up to 512 processing nodes connected over a scalable and cost-effective mesh network at a constant cost per node. The MIT Alewife machine, a prot... / passing allows compiler and operating system designers to provide br The hardware compiler and operating system combine to achieve the goal
418.1 Model Checking Java Programs Using Java PathFinder - Havelund, Pressburger (1999)(Correct)
This paper describes a translator called Java
PathFinder from Java to Promela, the "programming
language" of the Spin model checker. The purpose
is to establish a framework for verification and debu... / Spin a multi-threaded operating system programmed in Lisp for br Spin a multi-threaded operating system for a spacecraft The
417.0 The Model Checker SPIN - Holzmann (1997)(Correct)
SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design
errors in applications ranging from high-level descriptions of distributed algori... / scheduler for a distributed operating system the second problem is the br processes in a distributed operating system as discussed in The
404.4 The Design and Implementation of a Log-Structured File System - Rosenblum, Ousterhout (1991)(Correct)
This paper presents a new technique for disk storage
management called a log-structured file system. A logstructured
file system writes all modifications to disk
sequentially in a log-like structure, ... / of the th ACM Symposium on Operating Systems Principles and the February br as part of the Sprite network operating system Benchmark programs
382.6 Informed Prefetching and Caching - Patterson, Gibson, Ginting.. (1995)(Correct)
In this paper, we present aggressive, proactive mechanisms that tailor file system resource management to the needs of I/O-intensive applications. In particular, we show how to use application-disclos... / caching in Digital's OSF operating system and measured its performance br Proc. of the th ACM Symp. on Operating System Principles Copper Mountain
376.8 A Hierarchical CPU Scheduler for Multimedia Operating Systems - Goyal, Guo, Vin (1996)(Correct)
The need for supportingvariety of hard and soft real-time,
as well as best effort applications in a multimedia computing
environment requires an operating system framework
that: (1) enables different ... / CPU Scheduler for Multimedia Operating Systems Pawan Goyal Xingang br environment requires an operating system framework that enables
374.1 Lazy Release Consistency for Software Distributed Shared Memory - Keleher, Cox, Zwaenepoel (1992)(Correct)
Relaxed memory consistency models, such as release consistency, were introduced in order to reduce the impact of remote memory access latency in both software and hardware distributed shared memory (D... / it may involve traps into the operating system kernel interrupts context br of the th ACM Symposium on Operating Systems Principles pages -
373.9 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... / can run in user space in an operating system kernel or microkernel or be br of the Fifteenth ACM Symp. on Operating Systems Principles Copper Mountain
358.0 The Network Architecture of the Connection Machine CM-5 - Leiserson, Abuhamdeh, Douglas.. (1994)(Correct)
The Connection Machine Model CM-5 Supercomputer is a massively parallel computer system designed to offer performance in
the range of 1 teraflops (10
12
floating-point operations per second). The CM... / a user task occurs without operating system overhead. Access to the br interface allows the operating system to deny users access to
357.4 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... / of thee Symposium on Operating Systems Principles SOSP s br Abstract The exokernel operating system architecture safely gives
356.5 Packet Loss Correlation in the MBone Multicast Network: Experimental.. - Yajnik, Kurose, Towsley (1996)(Correct)
The recent success of multicast applications such as Internet teleconferencing illustrates
the tremendous potential of applications built upon wide-area multicast communication services.
A critical is... / locations IP addresses operating systems and machine types. At three br Name Location IP Address Operating System Machine Type alps Georgia
350.5 Imperative functional programming - Jones, Wadler (1993)(Correct)
We present a new model, based on monads, for performing input/output in a non-strict, purely functional language. It is composable, extensible, efficient, requires no extensions to the type system, an... / Haskell functions which call operating system procedures. ffl It is br by a call to the underlying operating system it is natural to provide the
342.0 The Paradyn Parallel Performance Measurement Tools - Miller, Callaghan (1995)(Correct)
Paradyn is a performance measurement tool for parallel and distributed programs. Paradyn uses several novel technologies so that it scales to long running programs (hours or days) and large (thousand ... / be configured to accept new operating system hardware and application br e.g.SPARC vs. PA-RISC operating systems e.g.OSF vs. Solaris
331.4 Implementing Multiple Protection Domains in Java - Hawblitzel, Chang, Czajkowski, Hu.. (1998)(Correct)
Safe language technology can be used for protection
within a single address space. This protection is
enforced by the language's type system, which ensures
that references to objects cannot be forged... / granted in more traditional operating systems such as rights revocation br Introduction Traditional operating systems use virtual memory to
327.2 Typed Memory Management in a Calculus of Capabilities - Crary, Walker, Morrisett (1999)(Correct)
An increasing number of systems rely on programming language
technology to ensure safety and security of low-level
code. Unfortunately, these systems typically rely on a complex,
trusted garbage colle... / type system to protect an operating system kernel from erroneous br it will no longer be accessed. Operating systems such as Hydra have
323.4 Extensible Security Architectures for Java - Wallach (1997)(Correct)
Mobile code technologies such as Java, JavaScript, and ActiveX generally limit all programs to a single security policy. However, software-based protection can allow for more flexible security models,... / systems. Unlike traditional operating systems Web browsers must rely on br must coexist with a variety of operating systems. To use hardware
306.3 CPU Reservations and Time Constraints: Efficient, Predictable.. - Jones, Rosu, Rosu (1997)(Correct)
Workstations and personal computers are increasingly being used for applications with real-time characteristics such as speech understanding and synthesis, media computations and I/O, and animation, o... / all activities. The Rialto operating system developed at Microsoft br as part of the Rialto operating system at Microsoft Research that
306.3 Secrecy by Typing in Security Protocols - Abadi (1997)(Correct)
We develop principles and rules for achieving secrecy properties in security protocols. Our approach is based on traditional classification techniques, and extends those techniques to handle concurr... / can be provided by an operating system that mediates communication
301.4 Making Paths Explicit in the Scout Operating System - Mosberger, Peterson (1996)(Correct)
This paper makes a case for paths as an explicit abstraction
in operating system design. Paths provide a unifying
infrastructure for several OS mechanisms that have
been introduced in the last several... / Paths Explicit in the Scout Operating System David Mosberger and Larry br as an explicit abstraction in operating system design. Paths provide a
301.2 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... / Processor Capacity Reserves Operating System Support for Multimedia br algorithms of general purpose operating systems. Our approach is to provide
296.9 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... / designed and implemented a new operating system facility for I O buffer br and microkernel-based operating systems. This paper outlines the
291.3 The Zebra Striped Network File System - Hartman (1994)(Correct)
The Zebra Striped Network File System
by
John Henry Hartman
Doctor of Philosophy in Computer Science
University of California at Berkeley
Professor John Ousterhout, Chair
This dissertation presents a ... / of Zebra in the Sprite operating system Ousterhout Measurements br Zebra prototype in the Sprite operating system Ousterhout and I have
289.8 Implementing Global Memory Management in a Workstation Cluster - Feeley, Morgan, Pighin, Karlin, Levy (1995)(Correct)
Advances in network and processor technology have greatly changed the communication and computational power of local-area workstation clusters. However, operating systems still treat workstation clust... / workstation clusters. However operating systems still treat workstation br and independent agent. This operating system structure makes it difficult
281.8 Defending Against Denial of Service Attacks in Scout - Spatscheck, Peterson (1999)(Correct)
We describe a two-dimensional architecture for defending against denial of service attacks. In one dimension, the architecture accounts for all resources consumed by each I/O path in the system; this ... / the path object in the Scout operating system. In the second dimension the br right. Attacks on traditional operating systems like Unix frequently
281.0 Authentication in Distributed Systems: Theory and Practice - Lampson, Abadi, Burrows, Wobber (1992)(Correct)
this paper appeared in the Proceedings of the Thirteenth ACM Sympos - ium on Operating Systems Principles. unknown Lampson et al, Authentication in Distributed Systems 1
A preliminary version of / ACM Sympos -ium on Operating Systems Principles. Authors' br Distributed Systems D. . Operating Systems Security and Protec -
274.0 Cooperative Caching: Using Remote Client Memory to Improve File.. - Dahlin, Anderson, Patterson, Wang. (1994)(Correct)
Emerging high-speed networks will allow machines to
access remote data nearly as quickly as they can access
local data. This trend motivates the use of cooperative
caching: coordinating the file cache... / of the First Symposium on Operating Systems Design and Implementation br either case if the client's operating system is compromised the client
272.1 Understanding Fault-Tolerant Distributed Systems - Cristian (1993)(Correct)
We propose a small number of basic concepts that can be used to explain the
architecture of fault-tolerant distributed systems and we discuss a list of architectural
issues that we find useful to cons... / to them by some underlying operating system when they execute or are br servers by a multi-user operating system such as Unix or MVS. These
266.1 Transparent Process Migration: Design Alternatives and the Sprite.. - Douglis (1991)(Correct)
This paper appeared in Software--Practice & Experience, 21(8):757--785, August 1991. unknown Transparent Process Migration: Design Alternatives and the
Sprite Implementation
Fred Douglis
John Ousterho... / Summary The Sprite operating system allows executing processes to br migration Load sharing Operating systems Distributed Systems
263.8 Going Beyond the Sandbox: An Overview of the New Security.. - Gong, Mueller, Prafullchandra.. (1997)(Correct)
This paper describes the new security architecture
that has been implemented as part of JDK1.2,
the forthcoming Java
TM
Development Kit. In going
beyond the sandbox security model in the original
re... / products such as browsers and operating systems It is worth emphasizing br which is not present in operating systems such as Unix or MS-DOS is
259.5 Performance of Firefly RPC - Schroeder, Burrows (1997)(Correct)
In this paper, we report on the performance of the remote procedure call implementation
for the Firefly multiprocessor and analyze the implementation to account precisely for all
measured latency. Fro... / as well as calls to local operating systems entry points are handled br machine including the local operating system good same-machine
257.9 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... / the USENIX nd Symposium on Operating Systems Design and Implementation br Abstract Today's extensible operating systems allow applications to
255.3 Performance Issues of Enterprise Level Web Proxies - Maltzahn, Richardson, Grunwald (1997)(Correct)
Enterprise level web proxies relay world-wide web traffic between
private networks and the Internet. They improve security, save
network bandwidth, and reduce network latency. While the performance
of... / designed prior to the work on operating system behavior and implementation br to isolate itself from the operating system. Squid keeps meta-data about
249.2 Serverless Network File Systems - Anderson (1995)(Correct)
In this paper, we propose a new paradigm for network file system design, serverless network file systems. While traditional network file systems rely on a central server machine, a serverless system u... / in the th Symposium on Operating Systems Principles December . br and patch level of the Solaris operating system used. For our xFS
243.2 Zebra: A Striped Network File System - Hartman, Ousterhout (1993)(Correct)
This paper presents the design of Zebra, a striped network file system. Zebra applies ideas from log-structured file system (LFS) and RAID research to network file systems, resulting in a network file... / implemented in the Sprite operating system Ousterhout This paper br of the th Symposium on Operating Systems Principles SOSP
242.5 A Resource Allocation Model for QoS Management - Rajkumar, Lee, Lehoczky, Siewiorek (1997)(Correct)
Quality of service (QoS) has been receiving wide attention in recent years in many research communities including networking, multimedia systems, real-time systems and distributed systems. In large di... / techniques. The Rialto operating system presents a modular OS br is used in the RT-Mach operating system to allocate resources to
234.5 Scheduling for Reduced CPU Energy - Weiser, Welch, Demers, Shenker (1994)(Correct)
The energy usage of computer systems is becoming
more important, especially for battery operated
systems. Displays, disks, and cpus, in that order, use
the most energy. Reducing the energy used by dis... / of the First Symposium on Operating Systems Design and Implementation br of system clock speed by the operating system scheduler. Reducing clock
227.2 Connection Scheduling in Web Servers - Crovella, Frangioso, Harchol-Balter (1999)(Correct)
Under high loads, a Web server may be servicing many hundreds of connections concurrently.
In traditional Web servers, the question of the order in which concurrent connections are serviced
has been l... / serviced has been left to the operating system. In this paper we ask whether br been left to a general-purpose operating system. The OS scheduler orders
227.1 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... / Spring system is a distributed operating system that supports a distributed br and academia in structuring operating systems as sets of cooperating
224.7 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 ... / from its interface to the operating system. We have separated these br running on the Mach . operating system and UNIX server.
220.2 A Proportional Share Resource Allocation Algorithm for Real-Time.. - Stoica (1996)(Correct)
We propose and analyze a proportional share resource
allocation algorithm for realizing real-time performance
in time-shared operating systems. Processes
are assigned a weight which determines a share... / performance in time-shared operating systems. Processes are assigned a br in a general purpose operating system. Introduction
217.0 JPVM: Network Parallel Computing in Java - Ferrari (1997)(Correct)
The JPVM library is a software system for explicit message-passing based parallel programming in Java. The library supports an interface similar to the C and Fortran interface of the Parallel Virtual ... / and a uniform API for operating system services such as network
204.2 Using the SimOS Machine Simulator to Study Complex Computer Systems - Rosenblum, Bugnion, Devine, Herrod (1997)(Correct)
This paper identifies two challenges that machine simulators such as SimOS must overcome in order to effectively analyze large complex workloads: handling long workload execution times and collecting ... / detail to boot a commercial operating system and run realistic workloads br performance and to study operating systems. We include two case studies
204.2 Learning to Extract Text-based Information from the World Wide Web - Soderland (1997)(Correct)
There is a wealth of information to be mined from narrative text on the World Wide Web. Unfortunately, standard natural language processing (NLP) extraction techniques expect full, grammatical sentenc... / good performance for an NLP system operating without the aid of syntactic
201.4 Network Based Concurrent Computing on the PVM System - Geist, Sunderam (1991)(Correct)
Concurrent computing environments based on loosely coupled networks have
proven effective as resources for multiprocessing. Experiences with and
enhancements to PVM (Parallel Virtual Machine) are desc... / either based upon distributed operating systems e.g. Locus the br from the machines and their operating systems at levels that are normally
195.0 Scout: A Communications-Oriented Operating System - Montz, Mosberger, O'Malley.. (1994)(Correct)
This white paper describes Scout, a new operating system being designed for systems connected to the National Information Infrastructure (NII). Scout provides a communication-oriented software archite... / A Communications-Oriented Operating System Allen B. Montz David br paper describes Scout a new operating system being designed for systems
189.6 Overview of the CHORUS Distributed Operating Systems - Rozier, Abrossimov, Armand, Boule.. (1992)(Correct)
The CHORUS technology has been designed for building new generations of open, distributed,
scalable operating systems. CHORUS has the following main characteristics:
# a communication-based architect... / CHORUS Distributed Operating Systems M. Rozier V. Abrossimov br CHORUS Distributed Operating Systems CS TR- - Chorus S
188.4 Charlotte: Metacomputing on the Web - Baratloo (1996)(Correct)
The World Wide Web has the potential of being used as
an inexpensive and convenient metacomputing resource.
This brings forward new challenges and invalidates many
of the assumptions made in offering ... / memory without relying on operating system or compiler support. It is br of hardware running different operating systems connected with different
188.4 A Programming Interface for Application-Aware Adaptation in Mobile.. - Noble, Price, Satyanarayanan (1995)(Correct)
Mobile clients face wide variations in network conditions and local resource availability when accessing remote data. Coping with this uncertainty requires the ability to retrieve and present data at ... / between applications and the operating system. We describe the Odyssey br partnership between the operating system and individual applications.
187.2 Frangipani: A Scalable Distributed File System - Thekkath, Mann, Lee (1997)(Correct)
The ideal distributed file system wouldprovide all its users with coherent,
shared access to the same set of files,yet would be arbitrarily
scalable to provide more storage space and higher performanc... / through the standard operating system call interface. Programs br each machine runs within the operating system kernel. It registers itself
182.9 A Historical Application Profiler for Use by Parallel Schedulers - Gibbons (1997)(Correct)
A Historical Application Profiler for Use by Parallel Schedulers
Richard Gibbons
Master of Science
Graduate Department of Computer Science
University of Toronto
1997
Scheduling Algorithms that use app... / examination of the Sprite operating system's process migration br generally already include an operating system Chapter . Introduction
182.8 Enforceable Security Policies - Schneider (1998)(Correct)
A precise characterization is given for the class of security policies that can be enforced using mechanisms that work by monitoring system execution, and a class of automata is introduced for specify... / monitors and all other operating system and hardwarebased br - . Reprinted in Operating System Review Jan.
181.0 The Amber System: Parallel Programming on a Network of Multiprocessors - Chase (1989)(Correct)
Microprocessor-based shared-memory multiprocessors are becoming widely available and
promise to provide cost-effective high-performance computing.
This paper describes a programming system called Ambe... / Runs On Top Of The Topaz Operating System On A Network Of Dec Src br of the th ACM Symposium on Operating Systems Principles December
179.0 Caching in the Sprite Network File System - Nelson, Welch, Ousterhout (1988)(Correct)
The Sprite network operating system uses large main-memory disk block caches to
achieve high performance in its file system. It provides non-write-through file caching
on both client and server machin... / Abstract The Sprite network operating system uses large main-memory disk br Caches have been used in many operating systems to improve file system
178.7 MPI-FM: High Performance MPI on Workstation Clusters - Lauria, Chien (1997)(Correct)
Despite the emergence of high speed LANs, the communication performance available
to applications on workstation clusters still falls short of that available on MPPs.
A new generation of efficient mes... / services are provided by the operating system. But the convenience of br convenience of relying on the operating system is paid for in terms of
177.2 Why Aren't Operating Systems Getting Faster As Fast as Hardware? - Ousterhout (1990)(Correct)
This paper evaluates several hardware platforms and operating systems using a set of benchmarks that stress kernel entry/exit, file systems, and other things related to operating systems. The overall ... / California Why Aren't Operating Systems Getting Faster As Fast as br several hardware platforms and operating systems using a set of benchmarks
176.8 Tamper Resistance - a Cautionary Note - Anderson, Kuhn (1996)(Correct)
An increasing number of systems, from pay-TV to electronic purses, rely on the tamper resistance of smartcards and other security processors. We describe a number of attacks on such systems --- some o... / no longer used by the card's operating system. Its use is left to the
174.4 WebOS: Operating System Services for Wide Area Applications - Vahdat (1997)(Correct)
In this paper, we argue for the power of providing a common
set of OS services to wide area applications, including
mechanisms for resource discovery, a global namespace, remote
process execution, res... / WebOS Operating System Services for Wide Area br can rely on the local operating system to provide these
174.4 Building Reliable Distributed Systems with CORBA - Landis, Maffeis (1997)(Correct)
New classes of large-scale distributed applications will
have to deal with unpredictable communication delays,
with partial failures, and with networks that
partition. In addition, sophisticated appli... / manufacturer or on a certain operating system hardware or programming br such as network congestion operating system latency or resource
173.9 MPVM: A Migration Transparent Version of PVM - Jeremy Casas (1995)(Correct)
Parallel Virtual Machine (PVM) is a widely-used software
system that allows a heterogeneous set of parallel and
serial UNIX-based computers to be programmed as a single
distributed-memory parallel mac... / From the point of view of the operating system OS a task is just a br of the th ACM Symposium on Operating Systems Principles pages -
173.1 Real-time Communication in Multi-hop Networks - Kandlur, Shin, al. (1993)(Correct)
Communication in real-time systems has to be predictable, because unpredictable delays in
the delivery of messages can adversely affect the execution of tasks dependent on these messages.
In this pape... / a common distributed real-time operating system which is responsible for br control of the network. The operating system also synchronizes clocks and
171.0 Efficient Fair Queuing using Deficit Round Robin - Shreedhar, Varghese (1995)(Correct)
Fair queuing is a technique that allows each flow passing through a network device to have a fair
share of network resources. Previous schemes for fair queuing that achieved nearly perfect fairness
we... / strictly. For example in an operating system cpu scheduling of user br time slices as in a typical operating system. This is true for packet
171.0 Low-Latency Communication over ATM Networks using Active Messages - von Eicken, Avula, Basu, Buch (1995)(Correct)
Recent developments in communication architectures for parallel machines have made significant progress and reduced the communication overheads and latencies by over an order of magnitude as compared ... / though clusters use standard operating system software are equipped with br lack of flow control and of operating system coordination affects the
171.0 Threads and Input/Output in the Synthesis Kernel - Massalin, Pu (1995)(Correct)
The Synthesis operating system kernel combines several techniques
to provide high performance, including kernel code synthesis, fine-grain
scheduling, and optimistic synchronization. Kernel code synth... / Abstract The Synthesis operating system kernel combines several br improvement over traditional operating system implementations. Using
170.3 Efficient Packet Demultiplexing for Multiple Endpoints and Large.. - Yuhara, Bershad (1994)(Correct)
This paper describes a new packet filter mechanism that efficiently dispatches incoming network packets to one of
multiple endpoints, for example address spaces. Earlier packet filter systems iterativ... / implemented for the Mach . operating system and is being used to support br in the context of the Mach . operating system Accetta et al. The new
164.9 Practical Prefetching via Data Compression - Curewitz, Krishnan, Vitter (1993)(Correct)
An important issue that affects response time performance
in current OODB and hypertext systems is the I/O involved
in moving objects from slow memory to cache. A promising
way to tackle this problem ... / is used to store the local operating system application programs and
162.9 An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)(Correct)
Spring is a highly modular, distributed, object-oriented
operating system. This paper describes the goals of the
Spring system and provides overviews of the Spring object
model, the security model, an... / distributed object-oriented operating system. This paper describes the br on which to design a new operating system Would you make the new OS
159.9 Fuzz Revisited: A Re-examination of the Reliability of UNIX Utilities .. - Miller, al. (1998)(Correct)
We have tested the reliability of a large collection of basic UNIX utility programs, X-Window
applications and servers, and network services. We used a simple testing method of subjecting these
progra... / on nine versions of the UNIX operating system including seven commercial br tested UNIX utilities on nine operating system platforms. Seven of these
156.5 The QoS Broker - Nahrstedt, Smith (1995)(Correct)
Many networked multimedia applications are delay-sensitive, and require services with guarantees
of resource availability and timeliness. For networks such as those based on Asynchronous
Transfer Mode... / solution . The network and operating system are ACTIVE first class br to dynamics the network and operating system are SHARED resources unlike
156.5 A Distributed Real-Time MPEG Video Audio Player - Shanwei Cen (1995)(Correct)
This paper presents the design, implementation and experimental
analysis of a distributed, real-time MPEG video and audio player.
The player is designed for use across the Internet, a shared environ... / being supported in commercial operating systems. This project is br identified in the Synthesis operating system project Massalin and Pu
155.5 Client-Server Paradise - DeWitt, Kabra, Luo, Patel, Yu (1994)(Correct)
This paper describes the design and implementation of Paradise, a database system designed for handling GIS type of applications. The current version of Paradise, uses a client--server architecture an... / store all data in normal operating system files providing a library
154.2 JRes: A Resource Accounting Interface for Java - Czajkowski, von Eicken (1998)(Correct)
With the spread of the Internet the computing model on
server systems is undergoing several important changes.
Recent research ideas concerning dynamic operating
system extensibility are finding their... / ideas concerning dynamic operating system extensibility are finding br many features of an extensible operating system a Java-enabled browser is
153.6 Microkernels Meet Recursive Virtual Machines - Ford (1996)(Correct)
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. ... / and extensible operating system functionality and br it is practical to modularize operating systems this way. Some types of
150.7 Parallel Processing on Dynamic Resources with CARMI - Pruyne (1995)(Correct)
In every production parallel processing environment, the set of resources potentially available to an application fluctuate due to changes in the load on the system. This is true for clusters of works... / Library RM Layer MPE Layer Operating System Phsical Resources Figure br ALPHA running OSF as its operating system will be a member of this
150.5 Improving IPC by Kernel Design - Liedtke (1993)(Correct)
Inter-process communication (ipc) has to be fast and effective, otherwise programmers will not use remote procedure calls (RPC), multithreading and multitasking adequately. Thus ipc performance is vit... / th ACM Symposium on Operating System Principles SOSP th- th br is vital for modern operating systems especially kernel based
148.5 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... / Java Operating Systems Design and Implementation br to those in standard operating systems. They must support the
147.8 Improving Release-Consistent Shared Virtual Memory using Automatic.. - Iftode (1996)(Correct)
Shared virtual memory is a software technique to
provide shared memory on a network of computers
without special hardware support. Although several
relaxed consistency models and implementations are
q... / Pentium PCs running the Linux operating system. This architecture allows br must be set up by the operating system but once a mapping exists
145.4 On Implementing MPI-IO Portably and with High Performance - Thakur, Gropp, Lusk (1999)(Correct)
We discuss the issues involved in implementing MPI-IO portably on multiple machines and file
systems and also achieving high performance. One way to implement MPI-IO portably is to implement
it on top... / all machines with a Unix-like operating system. One way to implement MPI-IO br HP machines running the SPPUX operating system and not HPUX the
145.4 Application-Level Differentiated Services for Web Servers - Eggert, Heidemann (1999)(Correct)
The current World-Wide Web service model treats all
requests equivalently, both while being processed by
servers and while being transmitted over the network.
For some uses, such as web prefetching ... / even in the absence of operating system and network support. . br service both in the server operating system OS and in the network see
144.6 High-Performance Local Area Communication With Fast Sockets - Rodrigues, Anderson, Culler (1997)(Correct)
Modern switched networks such as ATM and Myrinet
enable low-latency, high-bandwidth communication.
This performance has not been realized by current
applications, because of the high processing overhe... / without modifications to the operating system kernel. A major portion of br buffer memory inside the operating system kernel is a scarce resource
144.6 Resilient Multicast Support for Continuous-Media Applications - Xu (1997)(Correct)
The IP multicast delivery mechanism provides a
popular basis for delivery of continuous media to many
participants in a conferencing application. However,
the best-effort nature of multicast delivery ... / Workshop on Network and Operating System Support for Digital Audio
144.6 A High-performance Endsystem Architecture for Real-time CORBA - Schmidt, Gokhale, Harrison, Parulkar (1997)(Correct)
Many application domains (such as avionics, telecommunications,
and multimedia) require real-time guarantees from
the underlying networks, operating systems, and middleware
components to achieve their... / from the underlying networks operating systems and middleware components br to applications. While some operating systems networks and protocols now
143.2 XSB as an Efficient Deductive Database Engine - Sagonas (1994)(Correct)
In this paper we describe the XSB system, an in-memory deductive database engine. XSB began from a Prolog foundation, and traditional Prolog systems are known to have a number of serious deficiencies ... / on over a dozen hardware and operating system platforms and on br chips have been tested for operating systems SUNOS SOLARIS IRIX
139.6 Application-Controlled Physical Memory using External Page-Cache.. - Harty (1992)(Correct)
Next generation computer systems will have gigabytes
of physical memory and processors in the 200 MIPS range
or higher. While this trend suggests that memory management
for most programs will be less ... / to foretell the demise of operating system virtual memory systems and br writeback are supported by the operating system and the requisite I O
137.1 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 ... / they are integrated into the operating system mechanisms are not easy to br that are traditionally in the operating system as metalevel software.
137.0 The UNIX Time-Sharing System - Ritchie, Thompson (1974)(Correct)
Unix is a general-purpose, multi-user, interactive operating system for the larger Digital Equipment Corporation PDP-11 and the Interdata 8/32 computers. It offers a number of features seldom found ev... / multi-user interactive operating system for the larger Digital br seldom found even in larger operating systems including i A hierarchical
136.7 First-Class User-Level Threads - Marsh, Scott, LeBlanc, Markatos (1991)(Correct)
It is often desirable, for reasons of clarity, portability,
and efficiency, to write parallel programs in which the
number of processes is independent of the number of
available processors. Several mo... / processors. Several modern operating systems support more than one br in the Psyche parallel operating system and have used them to
136.3 Drawing the Red Line in Java - Back, Hsieh (1999)(Correct)
Software-based protection has become a viable alternative
to hardware-based protection in systems based on languages
such as Java, but the absence of hardware mechanisms
for protection has been couple... / and as reliable as an operating system. We discuss how the red line br not as useful or robust as operating systems. Our goal is to support
131.0 A Continuous Media Player - Rowe, Smith (1992)(Correct)
The design and implementation of a continuous media player for Unix workstations
is described. The player can play synchronized digital video and audio read
from a file server. The system architectu... /
130.4 Network Objects - Birrell, Nelson, Owicki, Wobber (1995)(Correct)
A network object is an object whose methods can be invoked over a network. The Modula-3
network objects system is novel for its overall simplicity. It provides distributed type safety
through the narr... / Fourteenth ACM Symposium on Operating System Principles Asheville North br by the designers of the OS operating system In Modula- they are
130.4 An Argument for Simple COMA - Ashley Saulsbury (1995)(Correct)
We present design details and some initial performance
results of a novel scalable shared memory
multiprocessor architecture. This architecture features
the automatic data migration and replication ca... / and deallocated by the operating system in page-sized blocks using br all-hardware design while the operating system becomes responsible for
128.3 Application-Controlled File Caching Policies - Cao, Felten, Li (1994)(Correct)
We consider how to improve the performance of file
caching by allowing user-level control over file cache
replacement decisions. We use two-level cache management:
the kernel allocates physical pages ... / running the Ultrix operating system and the Sprite traces from br traces when link-editing an operating system kernel twice taking about
127.5 Evaluation of TCP Vegas: Emulation and Experiment - Ahn (1995)(Correct)
This paper explores the claims that TCP Vegas [2] both uses network bandwidth more efficiently and achieves higher network throughput than TCP Reno [6]. It explores how link bandwidth, network buffer ... / running the NetBSD . operating system Further we did not run br to Ethernet interfaces. An operating system patch makes each interface
124.1 Beyond Multiprocessing ... Multithreading the SunOS Kernel - Eykholt, Kleiman, Barton, Faulkner.. (1992)(Correct)
Preparing the SunOS/SVR4 kernel for today's challenges: symmetric multiprocessing, multi-threaded applications, real-time, and multimedia, led to the incorporation of several innovative techniques. In... / SunOS . kernel the central operating system component of Solaris . is br The Design of the UNIX Operating System Prentice-Hall Inc.
123.4 Question Answering from Frequently-Asked Question Files: Experiences.. - Robin Burke (1997)(Correct)
This technical report describes FAQ Finder, a natural language question-answering
system that uses files of frequently-asked questions as its knowledge base. Unlike AI
question-answering systems that ... / and for the Macintosh operating system. Suppose three of these files br eliminating the need for operating-system level startup and shutdown of
121.7 Performance Analysis Using the MIPS R10000 Performance Counters - Zagha, Larson, Turner, Itzkowitz (1996)(Correct)
Tuning supercomputer application performance often requires analyzing the interaction of the
application and the underlying architecture. In this paper, we describe support in the MIPS R10000
for n... / set of hardware mechanisms operating system abstractions and performance br software support at the operating system level. Section describes
120.6 Voice Communication Across the Internet: A Network Voice Terminal - Schulzrinne (1992)(Correct)
Voice conferencing has attracted interest as a useful and viable first real-time application on the Internet. This report describes Nevot a network voice terminal meant to support multiple concurrent ... / in a distinctly non-real-time operating system Unix ffl as a traffic br but so indicated. Due to operating system or hardware support a few
119.9 Market-based Resource Control for Mobile Agents - Bredin, Kotz, Rus (1998)(Correct)
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resources. We discuss a sys... / machines which run different operating systems and are administered by br usage as might a traditional operating system the agent's lifetime
118.8 ParaWeb: Towards World-Wide Supercomputing - Tim Brecht (1996)(Correct)
In this paper, we describe the design of a system, called ParaWeb, for utilizing Internet or intra-net
computing resources in a seamless fashion. The goal is to allow users to execute serial programs ... / data representation and operating system compatibilities that are br different architectures or the operating systems offer significant
118.8 A Rate-Based Execution Abstraction For Multimedia Computing - Jeffay, al. (1995)(Correct)
ion For
Multimedia Computing*
Kevin Jeffay, David Bennett
University of North Carolina at Chapel Hill
Department of Computer Science
Chapel Hill, NC 27599-3175 USA
{jeffay,bennettd}@cs.unc.edu
Abs... / Workshop on Network and Operating System Support for Digital Audio br applications require operating system support to ensure real-time
118.5 Scheduling and Page Migration for Multiprocessor Compute Servers - Chandra, Devine, Verghese, Gupta.. (1994)(Correct)
Several cache-coherent shared-memory multiprocessors have been developed that are scalable and offer a very tight coupling between the processing resources. They are therefore quite attractive for use... / a traditional multiprocessor operating system processes may frequently br is not available to the operating system on current machines. We
118.1 Self-Paging in the Nemesis Operating System - Hand (1999)(Correct)
In contemporary operating systems, continuous media (CM) applications are sensitive to the behaviour of other tasks in the system. This is due to the contention in the kernel (or in servers) between t... / Self-Paging in the Nemesis Operating System S. M. Hand br Abstract In contemporary operating systems continuous media CM
118.1 OpenMP for Networks of SMPs - Hu, Lu, Cox, Zwaenepoel (1999)(Correct)
In this paper, we present the first system that implements OpenMP on a network of shared-memory multiprocessors. This system enables the programmer to rely on a single, standard, shared-memory API for... / the same multiprocessor the operating system maintains the coherence of br support provided by the operating system to detect accesses to shared
117.6 Consul: A Communication Substrate for Fault-Tolerant Distributed.. - Mishra, Peterson, Schlichting (1991)(Correct)
Replicating important services on multiple processors in a distributed architecture is a common technique for constructing dependable computing systems. This paper describes a communication substrate,... / using the x-kernel an operating system kernel designed for easy br in the x-kernel an operating system kernel designed explicitly
115.9 Synchronization and Communication in the T3E Multiprocessor - Scott (1996)(Correct)
This paper describes the synchronization and communication primitives of the Cray T3E multiprocessor, a shared memory system scalable to 2048 processors. We discuss what we have learned from the T3D p... / without involving the operating system. Researchers at Illinois br they must be protected by the operating system. The message queue also
115.9 A Survey of QoS Architectures - Aurrecoechea, Campbell, Hauw (1996)(Correct)
Over the past several years there has been a considerable amount of research within the field of quality of service (QoS) support for distributed multimedia systems. To date, most of the work has been... / distributed system platform operating system transport subsystem and br different system levels i.e.operating system transport layer network
115.9 The Structure of a Multi-Service Operating System - Roscoe (1995)(Correct)
This position paper describes research in progress into a new approach to structuring an operating
system. This approach is intended to facilitate the provision of "Quality of Service"
guarantees of r... / Structure of a Multi-Service Operating System Timothy Roscoe Pegasus br is aimed at the design of an operating systems architecture for scalable
115.5 Cooperative Shared Memory: Software and Hardware for Scalable.. - Hill (1992)(Correct)
We believe the paucity of massively-parallel, shared-memory machines follows from the lack of a shared-memory programming performance model that can inform programmers of the cost of operations (so th... / for Programming Languages and Operating Systems ASPLOS-V The performance br For Programming Languages And Operating Systems asplos Iv Pages -
114.8 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... / Abstract Implementing new operating systems is tedious costly and br code from existing mature operating systems to be incorporated quickly
114.2 The MOSIX Multicomputer Operating System for High Performance Cluster .. - Barak (1998)(Correct)
The scalable computing cluster at Hebrew University consists of 64 Pentium and PentiumPro
servers that are connected by fast Ethernet and the Myrinet LANs. It is running the MOSIX
operating system, an... / The MOSIX Multicomputer Operating System for High Performance Cluster br LANs. It is running the MOSIX operating system an enhancement of BSD OS
111.1 On the Design of Chant: A Talking Threads Package - Matthew Haines (1994)(Correct)
Lightweight threads are becoming increasingly useful in supporting parallelism and
asynchronous control structures in applications and language implementations. However,
lightweight thread packages tr... / thread. Contemporary operating system kernels such as Mach br routine without hardware and operating system support is expensive on most
110.1 Embra: Fast and Flexible Machine Simulation - Witchel, Rosenblum (1996)(Correct)
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simulation environment, Em... / enough to run a commercial operating system and arbitrary user br Embra has been used for operating system development and testing as
109.0 Web Content Adaptation to Improve Server Overload Behavior - Tarek Abdelzaher (1999)(Correct)
This paper presents a study of web content adaptation to improve server overload performance,
as well as an implementation of a web content adaptation software prototype. When
the request rate on a we... / absence of admission control. Operating system research has also addressed br on top of mainstream operating systems such as UNIX. As an
108.6 A High-Performance Microarchitecture with Hardware-Programmable.. - Razdan, Smith (1994)(Correct)
This paper explores a novel way to incorporate hardware-programmable
resources into a processor microarchitecture to improve the
performance of general-purpose applications. Through a coupling
of comp... / We briefly discuss the operating system and the programming language br the functionality of today's operating systems. In many ways our work is
107.2 SuperWeb: Research Issues in Java-Based Global Computing - Alexandrov, Ibel, Schauser, Scheiman (1996)(Correct)
The Internet, in particular the World-Wide-Web, continues to expand at an amazing pace.
We propose a new infrastructure, SuperWeb, to harness global resources, such as CPU cycles or
disk storage, and ... / the computation or require operating system modifications. As a br Since SuperWeb requires no operating system changes and clients need no
107.2 The Tiger Video Fileserver - Bolosky, Barrera, III, Draves.. (1996)(Correct)
Tiger is a distributed, fault-tolerant real-time fileserver. It
provides data streams at a constant, guaranteed rate to a
large number of clients, in addition to supporting more
traditional filesystem... / Workshop on Network and Operating System Support for Digital Audio br a disk used for running the operating system. All cubs in a particular
106.3 Brazos: A Third Generation DSM System - Speight (1997)(Correct)
Brazos is a third generation distributed shared memory (DSM) system designed for x86 machines running Microsoft Windows NT 4.0. Brazos is unique among existing systems in its use of selective multicas... / introduction of advanced PC operating systems combine to make networks of br passing facilities of the host operating system to implement the necessary
105.1 Utopia: A Load Sharing Facility for Large, Heterogeneous Distributed.. - Zhou (1993)(Correct)
Load sharing in large, heterogeneous distributed systems allows users to access vast amount of computing resources scattered around the system and may provide substantial performance improvements to a... / few application changes and no operating system change supports a high br migration in experimental operating systems such as Sprite.
104.3 The Rio File Cache: Surviving Operating System Crashes - Chen, Ng, Rajamani, Aycock (1996)(Correct)
One of the fundamental limits to high-performance, high-reliability file systems is memory's vulnerability to system crashes. Because memory is viewed as unsafe, systems periodically write data back... / The Rio File Cache Surviving Operating System Crashes The Rio File br The Rio File Cache Surviving Operating System Crashes Peter M. Chen Wee
103.7 Distributed Filaments: Efficient Fine-Grain Parallelism on a Cluster.. - Freeh, Lowenthal, Andrews (1994)(Correct)
A fine-grain parallel program is one in which processes are typically small, ranging from
a few to a few hundred instructions. Fine-grain parallelism arises naturally in many
situations, such as itera... / of the First Symposium on Operating Systems Design and Implementation br Packet Protocol Unix Operating System Distributed Shared Memory
103.0 Protecting Poorly Chosen Secrets from Guessing Attacks - Gong, Lomas, Needham, Saltzer (1993)(Correct)
In a security system that allows people to choose their own passwords, those people tend to choose passwords that can be easily guessed. This weakness exists in practically all widely used systems. In... / such as that in the UNIX operating system. Often overlooked is the br on Synchronized Clocks ACM Operating Systems Review Vol. No.
103.0 Integrated Quality of Service for Multimedia Communications - Campbell, Coulson, García.. (1993)(Correct)
The integration of distributed multimedia systems support into a communications architecture encompassing the new multiservice networks poses significant challenges. A key observation about the new en... / this has implications for operating system scheduling for threads which br are layered on top of the operating system to provide distribution
102.8 Managing Concurrent Access for Shared Memory Active Messages - Lumetta, Culler (1998)(Correct)
Passing messages through shared memory plays an important
role on symmetric multiprocessors and on Clumps.
The management of concurrent access to message queues is
an important aspect of design for sh... / in applications and in the operating system on symmetric multiprocessors br server runningthe Solaris . operating system. This system is part of a
102.1 System Support for Automatic Profiling and Optimization - Zhang, Wang, Gloy, Chen, Smith (1997)(Correct)
The Morph system provides a framework for automatic collection and management of profile information and application of profile-driven optimizations. In this paper, we focus on the operating system su... / this paper we focus on the operating system support that is required to br Morph is a combination of operating system and compiler technology that
102.1 Scheduling Real-Time Applications in an Open Environment - Deng Liu (1997)(Correct)
This paper focuses on the problem of providing run-time support to real-time applications and
non-real-time applications in an open system environment. It extends the two-level hierarchical
scheduling... / a two-level scheduler namely operating system scheduler and server br Cyclic Executive EDF-SBP Operating System Figure An Open System
101.4 A Dynamic Disk Spin-Down Technique for Mobile Computing - Helmbold, Long, Sherrod (1996)(Correct)
We address the problem of deciding when to spin down
the disk of a mobile computer in order to extend battery
life. Since one of the most critical resources in
mobile computing environments is battery... / the BIOS or as part of the operating system. Although we have br in the BIOS or in the operating system. Acknowledgments We are
101.4 The Synergy Between Non-blocking Synchronization and Operating System .. - Greenwald, Cheriton (1996)(Correct)
Non-blocking synchronization has significant advantages over
blocking synchronization: however, it has not been used to a
significant degree in practice. We designed and implemented
a multiprocessor o... / Synchronization and Operating System Structure Michael br implemented a multiprocessor operating system kernel and run-time library
101.4 Speed is as Powerful as Clairvoyance - Kalyanasundaram, Pruhs (1995)(Correct)
We consider several well known nonclairvoyant
scheduling problems, including the problem of minimizing
the average response time, and best-effort firm
real-time scheduling. It is known that there are ... / and widely studied problem in operating system scheduling see for example br Galvin and A. Silverschatz Operating System Concepts Addison-Wesley
98.7 Scheduling Algorithms and Operating Systems Support for Real-Time.. - Ramamritham, Stankovic (1994)(Correct)
This paper summarizes the state of the real-time field in the areas of scheduling and
operating system kernels. Given the vast amount of work that has been done by both the
operations research and com... / Scheduling Algorithms and Operating Systems Support for Real-Time br the areas of scheduling and operating system kernels. Given the vast
98.7 An Open Agent Architecture - Cohen, Cheyer, Wang, Baeg (1994)(Correct)
The goal of this ongoing project is to develop an open agent architecture and accompanying user interface for networked desktop and handheld machines. The system we are building should support distrib... / through interpretation of an operating system s message events Apple
98.5 The Design and Implementation of Arjuna - Graham Parrington (1995)(Correct)
Record // Important utility class
RecoveryRecord // handles object recovery
LockRecord // handles object locking
RecordList // Intentions list
other management record types
To make use of atomic actio... / found in conventional operating systems. Arjuna provides the br creation of entirely new operating systems or by some combination of
98.5 Mobile Agents: Are They a Good Idea? - Chess, Harrison, Kershenbaum (1995)(Correct)
Mobile agents are programs, typically written in a script language, which may be
dispatched from a client computer and transported to a remote server computer for
execution. Several authors have sugge... / also need to bind to various operating system functions such as the br This may correspond to an operating system process or an operating
97.1 NetSTAT: A Network-based Intrusion Detection Approach - Vigna (1998)(Correct)
Network-based attacks have become common and sophisticated.
For this reason, intrusion detection systems are
now shifting their focus from the hosts and their operating
systems to the network itself. ... / from the hosts and their operating systems to the network itself. br regardless of the installed operating systems or the auditing modules
94.8 Memory Consistency Models - Mosberger (1993)(Correct)
This paper discusses memory consistency models and their influence on software in the context of parallel machines. In the first part we review previous work on memory consistency models. The second p... / models are now of concern to operating system and language designers too. br be provided by a language or operating system. Also it is always safe to
94.6 Implementation of the Ficus Replicated File System - Guy, Heidemann, Mak, Jr., Popek.. (1990)(Correct)
As we approach nation-wide integration of computer
systems, it is clear that file replication will
play a key role, both to improve data availability
in the face of failures, and to improve performanc... / in the Locus distributed operating system. Non-serializable br of the Seventh Symposium on Operating Systems Principles. ACM December
93.6 SIMPLE: A Methodology for Programming High Performance Algorithms on.. - Bader, JaJa (1997)(Correct)
We describe a methodology for developing high performance programs running on clusters of SMP nodes. Our methodology is based on a small kernel (SIMPLE ) of collective communication primitives that ma... / management multithreaded operating system kernels and optimizing br stream on an SMP node the operating system is itself capable of internal
93.0 A Stream Input-Output System - Ritchie (1984)(Correct)
In a new version of the Unix operating system, a flexible coroutine-based design
replaces the traditional rigid connection between processes and terminals or networks.
Processing modules may be insert... / In a new version of the Unix operating system a flexible coroutine-based br The part of the Unix operating system that deals with terminals and
92.7 Engineering and Analysis of Fixed Priority Schedulers - Katcher (1993)(Correct)
Scheduling theory holds great promise as a means to a
priori validate timing correctness of real-time applications.
However, there currently exists a wide gap between scheduling
theory and its impleme... / and its implementation in operating system kernels running on specific
92.7 ASHs: Application-Specific Handlers for High-Performance Messaging - Wallach (1996)(Correct)
Application-specific safe message handlers (ASHs) are designed to provide applications with hardware-level network performance. ASHs are user-written code fragments that safely and efficiently execute... / imported into the kernel of an operating system without compromising safety. br implemented in an exokernel operating system Aegis an exokernel
92.7 An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski (1996)(Correct)
Plexus is a networking architecture that allows applications
to achieve high performance with customized
protocols. Application-specific protocols are written in
a typesafe language and installed dyna... / dynamically into the operating system kernel. Because these br network interface and other operating system services with low overhead.
92.7 Server Operating Systems - Kaashoek, Engler, Ganger, Wallach (1996)(Correct)
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance
server applications. We have designed and are implementing a prototype server... / Server Operating Systems M. Frans Kaashoek Dawson br We introduce server operating systems which are sets of
92.7 Mobile Agents White Paper - White (1996)(Correct)
this paper.
Introduction
New products
New applications
New networks
About "Mobile Agents"
Enabling mobile agents
Mobile agent paradigm
Mobile agent concepts
Mobile agent technology
Programming mobile ... / provided by hardware and operating system manufacturers developers
92.7 An Overview of the Rialto Real-Time Architecture - Jones (1996)(Correct)
The goal of the Rialto project at Microsoft Research is to build a system architecture supporting coexisting independent real-time (and non-real-time) programs. Unlike traditional embedded-systems rea... / . Introduction The Rialto operating system has been designed and built br Workshop on Workstation Operating Systems pages - . IEEE