Dynamic Software Updating Using a Relaxed Consistency Model

作者：Chen, Haibo^*; Yu, Jie; Hang, Chengqun; Zang, Binyu; Yew, Pen-Chung

来源：IEEE Transactions on Software Engineering, 2011, 37(5): 679-694.

DOI：10.1109/TSE.2010.79

• Maintainability
• reliability
• runtime environments

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.

• 出版日期2011-9
• 单位复旦大学