ACG

On Dynamic Software Updates

Software updates are dynamic if they are applied at run time. In this talk, we present ongoing work on dynamic updates for modular software. In the last decades, most research on dynamic software updates propose a practical update framework for specific monolithic software (such as C or Java programs). In our work, we take a theoretical approach and study dynamic updates of a general system. We provide a formal definition of an update in terms of (local) trace theory, and distinguish between atomic updates and incremental updates. An atomic update stops the software, applies the update, and restarts the software. We consider atomic updates to be correct by construction. An incremental update can upgrade one or more parts of the software to a new version, while other parts still run the old version. Correctness of incremental updates is non-trivial and we propose a notion of correctness for incremental updates. We present two (abstract) update strategies and justify their correctness. Finally, we give some hints on how our update framework can be implemented in a microservices architecture, such as Kubernetes.

Other presentations

Scheduling Protocols

Published: di 23 februari 2021
By Kasper Dokter (CWI)

In presentations.

Interactions amongst different processes in concurrent software are governed by a protocol. The blocking I/O operations involved in a protocol may temporarily suspend the execution of some processes in an application. Scheduling consists of the allocation of available processors to the appropriate non-suspended processes in an application, such that …
read more
Compilation of Reo protocols

Published: wo 02 mei 2018
By Kasper Dokter (CWI)

In presentations.

Reo is an interaction-centric model of concurrency for compositional specification of communication and coordination protocols. Recently, Jongmans developed techniques to compile Reo protocols into executable code. Benchmarks show that compilation of Reo protocols can produce code whose performance is comparable or even beats that of hand-crafted programs. Unfortunately, Jongmans' techniques …
read more
Scheduling of Parallel Applications

Published: di 31 mei 2016
By Kasper Dokter (CWI)

In presentations.

Most parallel applications leave the scheduling problem of their constituent processes to a general purpose scheduler, such as an operating system scheduler. Generally, constituent processes of a parallel application interact. For example, one process interacts with another by using its produced data. These interactions of processes introduce dependencies amongst them …
read more

Page 1 / 1