Java Puzzler-44 Cutting Class,为什么我没有 NoClassDefFoundError?

Java解惑(即:Java Puzzlers: Traps, Pitfalls, and Corner Cases),作者 Joshua Bloch, Neal Gafter(Joshua Bloch就是 effective java和java concurrency in practice的作者)

第44条,为什么我就是搞不出来 NoClassDefFoundError,搜索了下,原因是 JDK6以上的 JVM的 Verifier 有了improvement(当然是好事,可以加快verification的速度。也就是,类可以更快的被加载)


从头到尾 总结下这个问题

public class Strange1 {
    public static void main(String[] args) {
        try {
            Missing m = new Missing();
        } catch (java.lang.NoClassDefFoundError ex) {
            System.out.println("Got it!");
        }
    }
}

public class Strange2 {
    public static void main(String[] args) {
        Missing m;
        try {
            m = new Missing();
        } catch (java.lang.NoClassDefFoundError ex) {
            System.out.println("Got it!");
        }
    } 
}

class Missing {
    Missing() { }
}

这三个文件编译后,手动删除 Missing.class,然后运行,会有下面的结果

JDK5以及以下:

Strange1的结果是:NoClassDefFoundError

Strange2的结果是:Got it!

看字节码来找原因


两个类都:locals[0] == args
Strange1,locals[1],即用来存储 m,也用来存储 NoClassDefFoundError(这正是抛出错误的原因)
Strange2,locals[1],只用来存储 m,local[2]用来存储 NoClassDefFoundError(m的生命周期太长,所以,m和ex不能共用同一个 local[1])

详细分析 Strange1出错的原因

JVM 进行 flow analysis 时,verifier必须合并 local[1]包含的 类型(merge the types contained in local[1])。怎么merge呢?
计算这两个类的 first common superclass,也就是:the most specific superclass they share(即,Missing 和 NoClassDefFoundError 的 first common superclass)
locals[1]的状态:
从8直接到20时:Missing
从17到20时:NoClassDefFoundError
为了 compute 这两个的 first common superclass,verifier必须 load Missing 用于决定 Missing的superclass。这正是 抛出NoClassDefFoundError 的原因(这个Error是在 verificatioin阶段抛出的)。

一定要注意:当load完 Strange1后,进行 link-verify就抛出Error啦,这个时候,甚至还不存在运行的问题。

也就是说,Strange1改成下面这个样子,也还是会报NoClassDefFoundError,这时根本就没运行

public class Strange1 {
    public static void notmain(String[] args) {
        try {
            Missing m = new Missing();
        } catch (java.lang.NoClassDefFoundError ex) {
            System.out.println("Got it!");
        }
    }
    public static void main(String[] args) {
            System.out.println("Nothing related with Missing");
    }
}

Strange2,verification时 不load Missing,等到 运行main时才 load Missing,所以,抛出的错误 就被 catch 住了


JDK6以及以上

统统都是:Got it!

在JDK1.6以及以上,是不会出现 NoClassDefFoundError 这个Error的,原因是:JDK6及以上的编译出来的类,存储了更多的 metadata

当寻找 Missing和NoClassDefFoundError的 first common superclass时,根本就无需 load Missing(从而,也不会 在verification时就抛出 NoClassDefFoundError)

所以,Strange1, Strange2 都在 运行 main 方法时才会抛出这个Error。从而,Strange1和Strange2 统统打印出 Got it

详细解释在这里:http://fupeg.blogspot.com/2007/07/java-puzzler.html(需翻墙),有意思的是:这篇文章下面,就是 Joshua Block和Neal Gafter 的comments

也可以使得 JDK6出现 NoClassDefFoundError,加一个 JVM 参数:java -XX:-UseSplitVerifier Strange1


JDK8

-XX:-UseSplitVerifier已经不支持了,即,搞不出来:NoClassDefFoundError

Java HotSpot(TM) Server VM warning: ignoring option UseSplitVerifier; support was removed in 8.0




阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭
关闭