clojure 立即抛出（各种异常） - AdoptOpenJDK J9 JVM

Question

我在 J9 JVM 上使用 Clojure 遇到问题。

我对 J9 感兴趣，希望 Clojure 不会限制一个人对虚拟机的选择。

这个问题发生在 Windows 和 Linux 上，并且在 J9 JVM 的“11”和“15”版本中，以及包括 1.10.1、1.10.2、1.7 和 1.5.1 在内的许多（所有！）Clojure 版本中。

问题是某种异常或错误，通常起源于 clojure.core；通常是一个荒谬的 NullPointerException，在 reduce1 中发生，也是在 J9 JVM 上由 Leiningen 抛出的。

问题时断时续。但如果 J9 “总是编译” (-Xcomp) 的话，就会可靠地出错，这似乎在 J9 “总是解释” (-Xint) 时可以正常工作。这个报告中的 clojure 命令似乎没有遵守 -J 选项，所以我修改了 clojure 脚本来传递这个实验所需的 JVM 选项。

我将 clojure 用

./linux-install-1.10.2.774.sh --prefix ${HOME}/clo

我从 adoptopenjdk.org 安装了 AdoptOpenJDK，版本 11，J9 JVM，用于 Linux。

在第一次运行 clojure

${HOME}/clo/bin/clojure

时抛出了 NullPointerException。关于这个话题的更多信息见下文。

尝试各种 JVM 选项，我发现 -Xint JVM 选项允许 clojure 下载各种东西并显示 REPL 提示。根据 java -X，此选项表示“仅解释模式执行”。要使用 -Xint，我修改了 clojure 以传递 JVM 选项。（不是所有 clojure 调用 Java 的 -J 选项。）

第一次成功运行后，随后的 clojure 运行通常会成功产生 REPL 提示。

但是，-Xcomp JVM 选项会让错误每次都发生。它意味着“强制在第一次调用时编译方法”。

我第一次在尝试使用 Leiningen 2.9.5 的 Windows 版本时遇到 J9 问题。我的一些发现路径在 Github issue 中：https://github.com/technomancy/leiningen/issues/2725

NullPointerException 调试堆栈跟踪为：

Exception in thread "main" java.lang.NullPointerException
	at clojure.core.protocols$naive_seq_reduce.invokeStatic(protocols.clj:62)
	at clojure.core.protocols$interface_or_naive_reduce.invokeStatic(protocols.clj:72)
     ...
	at clojure.pprint$pprint.invoke(pprint_base.clj:241)
	at clojure.lang.Var.invoke(Var.java:384)
	at clojure.main$report_error$fn__9186$fn__9187.invoke(main.clj:603)
	at clojure.main$report_error$fn__9186.invoke(main.clj:602)
	at clojure.main$report_error.invokeStatic(main.clj:601)
	at clojure.main$main.invokeStatic(main.clj:666)
	at clojure.main$main.doInvoke(main.clj:616)
	at clojure.lang.RestFn.applyTo(RestFn.java:137)
	at clojure.lang.Var.applyTo(Var.java:705)
	at clojure.main.main(main.java:40)

在随后的运行中，我遇到了不同的错误

Syntax error macroexpanding clojure.core/defn- at (clojure/tools/cli.cljc:124:1).
null
 Full report at:
/tmp/clojure-12652663517358293277.edn

该文件说明

{:clojure.main/message
 "Syntax error macroexpanding clojure.core/defn- at (clojure/tools/cli.cljc:124:1).\nnull\n",
 :clojure.main/triage
 {:clojure.error/phase :macro-syntax-check,
  :clojure.error/line 124,
  :clojure.error/column 1,
  :clojure.error/source "cli.cljc",
  :clojure.error/symbol clojure.core/defn-,
  :clojure.error/path "clojure/tools/cli.cljc",
  :clojure.error/class java.lang.NullPointerException},
 :clojure.main/trace
 {:via
  [{:type clojure.lang.Compiler$CompilerException,
    :message
    "Syntax error macroexpanding clojure.core/defn- at (clojure/tools/cli.cljc:124:1).",
    :data
    {:clojure.error/phase :macro-syntax-check,
     :clojure.error/line 124,
     :clojure.error/column 1,
     :clojure.error/source "clojure/tools/cli.cljc",
     :clojure.error/symbol clojure.core/defn-},
    :at [clojure.lang.Compiler checkSpecs "Compiler.java" 6976]}
   {:type java.lang.NullPointerException,
    :at [clojure.core$every_QMARK_ invokeStatic "core.clj" 2683]}],
  :trace
  [[clojure.core$every_QMARK_ invokeStatic "core.clj" 2683]
   [clojure.core$every_QMARK_ invoke "core.clj" 2676]
   [clojure.spec.alpha$pcat_STAR_ invokeStatic "alpha.clj" 1388]
   [clojure.spec.alpha$pcat_STAR_ invoke "alpha.clj" 1387]
   [clojure.spec.alpha$deriv invokeStatic "alpha.clj" 1542]
   [clojure.spec.alpha$deriv invoke "alpha.clj" 1528]
   [clojure.spec.alpha$re_conform invokeStatic "alpha.clj" 1669]
   [clojure.spec.alpha$re_conform invoke "alpha.clj" 1660]
   [clojure.spec.alpha$regex_spec_impl$reify__2510
    conform_STAR_
    "alpha.clj"
    1710]
   [clojure.spec.alpha$conform invokeStatic "alpha.clj" 171]
   [clojure.spec.alpha$conform invoke "alpha.clj" 167]
   [clojure.spec.alpha$macroexpand_check invokeStatic "alpha.clj" 708]
   [clojure.spec.alpha$macroexpand_check invoke "alpha.clj" 704]
   [clojure.lang.AFn applyToHelper "AFn.java" 156]
   [clojure.lang.AFn applyTo "AFn.java" 144]
   [clojure.lang.Var applyTo "Var.java" 705]
   [clojure.lang.Compiler checkSpecs "Compiler.java" 6974]
   [clojure.lang.Compiler macroexpand1 "Compiler.java" 6992]
   [clojure.lang.Compiler macroexpand "Compiler.java" 7079]
   [clojure.lang.Compiler eval "Compiler.java" 7165]
   [clojure.lang.Compiler load "Compiler.java" 7640]
   [clojure.lang.RT loadResourceScript "RT.java" 381]
   [clojure.lang.RT loadResourceScript "RT.java" 372]
   [clojure.lang.RT load "RT.java" 459]
   [clojure.lang.RT load "RT.java" 424]
   [clojure.core$load$fn__6857 invoke "core.clj" 6115]
   [clojure.core$load invokeStatic "core.clj" 6114]
   [clojure.core$load doInvoke "core.clj" 6098]
   [clojure.lang.RestFn invoke "RestFn.java" 408]
   [clojure.core$load_one invokeStatic "core.clj" 5897]
   [clojure.core$load_one invoke "core.clj" 5892]
   [clojure.core$load_lib$fn__6797 invoke "core.clj" 5937]
   [clojure.core$load_lib invokeStatic "core.clj" 5936]
   [clojure.core$load_lib doInvoke "core.clj" 5917]
   [clojure.lang.RestFn applyTo "RestFn.java" 142]
   [clojure.core$apply invokeStatic "core.clj" 669]
   [clojure.core$load_libs invokeStatic "core.clj" 5974]
   [clojure.core$load_libs doInvoke "core.clj" 5958]
   [clojure.lang.RestFn applyTo "RestFn.java" 137]
   [clojure.core$apply invokeStatic "core.clj" 669]
   [clojure.core$require invokeStatic "core.clj" 5996]
   [clojure.core$require doInvoke "core.clj" 5996]
   [clojure.lang.RestFn invoke "RestFn.java" 619]
   [clojure.tools.deps.alpha.script.make_classpath2$eval140$loading__6738__auto____141
    invoke
    "make_classpath2.clj"
    9]
   [clojure.tools.deps.alpha.script.make_classpath2$eval140
    invokeStatic
    "make_classpath2.clj"
    9]
   [clojure.tools.deps.alpha.script.make_classpath2$eval140
    invoke
    "make_classpath2.clj"
    9]
   [clojure.lang.Compiler eval "Compiler.java" 7181]
   [clojure.lang.Compiler eval "Compiler.java" 7170]
   [clojure.lang.Compiler load "Compiler.java" 7640]
   [clojure.lang.RT loadResourceScript "RT.java" 381]
   [clojure.lang.RT loadResourceScript "RT.java" 372]
   [clojure.lang.RT load "RT.java" 459]
   [clojure.lang.RT load "RT.java" 424]
   [clojure.core$load$fn__6857 invoke "core.clj" 6115]
   [clojure.core$load invokeStatic "core.clj" 6114]
   [clojure.core$load doInvoke "core.clj" 6098]
   [clojure.lang.RestFn invoke "RestFn.java" 408]
   [clojure.core$load_one invokeStatic "core.clj" 5897]
   [clojure.core$load_one invoke "core.clj" 5892]
   [clojure.core$load_lib$fn__6797 invoke "core.clj" 5937]
   [clojure.core$load_lib invokeStatic "core.clj" 5936]
   [clojure.core$load_lib doInvoke "core.clj" 5917]
   [clojure.lang.RestFn applyTo "RestFn.java" 142]
   [clojure.core$apply invokeStatic "core.clj" 669]
   [clojure.core$load_libs invokeStatic "core.clj" 5974]
   [clojure.core$load_libs doInvoke "core.clj" 5958]
   [clojure.lang.RestFn applyTo "RestFn.java" 137]
   [clojure.core$apply invokeStatic "core.clj" 669]
   [clojure.core$require invokeStatic "core.clj" 5996]
   [clojure.main$main_opt invokeStatic "main.clj" 514]
   [clojure.main$main_opt invoke "main.clj" 510]
   [clojure.main$main invokeStatic "main.clj" 664]
   [clojure.main$main doInvoke "main.clj" 616]
   [clojure.lang.RestFn applyTo "RestFn.java" 137]
   [clojure.lang.Var applyTo "Var.java" 705]
   [clojure.main main "main.java" 40]],
  :phase :macro-syntax-check}}

再次运行时，又遇到了一个不同的错误信息

Exception in thread "main" java.lang.NullPointerException
	at clojure.core$reduce1.invokeStatic(core.clj:944)
	at clojure.core$reduce1.invokeStatic(core.clj:936)
	at clojure.core$merge.invokeStatic(core.clj:3052)
	at clojure.core$Throwable__GT_map$base__7474.invoke(core_print.clj:491)
	at clojure.core$map$fn__5885.invoke(core.clj:2757)
	at clojure.lang.LazySeq.sval(LazySeq.java:42)
	at clojure.lang.LazySeq.seq(LazySeq.java:51)
	at clojure.lang.RT.seq(RT.java:535)
	at clojure.lang.LazilyPersistentVector.create(LazilyPersistentVector.java:44)
	at clojure.core$vec.invokeStatic(core.clj:379)
	at clojure.core$Throwable__GT_map.invokeStatic(core_print.clj:492)
	at clojure.main$report_error.invokeStatic(main.clj:593)
	at clojure.main$main.invokeStatic(main.clj:666)
	at clojure.main$main.doInvoke(main.clj:616)
	at clojure.lang.RestFn.applyTo(RestFn.java:137)
	at clojure.lang.Var.applyTo(Var.java:705)
	at clojure.main.main(main.java:40)

该问题在Clojure 1.5.1中也可重现

$ java -Xcomp -cp clojure-1.5.1.jar clojure.main
Exception in thread "main" java.lang.ExceptionInInitializerError
	at java.base/java.lang.J9VMInternals.ensureError(J9VMInternals.java:185)
	at java.base/java.lang.J9VMInternals.recordInitializationFailure(J9VMInternals.java:174)
	at java.base/java.lang.Class.forNameImpl(Native Method)
	at java.base/java.lang.Class.forName(Class.java:413)
	at clojure.lang.RT.loadClassForName(RT.java:2098)
	at clojure.lang.RT.load(RT.java:430)
	at clojure.lang.RT.load(RT.java:411)
	at clojure.core$load$fn__5018.invoke(core.clj:5530)
	at clojure.core$load.doInvoke(core.clj:5529)
	at clojure.lang.RestFn.invoke(RestFn.java:408)
	at clojure.core$load_one.invoke(core.clj:5336)
	at clojure.core$load_lib$fn__4967.invoke(core.clj:5375)
	at clojure.core$load_lib.doInvoke(core.clj:5374)
	at clojure.lang.RestFn.applyTo(RestFn.java:142)
	at clojure.core$apply.invoke(core.clj:619)
	at clojure.core$load_libs.doInvoke(core.clj:5413)
	at clojure.lang.RestFn.applyTo(RestFn.java:137)
	at clojure.core$apply.invoke(core.clj:619)
	at clojure.core$require.doInvoke(core.clj:5496)
	at clojure.lang.RestFn.invoke(RestFn.java:408)
	at clojure.lang.Var.invoke(Var.java:415)
	at clojure.main.main(main.java:36)
Caused by: java.lang.NullPointerException
	at clojure.core$reduce1.invoke(core.clj:896)
	at clojure.core$expand_method_impl_cache.invoke(core_deftype.clj:474)
	at clojure.core$_cache_protocol_fn.invoke(core_deftype.clj:542)
	at clojure.core.protocols$fn__5979$G__5974__5992.invoke(protocols.clj:13)
	at clojure.core$reduce.invoke(core.clj:6177)
	at clojure.core$into.invoke(core.clj:6229)
	at clojure.main__init.load(Unknown Source)
	at clojure.main__init.<clinit>(Unknown Source)

Answer 1

如果有人感兴趣，以下是关于此问题的J9错误报告：https://github.com/eclipse/openj9/issues/12191（感谢Ghadi！）

Comments

问题追踪到了j9中的一个错误变更，并已回滚（见https://github.com/eclipse/openj9/issues/12191#issuecomment-799695842）。

从解决方案中

"修复单 #12221 将此修复打包回0.26版本，该版本将为Java 8、11和16生成。我们为所有这些JVM级别使用相同的JIT编译器，因此修复将包含在0.26版本中。

此版本定于2021年4月23日发布
https://projects.eclipse.org/projects/technology.openj9/releases/0.26.0 "

Answer 2

在过去的一周中，Slack 上已经就 J9 JVM 的问题进行了很多讨论，大家普遍认为 Clojure 与之不兼容（没有对其进行测试）。我刚刚搜索了 J9，发现在多个渠道上，有半打人报告了 J9 JVM 上各种各样的随机行为。

Comments

在发生火灾的情况下，身处有两个出口的地方非常理想。拥有两个主流认证的 JVM 就像这样。你不需要每年都测试逃生路线。但是，如果你尝试了逃生路线，却发现它锁着，那可就麻烦了。特别是当其他人都能顺畅使用逃生路线时，而你却似乎只有自己遇到了锁上的情况，这可能是因为你独特的脑植入。

我将这个问题提到这里，是为了提供详细信息以开始一个 Jira 问题。这是我们建立有利于发现解决方案，或者清晰的上游缺陷报告条件的方式。

在 J9 版本 11 & 15 中，将 `reduce1` 作为直接原因，在 Clojure 版本直到 1.5.1 都非常常见，这让我希望失败的原因可以被缩小，要么绕过，要么引起 J9 缺陷修复者的注意。

---

我怀疑 `reduce1` 没有特别之处，更可能的是，它之所以出现，是因为它是 JVM 中运行的第一段惰性序列代码。不会让我惊讶的是，如果 npe 与局部清除字节码有关，这些字节码由 Clojure 编译器发出，但对 JVM 而言并不常见，并且涉及到大多数遍历惰性序列的函数。

---

这是一个有希望的论点。还有一个堆栈跟踪，其中问题点出现在 `some` 中。

---

我在上面提到了这个链接，但不确定人们具体通知了哪些内容 - https://github.com/eclipse/openj9/issues/12191

---

他们刚刚在自己的这一边找到了导致这个问题的具体问题： https://github.com/eclipse/openj9/issues/12191#issuecomment-797840254

Alex的初步猜测证明是对的 :-) - 问题本身并非出于Clojure本身。

还有其他一些更微妙的问题，例如哈希函数之间的细微差异 -参见本文末尾： https://www.royvanrijn.com/blog/2018/05/openj9-jvm-shootout/

这些微妙的问题将很难从每个依赖关系中根除。我的观点是，专注于OpenJDK-16的一些重要部分 - 这至少在我们的东西中展示了令人印象深刻的性能优势 - 将带来更高的投资回报率。

---

Clojure不保证特定的哈希值，所以我看不出哈希差异本身有什么问题（只要一般的保证成立 - 相等的东西应该有相同的哈希码）。

---

我同意Clojure本身运行得当（就技术晋升系统中的每个项目而言也是这样）；这也是我上述观点之一。真正让我个人担心的是JVM生态系统中的每个其他可能的依赖。

主要是我对你第一次就做到位印象深刻 :-).

Answer 3

记录在https://clojure.atlassian.net/browse/CLJ-2609

Comments

他们在openj9-0.26.0中修复了这个问题！感谢Clojure队伍缩小问题范围并追随着Eclipse编译器编写者解决它！