Analysis of Dynamic Class Loading in Java

초록

Dynamic class loading of Java is a powerful mechanism for dynamically loading software components at runtime. While many other systems also support some form of dynamic loading and linking, but lazy loading, type-safe linkage, user-definable class loading policy, and multiple namespaces are important features of Java. The core of class loading is assured of type safety. In JVM, type safety mechanism is very difficult and access of accuracy is not clear, so type safety problems were raised. In paper, we analysis simple Java code and present a diagram graph and an operational semantics for dynamic class loading and type safety.