请在 2024 Clojure 状态调查！中分享您的想法。

Question

锁定宏在 Graal native-image 和 ART 运行时字节码验证失败

提问 Jul 23, 2014 在 Clojure 由 jira
已关闭 Oct 13, 2020 由 alexmiller

Android ART 对字节码进行编译时验证并会在使用锁定宏时失败。错误看起来像 CLJ-1829（在那个例子中 clojure.core.server/stop-server 调用了锁定宏）

10-16 14:49:26.801 2008-2008/? E/AndroidRuntime: java.lang.VerifyError: Rejecting class clojure.core.server$stop_server because it failed compile-time verification (declaration of 'clojure.core.server$stop_server' appears in /data/app/com.clojure_on_android-1/bas.apk)

原因： 根据关于 Android 问题（https://code.google.com/p/android/ issues/detail?id=80823）的讨论，这似乎是由于对 JVM 规范中的“结构化锁定”条款执行更严格的实演出错。

这似乎是因为在 locking 中的 monitor-enter、monitor-exit 和 try/finally 块的混合使用创建了 ART 标记为未平衡 monitorenter/monitorexit 字节码的路径。特别是，monitorenter 和 monitorexit 自己可以抛出异常（在 null 锁定对象上）。Java 字节码对这些情况进行了一些复杂的异常表处理，这在本质上无法在没有修改 Clojure 编译器的情况下完成。

方法： 一种可能的方法是让锁定在 Java 同步块的环境中调用传递的体。这通过转交给 Java 避免了这个问题，但可能对性能有未知的负面影响。

补丁： clj-1472-3.patch

另见： 将字节码与 Java synchronized 块的比较露出了一些差异
https://gist.github.com/AdamClements/2ae6c4919964b71eb470

筛选者： Alex Miller - 我认为这是一个可行的方案，可以解决问题，由于它的使用频率不高，我对它是性能问题并不太担心。我将标记为已筛选。我认为另一种处理方法是使锁定成为一种具有编译器支持的特设形式，但我不确定这是否值得去做，因此我将把它留给Rich来决定。

关闭请注意：已修复

41 个回答

页面

jira · Answer 1 · 2018-12-13T22:11:10+0000

由：eraserhd 添加评论

使用clj-1472-3.patch，有时我可以构建成功。有时我会收到以下错误

`
致命错误：com.oracle.svm.core.util.VMError$HostedError：具有可移动指针的对象必须是不可变的

    at com.oracle.svm.core.util.VMError.guarantee(VMError.java:85)                                                      
    at com.oracle.svm.hosted.image.NativeImageHeap.choosePartition(NativeImageHeap.java:492)                            
    at com.oracle.svm.hosted.image.NativeImageHeap.addObjectToBootImageHeap(NativeImageHeap.java:451)                   
    at com.oracle.svm.hosted.image.NativeImageHeap.addObject(NativeImageHeap.java:271)                                  
    at com.oracle.svm.hosted.image.NativeImageCodeCache.addConstantToHeap(NativeImageCodeCache.java:369)                
    at com.oracle.svm.hosted.image.NativeImageCodeCache.addConstantsToHeap(NativeImageCodeCache.java:356)               
    at com.oracle.svm.hosted.NativeImageGenerator.doRun(NativeImageGenerator.java:882)                                  
    at com.oracle.svm.hosted.NativeImageGenerator.lambda$run$0(NativeImageGenerator.java:401)                           
    at java.util.concurrent.ForkJoinTask$AdaptedRunnableAction.exec(ForkJoinTask.java:1386)                             
    at java.util.concurrent.ForkJoinTask.doExec(ForkJoinTask.java:289)                                                  
    at java.util.concurrent.ForkJoinPool$WorkQueue.runTask(ForkJoinPool.java:1056)                                      
    at java.util.concurrent.ForkJoinPool.runWorker(ForkJoinPool.java:1692)                                              
    at java.util.concurrent.ForkJoinWorkerThread.run(ForkJoinWorkerThread.java:157)

`

我正在使用Graal rc10，我找到的最简代码生成此错误是

`
(ns rep.core
(:gen-class))

(defn- foo [s]
(locking s

42))

(defn -main
[& args]
(foo))
`

锁定在不是参数的对象上可以解决问题。

这似乎可能是Graal的问题，所以我将在那里报告。

jira · Answer 2 · 2018-12-13T22:18:02+0000

_由：alexmiller 添加评论

好的，请更新。下一个可能包含这个问题的版本可能要等很久，所以尽早得到更多反馈是很好的。

jira · Answer 3 · 2018-12-14T16:17:26+0000

由：bronsa 添加评论

如果可能，我将反对将锁定变成一个新特设形式。这会使任何分析库变得向前不兼容，并可能在依赖升级时引起痛苦。

jira · Answer 4 · 2019-01-21T23:44:24+0000

由：eraserhd 添加评论

使用最新发布的Graal VM rc11，clj-1472-3.patch运行无问题。

jira · Answer 5 · 2019-02-15T03:49:57+0000

评论者：jare

从Clojure 1.9迁移到1.10后，使用GraalVM本地编译时开始出现这个错误
最小复现示例为：

`
(ns clj10-graal-repro.core
(:require [clojure.spec.alpha :as s])
(:gen-class))

(s/def ::foo (s/coll-of string?))

(defn -main
[& args]
(println (s/valid? ::foo ["bar"]))
(println clojure-version))
`

我认为问题在于Clojure 1.10依赖于spec.alpha 0.2.176，该版本（链接： https://github.com/clojure/spec.alpha/commit/31165fec69ff86129a1ada8b3f50864922dfc88a 文本：使用锁定）

更多细节在CLJ-2482中

jira · Answer 6 · 2019-06-21T03:00:03+0000

评论者：gshayban

我已经添加了一个补丁（链接：^CLJ-1472-reentrant-finally.patch），该补丁使得锁定宏产生的控制流与javac产生的synchronized块完全相同。这需要编译器的一些帮助。

对该代码

（synchronized (o) { int i = 400L; }）

javac输出

0: aload_0

   1: dup
   2: astore_1
   3: monitorenter
   4: ldc2_w        #7           // BEGIN TRY       // long 400l
   7: lstore_2
   8: aload_1
   9: monitorexit               // END TRY
  10: goto          20           // GOTO RET
  13: astore        4         // BEGIN FINALLY
  15: aload_1                     // store exception
  16: monitorexit           // END FINALLY
  17: aload         4             // rethrow
  19: athrow
  20: return
Exception table:
   from    to  target type
       4    10    13   any
      13    17    13   any

注意

finally块在异常表中的异常处理器是其自己的
monitorenter在try体区域之外
像往常一样，finally体被复制到try体中（就像在正常的TryExpr中一样）

我使用带有这个补丁的clojure，在Graal 19.0.2上测试过，通过AOT编译之前评论的复现，然后调用Graal

native-image -cp src:clojure.jar --initialize-at-build-time=clojure --no-server -H:+ReportUnsupportedElementsAtRuntime --no-fallback clj10_graal_repro.core

在编译过程中没有错误，成功产生了二进制文件。然而，Graal的用户将会高兴地发现，这个二进制文件并不能运行
找不到 clojure/core/server__init.class

可能是因为Clojure 1.10.1延迟了clojure.core.server +用户的初始化

jira · Answer 7 · 2019-06-21T03:11:42+0000

评论者：gshayban

这对于原生图像用户来说似乎很有希望

https://github.com/oracle/graal/blob/master/substratevm/CONFIGURE.md

https://github.com/wololock/graalvm-groovy-examples/blob/master/hello-world/compile.sh

jira · Answer 8 · 2019-06-21T04:13:39+0000

评论者：gshayban

这个补丁因为某种微妙的方式搞砸了 —— 在修复。

jira · Answer 9 · 2019-06-21T21:07:42+0000

评论者：gshayban

(链接：^CLJ-1472-reentrant-finally2.patch)

jira · Answer 10 · 2019-06-26T12:00:00+0000

参考：[https://clojure.atlassian.net/browse/CLJ-1472](https://clojure.atlassian.net/browse/CLJ-1472)（由 adamclements 报告）

Alex Coyle · Answer 11 · 2019-10-20T15:37:50+0000

大家好，

在我使用 Clojure Spec 的一个项目中遇到了这个问题。我创建了一个简单的项目来复现这个问题：[https://github.com/alzadude/cljc-hello-world/tree/graalvm_spec_issue](https://github.com/alzadude/cljc-hello-world/tree/graalvm_spec_issue)

我试图在应用了 Clojure 补丁后使用 Graal 的 native-image 来创建一个可工作的二进制文件。然而，当我使用补丁后的 Clojure jar 时，我仍然收到 "不平衡监视器" 错误。我做了什么错事？

谢谢！

1 使用补丁构建 clojure

cd /mnt/d/Projects/clojure
patch -p1 < /mnt/c/Users/alex/Downloads/CLJ-1472-reentrant-finally2.patch
mvn clean
mvn -Plocal install -Dmaven.test.skip=true

2 使用 clj/deps.edn 尝试创建 Graalvm 本地图像

cd /mnt/d/Projects/cljc-hello-world
GRAALVM_HOME=/usr/local/graalvm-ce-19.2.0.1/ clojure -Anative-image

即使应用了补丁，我仍然得到 "不平衡监视器" 错误

Cleaning target
Creating target/classes
  Compiling hello-world.core
Creating target/cljc-hello-world
ERROR! Warning: Aborting stand-alone image build. unbalanced monitors: mismatch at monitorexit, 96|LoadField#lockee__5436__auto__ != 3|LoadField#lockee__5436__auto__
Detailed message:
Call path from entry point to clojure.spec.gen.alpha$dynaload$fn__2628.invoke():
        at clojure.spec.gen.alpha$dynaload$fn__2628.invoke(alpha.clj:21)
        at clojure.lang.AFn.run(AFn.java:22)
        at java.lang.Thread.run(Thread.java:748)
        at com.oracle.svm.core.thread.JavaThreads.threadStartRoutine(JavaThreads.java:460)
        at com.oracle.svm.core.posix.thread.PosixJavaThreads.pthreadStartRoutine(PosixJavaThreads.java:193)
        at com.oracle.svm.core.code.IsolateEnterStub.PosixJavaThreads_pthreadStartRoutine_e1f4a8c0039f8337338252cd8734f63a79b5e3df(generated:0)

Warning: Use -H:+ReportExceptionStackTraces to print stacktrace of underlying exception
Warning: Image 'target/cljc-hello-world' is a fallback image that requires a JDK for execution (use --no-fallback to suppress fallback image generation).

3 尝试使用 native-image 和显式类路径创建 Graalvm 本地图像，以排除 deps.edn/cambada 等问题

cd /mnt/d/Projects/cljc-hello-world
clojure -Auberjar
/usr/local/graalvm-ce-19.2.0.1/bin/native-image --class-path ../clojure/target/clojure-1.11.0-master-SNAPSHOT.jar --report-unsupported-elements-at-runtime --initialize-at-build-time -jar ./target/cljc-hello-world-1.0.0-SNAPSHOT-standalone.jar -H:Name=./target/cljc-hello-world

我仍然收到 "不平衡监视器" 错误

Build on Server(pid: 10328, port: 64314)*
[./target/cljc-hello-world:10328]    classlist:   5,817.52 ms
[./target/cljc-hello-world:10328]        (cap):   2,576.68 ms
[./target/cljc-hello-world:10328]        setup:   3,923.40 ms
[./target/cljc-hello-world:10328]     analysis:  11,800.59 ms
Warning: Aborting stand-alone image build. unbalanced monitors: mismatch at monitorexit, 96|LoadField#lockee__5436__auto__ != 3|LoadField#lockee__5436__auto__
Detailed message:
Call path from entry point to clojure.spec.gen.alpha$dynaload$fn__2628.invoke():
        at clojure.spec.gen.alpha$dynaload$fn__2628.invoke(alpha.clj:21)
        at clojure.lang.AFn.run(AFn.java:22)
        at java.lang.Thread.run(Thread.java:748)
        at com.oracle.svm.core.thread.JavaThreads.threadStartRoutine(JavaThreads.java:460)
        at com.oracle.svm.core.posix.thread.PosixJavaThreads.pthreadStartRoutine(PosixJavaThreads.java:193)
        at com.oracle.svm.core.code.IsolateEnterStub.PosixJavaThreads_pthreadStartRoutine_e1f4a8c0039f8337338252cd8734f63a79b5e3df(generated:0)

Warning: Use -H:+ReportExceptionStackTraces to print stacktrace of underlying exception
Build on Server(pid: 10328, port: 64314)
[./target/cljc-hello-world:10328]    classlist:     217.19 ms
[./target/cljc-hello-world:10328]        (cap):   1,244.81 ms
[./target/cljc-hello-world:10328]        setup:   1,535.89 ms
[./target/cljc-hello-world:10328]   (typeflow):   1,309.40 ms
[./target/cljc-hello-world:10328]    (objects):   1,430.65 ms
[./target/cljc-hello-world:10328]   (features):     120.57 ms
[./target/cljc-hello-world:10328]     analysis:   2,906.19 ms
[./target/cljc-hello-world:10328]     (clinit):      88.70 ms
[./target/cljc-hello-world:10328]     universe:     250.93 ms
[./target/cljc-hello-world:10328]      (parse):     315.62 ms
[./target/cljc-hello-world:10328]     (inline):     739.40 ms
[./target/cljc-hello-world:10328]    (compile):   3,100.68 ms
[./target/cljc-hello-world:10328]      compile:   4,401.60 ms
[./target/cljc-hello-world:10328]        image:     296.36 ms
[./target/cljc-hello-world:10328]        write:     195.80 ms
[./target/cljc-hello-world:10328]      [total]:   9,868.80 ms
Warning: Image './target/cljc-hello-world' is a fallback image that requires a JDK for execution (use --no-fallback to suppress fallback image generation).

请在 2024 Clojure 状态调查！中分享您的想法。

锁定宏在 Graal native-image 和 ART 运行时字节码验证失败

请登录或注册以添加评论。

41 个回答

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

类别

请在 2024 Clojure 状态调查！ 中分享您的想法。

锁定宏在 Graal native-image 和 ART 运行时字节码验证失败

请登录或注册以添加评论。

41 个回答

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

请登录或注册以添加评论。

相关问题

类别

请在 2024 Clojure 状态调查！中分享您的想法。