Dynamic Software Updating Using a Relaxed Consistency Model

• Published in: IEEE transactions on software engineering Vol. 37; no. 5; pp. 679 - 694
• Main Authors: Chen, Haibo, Yu, Jie, Hang, Chengqun, Zang, Binyu, Yew, Pen-Chung
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.09.2011; IEEE Computer Society
• Subjects: Analysis; Bidirectional control; Computer programs; Consistency; Data structures; Digital Object Identifier; Dynamical systems; Dynamics; Maintainability; Protocols; Registers; Reliability; Runtime; runtime environments; Servers; Software; Software engineering; Software upgrading; Studies; Synchronization
• ISSN: 0098-5589; 1939-3520
• DOI: 10.1109/TSE.2010.79

Software is inevitably subject to changes. There are patches and upgrades that close vulnerabilities, fix bugs, and evolve software with new features. Unfortunately, most traditional dynamic software updating approaches suffer some level of limitations; few of them can update multithreaded applications when involving data structure changes, while some of them lose binary compatibility or incur nonnegligible performance overhead. This paper presents POLUS, a software maintenance tool capable of iteratively evolving running unmodified multithreaded software into newer versions, yet with very low performance overhead. The main idea in POLUS is a relaxed consistency model that permits the concurrent activity of the old and new code. POLUS borrows the idea of cache-coherence protocol in computer architecture and uses a "bidirectional write-through" synchronization protocol to ensure system consistency. To demonstrate the applicability of POLUS, we report our experience in using POLUS to dynamically update three prevalent server applications: vsftpd, sshd, and Apache HTTP server. Performance measurements show that POLUS incurs negligible runtime overhead on the three applications-a less than 1 percent performance degradation (but 5 percent for one case). The time to apply an update is also minimal.