UsenetDHT: A low-overhead design for Usenet (2009)
Emil Sit, Robert Morris, M. Frans Kaashoek
Usenet is a popular distributed messaging and file sharing service: servers in Usenet flood articles over an overlay network to fully replicate articles across all servers. However, replication of...
Whanaungatanga: Sybil-proof routing with social networks (2009)
Lesniewski-Laas, Chris, Kaashoek, M. Frans
Decentralized systems, such as distributed hash tables, are subject to the Sybil attack, in which an adversary creates many false identities to increase its influence. This paper proposes a routing...
Chord: A scalable peer-to-peer lookup protocol for internet applications (2009)
Ion Stoica, Robert Morris, David Liben-nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup protocol that...
PARALLEL PROGRAMMING USING SHARED OBJECTS (2009)
Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal
Parallel computers come in two varieties: those with shared memory and those without. The former are hard to build; the latter are hard to program. In this paper we propose a hybrid form that...
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
Most methods for programming loosely-coupled systems are based on message-passing. Recently, however, methods have emerged based on ‘‘virtually’ ’ sharing data. These methods simplify...
Abstract Rover: A Toolkit for Mobile Information Access (2009)
Anthony D. Joseph, Alan F. Delespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
The Rover toolkit combines relocatable dynamic objects and queued remote procedure calls to provide unique services for “roving ” mobile applications. A relocatable dynamic object is an object...
Kevin Fu, M. Frans Kaashoek, David Mazieres
and secure distributed read-only file system
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil
performance vs. cost framework for evaluating
PARALLEL PROGRAMMING USING SHARED OBJECTS (2008)
Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum, M. Frans Kaashoek, Henri E. Bal
Parallel computers come in two varieties: those with shared memory and those without. The former are hard to build; the latter are hard to program. In this paper we propose a hybrid form that...
Abstract Bandwidth-efficient management of DHT routing tables (2008)
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek
Today an application developer using a distributed hash table (DHT) with n nodes must choose a DHT protocol from the spectrum between O(1) lookup protocols [9, 18] and O(log n) protocols...
Presented by Jennifer Minor What is a Kernel? (2008)
Dawson R. Engler, M. Frans Kaashoek, James O'tool
Definition from wiktionary.org: � The core, center, or essence of an object or system. � (computing) The central part of many computer operating systems which manages...
Abstract Wide-area cooperative storage with CFS (2008)
Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
The Cooperative File System (CFS) is a new peer-to-peer readonly storage system that provides provable guarantees for the efficiency, robustness, and load-balance of file storage and retrieval. CFS...
Abstract Application Performance and Hexibility on Exokernel Systems (2008)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Or M. Bricefio, Russell Hunt, David Mazikres, ...
The exokemel operating system architecture safely gives untrusted software efficient control over hardware and software resources by separating management from protection. This paper describes an...
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil
performance vs. cost framework for evaluating
Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
Abstract Application Performance and Flexibility on Exokernel Systems (2008)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Abstract Bandwidth-efficient management of DHT routing tables (2008)
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek
Today an application developer using a distributed hash table (DHT) with n nodes must choose a DHT protocol from the spectrum between O(1) lookup protocols [9, 18] and O(log n) protocols...
Abstract Separating key management from file system security (2008)
David Maziores, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
No secure network file system has ever grown to span the In-ternet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the In-ternet, any...
The Expandable Network Disk (2008)
Athicha Muthitacharoen, Robert Morris, M. Frans Kaashoek
Many organizations posses large data sets that need to be online but do not require the highest possible performance. It often makes sense to store this data on low-end commodity servers or on idle...
Kevin Fu, M. Frans Kaashoek, David Mazieres
and secure distributed read-only file system
Abstract Server Operating Systems (2008)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach
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...
The Migrate Approach to Internet Mobility 1 (2008)
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
The proliferation of laptops, handheld computers, cellular phones, and other mobile computing platforms connected to the Internet has triggered much research into system support for mobile networking...
Abstract Embedded Inodes and Explicit Grouping: (2008)
Gregory R. Ganger, M. Frans Kaashoek, Exploiting Disk, Bandwidth Small Files, Gregory R. Ganger, M. Frans Kaashoek
Small file performance in most file systems is limited by slowly improving disk access times, even though current file systems improve on-disk locality by allocating related data objects in the same...
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
Dynamic code generation allows specialized code sequences to be created using runtime information. Since this information is by definition not available statically, the use of dynamic code generation...
PAN IS A NEW ACTIVE NETWORK SYSTEM that provides (2008)
Erik L. Nygren, Stephen J. Garl, M. Frans Kaashoek
Abstract—A capsule-based active network transports capsules containing code to be executed on network nodes through which they pass. Active networks facilitate the deployment of new protocols,...
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek, Thomer M. Gil
performance vs. cost framework for evaluating
Abstract Bandwidth-efficient management of DHT routing tables (2008)
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek
Today an application developer using a distributed hash table (DHT) with n nodes must choose a DHT protocol from the spectrum between O(1) lookup protocols [9, 18] and O(log n) protocols...
The Migrate Approach to Internet Mobility 1 (2008)
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
The proliferation of laptops, handheld computers, cellular phones, and other mobile computing platforms connected to the Internet has triggered much research into system support for mobile networking...
Abstract Bandwidth-efficient management of DHT routing tables (2008)
Jinyang Li, Jeremy Stribling, Robert Morris, M. Frans Kaashoek
Today an application developer using a distributed hash table (DHT) with n nodes must choose a DHT protocol from the spectrum between O(1) lookup protocols [9, 18] and O(log n) protocols...
The Click, Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Abstract Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement...
System Software Support for High Performance Servers (2008)
Gregory R. Ganger, Héctor Briceño, M. Frans Kaashoek
To satisfy increasing demand for high performance distributed computing, system implementors must be able to construct a variety of server applications (e.g., HTTP, NFS, FTP, etc.) that can support...
Abstract Don’t Give Up on Distributed File Systems (2008)
Jeremy Stribling, Emil Sit, M. Frans Kaashoek, Jinyang Li, Robert Morris
Wide-area distributed applications often reinvent the wheel for their storage needs, each incorporating its own special-purpose storage manager to cope with distribution, intermittent failures,...
The Following Paper Was Originally Published in the (2008)
Anaheim California January, Gregory R. Ganger, M. Frans Kaashoek, Exploiting Disk, Bandwidth Small Files, Gregory R. Ganger, ...
Small file performance in most file systems is limited by slowly improving disk access times, even though current file systems improve on-disk locality by allocating related data objects in the same...
(reformatted) The Click modular router (2007)
Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
for Translation Lookaside Buffers (2007)
Kavita Bala, M. Frans Kaashoek, William E. Weihl
A number of interacting trends in operating system structure, processor architecture, and memory systems are increasing both the rate of translation lookaside buffer (TLB) misses and the cost of...
Multiprocessing with the Exokernel Operating System (2007)
M. Frans Kaashoek, Benjie Chen, Benjie Chen
by
M. Frans Kaashoek, Matthew Scott Rimer, Matthew Scott Rimer
and electronic copies of this thesis and to grant others the right to do so.
The Logical Disk: A New Approach to Improving File Systems (2007)
Wiebren De Jonge, M. Frans Kaashoek, Wilson C. Hsieh
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface is designed to...
Abstract Rover: A Toolkit for Mobile Information Access (2007)
Anthony D. Joseph, Alan F. Delespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
The Rover toolkit combines relocatable dynamic objects and queued remote procedure calls to provide unique services for “roving ” mobile applications. A relocatable dynamic object is an object...
Abstract REX: Secure, modular remote execution through file descriptor passing (2007)
Michael Kaminsky, Eric Peterson, Kevin Fu, David Mazières, M. Frans Kaashoek
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. This paper presents a new system, REX, designed to provide remote login and execution in the context...
LOOKING UP DATA in P2P Systems � By Hari Balakrishnan, (2007)
M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
The main challenge in P2P computing is to design and implement a robust and scalable distributed system composed of inexpensive, individually unreliable computers in unrelated administrative domains....
Using Software-Extended Architectures for Software Simultaneous Multithreading (2007)
Emmett Witchel, M. Frans Kaashoek
A software-extended architecture (SEA) enhances a hardware architecture by placing a high-performance dynamic instruction-set translator between the application binary and the processor, improving...
Multiprocessing with the Exokernel Operating System (2007)
M. Frans Kaashoek, Arthur C. Smith, Benjie Chen, Benjie Chen
Multiprocessing with the Exokernel Operating System by
Robust and E#cient Data Management for a Distributed Hash Table (2007)
M. Frans Kaashoek, Josh Cates, Josh Cates
by
1 Logical Disk: A Simple New Approach to Improving File System Performance (2007)
Wiebren De Jonge, M. Frans Kaashoek, Wilson C. Hsieh
Making a file system efficient usually requires extensive modifications. For example, making a file system log-structured requires the introduction of new data structures that are tightly coupled...
MIT-LCS-TR-819 Chord: A scalable peer-to-peer lookup service for Internet applications Ion (2007)
Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
Efficiently determining the node that stores a data item in a distributed network is an important and challenging problem. This paper describes the motivation and design of the Chord �system, a...
Certified by:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: (2007)
M. Frans Kaashoek, Frederic R. Morgenthaler
by
Chord: A scalable peer-to-peer lookup service for Internet applications (2007)
L Lscal, L L Appl, Ion Stoica Robert, Ion Stoica, Robert Morris, David Karger, ...
Efficiently determining the node that stores a data item in a distributed network is an important and challenging problem. This paper describes the motivation and design of the Chord system, a...
Packrat parsing is a novel and practical method for implementing linear-time parsers for grammars defined in Top-Down Parsing Language (TDPL). While TDPL was originally created as a formal model for...
Abstract Wide-area cooperative storage with CFS (2007)
Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
The Cooperative File System (CFS) is a new peer-to-peer readonly storage system that provides provable guarantees for the efficiency, robustness, and load-balance of file storage and retrieval. CFS...
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
Despite the popularity of mobile computing platforms, appropriate system support for mobile operation is lacking in the Internet. This paper argues this is not for lack of deployment incentives, but...
Kevin Fu, M. Frans Kaashoek, David Mazieres
and secure distributed read-only file system
M. Frans Kaashoek, Thomer M. Gil, Thomer M. Gil
MULTOPS: a data structure for denial-of-service attack detection by
Alpaca: extensible authorization for distributed services (2007)
Chris Lesniewski-laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them with, and too many...
Alpaca: extensible authorization for distributed services (2007)
Chris Lesniewski-laas, Bryan Ford, Jacob Strauss, Robert Morris, M. Frans Kaashoek
Traditional Public Key Infrastructures (PKI) have not lived up to their promise because there are too many ways to define PKIs, too many cryptographic primitives to build them with, and too many...
Efficient replica maintenance for distributed storage systems (2006)
Byung-gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, ...
This paper considers replication strategies for storage systems that aggregate the disks of many nodes spread over the Internet. Maintaining replication in such systems can be prohibitively...
Efficient replica maintenance for distributed storage systems (2006)
Byung-gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, ...
This paper considers replication strategies for storage systems that aggregate the disks of many nodes spread over the Internet. Maintaining replication in such systems can be prohibitively...
Proactive Replication for Data Durability (2006)
Emil Sit Andreas, Andreas Haeberlen, Frank Dabek, Byung-gon Chun, Hakim Weatherspoon, Robert Morris, ...
Many wide-area storage systems replicate data for durability. A common way of maintaining the replicas is to detect node failures and respond by creating additional copies of objects that were stored...
Efficient Replica Maintenance for Distributed Storage Systems (2006)
Byung-gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, ...
This paper considers replication strategies for storage systems that aggregate the disks of many nodes spread over the Internet. Maintaining replication in such systems can be prohibitively...
Proactive replication for data durability (2006)
Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-gon Chun, Hakim Weatherspoon, Robert Morris, ...
Many wide-area storage systems replicate data for durability. A common way of maintaining the replicas is to detect node failures and respond by creating additional copies of objects that were stored...
Efficient replica maintenance for distributed storage systems (2006)
Byung-gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, ...
This paper considers replication strategies for storage systems that aggregate the disks of many nodes spread over the Internet. Maintaining replication in such systems can be prohibitively...
Proactive replication for data durability (2006)
Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-gon Chun, Hakim Weatherspoon, Robert Morris, ...
Many wide-area storage systems replicate data for durability. A common way of maintaining the replicas is to detect node failures and respond by creating additional copies of objects that were stored...
Overcite: A distributed, cooperative citeseer (2006)
Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Morris
CiteSeer is a popular online resource for the computer science research community, allowing users to search and browse a large archive of research papers. CiteSeer is expensive: it generates 35 GB of...
Overcite: A distributed, cooperative citeseer (2006)
Jeremy Stribling, Jinyang Li, Isaac G. Councill, M. Frans Kaashoek, Robert Morris
CiteSeer is a popular online resource for the computer science research community, allowing users to search and browse a large archive of research papers. CiteSeer is expensive: it generates 35 GB of...
A Distributed Hash Table (2005)
Frank Dabek, M. Frans Kaashoek, C. Smith
DHash is a new system that harnesses the storage and network resources of computers distributed across the Internet by providing a wide-area storage service, DHash. DHash frees applications from...
Building Fast and Secure Web Services with OKWS (2005)
Maxwell Krohn, M. Frans Kaashoek, Arthur C. Smith, Maxwell Krohn
OverCite: A Cooperative Digital Research Library (2005)
Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Morris, ...
CiteSeer is a well-known online resource for the computer science research community, allowing users to search and browse a large archive of research papers. Unfortunately, its current centralized...
Improving Web Availability for Clients with MONET (2005)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao
Despite the increasing degree of multi-homing, path and data redundancy, and capacity available in the Internet, today 's clients experience outage rates of a few percent when accessing Web...
Accepted by.............................................................. (2005)
Kevin E. Fu, M. Frans Kaashoek, Ronald L. Rivest, Arthur C. Smith, Kevin E. Fu
Integrity and access control in untrusted content distribution networks by
Sybil-resistant DHT routing (2005)
George Danezis, Chris Lesniewski-laas, M. Frans Kaashoek, Ross Anderson
Abstract. Distributed Hash Tables (DHTs) are very efficient distributed systems for routing, but at the same time vulnerable to disruptive nodes. Designers of such systems want them used in open...
Overcite: A cooperative digital research library (2005)
Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Morris, ...
CiteSeer is a well-known online resource for the computer science research community, allowing users to search and browse a large archive of research papers. Unfortunately, its current centralized...
Improving Web Availability for Clients with MONET (2005)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Rohit N. Rao
Despite the increasing degree of multi-homing, path and data redundancy, and capacity available in the Internet, today’s clients experience outage rates of a few percent when accessing Web sites....
Overcite: A cooperative digital research library (2005)
M. Frans Kaashoek, Arthur C. Smith, Jeremy Stribling, Jeremy Stribling
A Distributed Hash Table (2005)
Frank Dabek, M. Frans Kaashoek, C. Smith
DHash is a new system that harnesses the storage and network resources of computers distributed across the Internet by providing a wide-area storage service, DHash. DHash frees applications from...
Overcite: A cooperative digital research library (2005)
Jeremy Stribling, Isaac G. Councill, Jinyang Li, M. Frans Kaashoek, David R. Karger, Robert Morris, ...
Abstract CiteSeer is a well-known online resource for the com-puter science research community, allowing users to search and browse a large archive of research papers. Unfortunately, its cur-rent...
Mandatory Security and Performance of Services in Asbestos (2005)
David Patrick Ziegler, M. Frans Kaashoek, Arthur C. Smith, David Patrick Ziegler
Accepted by iV in whole or in part. /1fA l l.E.g.i....
REX: Secure, Extensible Remote Execution (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
Permission is granted for noncommercial reproduction of the work for educational or research purposes.
REX: Secure, Extensible Remote Execution (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and extensions, which are...
Designing a DHT for low latency and high throughput (2004)
Frank Dabek, Jinyang Li, Emil Sit, James Robertson, M. Frans Kaashoek, Robert Morris
Designing a wide-area distributed hash table (DHT) that provides high-throughput and low-latency network storage is a challenge. Existing systems have explored a range of solutions, including...
Comparing the Performance of Distributed Hash Tables Under Churn (2004)
Jinyang Li Jeremy, Jeremy Stribling, Thomer M. Gil, Robert Morris, M. Frans Kaashoek
A protocol for a distributed hash table (DHT) incurs communication costs to keep up with churn---changes in membership---in order to maintain its ability to route lookups efficiently. This paper...
User Authentication and Remote Execution Across Administrative Domains (2004)
M. Frans Kaashoek, Arthur C. Smith, Michael Kaminsky, Michael Kaminsky
Comparing the Performance of Distributed Hash Tables Under Churn (2004)
Jinyang Li Jeremy, Jeremy Stribling, Thomer M. Gil, Robert Morris, M. Frans Kaashoek
A protocol for a distributed hash table (DHT) incurs communication costs to keep up with churn---changes in membership---in order to maintain its ability to route lookups efficiently. This paper...
REX: Secure, Extensible Remote Execution (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and extensions, which are...
REX: Secure, Extensible Remote Execution (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. As remote execution tools grow in popularity, users require new features and extensions, which are...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Li, Jiyang, Loo, Boon Thau, Hellerstein, Joseph M, Kaashoek, M Frans, Karger, David, Morris, Robert
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Chord: a scalable peer-to-peer lookup protocol for internet applications (2003)
Ion Stoica, Robert Morris, David Liben-nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
Abstract—A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup...
Secure, modular remote execution through file descriptor passing (2003)
Michael Kaminsky, Eric Peterson, Kevin Fu, David Mazires, M. Frans Kaashoek
The ubiquitous SSH package has demonstrated the importance of secure remote login and execution. This paper presents a new system, REX, designed to provide remote login and execution in the context...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Koorde: A simple degree-optimal distributed hash table (2003)
M. Frans Kaashoek, David R. Karger
is a new distributed hash table (DHT) based on Chord [15] and the de Bruijn graphs [2]. While inheriting the simplicity of Chord, Koorde meets various lower bounds, such as O(log n) hops per lookup...
Measuring the effects of Internet path faults on reactive routing (2003)
Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek
Empirical evidence suggests that reactive routing systems improve resilience to Internet path failures. They detect and route around faulty paths based on measurements of path performance. This paper...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Chord: a scalable peer-to-peer lookup protocol for internet applications (2003)
Ion Stoica, Robert Morris, David Liben-nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup protocol that...
Chord: a scalable peer-to-peer lookup protocol for internet applications (2003)
Ion Stoica, Robert Morris, David Liben-nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup protocol that...
Decentralized user authentication in a global file system (2003)
Michael Kaminsky, George Savvides, M. Frans Kaashoek
ABSTRACT The challenge for user authentication in a global file system is al-lowing people to grant access to specific users and groups in remote administrative domains, without assuming any kind of...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Experience with an Evolving Overlay Network Testbed (2003)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
The MIT RON testbed consists of 36 Internet-connected nodes at 31 different sites. It has been in operation for two years. This paper presents an overview of the testbed, summarizes some of the...
Decentralized User Authentication in a Global File System (2003)
Michael Kaminsky, George Savvides, David Mazires, M. Frans Kaashoek
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming any kind of...
Measuring the Effects of Internet Path Faults on (2003)
Reactive Routing Nick, Nick Feamster, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek
Empirical evidence suggests that reactive routing systems improve resilience to Internet path failures. They detect and route around faulty paths based on measurements of path performance. This paper...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li Boon, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Looking Up Data In P2p Systems (2003)
Hari Balakrishnan Frans, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
this article discusses four recent P2P lookup algorithms that have provable guarantees: CAN, Chord, Pastry, and Tapestry. These algorithms stress the ability to scale well to large numbers of nodes,...
Decentralized User Authentication in a Global File System (2003)
Michael Kaminsky George, George Savvides, David Mazières, M. Frans Kaashoek
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming any kind of...
Submitted to the Department of Electrical Engineering and Computer Science (2003)
In Partial Fulfillment, M. Frans Kaashoek, James Robertson, James Robertson
Text search has been an important feature of file sharing applications since Napster. This thesis explores a directory hierarchy for categorizing and retrieving content in peer-to-peer systems as an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li Boon, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek, David Karger, ...
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
Looking up data in P2P systems (2003)
Hari Balakrishnan, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
The recent success of some widely deployed peer-to-peer (P2P) file sharing applications has sparked new research in this area. We are interested in the P2P systems that have no centralized control or...
On the Feasibility of Peer-to-Peer Web Indexing and Search (2003)
Jinyang Li, Boon Thau, Loo Joseph, M. Hellerstein, M. Frans Kaashoek
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of queries over an...
A Session-Based Architecture for Internet Mobility (2003)
Mark Alexander, Connell Snoeren, Hari Balakrishnan, M. Frans Kaashoek, Arthur C. Smith, Mark Alexander, ...
Decentralized user authentication in a global file system (2003)
Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek
The challenge for user authentication in a global file system is allowing people to grant access to specific users and groups in remote administrative domains, without assuming any kind of...
Alex C. Snoeren, Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
I am writing to apply for a tenure-track position as an assistant professor in your department. I
Fast and flexible application-level networking on exokernel systems (2002)
Gregory R. Ganger, Dawson R. Engler, M. Frans Kaashoek, Héctor M. Briceño, Russell Hunt, Thomas Pinckney, ...
Application-level networking is a promising software organization for improving performance and functionality for important network services. The Xok/ExOS exokernel system includes applicationlevel...
Network Layer Support for Overlay Networks (2002)
M. Frans Kaashoek, John Jannotti, John Jannotti
Overlay networks are virtual networks formed by cooperating nodes that share an underlying physical network. They represent a flexible and deployable approach for applications to obtain new network...
Network Layer Support for Overlay Networks (2002)
John Jannotti, M. Frans Kaashoek
Overlay networks are virtual networks formed by cooperating nodes that share an underlying physical network. They represent a flexible and deployable approach for applications to obtain new network...
Network Layer Support for Overlay Networks (2002)
John Jannotti, M. Frans Kaashoek
Overlay networks are virtual networks formed by cooperating nodes that share an underlying physical network. They represent a flexible and deployable approach for applications to obtain new network...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
Efficiently determining the node that stores a data item in a distributed network is an important and challenging problem. This paper describes the motivation and design of the Chord system, a...
Wide-area cooperative storage with CFS (2001)
Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, Ion Stoica
The Cooperative File System (CFS) is a new peer-to-peer readonly storage system that provides provable guarantees for the efficiency, robustness, and load-balance of file storage and retrieval. CFS...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
The case for resilient overlay networks (2001)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
In this paper, we motivate and describe the architecture of Resilient Overlay Networks (RON), an application-level packet forwarding service that gives end-hosts and applications the ability to take...
Reconsidering Internet mobility (2001)
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
Despite the popularity of mobile computing platforms, appropriate system support for mobile operation is lacking in the Internet. This paper argues this is not for lack of deployment incentives, but...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
A Cooperative File System (2001)
M. Frans Kaashoek, Frank Dabek, Frank Dabek
The Cooperative File System (CFS) is a new peer-to-peer read-only storage system that provides provable guarantees for the eciency, robustness, and load-balance of le storage and retrieval. CFS does...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
The Migrate Approach to Internet Mobility (2001)
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
Introduction The proliferation of laptops, handheld computers, cellular phones, and other mobile computing platforms connected to the Internet has triggered much research into system support for...
Choosing Internet Paths With High Bulk Transfer Capacity (2001)
M. Frans Kaashoek, Jacob A Strauss, Jacob A. Strauss
Many applications wish to predict what bandwidth TCP can achieve on a path between Internet hosts without performing extensive measurements. More precisely, they would like to know the bulk transfer...
Chord: A Scalable Peer-to-Peer Lookup Protocol for Internet Applications (2001)
Ion Stoica, Robert Morris, David Liben-nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup protocol that...
Reconsidering Internet Mobility (2001)
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
Despite the popularity of mobile computing platforms, appropriate system support for mobile operation is lacking in the Internet. This paper argues this is not for lack of deployment incentives, but...
The Case for Resilient Overlay Networks (2001)
David Andersen Hari, David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
This paper makes the case for Resilient Overlay Networks (RONs), an application-level routing and packet forwarding service that gives end-hosts and applications the ability to take advantage of...
The case for resilient overlay networks (2001)
David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, Robert Morris
This paper makes the case for Resilient Overlay Networks (RONs), an application-level routing and packet forwarding service that gives end-hosts and applications the ability to take advantage of...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan
Efficiently determining the node that stores a data item in a distributed network is an important and challenging problem. This paper describes the motivation and design of the Chord system, a...
Chord: A Scalable Peer-to-peer Lookup Protocol for Internet Applications (2001)
Ion Stoica, Robert Morris, David Liben-Nowell, David R. Karger, M. Frans Kaashoek, Frank Dabek, ...
A fundamental problem that confronts peer-to-peer applications is the efficient location of the node that stores a desired data item. This paper presents Chord, a distributed lookup protocol that...
Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications (2001)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan Ý
A fundamental problem that confronts peer-to-peer applications is to efficiently locate the node that stores a particular data item. This paper presents Chord, a distributed lookup protocol that...
Certified by.......................................................... (2000)
Self-certifying File System by David Mazi`eres
The click modular router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
Programming language techniques for modular router configurations (2000)
Eddie Kohler, Benjie Chen, M. Frans Kaashoek, Robert Morris, Massimiliano Poletto
This paper applies programming language techniques to a high-level system description, both to optimize the system and to prove useful properties about it. The system in question is Click, a modular...
Fast and secure distributed read-only file system (2000)
Kevin Fu, M. Frans Kaashoek, David Mazières
Internet users increasingly rely on publicly available data for everything from software installation to investment decisions. Unfortunately, the vast majority of public content on the Internet comes...
The click modular router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
The click modular router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
Fast and secure distributed read-only file system (2000)
Internet users increasingly rely on publicly available data for everything from software installation to investment decisions. Unfortunately, the vast majority of public content on the Internet comes...
The Measured Performance of Content Distribution Networks (2000)
Kirk L. Johnson, John F. Carr, Mark S. Day, M. Frans Kaashoek
We have measured the performance of two commercial content distribution networks (CDNs), one operated by Akamai and one operated by Digital Island. Although there are differences in the...
The Click Modular Router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission...
Programming Language Techniques for Modular Router Configurations (2000)
Eddie Kohler, Benjie Chen, M. Frans Kaashoek, Robert Morris, Massimiliano Poletto
This paper applies programming language techniques to a high-level system description, both to optimize the system and to prove useful properties about it. The system in question is Click, a modular...
Flexible Key Management with SFS Agents (2000)
M. Frans Kaashoek, Michael Kaminsky, Michael Kaminsky
One of the primary barriers to deploying secure systems is key management---the problem of mapping real-world notions of identity onto cryptographic keys. Systems typically mandate a particular way...
Fast and Secure Distributed Read-Only File System (2000)
Kevin Fu, M. Frans Kaashoek, David Mazieres
Internet users increasingly rely on publicly available data for everything from software installation to investment decisions. Unfortunately, the vast majority of public content on the Internet comes...
MULTOPS: a data structure for denial-of-service attack detection (2000)
M. Frans Kaashoek, Thomer M. Gil, Thomer M. Gil
A denial-of-service (DoS) attack is an attempt by a single person or a group of people to disrupt an online service. In a bandwidth attack, attackers clog links or routers by generating a traffic...
The click modular router (2000)
Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
The click modular router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
The click modular router (2000)
Eddie Kohler, Robert Morris, Benjie Chen, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
Separating key management from file system security (1999)
David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
No secure network file system has ever grown to span the Internet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the Internet, any...
Kaashoek. ’C and tcc: a Language and Compiler for Dynamic Code Generation (1999)
Massimiliano Poletto, Wilson C. Hsieh, Dawson R. Engler, M. Frans Kaashoek
Dynamic code generation allows programmers touserun-time information in order to achieve performance and expressiveness superior to those of static code. The `C (Tick C) language is a superset of...
A readable TCP in the prolac protocol language (1999)
Eddie Kohler, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
Separating key management from file system security (1999)
David Mazi Eres, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
No secure network file system has ever grown to span the Internet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the Internet, any...
A readable TCP in the prolac protocol language (1999)
Eddie Kohler, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
A Readable TCP in the Prolac Protocol Language (1999)
Eddie Kohler Frans, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
Language and Compiler Support for Dynamic Code Generation (1999)
M. Frans Kaashoek, Massimiliano A. Poletto, Massimiliano A. Poletto
Dynamic code generation, also called run-time code generation or dynamic compilation, is the creation of executable code for an application while that application is running. Dynamic compilation can...
The Click Modular Router (1999)
Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
The Click modular router (1999)
Robert Morris Eddie, Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
Separating Key Management From File System Security (1999)
David Mazieres, David Mazi Eres, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
No secure network file system has ever grown to span the Internet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the Internet, any...
The Click modular router (1999)
Robert Morris Eddie, Robert Morris, Eddie Kohler, John Jannotti, M. Frans Kaashoek
Click is a new software architecture for building flexible and configurable routers. A Click router is assembled from packet processing modules called elements. Individual elements implement simple...
A Readable TCP in the Prolac Protocol Language (1999)
Eddie Kohler, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
PAN: A High-Performance Active Network Node Supporting Multiple Mobile Code Systems (1999)
Erik L. Nygren, Stephen J. Garland, M. Frans Kaashoek
A capsule-based active network transports capsules containing code to be executed on network nodes through which they pass. Active networks facilitate the deployment of new protocols, which can be...
A Readable TCP in the Prolac Protocol Language (1999)
Eddie Kohler Frans, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
`C and tcc: A Language and Compiler for Dynamic Code Generation (1999)
Massimiliano Poletto, Wilson Hsieh, Dawson Engler, M. Frans Kaashoek
This paper makes the following contributions: ---It describes the `C language, and motivates the design of the language. ---It describes tcc, with special emphasis on its two runtime systems, one...
A readable TCP in the prolac protocol language (1999)
Eddie Kohler, M. Frans Kaashoek, David R. Montgomery
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most previous protocol...
Separating key management from file system security (1999)
David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel
No secure network file system has ever grown to span the Internet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the Internet, any...
Escaping the Evils of Centralized Control with self-certifying pathnames (1998)
David Mazières, David Mazi Eres, M. Frans Kaashoek
People have long trusted central authorities to coordinate secure collaboration on local-area networks. Unfortunately, the Internet doesn't provide the kind of administrative structures...
Performance Evaluation of the Orca Shared Object System (1998)
Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim Rühl, ...
Orca is a portable, object-based distributed shared memory system. This paper studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs. The paper gives a...
Exploiting Two-Case Delivery for Fast Protected Messaging (1998)
Kenneth Mackenzie, John Kubiatowicz, Matthew Frank, Walter Lee, Victor Lee, Anant Agarwal, ...
We propose and evaluate two complementary techniques to protect and virtualize a tightly-coupled network interface in a multicomputer. The techniques allow efficient, direct application access to...
The Design, Implementation and Operation of an Email Pseudonym Server (1998)
David Mazieres, M. Frans Kaashoek
Attacks on servers that provide anonymity generally fall into two categories: attempts to expose anonymous users and attempts to silence them. Much existing work concentrates on withstanding the...
The Design and Implementation of a High-Performance Active Network Node (1998)
M. Frans Kaashoek, Erik L. Nygren, Erik L. Nygren
A capsule-oriented active network transports capsules containing code to be executed on the network nodes that they pass through. This approach makes networks more extensible by allowing new...
Performance Evaluation of the Orca Shared Object System (1998)
Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim R Hl, ...
Orca is a portable, object-based distributed shared memory system. This paper studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs. The paper gives a...
Erik L. Nygren, M. Frans Kaashoek, C. Smith, Erik L. Nygren
onFebruary4,1998,inpartialfulllmentofthe requirementsforthedegreeof MasterofEngineeringinComputerScienceandEngineering Acapsule-oriented active networktransports capsulescontainingcodetobeexecuted...
Exploiting Two-Case Delivery for Fast Protected Messaging (1998)
Kenneth Mackenzie, John Kubiatowicz Y, Matthew Frank, Walter Lee, Victor Lee Z, Anant Agarwal, ...
We propose and evaluate two complementary techniques to protect and virtualize a tightly-coupled network interface in a multicomputer. The techniques allow efficient, direct application access to...
Performance Evaluation of the Orca Shared Object System (1998)
Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim Rühl, ...
Orca is a portable, object-based distributed shared memory system. This paper studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs. The paper gives a...
The design, implementation and operation of an email pseudonym server (1998)
David Mazières, M. Frans Kaashoek
Attacks on servers that provide anonymity generally fall into two categories: attempts to expose anonymous users and attempts to silence them. Much existing work concentrates on withstanding the...
Exploiting Two-Case Delivery for Fast Protected Messaging (1998)
Kenneth Mackenzie, John Kubiatowicz Y, Matthew Frank, Walter Lee, Victor Lee Z, Anant Agarwal, ...
We propose and evaluate two complementary techniques to protect and virtualize a tightly-coupled network interface in a multicomputer. The techniques allow efficient, direct application access to...
Alex C. Snoeren, Hari Balakrishnan, M. Frans Kaashoek
Research interests Many aspects of computer systems, especially operating systems, networking, and mobile and distributed systems. Particularly interested in scalable services and protocols to...
Performance evaluation of the orca shared-object system (1998)
Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Koen Langendoen, Tim Rühl, M. Frans Kaashoek
Orca is a portable, object-based distributed shared memory (DSM) system. This article studies and evaluates the design choices made in the Orca system and compares Orca with other DSMs. The article...
Decentralizing UNIX abstractions in the exokernel architecture (1997)
M. Frans Kaashoek, Gregory R. Ganger, Dawson R. Engler, Arthur C. Smith, Héctor Manuel, Héctor Manuel, ...
Chairman, Departmental Committee on Graduate Students
Mobile computing with the Rover toolkit (1997)
Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek
Rover is a software toolkit that supports the construction of both mobile-transparent and mobile-aware appli-cations. The objective of the mobile-transparent approach istodevelop proxies for system...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
tcc: A system for Fast, Flexible, and High-level Dynamic Code Generation (1997)
Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek
tcc is a compiler that provides efficient and high-level access to dynamic code generation. It implements the `C ("Tick-C") programming language, an extension of ANSI C that...
Secure applications need flexible operating systems (1997)
David Mazieres, M. Frans Kaashoek
As information exchange over wide area networks becomes an increasingly essential component of new applications, firewalls will no longer provide an adequate defense against malicious attackers....
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Using Software-Extended Architectures for Software Simultaneous Multithreading (1997)
Emmett Witchel, M. Frans Kaashoek
A software-extended architecture (SEA) enhances a hardware architecture by placing a high-performance dynamic instruction-set translator between the application binary and the processor, improving...
Application Performance and Flexibility on Exokernel Systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, ...
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...
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation (1997)
Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek
tcc is a compiler that provides efficient and high-level access to dynamic code generation. It implements the `C ("Tick-C") programming language, an extension of ANSI C that supports...
Operating System Extensibility Through Event Capture (1997)
M. Frans Kaashoek, Thomas Pinckney III, Thomas Pinckney Iii
Empirically, operating systems are inevitably faced with application demands that the operating system cannot adequately handle. This thesis addresses how extensibility can be designed in, so that...
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files (1997)
Gregory Ganger, M. Frans Kaashoek
Small file performance in most file systems is limited by slowly improving disk access times, even though current file systems improve on-disk locality by allocating related data objects in the same...
Mobile Computing with the Rover Toolkit (1997)
Anthony Joseph, Joshua A. Tauber, M. Frans Kaashoek
Rover is a software toolkit that supports the construction of both mobile-transparent and mobile-aware applications. The objective of the mobile-transparent approach is to develop proxies for system...
Mobile Computing with the Rover Toolkit (1997)
Anthony Joseph, Joshua A. Tauber, M. Frans Kaashoek
Rover is a software toolkit that supports the construction of both mobile-transparent and mobile-aware applications. The objective of the mobile-transparent approach is to develop proxies for system...
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files (1997)
Gregory R. Ganger, M. Frans Kaashoek
Small file performance in most file systems is limited by slowly improving disk access times, even though current file systems improve on-disk locality by allocating related data objects in the same...
Mobile computing with the Rover toolkit (1997)
M. Frans Kaashoek, Anthony Douglas Joseph, Anthony Douglas Joseph
Rover is one of the first architectures that supports the construction of both mobileadaptive applications and mobile-adaptive proxies for mobile-transparent applications. To excel in the harsh...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Embedded Inodes and Explicit Grouping: Exploiting Disk Bandwidth for Small Files (1997)
Gregory R. Ganger, M. Frans Kaashoek
file performance in most file systems is limited by slowly improving disk access times, even though current file systems improve on-disk locality by allocating related data objects in the same...
Mobile computing with the Rover toolkit (1997)
Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek
Rover is a software toolkit that supports the construction of both mobile-transparent and mobile-aware appli-cations. The objective of the mobile-transparent approach istodevelop proxies for system...
Application performance and flexibility on Exokernel systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Héctor M. Briceño, Russell Hunt, David Mazières, ...
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...
Application Performance and Flexibility on Exokernel Systems (1997)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hector M. Briceno, Russel Hunt, David Mazieres, ...
Exokernel principles XN- a storage system Xok and ExOS
UDM: User Direct Messaging for General-Purpose Multiprocessing (1996)
Kenneth Mackenzie, John Kubiatowicz, Matthew Frank, Walter Lee, Victor Lee, Anant Agarwal, ...
User Direct Messaging (UDM) allows user-level, processor-to-processor messaging to coexist with general multiprogramming and virtual memory. Direct messaging, where processors launch and receive...
C: A Language for High-level, Efficient, and Machine-independent Dynamic Code Generation (1996)
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
Dynamic code generation allows specialized code sequences to be crafted using runtime information. Since this information is by definition not available statically, the use of dynamic code generation...
UDM: User Direct Messaging for General-Purpose Multiprocessing (1996)
Kenneth Mackenzie, John Kubiatowicz, Matthew Frank, Walter Lee, Victor Lee, Anant Agarwal, ...
User Direct Messaging (UDM) allows user-level, processor-to-processor messaging to coexist with general multiprogramming and virtual memory. Direct messaging, where processors launch and receive...
C: A Language for High-level, Efficient, and Machine-independent Dynamic Code Generation (1996)
Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
Dynamic code generation allows specialized code sequences to be crafted using runtime information. Since this information is by definition not available statically, the use of dynamic code generation...
tcc: A template-based compiler for `C (1996)
Massimiliano Poletto, Dawson R. Engler, M. Frans Kaashoek
Dynamic code generation is an important technique for improving the performance of software by exploiting information known only at run time. `C (Tick C) is a superset of ANSI C that, unlike most...
C: A Language for High-level, Efficient, and Machine-independent Dynamic Code Generation (1996)
Dawson R. Engler, M. Frans Kaashoek
Dynamic code generation allows specialized code sequences to be created using runtime information. Since this information is by definition not available statically, the use of dynamic code generation...
DPF: fast, flexible message demultiplexing using dynamic code generation (1996)
Dawson R. Engler, M. Frans Kaashoek
Fast and flexible message demultiplexing are well-established goals in the networking community [1, 18, 22]. Currently, however, network architects have had to sacrifice one for the other. We present...
Ashs: Application-specific handlers for high-performance messaging (1996)
Deborah A. Wallach, Dawson R. Engler, M. Frans Kaashoek
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...
Server Operating Systems (1996)
M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Deborah A. Wallach
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...
Orca: a Portable User-Level Shared Object System (1996)
Henri E. Bal, RAOUL BHOEDJANG, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim Rhl, ...
Orca is an object-based distributed shared memory system that is designed for writing portable and efficient parallel programs. Orca hides the communication substrate from the programmer by providing...
An Evaluation of the Amoeba Group Communication System (1996)
M. Frans Kaashoek, M. Frans, Kaashoek Andrew, Andrew S. Tanenbaum
The Amoeba group communication system has two unique aspects: (1) it uses a sequencer-based protocol with negative acknowledgements for achieving a total order on all group messages; and (2) users...
DPF: Fast, Flexible Message Demultiplexing using Dynamic Code Generation (1996)
Dawson R. Engler, M. Frans Kaashoek
Fast and flexible message demultiplexing are well-established goals in the networking community [1, 18, 22]. Currently, however, network architects have had to sacrifice one for the other. We present...
Exodisk: Maximizing Application Control Over Storage Management (1996)
Gregory R. Ganger, M. Frans Kaashoek, Frederic R. Morgenthaler, Robert Grimm, Robert Grimm
This thesis presents a new disk system architecture to address the growing performance gap between CPU speed and disk access times. Based on the observation that disk access times can greatly benefit...
Building Mobile Applications with the Rover Toolkit (1996)
Rover Toolkit, Anthony D. Joseph, Joshua A. Tauber, M. Frans Kaashoek
The Rover toolkit supports the construction of mobile-transparent and mobile-aware applications. The objective of the mobile-transparentapproach is to developproxies for system services that hide the...
Dynamic Computation Migration in DSM Systems (1996)
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
Dynamic computation migration is the runtime choice between computation and data migration. Dynamic computation migration speeds up access to concurrent data structures with unpredictable read/write...
ASHs: Application-Specific Handlers for High-Performance Messaging (1996)
Deborah Wallach, Dawson R. Engler, M. Frans Kaashoek
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...
Building Reliable Mobile-Aware Applications Using the Rover Toolkit (1996)
Anthony D. Joseph, M. Frans Kaashoek
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which only addressed client or...
Building Reliable Mobile-Aware Applications Using the Rover Toolkit (1996)
The Rover Toolkit, Anthony D. Joseph, M. Frans Kaashoek
This paper discusses extensions to the Rover toolkit for constructing reliable mobile-aware applications. The extensions improve upon the existing failure model, which addressed client or...
Atomic Recovery Units: Failure Atomicity for Logical Disks (1996)
Robert Grimm, Wilson C. Hsieh, M. Frans Kaashoek, Wiebren De Jonge
Atomic recovery units (ARUs) are a mechanism that allows several logical disk operations to be executed as a single atomic unit with respect to failures. For example, ARUs can be used during file...
ASHs: Application-Specific Handlers for High-Performance Messaging (1996)
Deborah Wallach, Dawson R. Engler, M. Frans Kaashoek
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...
UDM: User Direct Messaging for General-Purpose Multiprocessing (1996)
Kenneth Mackenzie, John Kubiatowicz, Matthew Frank, Walter Lee, Anant Agarwal, M. Frans Kaashoek
User Direct Messaging (UDM) allows user-level, processor-to-processor messaging to coexist with general multiprogramming and virtual memory. Direct messaging, where processors launch and receive...
Dynamic Computation Migration in DSM Systems (1996)
Wilson Hsieh, M. Frans Kaashoek, William E. Weihl
Dynamic computation migration is the runtime choice between computation and data migration. Dynamic computation migration speeds up access to concurrent data structures with unpredictable read/write...
Dynamic Computation Migration in DSM Systems (1996)
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
Dynamic computation migration is the runtime choice between computation and data migration. Dynamic computation migration speeds up access to concurrent data structures with unpredictable read/write...
Atomic recovery units: Failure atomicity for logical disks (1996)
Robert Grimm, Wilson C. Hsieh, M. Frans Kaashoek, Wiebren De Jonge
Atomic recovery units (ARUs) are a mechanism that allows several logical disk operations to be executed as a single atomic unit with respect to failures. For example, ARUs can be used during file...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
We describe an operating system architecture that securely multiplexes machine resources while permitting an unprecedented degree of application-specific customization of traditional operating system...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, Leonard A. Gould, Dawson R. Engler
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, Leonard A. Gould, Dawson R. Engler
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
CRL: high-performance all-software distributed shared memory (1995)
Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach
This paper introduces the CRegion Library (CRL), a new all-software distributed shared memory (DSM) system. CRL requires no special compiler, hardware, or operating system support beyond the ability...
CRL: high-performance all-software distributed shared memory (1995)
Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach
This paper introduces the C Region Library (CRL), a new all-software distributedshared memory (DSM) system. CRL requires no special compiler, hardware, or operating system support beyond the ability...
The modified object buffer: a storage management technique for object-oriented databases (1995)
Barbara H. Liskov, M. Frans Kaashoek, Frederic R. Morgenthaler, Sanjay Ghemawat, Sanjay Ghemawat
databases store many small objects on disks. Disks perform poorly when reading
Exterminate All Operating System Abstractions (1995)
Dawson R. Engler, M. Frans Kaashoek
The defining tragedy of the operating systems community has been the definition of an operating system as software that both multiplexes and abstracts the hardware is based on the assumption that it...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O'toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O'toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson Engler, M. Frans Kaashoek, James O'toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
AVM: Application-Level Virtual Memory (1995)
Dawson Engler Sandeep, Sandeep K. Gupta, M. Frans Kaashoek
Virtual memory (VM) is a notoriously complicated abstraction to implement, and is hard to change, specialize, or replace. Although a certain degree of flexibility is achieved by user-level pagers,...
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (1995)
Deborah Wallach Wilson, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl
Low-overhead message passing is critical to the performance of many applications. Active Messages [27] reduce the software overhead for message handling: messages are run as handlers instead of as...
CRL: High-Performance All-Software Distributed Shared Memory (1995)
Kirk Johnson, M. Frans Kaashoek, Deborah A. Wallach
The CRegion Library (CRL) is a new all-software distributed shared memory (DSM) system. CRL requires no special compiler, hardware, or operating system support beyond the ability to send and receive...
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (1995)
Deborah Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl
Low-overhead message passing is critical to the performance of many applications. Active Messages [27] reduce the software overhead for message handling: messages are run as handlers instead of as...
Rover: A Toolkit for Mobile Information Access (1995)
Anthony Joseph, Alan F. Delespinasse, Joshua A. Tauber, David K. Gifford, M. Frans Kaashoek
The Rover toolkit combines relocatable dynamic objects andqueued remote procedure calls to provide unique services for "roving" mobile applications. A relocatable dynamic object is an...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O'Toole Jr.
We describe an operating system architecture that securely multiplexes machine resources while permitting an unprecedented degree of application-specific customization of traditional operating system...
Optimistic Active Messages: A Mechanism for Scheduling Communication with Computation (1995)
Deborah Wallach, Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, William E. Weihl
Low-overhead message passing is critical to the performance of many applications. Active Messages [27] reduce the software overhead for message handling: messages are run as handlers instead of as...
Path Splitting: A Technique for Improving Data-Flow Analysis (1995)
Massimiliano Poletto, M. Frans Kaashoek, Dawson R. Engler, M. Frans, Kaashoek Dawson, R. Engler
The effectiveness of traditional global optimizations is limited by the quality of data-flow information available to the compiler. The rich control structure of many programs hinders global...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Certified by:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: (1995)
M. Frans Kaashoek, Frederic R. Morgenthaler
by
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
Exokernel: An Operating System Architecture for Application-Level Resource Management (1995)
Dawson R. Engler, M. Frans Kaashoek, James O’toole
Traditional operating systems limit the performance, flexibility, and functionality of applications by fixing the interface and implementation of operating system abstractions such as interprocess...
An object-based approach to programming distributed systems. Concurrency Practice (1994)
Andrew S. Tanenbaum, Henri E. Bal, Saniya Ben Hassen, M. Frans Kaashoek
Two kinds of parallel computers exist: those with shared memory and those without. The former are difficult to build but easy to program. The latter are easy to build but difficult to program. In...
Efficient Implementation of High-Level Languages on User-Level Communication Architectures (1994)
Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach, William E. Weihl
User-level communication architectures--- parallel architectures that give user code direct but protected access to the network--- provide communication performance that is an order of magnitude...
Andrew S. Tanenbaum, M. Frans Kaashoek
In this paper we will give an up-to-date overview of the Amoeba distributed operating system microkernel. We will examine process management, memory management, and the communication primitives,...
Dynamic documents: Mobile wireless access to the WWW (1994)
M. Frans Kaashoek, Tom Pinckney, Joshua A. Tauber
We propose dynamic documents as an approach to extending and customizing the WWW/Mosaic for mobile computing platforms. Dynamic documents are programs executed on a mobile platform to generate a...
An object-based approach to programming distributed systems. Concurrency Practice (1994)
Andrew S. Tanenbaum, Henri E. Bal, Saniya Ben Hassen, M. Frans Kaashoek
Two kinds of parallel computers exist: those with shared memory and those without. The former are difficult to build but easy to program. The latter are easy to build but difficult to program. In...
Andrew S. Tanenbaum, M. Frans Kaashoek
In this paper we will give an up-to-date overview of the Amoeba distributed operating system microkernel. We will examine process management, memory management, and the communication primitives,...
Storage Alternatives for Mobile Computers (1994)
Fred Douglis, Ramón Cáceres, M. Frans Kaashoek, P. Krishnan, Kai Li, Brian Marsh, ...
Mobile computers such as notebooks, subnotebooks, and palmtops require low weight, low power consumption, and good interactive performance. These requirements impose many challenges on architectures...
Software Prefetching and Caching for Translation Lookaside Buffers (1994)
Kavita Bala Frans, M. Frans Kaashoek, William E. Weihl
A number of interacting trends in operating system structure, processor architecture, and memory systems are increasing both the rate of translation lookaside buffer (TLB) misses and the cost of...
The Operating System Kernel as a Secure Programmable Machine (1994)
Dawson R. Engler, M. Frans Kaashoek, M. Frans, Kaashoek James, James W. O'Toole
To provide modularity and performance, operating system kernels should have only minimal embedded functionality. Today's operating systems are large, inefficient and, most importantly,...
Software Prefetching and Caching for Translation Lookaside Buffers (1994)
Kavita Bala Frans, M. Frans Kaashoek, William E. Weihl
A number of interacting trends in operating system structure, processor architecture, and memory systems are increasing both the rate of translation lookaside buffer (TLB) misses and the cost of...
Using Broadcasting To Implement Distributed Shared Memory Efficiently (1994)
Andrew S. Tanenbaum, Andrew S. Tanenbaum, M. Frans Kaashoek, M. Frans Kaashoek, Henri E. Bal, Henri E. Bal
Parallel computers come in two varieties: those with shared memory and those without. The former are hard to build; the latter are hard to program. In this paper we propose a hybrid form that...
Dynamic Documents: Mobile Wireless Access to the WWW (1994)
M. Frans Kaashoek, Tom Pinckney, Joshua A. Tauber
We propose dynamic documents as an approach to extending and customizing the WWW/Mosaic for mobile computing platforms. Dynamic documents are programs executed on a mobile platform to generate a...
Software Prefetching and Caching for Translation Lookaside Buffers (1994)
Kavita Bala, M. Frans Kaashoek, William E. Weihl
A number of interacting trends in operating system structure, processor architecture, and memory systems are increasing both the rate of translation lookaside buffer (TLB) misses and the cost of...
Dynamic Documents: Extensibility and Adaptability in the WWW (1994)
M. Frans Kaashoek, Tom Pinckney, Joshua A. Tauber
We propose dynamic documents as an approach to extending and customizing the Mosaic interface to the WWW. Mosaic implements rigid policies that limit the range of environments in which it can...
An Object-Based Approach to Programming Distributed Systems (1994)
Andrew S. Tanenbaum, Henri E. Bal, Saniya Ben Hassen, M. Frans Kaashoek
Two kinds of parallel computers exist: those with shared memory and those without. The former are difficult to build but easy to program. The latter are easy to build but difficult to program. In...
Efficient Implementation of High-Level Languages on User-Level Communication Architectures (1994)
Wilson C. Hsieh, Kirk L. Johnson, M. Frans Kaashoek, Deborah A. Wallach, William E. Weihl
User-level communication architectures — parallel architectures that give user code direct but protected access to the network — provide communication performance that is an order of magnitude...
Group Communication in Amoeba and its Applications (1993)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
Unlike many other operating systems, Amoeba is a distributed operating system that provides group communication (i.e., one-to-many communication). We will discuss design issues for group...
FLIP: an Internetwork Protocol for Supporting Distributed Systems (1993)
M. Frans Kaashoek, Robbert Van Renesse, Hans Van Staveren, Andrew S. Tanenbaum
Most modern network protocols give adequate support for traditional applications such as file transfer and remote login. Distributed applications, however, have different requirements (e.g.,...
Group Communication in Amoeba and its Applications (1993)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
Unlike many other operating systems, Amoeba is a distributed operating system that provides group communication (i.e., one-to-many communication). We will discuss design issues for group...
Logical Disk: A Simple New Approach to Improving File System Performance (1993)
Wiebren De Jonge, Wiebren De Jonge, M. Frans Kaashoek, M. Frans Kaashoek, Wilson C. Hsieh, Wilson C. Hsieh
Making a file system efficient usually requires extensive modifications. For example, making a file system log-structured requires the introduction of new data structures that are tightly coupled...
Programming a Distributed System Using Shared Objects (1993)
Andrew S. Tanenbaum, Henri E. Bal, M. Frans Kaashoek
Building the hardware for a high-performance distributed computer system is a lot easier than building its software. In this paper we describe a model for programming distributed systems based on...
Object Distribution in Orca using Compile-Time and Run-Time Techniques (1993)
Henri E. Bal, M. Frans Kaashoek
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...
Object Distribution in Orca using Compile-Time and Run-Time Techniques (1993)
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...
Programming Multicomputers Using Shared Objects (1993)
Andrew Tanenbaum Henri, Henri E. Bal, M. Frans Kaashoek
this paper we describe how it can be done.
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty (1993)
Wilson Hsieh Frans, Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
this paper.
The Persistent Relevance of IPC Performance: New Techniques for Reducing the IPC Penalty (1993)
Wilson C. Hsieh, M. Frans Kaashoek, William E. Weihl
Although there have been substantial improvements in IPC performance (in particular, roundtrip IPC time) in recent years, further reduction of the IPC penalty is still important for parallel...
Group Communication In Amoeba And Its Applications (1993)
M. Frans Kaashoek, Cambridge Ma, Andrew S. Tanenbaum, Kees Verstoep
Unlike many other operating systems, Amoeba is a distributed operating system that provides group communication (i.e., one-to-many communication). We will discuss design issues for group...
FLIP: an Internetwork Protocol for Supporting Distributed Systems (1993)
M. Frans Kaashoek, Robbert Van Renesse, Hans Van Staveren, Andrew S. Tanenbaum
Most modern network protocols give adequate support for traditional applications such as file transfer and remote login. Distributed applications, however, have different requirements (e.g.,...
Object distribution in Orca using compile-time and run-time techniques (1993)
Henri E. Bal, M. Frans Kaashoek
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...
Transparent fault-tolerance in parallel orca programs (1992)
M. Frans Kaashoek, Raymond Michiels, Henri E. Bal, Andrew S. Tanenbaum
With the advent of large-scale parallel computing systems, making parallel programs fault-tolerant becomes an important problem, because the probability of a failure increases with the number of...
Efficient reliable group communication for distributed systems (1992)
M. Frans Kaashoek, Andrew S. Tanenbaum
Many applications can profit from broadcast communication, but few operating systems provide primitives that make broadcast communication available to user applications. In this paper we introduce...
An Experimental Comparison of Remote Procedure Call and Group Communication (1992)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
This paper suggests that a distributed system should support two communi-cation paradigms: Remote Procedure Call (RPC) and group commumcation. The former is used for point-to-point communication; the...
Orca: A language for parallel programming of distributed systems (1992)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca is a language for implementing parallel applications on loosely coupled distributed systems. Unlike most languages for distributed programming, it allows processes on different machines to share...
Group Communication in Distributed Computer Systems (1992)
M. Frans Kaashoek, Barbara Liskov, David Andersen, Mike Dahlin, Carla Ellis, Steve Gribble, ...
This report 1 summarizes recommendations from a workshop on research challenges in distributed computer systems, sponsored by the National Science Foundation. A program committee solicited input from...
Transparent fault-tolerance in parallel orca programs (1992)
M. Frans Kaashoek, Raymond Michiels, Henri E. Bal, Andrew S. Tanenbaum
With the advent of large-scale parallel computing systems, making parallel programs fault-tolerant becomes an important problem, because the probability of a failure increases with the number of...
A comparison of two paradigms for distributed shared memory (1992)
Willem G. Levelt, M. Frans Kaashoek, Henri E. Bal, S. Tanenbaum
Two paradigms for distributed shared memory on loosely-coupled computing systems are compared: the shared data-object model as used in Orca, a programming language specially designed for...
Efficient reliable group communication for distributed systems (1992)
M. Frans Kaashoek, Andrew S. Tanenbaum
Many applications can profit from broadcast communication, but few operating systems provide primitives that make broadcast communication available to user applications. In this paper we introduce...
Transparent fault-tolerance in parallel orca programs (1992)
M. Frans Kaashoek, Raymond Michiels, Henri E. Bal, Andrew S. Tanenbaum
With the advent of large-scale parallel computing systems, making parallel programs fault-tolerant becomes an important problem, because the probability of a failure increases with the number of...
Orca: A Language For Parallel Programming Of Distributed Systems (1992)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca is a language for implementing parallel applications on loosely coupled distributed systems. Unlike most languages for distributed programming, it allows processes on different machines to share...
Replication Techniques For Speeding Up Parallel Applications On Distributed Systems (1992)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
This paper discusses the design choices involved in replicating objects and their effect on performance. Important issues are: how to maintain consistency among different copies of an object; how to...
Parallel Programming Using Shared Objects And Broadcasting (1992)
Andrew S. Tanenbaum, Andrew S. Tanenbaum, M. Frans Kaashoek, M. Frans Kaashoek, Henri E. Bal, Henri E. Bal
Parallel computers come in two varieties: those with shared memory and those without. The former are hard to build; the latter are hard to program. In this paper we propose a hybrid form that...
A Comparison Of Two Paradigms For Distributed Shared Memory (1992)
Willem G. Levelt, M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum
This paper compares two paradigms for Distributed Shared Memory on loosely coupled computing systems: the shared data-object model as used in Orca, a programming language specially designed for...
Replication Techniques For Speeding Up Parallel Applications On Distributed Systems (1992)
Henri Bal Frans, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
Traditional programming methods for loosely-coupled systems are based on message-passing. More recently, methods have emerged based for "virtually" sharing data. These methods simplify...
A Comparison of Two Paradigms for Distributed Computing (1992)
M. Frans Kaashoek, Andrew S. Tanenbaum, Kees Verstoep
This paper argues that a distributed system should support two communication paradigms: Remote Procedure Call (RPC) and group communication. The former captures point-to-point communication; the...
A Comparison Of Two Paradigms For Distributed Shared Memory (1992)
Willem Levelt, M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum
This paper compares two paradigms for Distributed Shared Memory on loosely coupled computing systems: the shared data-object model as used in Orca, a programming language specially designed for...
Replication Techniques For Speeding Up Parallel Applications On Distributed Systems (1992)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
Traditional programming methods for loosely-coupled systems are based on message-passing. More recently, methods have emerged based for "virtually" sharing data. These methods simplify...
Replication techniques for speeding up parallel applications on distributed systems (1992)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum, Jack Jansen
Most methods for programming loosely-coupled systems are based on message-passing. Recently, however, methods have emerged based on ‘‘virtually’ ’ sharing data. These methods simplify...
Transparent fault-tolerance in parallel orca programs (1992)
M. Frans Kaashoek, Raymond Michiels, Henri E. Bal, Andrew S. Tanenbaum
With the advent of large-scale parallel computing systems, making parallel programs fault-tolerant becomes an important problem, because the probability of a failure increases with the number of...
A comparison of two paradigms for distributed shared memory (1992)
Willem G. Levelt, M. Frans Kaashoek, Henri E. Bal, Andrew S. Tanenbaum
This paper compares two paradigms for Distributed Shared Memory on loosely coupled computing systems: the shared data-object model as used in Orca, a programming language specially designed for...
The Amoeba Distributed Operating System-A Status Report (1991)
Andrew S. Tanenbaum, M. Frans Kaashoek, Robbert Van Renesse, Henri E. Bal
As the price of CPU chips continues to fall rapidly, it will soon be economically feasible to build computer systems containing a large number of processors. The question of how this computing power...
The Amoeba Distributed Operating System - A Status Report (1991)
Andrew S. Tanenbaum, M. Frans Kaashoek, Robbert Van Renesse, Henri E. Bal
As the price of CPU chips continues to fall rapidly, it will soon be economically feasible to build computer systems containing a large number of processors. The question of how this computing power...
A Comparison of Two Distributed Systems: Amoeba and Sprite (1991)
To Appear, Fred Douglis, M. Frans Kaashoek, John K. Ousterhout, Andrew S. Tanenbaum
This paper compares two distributed operating systems, Amoeba and Sprite. Although the systems share many goals, they diverged on two philosophical grounds: whether to emphasize a distributed...
A Comparison of Two Distributed Systems: Amoeba and Sprite (1991)
To Appear, Fred Douglis, M. Frans Kaashoek, John K. Ousterhout, Andrew S. Tanenbaum
This paper compares two distributed operating systems, Amoeba and Sprite. Although the systems share many goals, they diverged on two philosophical grounds: whether to emphasize a distributed...
The Amoeba Distributed Operating System---A Status Report (1991)
Andrew Tanenbaum, M. Frans Kaashoek, Robbert Van Renesse, Henri E. Bal
As the price of CPU chips continues to fall rapidly, it will soon be economically feasible to build computer systems containing a large number of processors. The question of how this computing power...
A Comparison of Two Distributed Systems: Amoeba and Sprite (1991)
Fred Douglis, M. Frans Kaashoek, John K. Ousterhout, Andrew S. Tanenbaum
This paper compares two distributed operating systems, Amoeba and Sprite. Although the systems share many goals, they diverged on two philosophical grounds: whether to emphasize a distributed...
The Amoeba Distributed Operating System-A Status Report (1991)
Andrew S. Tanenbaum, M. Frans Kaashoek, Robbert Van Renesse, Henri E. Bal
As the price of CPU chips continues to fall rapidly, it will soon be economically feasible to build computer systems containing a large number of processors. The question of how this computing power...
Experience with distributed programming in Orca (1990)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca is a language for programming parallel applications on distributed computing systems. Although processors in such systems communicate only through message passing and not through shared memory,...
Orca: A Language For Distributed Programming (1990)
Henri Bal Andrew, Andrew S. Tanenbaum, M. Frans Kaashoek
We present a simple model of shared data-objects, which extends the abstract data type model to support distributed programming. Our model essentially provides shared address space semantics, rather...
Experience With Distributed Programming In Orca (1990)
Henri Bal Frans, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca is a language for programming parallel applications on distributed computing systems. Although processors in such systems communicate only through message passing and not through shared memory,...
Experience With Distributed Programming In Orca (1990)
Henri Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca is a language for programming parallel applications on distributed computing systems. Although processors in such systems communicate only through message passing and not through shared memory,...
Orca: A Language For Distributed Programming (1990)
Henri Bal, Andrew S. Tanenbaum, M. Frans Kaashoek
We present a simple model of shared data-objects, which extends the abstract data type model to support distributed programming. Our model essentially provides shared address space semantics, rather...
A Distributed Implementation Of The Shared Data-Object Model (1989)
Henri Bal Frans, M. Frans Kaashoek, Andrew S. Tanenbaum
The shared data-object model is designed to ease the implementation of parallel applications on loosely coupled distributed systems. Unlike most other models for distributed programming (e.g., RPC),...
A Distributed Implementation of the Shared Data-Object Model (1989)
Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
The shared data-object model is designed to ease the implementation of parallel applications on loosely coupled distributed systems. Unlike most other models for distributed programming (e.g., RPC),...
An Efficient Reliable Broadcast Protocol (1989)
M. Frans Kaashoek, Andrew S. Tanenbaum, Susan Flynn Hummel, Henri E. Bal
Many distributed and parallel applications can make good use of broadcast communication. In this paper we present a (software) protocol that simulates reliable broadcast, even on an unreliable...