research-article

A study of dynamic software update quiescence for multithreaded programs

Authors:

Christopher M. Hayden,

Karla Saur,

Michael Hicks,

Jeffrey S. FosterAuthors Info & Claims

HotSWUp '12: Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades

Pages 6 - 10

Published: 03 June 2012 Publication History

Get Access

Abstract

Dynamic software updating (DSU) techniques show great promise in allowing vital software services to be upgraded without downtime, avoiding dropped connections and the loss of critical program state. For multithreaded programs, DSU systems must balance correctness and timeliness. To simplify reasoning that an update is correct, we could limit updates to take place only when all threads have blocked at well-defined update points. However, several researchers have pointed out that this approach poses the risk of delaying an update for too long, even indefinitely, and therefore have developed fairly complicated mechanisms to mitigate the risk. This paper argues that such mechanisms are unnecessary by demonstrating empirically that many multithreaded programs can be updated with minimal delay using only a small number of manually annotated update points. Our study of the time taken for all of the threads in six real-world, event-driven programs to reach their update points ranged from 0.155 to 107.558 ms, and most were below 1 ms.

References

[1]

Jeff Arnold and M. Frans Kaashoek. Ksplice: automatic rebootless kernel updates. In Proc. EuroSys, 2009.

Digital Library

Google Scholar

[2]

Haibo Chen, Jie Yu, Chengqun Hang, Binyu Zang, and Pen-Chung Yew. Dynamic software updating using a relaxed consistency model. IEEE TSE, 37(5), September 2011.

Digital Library

Google Scholar

[3]

Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, and Jeffrey S. Foster. Kitsune: Efficient, general-purpose dynamic software updating for C. Technical Report UMD CS-TR-5008, 2012.

Digital Library

Google Scholar

[4]

Christopher M. Hayden, Edward K. Smith, Eric A. Hardisty, Michael Hicks, and Jeffrey S. Foster. Evaluating dynamic software update safety using efficient systematic testing. IEEE TSE, 99(PrePrints), September 2011.

Digital Library

Google Scholar

[5]

Christopher M. Hayden, Edward K. Smith, Michael Hicks, and Jeffrey S. Foster. State transfer for clear and efficient runtime upgrades. In Proc. HotSWUp, 2011.

Digital Library

Google Scholar

[6]

The K42 Project. http://www.research.ibm.com/K42/.

Google Scholar

[7]

Kristis Makris and Rida Bazzi. Immediate Multi-Threaded Dynamic Software Updates Using Stack Reconstruction. In USENIX ATC, 2009.

Digital Library

Google Scholar

[8]

Iulian Neamtiu and Michael Hicks. Safe and timely dynamic updates for multi-threaded programs. In Proc. PLDI, 2009.

Digital Library

Google Scholar

[9]

Iulian Neamtiu, Michael Hicks, Jeffrey S. Foster, and Polyvios Pratikakis. Contextual effects for version-consistent dynamic software updating and safe concurrent programming. In Proc. POPL, 2008.

Digital Library

Google Scholar

[10]

Richard W. Stevens and Stephen A. Rago. Advanced Programming in the UNIX(R) Environment (2nd Edition). Addison-Wesley Professional, 2005.

Digital Library

Google Scholar

[11]

Suriya Subramanian, Michael Hicks, and Kathryn S. McKinley. Dynamic Software Updates: A VM-centric Approach. In Proc. PLDI, 2009.

Digital Library

Google Scholar

Cited By

View all

Pina LAndronidis AHicks MCadar CBahar IHerlihy MWitchel ELebeck A(2019)MVEDSUAProceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3297858.3304063(573-585)Online publication date: 4-Apr-2019
https://dl.acm.org/doi/10.1145/3297858.3304063
Dwyer M(2017)Improving Timeliness and Visibility in Publishing Software Engineering ResearchIEEE Transactions on Software Engineering10.1109/TSE.2017.266391843:3(205-206)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2017.2663918
Giuffrida CIorgulescu CTamburrelli GTanenbaum A(2017)Automating Live Update for Generic Server ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2016.258406643:3(207-225)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2584066
Show More Cited By

Recommendations

Automated recommendation of dynamic software update points: an exploratory study
Internetware '14: Proceedings of the 6th Asia-Pacific Symposium on Internetware

Due to the demand for bugs fixing and feature enhancements, developers inevitably need to update in-use software systems. Instead of shutting down a running system before updating, it is often desirable and sometimes mandatory to patch the running ...
A survey of race bug detection techniques for multithreaded programmes

As multithreaded programmes become popular to fully utilize multicore CPUs, many race bug detection techniques have been developed to find concurrency errors in multithreaded programmes effectively. Because these techniques have different views on ...
Evaluating Dynamic Software Update Safety Using Systematic Testing

Dynamic software updating (DSU) systems patch programs on the fly without incurring downtime. To avoid failures due to the updating process itself, many DSU systems employ timing restrictions. However, timing restrictions are theoretically imperfect, ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

HotSWUp '12: Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades

June 2012

50 pages

ISBN:9781467317641

Conference Chairs:
Michael Wahler
ABB Corporate Research
,
Danny Dig
University of Illinois at Urbana-Champaign

Publisher

IEEE Press

Publication History

Published: 03 June 2012

Check for updates

Qualifiers

Research-article

Conference

ICSE '12

Sponsor:

SIGSOFT
University of Zurich

ICSE '12: 34th International Conference on Software Engineering

June 3, 2012

Zurich, Switzerland

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
73
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Pina LAndronidis AHicks MCadar CBahar IHerlihy MWitchel ELebeck A(2019)MVEDSUAProceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3297858.3304063(573-585)Online publication date: 4-Apr-2019
https://dl.acm.org/doi/10.1145/3297858.3304063
Dwyer M(2017)Improving Timeliness and Visibility in Publishing Software Engineering ResearchIEEE Transactions on Software Engineering10.1109/TSE.2017.266391843:3(205-206)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2017.2663918
Giuffrida CIorgulescu CTamburrelli GTanenbaum A(2017)Automating Live Update for Generic Server ProgramsIEEE Transactions on Software Engineering10.1109/TSE.2016.258406643:3(207-225)Online publication date: 1-Mar-2017
https://dl.acm.org/doi/10.1109/TSE.2016.2584066
Pina LVeiga LHicks M(2014)RubahACM SIGPLAN Notices10.1145/2714064.266022049:10(103-119)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2714064.2660220
Giuffrida CIorgulescu CTanenbaum ARéveillère LCherkasova LTaïani F(2014)Mutable checkpoint-restartProceedings of the 15th International Middleware Conference10.1145/2663165.2663328(133-144)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1145/2663165.2663328
Ertel SFelber PRéveillère LCherkasova LTaïani F(2014)A framework for the dynamic evolution of highly-available dataflow programsProceedings of the 15th International Middleware Conference10.1145/2663165.2663320(157-168)Online publication date: 8-Dec-2014
https://dl.acm.org/doi/10.1145/2663165.2663320
Pina LVeiga LHicks MBlack AMillstein T(2014)RubahProceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications10.1145/2660193.2660220(103-119)Online publication date: 15-Oct-2014
https://dl.acm.org/doi/10.1145/2660193.2660220
Hayden CSaur KSmith EHicks MFoster J(2014)KitsuneACM Transactions on Programming Languages and Systems10.1145/262946036:4(1-38)Online publication date: 28-Oct-2014
https://dl.acm.org/doi/10.1145/2629460
Giuffrida CIorgulescu CKuijsten ATanenbaum ADesai NSkaar K(2013)Back to the futureProceedings of the 27th USENIX conference on Large Installation System Administration10.5555/2717477.2717485(89-104)Online publication date: 3-Nov-2013
https://dl.acm.org/doi/10.5555/2717477.2717485
Giuffrida CIorgulescu CKuijsten ATanenbaum ADesai NSkaar K(2013)Back to the futureProceedings of the 27th international conference on Large Installation System Administration10.5555/2555492.2555500(89-104)Online publication date: 3-Nov-2013
https://dl.acm.org/doi/10.5555/2555492.2555500
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Automated recommendation of dynamic software update points: an exploratory study

A survey of race bug detection techniques for multithreaded programmes

Evaluating Dynamic Software Update Safety Using Systematic Testing