Software for updating

DSU systems, as tools, can also be evaluated on their ease-of-use and clarity to developers.Many DSU systems, such as Ginseng, require programs to pass various static analyses.While these analyses prove properties of programs that are valuable for DSU, they are by nature sophisticated and difficult to understand.DSU systems that do not use a static analysis might require use of a specialized compiler.The earliest precursor to dynamic software updating is redundant systems.In a redundant environment, spare systems exist ready to take control of active computations in the event of a failure of the main system.

The mechanism used to transform code and state influences what kinds of updates a system will support.These compilers preserve the semantics of the original program, but instrument either the source code or object code to produce a dynamically updateable program.Researchers compare DSU-capable variants of programs to the original program to assess safety and performance overhead.Current operating systems and programming languages are typically not designed with DSU in mind.As such, DSU implementations commonly either utilize existing tools, or implement specialty compilers.

Leave a Reply