![]() For example, any update safety check limits the scope of updates to updates which pass that safety check. Systems designers can extract valuable performance or safety assurances by limiting the scope of updates. ![]() In contrast, Ekiden can update a program to any other program capable of being executed, even one written in a different programming language. This is because Ksplice primarily targets security changes, rather than general updates. For example, Ksplice only supports code changes in functions, and does not support changes to state representation. Updating systems differ in the types of program changes that they support. Kitsune and Ekiden require developers to manually specify and name all update points. Ginseng's compiler will attempt to infer good locations for update points, but can also use programmer-specified update points. In some systems, such as UpStare and PoLUS, an update can occur at any time during execution. Existing DSU implementations vary widely in their treatment of update points. The location in a program where a dynamic update occurs is referred to as an update point. Researchers compare DSU-capable variants of programs to the original program to assess safety and performance overhead.Īny running program can be thought of a tuple ( δ, P ). These compilers preserve the semantics of the original program, but instrument either the source code or object code to produce a dynamically updateable program. As such, DSU implementations commonly either utilize existing tools, or implement specialty compilers. These systems are commonly tested on real-world programs.Ĭurrent operating systems and programming languages are typically not designed with DSU in mind. However, researchers have developed a wide variety of systems and techniques for implementing DSU. DSU is not currently widely used in industry. In computer science, dynamic software updating ( DSU) is a field of research pertaining to upgrading programs while they are running.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |