Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates
IEEE Transactions on Software Engineering
Pervasive Services on the Move: Smart Service Diffusion on the OSGi Framework
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
Context-driven migration and diffusion of pervasive services on the OSGi framework
International Journal of Autonomous and Adaptive Communications Systems
Context-driven migration and diffusion of pervasive services on the OSGi framework
International Journal of Autonomous and Adaptive Communications Systems
Dynamic code evolution for Java
Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java
On the use of code mobility mechanisms in real-time systems
ACM SIGBED Review - Special Issue on the 10th International Workshop on Real-time Networks (RTN 2011)
Unrestricted and safe dynamic code evolution for Java
Science of Computer Programming
Hi-index | 0.00 |
This paper revisits a problem that was identified by Kramer andMagee: placing a system in a consistent state before and afterruntime changes [16]. We show that their notion of quiescence as anecessary and sufficient condition for safe runtime changes is toostrict and violates the black-box design principle. We introduce aweaker condition, tranquility; easier to obtain, less disruptivefor the system and still sufficient to ensure applicationconsistency. We also present an implementation of this concept in acomponent middleware platform.