loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2007 31st Annual International Computer Software and Applications Conference
Type-Safe Dynamic Update Transaction
Beijing, China
July 24-July 27
ISBN: 0-7695-2870-8
Shi ZHANG, FuJian Normal University
LinPeng HUANG, ShangHai Jiao Tong University
Dynamic software updating is critical for many systems that must provide continuous service. And Java language is gaining increasing popularity in developing distributed system. Most of previous works on updating concerns on safely update one class every time. It occur many limitations on updating classes, such as not allowing deleting method which is invoked in other class. In this paper, update transaction is purposed to dynamically update class set, and we also discuss some properties about it, such as ACID. Then the type-safety property is proven formally. This paper also proposes an implementation method to updating classes without changing JVM and Java program language. The method makes use of Java class loading mechanism and reflection mechanism. At the end of the paper, an experiment is made for analyzing.
Citation:
Shi ZHANG, LinPeng HUANG, "Type-Safe Dynamic Update Transaction," compsac, vol. 2, pp.335-340, 2007 31st Annual International Computer Software and Applications Conference, 2007
Usage of this product signifies your acceptance of the Terms of Use.