Browsing by Author "Kaashoek, M. Frans"
Now showing items 1-20 of 20
-
'C: A Language for High-Level, Efficient, and Machine-independant Dynamic Code Generation
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 can achieve performance ... -
CPHash: A Cache-Partitioned Hash Table
(2011-11-26)CPHash is a concurrent hash table for multicore processors. CPHash partitions its table across the caches of cores and uses message passing to transfer lookups/inserts to a partition. CPHash's message passing avoids the ... -
CRL: High - Performance All-Software Distributed Shared Memory*
(1995-03)This paper introduces the C Region Library (CRL), 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 ... -
Efficient Implementation of High-Level Languages on User-Level Communications Architectures
(1994-05)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 higher than previous-generation ... -
FUGU: Implementing Translation and Protection in a Multiuser, Multimodel Multiprocessor
(1994-10)Multimodel multiprocessors provide both shared memory and message passing primitives to the user for efficient communication. In a multiuser machine, translation permits machine resource to be virtualized and protection ... -
Implementing Sequentially Consistant Shared Objects using Broadcast and Point-To-Point Communications
(1995-06)A distributed algorithm that implements a sequentially consistent collection of shared read/update objects using a combination of broadcast and point-to-point communication is presented and proved correct. This algorithm ... -
Logical Disk: A Simple New Approach to Improving File System Performance
(1993-04)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 with the general file ... -
Oort: User-Centric Cloud Storage with Global Queries
(2016-12-08)In principle, the web should provide the perfect stage for user-generated content, allowing users to share their data seamlessly with other users across services and applications. In practice, the web fragments a user's ... -
OpLog: a library for scaling update-heavy data structures
(2014-09-16)Existing techniques (e.g., RCU) can achieve good multi-core scaling for read-mostly data, but for update-heavy data structures only special-purpose techniques exist. This paper presents OpLog, a general-purpose library ... -
PIKA: A Network Service for Multikernel Operating Systems
(2014-01-28)PIKA is a network stack designed for multikernel operating systems that target potential future architectures lacking cache-coherent shared memory but supporting message passing. PIKA splits the network stack into several ... -
Programming Language Techniques for Modular Router Configurations
(2000-08)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 software router framework. ... -
REX: Secure, modular remote execution through file descriptor passing
(2003-01)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 of the SFS secure ... -
Scaling a file system to many cores using an operation log
(Association for Computing Machinery (ACM), 2017)© 2017 Copyright is held by the owner/author(s). It is challenging to simultaneously achieve multicore scalability and high disk throughput in a file system. For example, even for commutative operations like creating ... -
A Software Approach to Unifying Multicore Caches
(2011-06-28)Multicore chips will have large amounts of fast on-chip cache memory, along with relatively slow DRAM interfaces. The on-chip cache memory, however, will be fragmented and spread over the chip; this distributed arrangement ... -
Towards optimization-safe systems: analyzing the impact of undefined behavior
(Association for Computing Machinery, 2013-11)This paper studies an emerging class of software bugs called optimization-unstable code: code that is unexpectedly discarded by compiler optimizations due to undefined behavior in the program. Unstable code is present in ... -
UDM: User Direct Messaging for General-Purpose Multiprocessing
(1996-03)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 messages in tens of cycles ... -
Using Crash Hoare logic for certifying the FSCQ file system
(Association for Computing Machinery (ACM), 2015-10-04)FSCQ is the first file system with a machine-checkable proof (using the Coq proof assistant) that its implementation meets its specification and whose specification includes crashes. FSCQ provably avoids bugs that have ... -
Verifying a high-performance crash-safe file system using a tree specification
(Association for Computing Machinery (ACM), 2017-10)© 2017 Copyright is held by the owner/author(s). DFSCQ is the first file system that (1) provides a precise specification for fsync and fdatasync, which allow applications to achieve high performance and crash safety, and ... -
Whanaungatanga: Sybil-proof routing with social networks
(2009-09-24)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 protocol for a distributed ...
