2012 4th International Workshop on Hot Topics in Software Upgrades (HotSWUp)

3-3 June 2012

Filter Results

Displaying Results 1 - 11 of 11
  • 2012 4th InternationalWorkshop on Hot Topics in Software Upgrades (HotSWUp) - Proceedings [front matter]

    Publication Year: 2012, Page(s):i - ii
    Request permission for reuse | PDF file iconPDF (7 KB)
    Freely Available from IEEE
  • Foreword

    Publication Year: 2012, Page(s):iii - iv
    Request permission for reuse | PDF file iconPDF (70 KB) | HTML iconHTML
    Freely Available from IEEE
  • How to have your cake and eat it too: Dynamic software updating with just-in-time overhead

    Publication Year: 2012, Page(s):1 - 5
    Cited by:  Papers (6)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (203 KB) | HTML iconHTML

    We consider the overhead incurred by programs that can be updated dynamically and argue that, in general, and regardless of the mechanism used, the program must incur an overhead during normal execution. We argue that the overhead during normal execution of the updateable program need not be as high as the overhead for the updated program. In light of the fundamental limitations and the difference... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A study of dynamic software update quiescence for multithreaded programs

    Publication Year: 2012, Page(s):6 - 10
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (175 KB) | HTML iconHTML

    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 blocke... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Towards standardized benchmarks for Dynamic Software Updating systems

    Publication Year: 2012, Page(s):11 - 15
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (125 KB) | HTML iconHTML

    Dynamic Software Updating (DSU) has been an active topic of research for at least the last 30 years. However, despite many recent advances, DSU has yet to see widespread adoption and deployment in practice. In this paper, we review a slice of the history of DSU research to study how DSU for C has evolved over the last two decades. We examine the ways DSU systems are evaluated in the research liter... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safe and automated state transfer for secure and reliable live update

    Publication Year: 2012, Page(s):16 - 20
    Cited by:  Papers (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (207 KB) | HTML iconHTML

    Traditional live update systems offer little or no automated support for state transfer between two different program versions with changes in the program state. In this paper, we report our efforts to build a safe and automated state transfer framework for C programs that requires a minimal number of program state annotations and handles common structural state changes with no programmer assistan... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Atomic Dynamic Upgrades using software transactional memory

    Publication Year: 2012, Page(s):21 - 25
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (189 KB) | HTML iconHTML

    In this paper, we propose the use of a Software Transactional Memory to implement a Dynamic Software Upgrade system that combines two desirable properties. First, it provides a simple semantics to the developer, while allowing upgrades to occur atomically, concurrently with the execution of the program. Second, it converts the program's data lazily, as data is progressively accessed by the executi... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A generic approach for deploying and upgrading mutable software components

    Publication Year: 2012, Page(s):26 - 30
    Cited by:  Patents (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (141 KB) | HTML iconHTML

    Deploying and upgrading software systems is typically a labourious, error prone and tedious task. To deal with the complexity of a software deployment process and to make this process more reliable, we have developed Nix, a purely functional package manager as well as an extension called Disnix, capable of deploying service-oriented systems in a network of machines. Nix and its applications only s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Verification of software changes with ExpliSAT

    Publication Year: 2012, Page(s):31 - 35
    Cited by:  Papers (1)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (228 KB) | HTML iconHTML

    We describe an algorithm for efficient formal verification of changes in software built on top of a model-checking procedure that traverses the control flow graph explicitly while representing the data symbolically. The main idea of our algorithm is to guide the control flow graph exploration first to the paths that traverse through the changed nodes in the graph. We implemented this idea on top o... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Multi-version software updates

    Publication Year: 2012, Page(s):36 - 40
    Cited by:  Papers (5)  |  Patents (3)
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (197 KB) | HTML iconHTML

    Software updates present a difficult challenge to the software maintenance process. Too often, updates result in failures, and users face the uncomfortable choice between using an old stable version which misses recent features and bug fixes, and using a new version which improves the software in certain ways, only to introduce other bugs and security vulnerabilities. In this position paper, we pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Theseus: Whole updates of java server applications

    Publication Year: 2012, Page(s):41 - 45
    Request permission for reuse | Click to expandAbstract | PDF file iconPDF (329 KB) | HTML iconHTML

    We present a novel approach to update server applications in Java. In our approach, different versions of the code coexist in the system, but are isolated into distinct contexts. The server can switch from one context to another incrementally in order to process incoming requests. Our approach has the following characteristics: (1) updatability is defined and added to the application by developers... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.