Building Reliable, High-Performance Communication Systems From Components (1999) [62 citations — 19 self]
http://simon.cs.cornell.edu/Info/Projects/NuPrl/ht
http://www.cs.cmu.edu/People/bumba/filing_cabinet/
http://www.cs.cornell.edu/home/rvr/papers/sosp99/p
DBLP
CACHED:
|
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
author = {Xiaoming Liu and Christoph Kreitz and Robbert Van Renesse and Jason Hickey and Mark Hayden and Kenneth Birman and Robert Constable},
title = {Building Reliable, High-Performance Communication Systems From Components},
booktitle = {},
year = {1999},
pages = {80--92}
}
Years of Citing Articles
Bookmarks
OpenURL
Abstract:
Although building systems from components has attractions, this approach also has problems. Can we be sure that a certain configuration of components is correct? Can it perform as well as a monolithic system? Our paper answers these questions for the Ensemble communication architecture by showing how, with help of the Nuprl formal system, configurations may be checked against specifications, and how optimized code can be synthesized from these configurations. The performance results show that we can substantially reduce end-to-end latency in the already optimized Ensemble system. Finally, we discuss whether the techniques we used are general enough for systems other than communication systems. 1 Introduction Building systems from components has many attractions. First, it can be easier to design, develop, test, and optimize individual components of limited functionality than when the same functionality is embedded within a large monolithic system. Second, systems built from component...
