A Procedure-Based Dynamic Software Update
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Ksplice: automatic rebootless kernel updates
Proceedings of the 4th ACM European conference on Computer systems
A dynamic update framework for OSGi applications
HPCA'09 Proceedings of the Second international conference on High Performance Computing and Applications
| Hi-index | 0.00 |
A well-structured system can easily be understood and modified. Moreover, it may lend itself even to dynamic modification: under special conditions, the possibility of changing system parts while the system is running can be provided at little additional cost. Our approach to the design of dynamically modifiable systems is based on the principle of data abstraction applied to types and modules. It allows for dynamic replacement or restructuring of a module's implementation if this does not affect its specification (or if it leads to some kdnd of compatible specification). The fundamental principles of such "replugging" are exhibited, and the implementation of a replugging facility for an experimental operating system on a PDP-11/40E is described.