Show simple item record

dc.contributor.authorAjmani, Sameer
dc.contributor.authorLiskov, Barbara
dc.contributor.authorShrira, Liuba
dc.contributor.authorCurtis, Dorothy
dc.contributor.otherProgramming Methodology
dc.date.accessioned2005-12-22T02:37:15Z
dc.date.available2005-12-22T02:37:15Z
dc.date.issued2005-10-06
dc.identifier.otherMIT-CSAIL-TR-2005-062
dc.identifier.otherMIT-LCS-TR-1005
dc.identifier.urihttp://hdl.handle.net/1721.1/30572
dc.description.abstractUpgrading 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.
dc.format.extent14 p.
dc.format.extent26794595 bytes
dc.format.extent1207166 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.relation.ispartofseriesMassachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory
dc.titleAutomatic Software Upgrades for Distributed Systems


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record