More Web Proxy on the site http://driver.im/

research-article

Safe and timely updates to multi-threaded programs

Authors:

Iulian Neamtiu,

Michael HicksAuthors Info & Claims

ACM SIGPLAN Notices, Volume 44, Issue 6

Pages 13 - 24

https://doi.org/10.1145/1543135.1542479

Published: 15 June 2009 Publication History

Abstract

Many dynamic updating systems have been developed that enable a program to be patched while it runs, to fix bugs or add new features. This paper explores techniques for supporting dynamic updates to multi-threaded programs, focusing on the problem of applying an update in a timely fashion while still producing correct behavior. Past work has shown that this tension of safety versus timeliness can be balanced for single-threaded programs. For multi-threaded programs, the task is more difficult because myriad thread interactions complicate understanding the possible program states to which a patch could be applied. Our approach allows the programmer to specify a few program points (e.g., one per thread) at which a patch may be applied, which simplifies reasoning about safety. To improve timeliness, a combination of static analysis and run-time support automatically expands these few points to many more that produce behavior equivalent to the originals. Experiments with thirteen realistic updates to three multi-threaded servers show that we can safely perform a dynamic update within milliseconds when more straightforward alternatives would delay some updates indefinitely.

References

[1]

Gautam Altekar, Ilya Bagrak, Paul Burstein, and Andrew Schultz. Opus: online patches and updates for security. In phUSENIX Security, 2005.

Digital Library

[2]

Jeff Arnold and Frans Kaashoek. Ksplice: Automatic rebootless kernel updates. In phEuroSys, 2009.

Digital Library

[3]

Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, et al. Reboots are for hardware: challenges and solutions to updating an operating system on the fly. In phUSENIX ATC, 2007.

Digital Library

[4]

Haibo Chen, Rong Chen, et al. Live updating operating systems using virtualization. In phVEE, 2006.

Digital Library

[5]

Haibo Chen, Jie Yu, Rong Chen, Binyu Zang, and Pen-Chung Yew. POLUS: A powerful live updating system. In phICSE, 2007.

Digital Library

[6]

Deepak Gupta, Pankaj Jalote, and Gautam Barua. A formal framework for on-line software version change. phIEEE TSE, 22 (2), 1996.

Digital Library

[7]

Tim Harris, Simon Marlow, Simon L. Peyton Jones, and Maurice Herlihy. Composable memory transactions. In phPPOPP, 2005.

Digital Library

[8]

Michael Hicks and Scott Nettles. Dynamic software updating. phACM Trans. Program. Lang. Syst., 27 (6), 2005.

Digital Library

[9]

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

[10]

Insup Lee. phDYMOS: A Dynamic Modification System. PhD thesis, Dept. of Computer Science, University of Wisconsin, Madison, April 1983.

Digital Library

[11]

Kristis Makris and Rida Bazzi. Multi-threaded dynamic software updates using stack reconstruction. In phUSENIX ATC, 2009.

[12]

Kristis Makris and Kyung Dong Ryu. Dynamic and adaptive updates of non-quiescent subsystems in commodity operating system kernels. In phEuroSys, 2007.

Digital Library

[13]

Iulian Neamtiu. phPractical Dynamic Software Updating. PhD thesis, University of Maryland, College Park, August 2008.

Digital Library

[14]

Iulian Neamtiu and Michael Hicks. Safe and timely updates to multi-threaded programs. Technical report, UC Riverside, June 2009.

[15]

Iulian Neamtiu, Jeffrey S. Foster, and Michael Hicks. Understanding Source Code Evolution Using Abstract Syntax Tree Matching. In phMSR, 2005.

Digital Library

[16]

Iulian Neamtiu, Michael Hicks, Gareth Stoyle, and Manuel Oriol. Practical dynamic software updating for C. In phPLDI, 2006.

Digital Library

[17]

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

Digital Library

[18]

Polyvios Pratikakis, Jeffrey S. Foster, and Michael Hicks. Context-sensitive correlation analysis for detecting races. In phPLDI, 2006.

Digital Library

[19]

Stelios Sidiroglou, Sotiris Ioannidis, and Angelos D. Keromytis. Band-aid patching. In phHotDep, 2007.

Digital Library

[20]

C. Soules, J. Appavoo, K. Hui, et al. System support for online reconfiguration. In phUSENIX ATC, 2003.

[21]

Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, and Iulian Neamtiu. phMutatis Mutandis: Safe and flexible dynamic software updating. phTOPLAS, 29 (4), August 2007.

Digital Library

[22]

Suriya Subramanian, Michael Hicks, and Kathryn S. McKinley. Dynamic software updates for Java: A VM-centric approach. In phPLDI, June 2009.

Digital Library

[23]

Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region and effect inference. phJFP, 2, 1992.

[24]

Chris Walton. phAbstract Machines for Dynamic Computation. PhD thesis, University of Edinburgh, 2001. ECS-LFCS-01-425.

Cited By

Zuo ZNiu XZhang SFang LKhoo SLu SSun CXu G(2023)Toward More Efficient Statistical Debugging with Abstraction RefinementACM Transactions on Software Engineering and Methodology10.1145/354479032:2(1-38)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3544790
Nahabedian LBraberman VD'Ippolito NHoniden SKramer JTei KUchitel S(2020)Dynamic Update of Discrete Event ControllersIEEE Transactions on Software Engineering10.1109/TSE.2018.287684346:11(1220-1240)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1109/TSE.2018.2876843
Ahmed BLee SSu M(2020)The Effects of Static Analysis for Dynamic Software Updating: An Exploratory StudyIEEE Access10.1109/ACCESS.2020.29746708(35161-35171)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.2974670
Show More Cited By

Recommendations

Kitsune: Efficient, General-Purpose Dynamic Software Updating for C

Dynamic software updating (DSU) systems facilitate software updates to running programs, thereby permitting developers to add features and fix bugs without downtime. This article introduces Kitsune, a DSU system for C. Kitsune’s design has three notable ...
Safe and timely updates to multi-threaded programs
PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation

Many dynamic updating systems have been developed that enable a program to be patched while it runs, to fix bugs or add new features. This paper explores techniques for supporting dynamic updates to multi-threaded programs, focusing on the problem of ...
Dynamic software updates: a VM-centric approach
PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation

Software evolves to fix bugs and add features. Stopping and restarting programs to apply changes is inconvenient and often costly. Dynamic software updating (DSU) addresses this problem by updating programs while they execute, but existing DSU systems ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 44, Issue 6

PLDI '09

June 2009

478 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/1543135

Issue’s Table of Contents

PLDI '09: Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation
June 2009
492 pages
ISBN:9781605583921
DOI:10.1145/1542476
General Chair:
Michael Hind
IBM Research, USA
,
Program Chair:
Amer Diwan
University of Colorado at Boulder, USA

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 June 2009

Published in SIGPLAN Volume 44, Issue 6

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

93
Total Citations
View Citations
686
Total Downloads

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

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zuo ZNiu XZhang SFang LKhoo SLu SSun CXu G(2023)Toward More Efficient Statistical Debugging with Abstraction RefinementACM Transactions on Software Engineering and Methodology10.1145/354479032:2(1-38)Online publication date: 30-Mar-2023
https://dl.acm.org/doi/10.1145/3544790
Nahabedian LBraberman VD'Ippolito NHoniden SKramer JTei KUchitel S(2020)Dynamic Update of Discrete Event ControllersIEEE Transactions on Software Engineering10.1109/TSE.2018.287684346:11(1220-1240)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1109/TSE.2018.2876843
Ahmed BLee SSu M(2020)The Effects of Static Analysis for Dynamic Software Updating: An Exploratory StudyIEEE Access10.1109/ACCESS.2020.29746708(35161-35171)Online publication date: 2020
https://doi.org/10.1109/ACCESS.2020.2974670
Johansen COwe O(2019)Dynamic structural operational semanticsJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2019.05.006107(79-107)Online publication date: Oct-2019
https://doi.org/10.1016/j.jlamp.2019.05.006
Reiss SXin QHuang JHuchard MKästner CFraser G(2018)SEEDE: simultaneous execution and editing in a development environmentProceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering10.1145/3238147.3238182(270-281)Online publication date: 3-Sep-2018
https://dl.acm.org/doi/10.1145/3238147.3238182
Jakobs CTröger PWerner MMundhenk PSchmidt K(2018)Dynamic vehicle software with AUTOCONTProceedings of the 55th Annual Design Automation Conference10.1145/3195970.3196035(1-6)Online publication date: 24-Jun-2018
https://dl.acm.org/doi/10.1145/3195970.3196035
Jakobs CTroger PWerner MMundhenk PAG K(2018)Dynamic Vehicle Software with AUTOCONT2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC)10.1109/DAC.2018.8465844(1-6)Online publication date: Jun-2018
https://doi.org/10.1109/DAC.2018.8465844
Salls CShoshitaishvili YStephens NKruegel CVigna G(2017)PistonProceedings of the 33rd Annual Computer Security Applications Conference10.1145/3134600.3134611(141-153)Online publication date: 4-Dec-2017
https://dl.acm.org/doi/10.1145/3134600.3134611
Cao MZhang MSengupta ABiswas SBond M(2017)Hybridizing and Relaxing Dependence Tracking for Efficient Parallel Runtime SupportACM Transactions on Parallel Computing10.1145/31081384:2(1-42)Online publication date: 30-Aug-2017
https://dl.acm.org/doi/10.1145/3108138
Zuo ZFang LKhoo SXu GLu S(2016)Low-overhead and fully automated statistical debugging with abstraction refinementACM SIGPLAN Notices10.1145/3022671.298400551:10(881-896)Online publication date: 19-Oct-2016
https://dl.acm.org/doi/10.1145/3022671.2984005
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.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents