Type Problems of Dynamic Class Loading and Linking in Java

초록

Type safety is the most essential element of Java's security. And dynamic class loading of Java is a powerful mechanism for dynamically loading software components at runtime. 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.