Automatic Software Upgrades for Distributed Systems
Author(s)
Ajmani, Sameer; Liskov, Barbara; Shrira, Liuba; Curtis, Dorothy![Thumbnail](/bitstream/handle/1721.1/30572/MIT-CSAIL-TR-2005-062.pdf.jpg?sequence=4&isAllowed=y)
DownloadMIT-CSAIL-TR-2005-062.ps (25.55Mb)
Additional downloads
Other Contributors
Programming Methodology
Metadata
Show full item recordAbstract
Upgrading the software of long-lived, highly-available distributedsystems is difficult. It is not possible to upgrade all the nodes in asystem at once, since some nodes may be unavailable and halting thesystem for an upgrade is unacceptable. Instead, upgrades must happengradually, and there may be long periods of time when different nodesrun different software versions and need to communicate usingincompatible protocols. We present a methodology and infrastructurethat make it possible to upgrade distributed systems automatically whilelimiting service disruption. We introduce new ways to reason aboutcorrectness in a multi-version system. We also describe a prototypeimplementation that supports automatic upgrades with modest overhead.
Date issued
2005-10-06Other identifiers
MIT-CSAIL-TR-2005-062
MIT-LCS-TR-1005
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory