fix: HasStatic 让 Stats 越用越偏;borrowStatic 漏标 scoped

两个都是静态调用那条路上的。

HasStatic 建了 VM 却不记丢弃。Created 在 load 里加(所有建 VM 的路径都走它),
Dropped 在 staticTarget.finish 里加,而 HasStatic 拿到 VM 后直接返回,不走
finish。每调一次 Created-Dropped 就永久 +1——Stats 是导出的观测结构,这个
偏差会直接体现在监控上。改成走同一套记账。

borrowStatic 同样会注入作用域扩展,却不设 vm.scoped。release 靠这个标志拒绝
把带扩展的 VM 放回池子,漏标就是跨调用泄漏。今天不出事只是因为
staticTarget.finish 永远丢弃——同一个约束靠两套机制守,以后有人把静态 VM
接进 release 就会漏。

测试:
  - Stats 那条断言「在飞的 VM 数」调用前后不变
  - scoped 那条是**内部测试**,直接断言标志位。行为测试盖不住它——borrowStatic
    那条路今天靠 finish 兜底,从外面看不出漏标
  两条都做了破坏性验证,摘掉修复会红。

顺带把 WithTimeout 的文档补上一句:要新建 VM 的路径上是顶层和函数调用两段
各自计时,墙钟上限是 2×d。行为不改——两段各自计时是合理的,缺的只是说明。
This commit is contained in:
2026-09-10 15:21:17 +08:00
parent 9b3509ae29
commit 111665d2e7
4 changed files with 156 additions and 3 deletions
+49
View File
@@ -170,3 +170,52 @@ func TestScopePool_并发不串(t *testing.T) {
t.Errorf("%d 次出错:\n%s", len(bad), strings.Join(bad, "\n"))
}
}
// 取 VM 的每一条路径,带作用域时都必须把 scoped 标上。
//
// scoped 决定 release 会不会把 VM 放回池子。漏标的后果是**跨调用泄漏作用域扩展**:
// 下一个不带作用域的调用会看见上一个作用域的 store。
//
// 这条用内部测试直接断言标志位,而不是测「有没有漏」——borrowStatic 那条路今天
// 靠 staticTarget.finish 永远丢弃兜底,行为上看不出漏标,等于同一个约束靠两套
// 机制守。标志位本身才是唯一的真相。
func TestVM_每条取VM的路径都标了scoped(t *testing.T) {
e, err := New(WithLogger(nil))
if err != nil {
t.Fatal(err)
}
defer e.Close()
s, err := e.Compile("c.ts", `export default class C { static S() { return 1 } Run() { return 1 } }`)
if err != nil {
t.Fatal(err)
}
scoped := WithScope(context.Background(), ScopeKey("k"))
plain := context.Background()
for _, c := range []struct {
name string
get func(ctx context.Context) (*vmHandle, error)
}{
{"borrow(池化路径)", s.borrow},
{"borrowStatic(静态路径)", s.borrowStatic},
} {
vm, err := c.get(scoped)
if err != nil {
t.Fatalf("%s: %v", c.name, err)
}
if !vm.scoped {
t.Errorf("%s 在有作用域时没标 scoped——这个 VM 会被放回池子,"+
"把作用域的扩展漏给下一个调用", c.name)
}
vm, err = c.get(plain)
if err != nil {
t.Fatalf("%s(无作用域): %v", c.name, err)
}
if vm.scoped {
t.Errorf("%s 没有作用域却标了 scoped——白白丢弃可复用的 VM", c.name)
}
}
}