Building reliable, high-performance communication systems from components
1999pp. 80–92
Citations Over TimeTop 10% of 1999 papers
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Ken Birman, Robert L. Constable
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.
Related Papers
- → The Effects of Low Latency on Pointing and Steering Tasks(2015)37 cited
- → Making space for degenerate thinking: revaluing architecture with Friedrich Nietzsche(2021)1 cited
- → Architecture as an Art(1946)
- → W. HODGES'S VIEWS ON THE CAVERNS AS THE ORIGIN OF ARCHITECTURE : On W. Hodges's "A Dissertation on the Protptypes of Architecture, Hindoo, Moorish, Gothic"(2005)
- → The Eventification of Exhibiting Architecture(2020)