在重入式eval情况下会泄漏常量

Question

编译引用未加载（或将尚未初始化）的类的函数会触发其init静态方法。当init静态加载clojure代码时，一些常量（我认为是源代码）会泄漏到正在编译的函数的常量池中。

这导致在Rational等环境中无法使用CCW，因为生成的函数的静态初始化超过了64K。

重现步骤

加载leak.main命名空间并运行下面的代码注释：第一个函数尽管与第二个相同，但有15个额外的字段。

`
(ns leak.main)

(defn first-to-load []
leak.Klass/foo)

(defn second-to-load []
leak.Klass/foo)

(comment
=> (map (comp count #(.getFields %) class) [first-to-load second-to-load])
(16 1)
)
`

`
package leak;

import clojure.lang.IFn;
import clojure.lang.RT;
import clojure.lang.Symbol;

public class Klass {
static {

RT.var("clojure.core", "require").invoke(Symbol.intern("leak.leaky"));

}
public static IFn foo = RT.var("leak.leaky", "foo");
}
`

`
(ns leak.leaky)

(defn foo
"Some doc"
[]
"hello")

(def unrelated 42)
`

https://gist.github.com/cgrand/5dcb6fe5b269aecc6a5b#file-main-clj-L10

补丁: clj-1620-v5.patch

Answer 1

评论者：bronsa

实际上，像Ghadi所讲，用(:foo {})替换thunk-fail.core的整个主体就足够了。

似乎问题是出在AOT（预编译）顶级关键词查找站点上，我猜测某种原因，这个补丁阻止了正确生成__init静态初始化器。

Answer 2

评论者：bronsa

我对lein compile正在做什么一无所知，但我找到了问题。
该补丁会（在eval中）仅当已经绑定变量时才绑定适当的变量。

Answer 3

评论者：alexmiller

现在在绑定映射中使用transients是否值得？

Answer 4

评论者：bronsa

有道理，已更新补丁以使用transient映射

Answer 5

评论者：michaelblume

我们能否添加一个测试来检测存在v2补丁时是否会失败？最好是独立于CLJ-1544补丁？我可以尝试自己编写一个，但我对Clojure编译器内部机制不太熟悉。

Answer 6

评论者：bronsa

我需要考虑如何重现那个错误，它不是一个简单的场景。
它涉及到从已评估的上下文中编译一个命名空间。

Answer 7

评论者：laurentpetit

还有机会让这个问题进入1.7版本吗？

Answer 8

评论者：alexmiller

我没有计划这样做 - 对你有什么影响？

Answer 9

评论者：laurentpetit

影响是，我需要为CCW使用Clojure的补丁版本。
虽然现在追踪Clojure的主要分支并不难，并且定期rebase或重新应用补丁还不困难，但这仍然是一种时间浪费。

Answer 10

评论者：alexmiller

在我们到达RC版之前，我会和Rich确认一下是否可以在1.7版本之前进行筛选。

Answer 11

评论者：alexmiller

与v4补丁相同，只是多了更多的diff上下文。

Answer 12

评论者：laurentpetit

在我看来，补丁字段中提到的文件不是正确的文件。

Answer 13

评论者：alexmiller

哪一个呢？

Answer 14

评论者：laurentpetit

我认为你之前的评论与clj-1620-v5.patch有关，但在描述的末尾有如下一行

补丁：0001-CLJ-1620-avoid-constants-leak-in-static-initalizer-v4.patch

Answer 15

评论者：alexmiller

这些补丁在引入的变化方面是等效的；它们只是在diff上下文上有不同。