如何使用 :since with CompUnit

Question

我正在尝试通过使用 CompUnit 类集进行预编译来创建 POD6 的缓存。

我可以按如下方式创建、存储和检索 pod：

use v6.c;
use nqp;
my $precomp-store =     CompUnit::PrecompilationStore::File.new(prefix=>'cache'.IO);
my $precomp = CompUnit::PrecompilationRepository::Default.new(store=> $precomp-store );
my $key = nqp::sha1('test.pod6');
'test.pod6'.IO.spurt(q:to/CONTENT/);
=begin pod
=TITLE More and more

Some more text

=end pod

CONTENT
$precomp.precompile('test.pod6'.IO, $key, :force);
my $handle = $precomp.load($key, )[0];
my $resurrected = nqp::atkey($handle.unit,'$=pod')[0];
say $resurrected ~~ Pod::Block::Named;

所以现在我更改 POD，如何使用 :since 标志？我认为如果:since 包含编译后的时间，那么句柄的值将是 Nil。好像不是这样的。

my $new-handle = $precomp.load($key, :since('test.pod6'.IO.modified));
say 'I got a new handle' with $new-handle;

输出是“我有一个新句柄”。

我做错了什么？ 这是带有代码和输出的 pastebin 链接：https://pastebin.com/wtA9a0nP

Answer 1

模块加载代码缓存查找并基本上开始于：

$lock.protect: { 
    return %loaded{$id} if %loaded{$id}:exists; 
}

所以问题变成了“我如何加载一个模块然后卸载它（这样我可以再次加载它）？”答案是：您无法卸载模块。但是，您可以更改文件名、分发长名（通过更改名称、身份验证、api 或版本）或 precomp id（无论特定 CompUnit::Repository 使用什么来唯一标识模块）来绕过缓存。

似乎被忽视的是$key 旨在表示一个不可变的名称，这样它总是指向相同的内容。如果foo.pm同时被Module A和B加载，Module Used::Inside::A应该为Module Used::Inside::A加载什么版本的foo.pm，Module A先加载foo，然后Module B修改富？已加载旧版本 Module A，还是（可能与先前版本冲突）Module B 已加载版本？以及这种差异化对 precomp 文件生成本身有何作用（这又可以并行发生）？

当然，如果我们忽略上述内容，我们可以添加代码来为所有 CompUnit::Repository 类型的每个单个模块加载进行昂贵的 .IO.modified 调用（减慢启动速度），以说“嘿，这个不可变的东西改变了”。但是某些操作系统上文件系统修改时间戳的粒度使得检查非常脆弱（特别是对于生成预编译文件的多线程模块加载），这意味着每次都需要更昂贵的调用来获取校验和。