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.
338 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
275 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
270 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
259 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
223 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
217 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 -
183 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
181 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
181 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 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
170 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
163 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 -
162 Performance of Various Computers Using Standard Linear Equations.. - 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
157 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
157 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
148 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
145 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
145 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
144 Fbufs: A High-Bandwidth Cross-Domain Transfer Facility - Peter Druschel, Larry L. Peterson (1993)(Correct)
We have designed and implemented a new operating system facility for I/O buffer management
and data transfer across protection domain boundaries on shared memory machines. This
facility, called fast b... / designed and implemented a new operating system facility for I O buffer br and microkernel-based operating systems. This paper outlines the
137 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
137 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
132 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
132 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
131 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
130 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
129 Horus: A Flexible Group Communications System - van Renesse, Birman, Maffeis (1996)(Correct)
This paper reports on the Horus system, which provides an unusually flexible group communication model to application-developers. This flexibility extends to system interfaces, the properties provided... / 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
128 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
123 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
122 Processor Capacity Reserves: Operating System Support for Multimedia.. - Mercer, Savage, Tokuda (1994)(Correct)
Multimedia applications have timing requirements that cannot generally be satisfied using the time-sharing scheduling algorithms of general purpose operating systems. Our approach is to provide the pr... / Processor Capacity Reserves Operating System Support for Multimedia br algorithms of general purpose operating systems. Our approach is to provide
118 The Zebra Striped Network File System - Hartman, Ousterhout (1993)(Correct)
Zebra is a network file system that increases throughput by striping file data across multiple servers. Rather than striping each file separately, Zebra forms all the new data from each client into a ... / of Zebra built in the Sprite operating system provides - times the br of Zebra as part of the Sprite operating system Ousterhout Although it
118 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
118 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
111 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
111 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
110 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
109 Protocol Service Decomposition for High-Performance Networking - Maeda, Bershad (1993)(Correct)
In this paper we describe a new approach to implementing
network protocols that enables them to have
high performance and high flexibility, while retaining
complete conformity to existing application ... / from its interface to the operating system. We have separated these br running on the Mach . operating system and UNIX server.
104 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
100 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
98 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
98 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
95 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
93 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
93 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
92 The Spring nucleus: A microkernel for objects - Hamilton, Kougiouris (1994)(Correct)
The Spring system is a distributed operating system that supports a distributed, object-oriented application framework. Each individual Spring system is based around a microkernel known as the nucleus... / Spring system is a distributed operating system that supports a distributed br and academia in structuring operating systems as sets of cooperating
89 Dealing With Disaster: Surviving Misbehaved Kernel Extensions - Seltzer (1996)(Correct)
Today's extensible operating systems allow applications
to modify kernel behavior by providing mechanisms for
application code to run in the kernel address space. The
advantage of this approach is tha... / the USENIX nd Symposium on Operating Systems Design and Implementation br Abstract Today's extensible operating systems allow applications to
89 A Fast File System for UNIX - McKusick, Joy, Leffler, Fabry (1984)(Correct)
A reimplementation of the UNIX file system is described. The reimplementation
provides substantially higher throughput rates by using more flexible allocation policies
that allow better locality of re... / Subject Descriptors D. . Operating Systems File Systems Management br access methods D. . Operating Systems Storage Management
88 Constructing Distributed Systems In Conic - Magee, Kramer, Sloman (1989)(Correct)
Abstract -- Existing distributed systems vary from those which merely provide Existing distributed systems vary from those which merely provide interconnection of autonomous systems to those which pro... / and accessibility of an operating systems approach. It provides a
86 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
84 Application Performance and Flexibility on Exokernel Systems - Kaashoek, Engler, Ganger.. (1997)(Correct)
The exokernel operating system architecture safely gives untrusted
software efficient control over hardware and software resources by
separating management from protection. This paper describes an
exo... / of thee Symposium on Operating Systems Principles SOSP s br Abstract The exokernel operating system architecture safely gives
84 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
81 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
80 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
79 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
79 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
79 Reasoning about Time in Higher-Level Language Software - Shaw (1989)(Correct)
Introduction
Real-time systems and many other computer applications must meet specifications
and perform tasks that satisfy timing as well as logical criteria for correctness.
Examples of timing prop... / software interference from an operating system for such functions as br and combinations of these. An operating system is also required in order to
76 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
76 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... /
73 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
72 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.
72 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
72 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
70 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
69 Efficient Packet Demultiplexing for Multiple Endpoints and Large.. - Yuhara, Bershad (1994)(Correct)
This paper describes a new packet filter mechanism that efficiently dispatches incoming network packets to one of
multiple endpoints, for example address spaces. Earlier packet filter systems iterativ... / 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
68 Compiler-directed Data Prefetching in Multiprocessors with Memory.. - Edward Gornish (1990)(Correct)
Memory hierarchies are used by multiprocessor systems
to reduce large memory access times. It is necessary to
automatically manage such a hierarchy, to obtain effective
memory utilization. In this pap... / above or the effects of an operating system. For now we concentrate on br Barring architectural and operating system considerations a speedup of
67 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 -
66 An Overview of the Spring System - Mitchell, Gibbons, Hamilton.. (1994)(Correct)
Spring is a highly modular, distributed, object-oriented
operating system. This paper describes the goals of the
Spring system and provides overviews of the Spring object
model, the security model, an... / distributed object-oriented operating system. This paper describes the br on which to design a new operating system Would you make the new OS
65 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.
65 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
65 Plan 9 from Bell Labs - Pike (1990)(Correct)
Plan 9 is a distributed computing environment. It is assembled from separate machines acting as CPU servers, file servers, and terminals. The pieces are connected by a single file-oriented protocol an... / system including compiler operating system networking software command br non-Plan systems. The operating system provides a conventional view
63 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
62 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
61 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
61 Mostly Parallel Garbage Collection - Boehm, Demers, Shenker (1991)(Correct)
We present a method for adapting garbage collectors designed to run sequentially with the client, so that they may run concurrently with it. We rely on virtual memory hardware to provide information a... / makes few demands on the operating system beyond the write-protect br operate without any special operating system or mutator cooperation. In
61 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
60 SunOS 5.0 Multithread Architecture - Powell, Kleiman, Barton, Shah.. (1991)(Correct)
this document are identified by the trademarks of the
companies who market those products.
ii SunSoft
SunOS 5.0 Multithread Architecture iii unknown AWhitePaper
Solaris SunOS 5.0
SunOS 5.0 Multith... / the library and the operating system handle the interleaving of br is defined by the services the operating system must provide. After
60 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 -
60 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
59 The Design Of The Postgres Storage System - Stonebraker (1987)(Correct)
This paper presents the design of the storage system for the POSTGRES data base system
under construction at Berkeley. It is novel in several ways. First, the storage manager supports
transaction mana... / files provided by the UNIX operating system however we may reassess br delta record are on the same operating system page as the anchor point
59 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
59 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
59 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
58 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
58 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
57 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
57 No Assembly Required: Compiling Standard ML to C - Tarditi, Lee, Acharya (1990)(Correct)
C has been used as a portable target language for implementing languages
like Standard ML and Scheme. Previous efforts at compiling these
languages to C have produced efficient code, but also compromi... / written in C and requires an operating system compatible with Unix . br system which provides operating system services garbage
54 The Implementation Of Postgres - Stonebraker (1990)(Correct)
Currently, POSTGRES is about 90,000 lines of code in C and is being used by assorted "bold and brave" early users. The system has been constructed by a team of 5 part time students led by a full time ... / how we interfaced to the operating system our choice of programming br of our design concerns the operating system process structure. Currently
54 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
54 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
53 Microkernels Meet Recursive Virtual Machines - Ford (1996)(Correct)
This paper describes a novel approach to providingmodular and extensible operating system functionality and encapsulated environments based on a synthesis of microkernel and virtual machine concepts. ... / and extensible operating system functionality and br it is practical to modularize operating systems this way. Some types of
52 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
52 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
51 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
51 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
51 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.
50 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.
50 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
49 Representing Control in the Presence of First-Class Continuations - Hieb, Dybvig, Bruggeman (1990)(Correct)
Languages such as Scheme and Smalltalk that provide continuations as first-class data objects present a challenge to efficient implementation. Allocating activation records in a heap has proven unsati... / the absence of hardware and operating system support. Background We br on several machines and operating systems. Scheme is a good test bed
48 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
48 The Design of Nectar: A Network Backplane for Heterogeneous.. - Arnould (1989)(Correct)
Nectar is a "network backplane" for use in heterogeneous
multicomputers. The initial system consists of a starshaped
fiber-optic network with an aggregate bandwidth
of 1.6 gigabits/second and a switch... / for Programming Languages and Operating Systems ASPLOSIII Boston br protocols and node operating system support to the application
46 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
46 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
45 Security Properties of Typed Applets - Leroy, Rouaix(Correct)
This paper formalizes the folklore result that strongly-typed
applets are more secure than untyped ones. We formulate
and prove several security properties that all well-typed applets
possess, and ide... / state of the browser the operating system and other applications br checking. In Proc. Symp. Operating Systems Design and Implementation
45 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
45 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
45 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
45 A Retargetable Compiler for ANSI C - Fraser, Hanson (1991)(Correct)
lcc is a new retargetable compiler for ANSI C. Versions for the VAX, Motorola 68020, SPARC, and MIPS are in production use at Princeton University and at AT&T Bell Laboratories. With a few exceptions,... / is read directly from the operating system into a -character buffer
45 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
44 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
44 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
44 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
44 Fragmented Objects for Distributed Abstractions - Makpangou (1992)(Correct)
ions
Mesaac Makpangou Yvon Gourhant
Jean-Pierre Le Narzul
Marc Shapiro
INRIA, B.P. 105, 78153 Rocquencourt C'edex, France
tel.: +33 (1) 39-63-52-93, fax: +33 (1) 39 63 53 30
e-mail: mak@sor.inria.f... / a distributed object-support operating system which we do not br tool for distributed operating system. In The th International
44 Automatic Blocking of Nested Loops - Schreiber, Dongarra (1990)(Correct)
Blocked algorithms have much better properties of data locality and therefore
can be much more efficient than ordinary algorithms when a memory hierarchy is
Supported by the NAS Systems Division an... / by software either operating system or application. If the
44 Using Sparse Capabilities in a Distributed Operating System - Tanenbaum, Mullender, van Renesse (1986)(Correct)
Most distributed operating systems constructed to date have lacked a unifying mechanism for
naming and protection. In this paper we discuss a system, Amoeba, that uses capabilities for
naming and prot... / Capabilities in a Distributed Operating System Andrew S. Tanenbaum Dept. br ABSTRACT Most distributed operating systems constructed to date have
43 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
43 Adding Threads to Standard ML - Cooper, Morrisett (1990)(Correct)
We have added multiple threads of control to the Standard ML programming language. Standard
ML's support for first-class functions and automatic storage management influenced the design in
a number of... / system and the underlying operating system. Threads are needed for two br The first is that calls to the operating system to perform a service such as
43 The Measured Cost of Conservative Garbage Collection - Zorn (1992)(Correct)
Because dynamic memory management is an important part of a large class of
computer programs, high-performance algorithms for dynamic memory management
have been, and will continue to be, of considera... / as provided by the Sun Operating System a fast buddy algorithm br algorithm provided by the Sun Operating System library routines malloc and
43 Virtual Memory Architecture in SunOS - Gingell, Moran, Shannon (1987)(Correct)
A new virtual memory architecture for the Sun implementation of the UNIX+
operating system is described. Our goals included unifying and simplifying the concepts
the system used to manage memory, as ... / of the UNIX operating system is described. Our goals br and Motivation The UNIX operating system has traditionally provided
43 Efficient Distributed Shared Memory Based On Multi-Protocol Release.. - Carter (1993)(Correct)
Efficient Distributed Shared Memory Based On
Multi-Protocol Release Consistency
by
John B. Carter
A distributed shared memory (DSM) system allows shared memory parallel programs
to be executed on di... / . Operating System Support br networks and operating systems to communicate the latency
42 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
42 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
42 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
41 WebOS: Operating System Services for Wide Area Applications - Vahdat (1997)(Correct)
In this paper, we demonstrate the power of providing
a common set of Operating System services to wide-area
applications, including mechanisms for naming, persistent
storage, remote process execution,... / WebOS Operating System Services for Wide Area br of providing a common set of Operating System services to wide-area
41 Kerberos Authentication and Authorization System - Miller, Neuman, Schiller, Saltzer (1988)(Correct)
This document describes the assumptions, short and long term goals, and system model
for a network authentication system, named Kerberos, for the Athena environment. An
appendix specifies the detailed... / protection wall separates the operating system from its users a workstation br run a private version of the operating system or even replace the machine
41 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
41 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
41 A Rate-Based Execution Abstraction For Multimedia Computing - Jeffay, al. (1995)(Correct)
ion For
Multimedia Computing*
Kevin Jeffay, David Bennett
University of North Carolina at Chapel Hill
Department of Computer Science
Chapel Hill, NC 27599-3175 USA
{jeffay,bennettd}@cs.unc.edu
Abs... / Workshop on Network and Operating System Support for Digital Audio br applications require operating system support to ensure real-time
40 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
40 A Language-Based Approach to Protocol Implementation - Abbott, Peterson (1993)(Correct)
Morpheus is a special-purpose programming language that facilitates the efficient implementation of communication protocols. Protocols are divided into three categories, called shapes, so that they ca... / the constraints imposed by the operating system and architectural br the extent to which the host operating system is designed to accommodate
40 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
40 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
40 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
40 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
38 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
38 The Desk Area Network - Hayter (1991)(Correct)
A novel architecture for use within an end computing system is described.
This attempts to extend the concepts used in modern high speed networks
into computer system design. A multimedia workstation ... / May To appear in ACM Operating Systems Review Abstract A novel br the DAN allows the controlling operating system to be aware of the state of
38 Robust Partitioning Policies of Multiprocessor Systems - Rosti, Smirni, Dowdy, Serazzi.. (1993)(Correct)
Various techniques for multiprogramming parallel multiprocessor systems have been proposed
recently as a way to improve performance. A natural approach is to divide the set of
processing elements into... / Depending on the underlying operating system platform the overhead for br Urushibara S.The impact of operating system scheduling policies and
38 Kernel Support for Live Digital Audio and Video - Jeffay, Stone, Smith (1992)(Correct)
We have developed a real-time operating system kernel which has
been used to support the transmission and reception of streams of live digital
audio and video in real-time as part of a workstation-b... / Intl. Workshop on Network and Operating System Support for Digital Audio and br We have developed a real-time operating system kernel which has been used
38 Architectural Support for Single Address Space Operating Systems - Koldinger, Chase, Eggers (1992)(Correct)
Recent microprocessor announcements show a trend toward
wide-address computers: architectures that support
64 bits of virtual address space. Such architectures
facilitate fundamentally new operating s... / for Single Address Space Operating Systems Eric J. Koldinger Jeffrey br for Single Address Space Operating Systems Eric J. Koldinger
38 Distributed Object Management - Manola (1992)(Correct)
Future information processing environments will consist of a vast network of heterogeneous, autonomous, and distributed computing resources, including computers (from mainframe to personal), informati... / the latest Apple Macintosh operating system. In this case the components br programming languages operating systems and object database
37 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
37 Fail-safe PVM: A portable package for distributed programming with.. - Leon (1993)(Correct)
Many scientific problems benefit from computationsthat are parallel at a coarse grain. Collections of looselycoupled, heterogeneous computers are increasingly being applied to these problems. While in... / require modifications to the operating system. We describe the design and br in different architectures operating systems languages How can
37 The ADAPTIVE Communication Environment: An Object-Oriented Network.. - Schmidt (1993)(Correct)
The ADAPTIVE Communication Environment (ACE) implements a set of fundamental design patterns that simplify the development of concurrent event-driven communication software. ACE provides a rich set of... / control across a range of operating system platforms. The primary br and enhance the following operating system concurrency interprocess
37 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
36 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
36 Shared Libraries in SunOS - Gingell, Lee, Dang, Weeks (1987)(Correct)
The design and implementation of a shared libraries facility for Sun's implementation
of the UNIX+ operating system (SunOS) is described. Shared libraries extend the
resource utilitization benefits ob... / implementation of the UNIX operating system SunOS is described. Shared br . Introduction The UNIX operating system has long achieved
36 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
35 Trace-driven Memory Simulation: A Survey - Uhlig, Mudge(Correct)
ion and Trace Collection Methods
Operating System
Compiler
Assembler
Linker
Loader
Emulation
Microcode
Circuits and Gates
Hardware
Software Single-stepping
Code Annotation
Instruction Emulation
Microc... / of multiple processes the operating system and dynamically-linked or br workloads and the operating system. We do not examine
35 Object Distribution in Orca using Compile-Time and Run-Time Techniques - Bal, Kaashoek (1993)(Correct)
Orca is a language for parallel programming on distributed
systems. Communication in Orca is based
on shared data-objects, which is a form of distributed
shared memory. The performance of Orca
program... / run-time system RTS the operating system the hardware or a br data distribution in the operating system by partitioning the shared
35 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
35 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
35 Trapezoid Self-Scheduling: A Practical Scheduling Scheme for Parallel .. - Tzen (1993)(Correct)
In this paper, we present a new practical processor self-scheduling scheme, Trapezoid
Self-Scheduling, for arbitrary parallel nested loops in shared-memory multiprocessors.
Generally, loops are the ri... / system calls provided by the operating system. However the number of br compiler rather than on the operating system were proposed in the past
35 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
34 The Design and Implementation of Arjuna - Parrington, al. (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 acti... / found in conventional operating systems. Arjuna provides the br creation of entirely new operating systems or by some combination of
34 A High-performance Endsystem Architecture for Real-time CORBA - Douglas Schmidt (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
34 Separating Data and Control Transfer in Distributed Operating Systems - Thekkath, Levy, Lazowska (1994)(Correct)
Advances in processor architecture and technology have resulted in workstations in the 100+ MIPS
range. As well, newer local-area networks such as ATM promise a ten- to hundred-fold increase in
throug... / Transfer in Distributed Operating Systems Chandramohan A. Thekkath br for Programming Languages and Operating Systems October .
34 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
34 Mobile Agents: Are they a good idea? - Harrison, Chess, 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 sug... / also need to bind to various operating system functions such as the br This may correspond to an operating system process or an
34 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
33 The Behavior Language; User's Guide - Brooks (1990)(Correct)
The Behavior Language is a rule-based real-time parallel robot programming language originally based on ideas from [Brooks 86], [Connell 89], and [Maes 89]. It compiles into a modified and extended ve... / running SOS Seymour Operating System h The Hitachi . br h The Hitachi . The operating system must be provided by the user
33 PERTS: A Prototyping Environment for Real-Time Systems - Liu, Redondo, Deng, Tia, Bettati.. (1993)(Correct)
PERTS is a prototyping environment for real-time systems. It is being built incrementally and will contain schedulers and resource access protocols for time-critical applications, together with tools ... / basic building blocks of operating systems for real-time applications br of them together with an operating system kernel that allows external
33 A Fast Mach Network IPC Implementation - Barrera (1991)(Correct)
This paper describes an implementation of network Mach IPC optimized for clusters of processors connected by a fast network, such as workstations connected by an Ethernet or processors in a non-shared... / paging traffic. Buffering in operating system servers and emulators is br for NX Intel's proprietary operating system running on the same