在 2024 Clojure 状态调查！分享你的想法。

Question

让 `satisfies?` 与协议方法调用一样快

提问 Sep 11, 2015 在协议由 jira

目前 `satisfies?` 不使用与协议方法相同的 impl 缓存，这使得它在实际使用中速度过慢。

使用

(defprotocol p (f [_]))
(deftype x [])
(deftype y [])
(extend-type x p (f [_]))

修复前

(let [s "abc"] (bench (instance? CharSequence s))) ;; 执行时间平均：1.358360 纳秒
(let [x (x.)] (bench (satisfies? p x))) ;; 执行时间平均：112.649568 纳秒
(let [y (y.)] (bench (satisfies? p y))) ;; 执行时间平均：2.605426 微秒

*原因：* `satisfies?` 调用 `find-protocol-impl` 来检查一个对象是否实现协议，这会检查 x 是否是协议接口的实例或者 x 的类是否是协议实现之一（或所在继承链会导致此为真）。这个检查非常耗时而且没有缓存。

*建议：* 扩展协议的方法 impl 缓存以处理（并缓存）实例检查（包括负结果）。

修复后

(let [x (x.)] (bench (satisfies? p x))) ;; 执行时间平均：79.321426 纳秒
(let [y (y.)] (bench (satisfies? p y))) ;; 执行时间平均：77.410858 纳秒

*补丁：* CLJ-1814-v7.patch (依赖于 CLJ-2426)

25 个回答

0 票

由 bronsa 评论 Sep 24, 2015 by jira

评论为：

是否可能是AOT（离线编译）的相关问题？

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

0 票

回答了 2015年9月24日由 jira

由：michaelblume

稍作缩小范围，如果检查 tools.analyzer.jvm，打开一个REPL，并执行 (require 'clojure.tools.analyzer.jvm.utils)，我得到

|| java.lang.ClassCastException: java.lang.Class cannot be cast to clojure.asm.Type, compiling:(utils.clj:260:13) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3642) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3636) || clojure.lang.Compiler$DefExpr.eval(Compiler.java:450) || clojure.lang.Compiler.eval(Compiler.java:6939) || clojure.lang.Compiler.load(Compiler.java:7381) || clojure.lang.RT.loadResourceScript(RT.java:372) || clojure.lang.RT.loadResourceScript(RT.java:363) || clojure.lang.RT.load(RT.java:453) || clojure.lang.RT.load(RT.java:419) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5883| clojure.core$load$fn__5669.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic || clojure.core$load_one.invoke(core.clj) zipfile:/Users/michael.blume/.m2/repository орг/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn__5618.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5727| clojure.core$load_lib.invokeStatic || clojure.core$load_lib.doInvoke(core.clj) || clojure.lang.RestFn.applyTo(RestFn.java:142) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic || clojure.core$load_libs.doInvoke(core.clj) || clojure.lang.RestFn.applyTo(RestFn.java:137) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic || clojure.core$require.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:421) || clojure.tools.analyzer.jvm.utils$eval4392.invokeStatic(form-init8663423518975891793.clj:1) || clojure.tools.analyzer.jvm.utils$eval4392.invoke(form-init8663423518975891793.clj) || clojure.lang.Compiler.eval(Compiler.java:6934) || clojure.lang.Compiler.eval(Compiler.java:6897) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|3096| clojure.core$eval.invokeStatic || clojure.core$eval.invoke(core.clj) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404$fn__7407.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl$fn__7413.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl.invokeStatic || clojure.main$repl.doInvoke(main.clj) || clojure.lang.RestFn.invoke(RestFn.java:1523) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|58| clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn__637.invoke || clojure.lang.AFn.applyToHelper(AFn.java:152) || clojure.lang.AFn.applyTo(AFn.java:144) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|645| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|1874| clojure.core$with_bindings_STAR_.invokeStatic || clojure.core$with_bindings_STAR_.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:425) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|56| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invokeStatic || clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invoke(interruptible_eval.clj) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools/nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|191| clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn__679$fn__682.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|159| clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__674.invoke || clojure.lang.AFn.run(AFn.java:22) || java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) || java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) || java.lang.Thread.run(Thread.java:745)

我不见得AOT有什么关系？

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

0 票

已回答 2015年9月27日由 jira

评论为：

(链接: ~michaelblume) 更新的补丁应该修复您报告的问题

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

0 票

已回答 2015 年 9 月 28 日由 jira

由：michaelblume

太好了，谢谢 =)

新补丁不再删除未使用的 MethodImplCache，这是故意的吗？

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

0 票

已回答 2015年11月2日由 jira

评论由：alexmiller

如果在补丁描述中有一个更改内容的要点列表，那将会很酷。例如：“将 MethodImplCache 重命名为 ImplCache”，等等。这有助于更方便地审查。

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

0 票

已回答 2015年11月2日由 jira

评论为：

附上的补丁更新版本不再用 ImplCache 替换 MethodImplCache，而是简单地复用 MethodImplCache，减少了补丁的影响，使其更容易（更安全）进行审查。

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

0 票

已回答 2016年7月7日由 jira

_评论由：alexmiller_

由于这用于新的 {{inst?}} 案子 - 请参阅 https://github.com/clojure/clojure/commit/58227c5de080110cb2ce5bc9f987d995a911b13e

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

0 票

已回答 2017年6月29日由 jira

_评论由：alexmiller_

我用 v3 补丁运行了前后测试。在之前的测试中，时间匹配得很接近，但我无法复制之后的成果。我得到了这个，实际上在未找到案例中更糟糕

(let [x (x.)] (bench (satisfies? p x))) ;; 平均执行时间: 76.833504 ns
(let [y (y.)] (bench (satisfies? p y))) ;; 平均执行时间: 20.570007 µs

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

0 票

已回答 2017年6月29日由 jira

_评论者：bronsa_

v4 补丁修复了未找到情况下的回归，不确定是怎么发生的，对此表示歉意。
以下是现在得到的时间统计

clojure master

user=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：604961580次，分60组样本，每组10082693次调用。
             平均执行时间：112.649568纳秒
    执行时间标准偏差：12.216782纳秒
   执行时间下四分位数：99.299203纳秒（2.5%）
   执行时间上四分位数：144.265205纳秒（97.5%）
                   额外开销：1.898271纳秒

在60个样本中发现了3个异常值（5.0000%）
低严重程度 2（3.3333%）
低轻度 1（1.6667%）
异常值导致的方差：73.7545% 异常值导致方差严重膨胀
nil

user=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：22676100次，分60组样本，每组377935次调用。
             平均执行时间：2.605426微秒
    执行时间标准偏差：141.100070纳秒
   执行时间下四分位数：2.487234微秒（2.5%）
   执行时间上四分位数：2.873045微秒（97.5%）
                   额外开销：1.898271纳秒

在60个样本中发现了1个异常值（1.6667%）
低严重程度 1（1.6667%）
异常值导致的方差：40.1251% 异常值导致方差中度膨胀
nil

master + v4

user=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：731759100次，分60组样本，每组12195985次调用。
             平均执行时间：79.321426纳秒
    执行时间标准偏差：3.959245纳秒
   执行时间下四分位数：75.365187纳秒（2.5%）
   执行时间上四分位数：87.986479纳秒（97.5%）
                   额外开销：1.905711纳秒

在60个样本中发现了1个异常值（1.6667%）
低严重程度 1（1.6667%）
异常值导致的方差：35.2614% 异常值导致方差中度膨胀
nil

user=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：771220140次，分60组样本，每组12853669次调用。
             平均执行时间：77.410858纳秒
    执行时间标准偏差：1.407926纳秒
   执行时间下四分位数：75.852530纳秒（2.5%）
   执行时间上四分位数：80.759226纳秒（97.5%）
                   额外开销：1.897646纳秒

在60个样本中发现了4个异常值（6.6667%）
低严重程度 3（5.0000%）
低轻度 1（1.6667%）
异常值导致的方差：7.7866% 异常值导致方差略微膨胀

总结如下
master found = 112ns
master not-found = 2.6us

master+v4 found = 79ns
master+v4 not-found = 77ns

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

0 票

已回答 2017年7月14日由 jira

由：michaelblume

对于已经使用特定协议实现声明的记录，因此实现了相应接口，在这种情况下，使用对该接口的（实例？）检查作为快速路径是否合理？

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

0 票

已回答 2017 年 8 月 4 日由 jira

评论由：alexmiller

Michael - 这个检查已经包含在内了

Nicola - 我有一些评论/问题

我不明白 NIL 东西的目的 - 你能解释一下吗？

在 x 是接口实例的情况下，旧代码返回 x，而 find-protocol-impl* 中的新代码返回 interface。为什么会有这个变化？

这里的：（alter-var-root (:var protocol) assoc :impl-cache (expand-method-impl-cache cache c impl)）不是线程安全的，据我所知 - 我认为在不同线程中不同 impl 的同时缺失会导致缓存中只有一个。这可能是小概率事件，也许不是什么大问题，因为缓存将在下一次调用时更新（不会给出错误答案），但是希望能提一下。我没有看到避免它的简单方法，除非进行大量更改。

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

0 票

已回答 2017 年 8 月 5 日由 jira

评论为：

Alex，感谢你查看这个
1- NIL 对象是方法 impl 缓存中的占位符，因为在 find-and-cache-protocol-impl 测试中，它会检查 nil? 以确定是否已经缓存了调度

2- 这个变化纯粹是为了保持一致性，使 find-and-cache-protocol-impl 总是返回一个类/接口，而不是要么是类/接口，要么是具体的实例。在行为上，没有任何变化，因为 find-protocol-impl 的两个消费者，即 find-protocol-method 和 satisfies?，在这个情况下都不关心这个值是什么

3- 是的，你是对的，它不是线程安全的，但我认为这是一个合理的权衡，因为它不会引起任何错误行为，在最坏的情况下，它只会导致一个额外的缓存缺失，使得它线程安全将对每次缓存命中/缺失都带来额外的性能损失

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

0 票

已回答 2017 年 8 月 16 日由 jira

由：michaelblume

(链接： ~bronsa) 我在这个补丁中看到了行为上的变化

`
(defprotocol BoolProtocol
(proto-fn [this]))

(extend-protocol BoolProtocol
Object
(proto-fn [x] "Object impl")

nil
(proto-fn [x] "Nil impl"))

(proto-fn false)
`

使用 Clojure master 返回 "Object impl"，使用此补丁返回 "Nil impl"）

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

页面

1

2

下一页 »

欢迎来到 Clojure Q&A，在这里您可以提问并获得 Clojure 社区成员的答案。

相关问题

当协议不在快速路径列表中时，satisfies? 生成奇怪的代码

satisfies? 无法与基于实例的协议多态性一起使用

为具有删除方法名称的协议添加测试

定义带有 "clear" 命名的 defrecord 协议方法的问题

当找不到协议方法时改进错误消息

分类

所有分类

Clojure (1.5k)

语法和读取器 (73)

编译器 (135)

宏 (25)

记录和类型 (19)

集合 (76)

序列 (24)

转换器 (27)

多方法 (9)

协议 (24)

元数据 (6)

命名空间和变量 (18)

引用、代理、原子 (10)

Java互操作 (79)

I/O (20)

错误 (75)

REPL (48)

打印 (38)

正则表达式 (2)

Spec (169)

测试 (25)

文档 (100)

ClojureScript (610)

ClojureCLR (25)

贡献库 (719)

工具 (72)

元数据 (19)

其他 (91)

jira · Answer 1 · 2015-09-11T22:17:29+0000

由：michaelblume

很好。在重构它们之前，Honeysql 总是用 80-90% 的时间在 `satisfies?` 调用中。

jira · Answer 2 · 2015-09-24T21:55:07+0000

由：michaelblume

我意识到这是一个难以复现的重度恼人bug，但如果我克隆core.match，将其Clojure依赖指向1.8.0-master-SNAPSHOT，启动REPL，然后从vim连接到REPL，并重新加载clojure.core.match，我将得到

`
|| java.lang.Exception: 命名空间 'clojure.tools.analyzer.jvm.utils' 未找到，编译:(clojure/tools/analyzer/jvm.clj:9:1)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5647| clojure.core$throw_if.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5733| clojure.core$load_lib.invokeStatic
|| clojure.core$load_lib.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:142)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic
|| clojure.core$load_libs.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:137)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic
|| clojure.core$require.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:703)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.analyzer.jvm/0.6.5/tools.analyzer.jvm-0.6.5.jar::clojure/tools/analyzer/jvm.clj|9| clojure.tools.analyzer.jvm$eval4968$loading5561auto__4969.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.analyzer.jvm/0.6.5/tools.analyzer.jvm-0.6.5.jar::clojure/tools/analyzer/jvm.clj|9| clojure.tools.analyzer.jvm$eval4968.invokeStatic
|| clojure.tools.analyzer.jvm$eval4968.invoke(jvm.clj)
|| clojure.lang_COMPILER.eval(Compiler.java:6934)
|| clojure.lang_COMPILER.eval(Compiler.java:6923)
|| clojure.lang_COMPILER.load(Compiler.java:7381)
|| clojure.lang_RT.loadResourceScript(RT.java:372)
|| clojure.lang_RT.loadResourceScript(RT.java:363)
|| clojure.lang_RT.load(RT.java:453)
|| clojure.lang_RT.load(RT.java:419)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5883| clojure.core$load$fn
5669.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic
|| clojure.core$load_one.invoke(core.clj)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn
5618.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5727| clojure.core$load_lib.invokeStatic
|| clojure.core$load_lib.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:142)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic
|| clojure.core$load_libs.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:137)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic
|| clojure.core$require.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:457)
src/main/clojure/clojure/core/match.clj|1| clojure.core.match$eval4960$loading
5561auto__4961.invoke
src/main/clojure/clojure/core/match.clj|1| clojure.core.match$eval4960.invokeStatic
|| clojure.core.match$eval4960.invoke(match.clj)
|| clojure.lang_COMPILER.eval(Compiler.java:6934)
|| clojure.lang_COMPILER.eval(Compiler.java:6923)
|| clojure.lang_COMPILER.load(Compiler.java:7381)
|| clojure.lang_RT.loadResourceScript(RT.java:372)
|| clojure.lang_RT.loadResourceScript(RT.java:363)
|| clojure.lang_RT.load(RT.java:453)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5883 | clojure.core$load$fn 5669.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5882 | clojure.core$load.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5683 | clojure.core$load_one.invokeStatic
|| clojure.core$load_one.invoke(core.clj)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5728 | clojure.core$load_lib$fn 5618.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5727 | clojure.core$load_lib.invokeStatic
|| clojure.core$load_lib.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:142)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 647 | clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5765 | clojure.core$load_libs.invokeStatic
|| clojure.core$load_libs.doInvoke(core.clj)
|| clojure.lang.RestFn.applyTo(RestFn.java:137)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 647 | clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 5787 | clojure.core$require.invokeStatic
|| clojure.core$require.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:421)
|| clojure.core.match$eval4949.invokeStatic(form-init2494799382238714928.clj:1)
|| clojure.core.match$eval4949.invoke(form-init2494799382238714928.clj)
|| clojure.lang.Compiler.eval(Compiler.java:6934)
|| clojure.lang.Compiler.eval(Compiler.java:6897)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 3096 | clojure.core$eval.invokeStatic
|| clojure.core$eval.invoke(core.clj)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj | 240 | clojure.main$repl$read_eval_print 7404$fn 7407.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj | 240 | clojure.main$repl$read_eval_print 7404.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj | 258 | clojure.main$repl$fn 7413.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj | 258 | clojure.main$repl.invokeStatic
|| clojure.main$repl.doInvoke(main.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:1523)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj | 58 | clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn 637.invoke
|| clojure.lang.AFn.applyToHelper(AFn.java:152)
|| clojure.lang.AFn.applyTo(AFn.java:144)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 645 | clojure.core$apply.invokeStatic
zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj | 1874 | clojure.core$with_bindings*STAR.invokeStatic
|| clojure.core$with_bindings*STAR.doInvoke(core.clj)
|| clojure.lang.RestFn.invoke(RestFn.java:425)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj | 56 | clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invokeStatic
|| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invoke(interruptible_eval.clj)
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj | 191 | clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn 679$fn__682.invoke
zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj | 159 | clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__674.invoke
|| clojure.lang.AFn.run(AFn.java:22)
|| java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
|| java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
|| java.lang.Thread.run(Thread.java:745)

`

在自己的项目中重新加载依赖 clojure.core.match 的命名空间时也出现了相同的情况。

jira · Answer 3 · 2015-09-24T21:59:52+0000

评论为：

是否可能是AOT（离线编译）的相关问题？

jira · Answer 4 · 2015-09-24T23:32:00+0000

由：michaelblume

稍作缩小范围，如果检查 tools.analyzer.jvm，打开一个REPL，并执行 (require 'clojure.tools.analyzer.jvm.utils)，我得到

|| java.lang.ClassCastException: java.lang.Class cannot be cast to clojure.asm.Type, compiling:(utils.clj:260:13) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3642) || clojure.lang.Compiler$InvokeExpr.eval(Compiler.java:3636) || clojure.lang.Compiler$DefExpr.eval(Compiler.java:450) || clojure.lang.Compiler.eval(Compiler.java:6939) || clojure.lang.Compiler.load(Compiler.java:7381) || clojure.lang.RT.loadResourceScript(RT.java:372) || clojure.lang.RT.loadResourceScript(RT.java:363) || clojure.lang.RT.load(RT.java:453) || clojure.lang.RT.load(RT.java:419) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5883| clojure.core$load$fn__5669.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5882| clojure.core$load.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5683| clojure.core$load_one.invokeStatic || clojure.core$load_one.invoke(core.clj) zipfile:/Users/michael.blume/.m2/repository орг/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5728| clojure.core$load_lib$fn__5618.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5727| clojure.core$load_lib.invokeStatic || clojure.core$load_lib.doInvoke(core.clj) || clojure.lang.RestFn.applyTo(RestFn.java:142) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5765| clojure.core$load_libs.invokeStatic || clojure.core$load_libs.doInvoke(core.clj) || clojure.lang.RestFn.applyTo(RestFn.java:137) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|647| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|5787| clojure.core$require.invokeStatic || clojure.core$require.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:421) || clojure.tools.analyzer.jvm.utils$eval4392.invokeStatic(form-init8663423518975891793.clj:1) || clojure.tools.analyzer.jvm.utils$eval4392.invoke(form-init8663423518975891793.clj) || clojure.lang.Compiler.eval(Compiler.java:6934) || clojure.lang.Compiler.eval(Compiler.java:6897) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|3096| clojure.core$eval.invokeStatic || clojure.core$eval.invoke(core.clj) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404$fn__7407.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|240| clojure.main$repl$read_eval_print__7404.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl$fn__7413.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/main.clj|258| clojure.main$repl.invokeStatic || clojure.main$repl.doInvoke(main.clj) || clojure.lang.RestFn.invoke(RestFn.java:1523) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|58| clojure.tools.nrepl.middleware.interruptible_eval$evaluate$fn__637.invoke || clojure.lang.AFn.applyToHelper(AFn.java:152) || clojure.lang.AFn.applyTo(AFn.java:144) zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|645| clojure.core$apply.invokeStatic zipfile:/Users/michael.blume/.m2/repository/org/clojure/clojure/1.8.0-master-SNAPSHOT/clojure-1.8.0-master-SNAPSHOT.jar::clojure/core.clj|1874| clojure.core$with_bindings_STAR_.invokeStatic || clojure.core$with_bindings_STAR_.doInvoke(core.clj) || clojure.lang.RestFn.invoke(RestFn.java:425) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|56| clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invokeStatic || clojure.tools.nrepl.middleware.interruptible_eval$evaluate.invoke(interruptible_eval.clj) zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools/nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|191| clojure.tools.nrepl.middleware.interruptible_eval$interruptible_eval$fn__679$fn__682.invoke zipfile:/Users/michael.blume/.m2/repository/org/clojure/tools.nrepl/0.2.10/tools.nrepl-0.2.10.jar::clojure/tools/nrepl/middleware/interruptible_eval.clj|159| clojure.tools.nrepl.middleware.interruptible_eval$run_next$fn__674.invoke || clojure.lang.AFn.run(AFn.java:22) || java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142) || java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617) || java.lang.Thread.run(Thread.java:745)

我不见得AOT有什么关系？

jira · Answer 5 · 2015-09-27T20:28:15+0000

评论为：

(链接: ~michaelblume) 更新的补丁应该修复您报告的问题

jira · Answer 6 · 2015-09-28T18:39:05+0000

由：michaelblume

太好了，谢谢 =)

新补丁不再删除未使用的 MethodImplCache，这是故意的吗？

jira · Answer 7 · 2015-11-02T21:08:42+0000

评论由：alexmiller

如果在补丁描述中有一个更改内容的要点列表，那将会很酷。例如：“将 MethodImplCache 重命名为 ImplCache”，等等。这有助于更方便地审查。

jira · Answer 8 · 2015-11-02T21:35:53+0000

评论为：

附上的补丁更新版本不再用 ImplCache 替换 MethodImplCache，而是简单地复用 MethodImplCache，减少了补丁的影响，使其更容易（更安全）进行审查。

jira · Answer 9 · 2016-06-07T17:42:07+0000

_评论由：alexmiller_

由于这用于新的 {{inst?}} 案子 - 请参阅 https://github.com/clojure/clojure/commit/58227c5de080110cb2ce5bc9f987d995a911b13e

jira · Answer 10 · 2017-06-29T20:31:13+0000

_评论由：alexmiller_

我用 v3 补丁运行了前后测试。在之前的测试中，时间匹配得很接近，但我无法复制之后的成果。我得到了这个，实际上在未找到案例中更糟糕

(let [x (x.)] (bench (satisfies? p x))) ;; 平均执行时间: 76.833504 ns
(let [y (y.)] (bench (satisfies? p y))) ;; 平均执行时间: 20.570007 µs

jira · Answer 11 · 2017-06-29T22:09:01+0000

_评论者：bronsa_

v4 补丁修复了未找到情况下的回归，不确定是怎么发生的，对此表示歉意。
以下是现在得到的时间统计

clojure master

user=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：604961580次，分60组样本，每组10082693次调用。
             平均执行时间：112.649568纳秒
    执行时间标准偏差：12.216782纳秒
   执行时间下四分位数：99.299203纳秒（2.5%）
   执行时间上四分位数：144.265205纳秒（97.5%）
                   额外开销：1.898271纳秒

在60个样本中发现了3个异常值（5.0000%）
低严重程度 2（3.3333%）
低轻度 1（1.6667%）
异常值导致的方差：73.7545% 异常值导致方差严重膨胀
nil

user=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：22676100次，分60组样本，每组377935次调用。
             平均执行时间：2.605426微秒
    执行时间标准偏差：141.100070纳秒
   执行时间下四分位数：2.487234微秒（2.5%）
   执行时间上四分位数：2.873045微秒（97.5%）
                   额外开销：1.898271纳秒

在60个样本中发现了1个异常值（1.6667%）
低严重程度 1（1.6667%）
异常值导致的方差：40.1251% 异常值导致方差中度膨胀
nil

master + v4

user=> (let [x (x.)] (bench (satisfies? p x)))
评估次数：731759100次，分60组样本，每组12195985次调用。
             平均执行时间：79.321426纳秒
    执行时间标准偏差：3.959245纳秒
   执行时间下四分位数：75.365187纳秒（2.5%）
   执行时间上四分位数：87.986479纳秒（97.5%）
                   额外开销：1.905711纳秒

在60个样本中发现了1个异常值（1.6667%）
低严重程度 1（1.6667%）
异常值导致的方差：35.2614% 异常值导致方差中度膨胀
nil

user=> (let [y (y.)] (bench (satisfies? p y)))
评估次数：771220140次，分60组样本，每组12853669次调用。
             平均执行时间：77.410858纳秒
    执行时间标准偏差：1.407926纳秒
   执行时间下四分位数：75.852530纳秒（2.5%）
   执行时间上四分位数：80.759226纳秒（97.5%）
                   额外开销：1.897646纳秒

在60个样本中发现了4个异常值（6.6667%）
低严重程度 3（5.0000%）
低轻度 1（1.6667%）
异常值导致的方差：7.7866% 异常值导致方差略微膨胀

总结如下
master found = 112ns
master not-found = 2.6us

master+v4 found = 79ns
master+v4 not-found = 77ns

jira · Answer 12 · 2017-07-14T23:12:41+0000

由：michaelblume

对于已经使用特定协议实现声明的记录，因此实现了相应接口，在这种情况下，使用对该接口的（实例？）检查作为快速路径是否合理？

jira · Answer 13 · 2017-08-04T17:28:01+0000

评论由：alexmiller

Michael - 这个检查已经包含在内了

Nicola - 我有一些评论/问题

我不明白 NIL 东西的目的 - 你能解释一下吗？
在 x 是接口实例的情况下，旧代码返回 x，而 find-protocol-impl* 中的新代码返回 interface。为什么会有这个变化？
这里的：（alter-var-root (:var protocol) assoc :impl-cache (expand-method-impl-cache cache c impl)）不是线程安全的，据我所知 - 我认为在不同线程中不同 impl 的同时缺失会导致缓存中只有一个。这可能是小概率事件，也许不是什么大问题，因为缓存将在下一次调用时更新（不会给出错误答案），但是希望能提一下。我没有看到避免它的简单方法，除非进行大量更改。

jira · Answer 14 · 2017-08-05T00:14:31+0000

评论为：

Alex，感谢你查看这个
1- NIL 对象是方法 impl 缓存中的占位符，因为在 find-and-cache-protocol-impl 测试中，它会检查 nil? 以确定是否已经缓存了调度

2- 这个变化纯粹是为了保持一致性，使 find-and-cache-protocol-impl 总是返回一个类/接口，而不是要么是类/接口，要么是具体的实例。在行为上，没有任何变化，因为 find-protocol-impl 的两个消费者，即 find-protocol-method 和 satisfies?，在这个情况下都不关心这个值是什么

3- 是的，你是对的，它不是线程安全的，但我认为这是一个合理的权衡，因为它不会引起任何错误行为，在最坏的情况下，它只会导致一个额外的缓存缺失，使得它线程安全将对每次缓存命中/缺失都带来额外的性能损失

jira · Answer 15 · 2017-08-16T19:44:51+0000

由：michaelblume

(链接： ~bronsa) 我在这个补丁中看到了行为上的变化

`
(defprotocol BoolProtocol
(proto-fn [this]))

(extend-protocol BoolProtocol
Object
(proto-fn [x] "Object impl")

nil
(proto-fn [x] "Nil impl"))

(proto-fn false)
`

使用 Clojure master 返回 "Object impl"，使用此补丁返回 "Nil impl"）

在 2024 Clojure 状态调查！ 分享你的想法。

让 `satisfies?` 与协议方法调用一样快

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

请登录或注册来回答这个问题。

25 个回答

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

相关问题

分类

在 2024 Clojure 状态调查！分享你的想法。