| Publication Title: |
Automatic Software Upgrades for Distributed Systems |
| Publication Author: |
Ajmani, Sameer |
| Additional Authors: |
Barbara Liskov, Liuba Shrira, Dorothy Curtis |
| LCS Document Number: |
MIT-LCS-TR-1005 |
| Publication Date: |
10-6-2005 |
| LCS Group: |
Programming Methodology |
| Additional URL: |
|
| Abstract: |
| Upgrading the software of long-lived, highly-available distributed
systems is difficult. It is not possible to upgrade all the nodes in a
system at once, since some nodes may be unavailable and halting the
system for an upgrade is unacceptable. Instead, upgrades must happen
gradually, and there may be long periods of time when different nodes
run different software versions and need to communicate using
incompatible protocols. We present a methodology and infrastructure
that make it possible to upgrade distributed systems automatically while
limiting service disruption. We introduce new ways to reason about
correctness in a multi-version system. We also describe a prototype
implementation that supports automatic upgrades with modest overhead. |
| To obtain this publication: |
|
|
|
To purchase a printed copy of this publication please contact
MIT
Document Services.
|