• Publications
  • Influence
Libckpt: Transparent Checkpointing under UNIX
Checkpointing is a simple technique for rollback recovery: the state of an executing program is periodically saved to a disk file from which it can be recovered after a failure. While recent research
Dependence flow graphs: an algebraic approach to program dependencies
TLDR
This paper argues that any good representation of a program must be a data structure that can be rapidly traversed to determine dependence information, and proposes a novel representation called the dependence flow graph which has each of the properties mentioned above.
The Internet Backplane Protocol: Storage in the Network
TLDR
The development of IBP is discussed, the implementation of a prototype system for managing network storage, and a preliminary deployment as part of the Internet-2 Distributed Storage Initiative are discussed.
An end-to-end approach to globally scalable network storage
TLDR
The Internet Backplane Protocol and the exNode are described, which are tools that have been designed to create a network storage substrate that adheres to end-to-end design principles, and this approach is believed to be fundamental to the future of truly scalable communication.
Memory Exclusion: Optimizing the Performance of Checkpointing Systems
TLDR
It is concluded that all checkpointing systems should include primitives allowing programmers and users to gain the full beneets of memory exclusion, an important class of optimizations that reduce the overhead of checkpointing.
Compiler-Assisted Memory Exclusion for Fast Checkpointing
TLDR
Comp compiler-assisted memory exclusion (CAME), a technique that uses static program analysis to optimize the performance of checkpoint-ing, and can be a signiicant reduction in the size of checkpoints, thereby reducing the overhead of checkpointing.
The Internet Backplane Protocol: a study in resource sharing
TLDR
The exNode is introduced, a data structure that aggregates storage allocations on the Internet and follows a very simple philosophy, very similar to the Internet Protocol, and the resulting semantic might be too weak for some applications.
The Internet2 Distributed Storage Infrastructure Project: An Architecture for Internet Content Channels
Abstract The strategy of the Internet2-distributed Storage Infrastructure is to promote the development of innovative applications by focusing on Internet channels that enable differential investment
From Control Flow to Dataflow
TLDR
This paper shows how imperative language programs can be translated into dataflow graphs and executed on a dataflow machine like Monsoon, and suggests that data flow graphs can serve as an executable intermediate representation in parallelizing compilers.
The Internet Backplane Protocol: A Study in Resource Sharing
TLDR
The exNode is introduced, a data structure that aggregates storage allocations on the Internet and follows a very simple philosophy, very similar to the Internet Protocol, and the resulting semantic might be too weak for some applications.
...
1
2
3
4
5
...