Analysis of Type Safety in the JVM

초록

Dynamic class loading and class linking of Java is a powerful mechanism. 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 for dynamic class loading and type safety.