memory - 取消注册 M3 型号

Question

当前从注册表取消注册 M3 模型的首选方法是什么？

在我的项目中，我使用 Rascal 来分析大约 100 个大型 Java 程序，但我的 JVM 正在慢慢耗尽内存。我在旧版本的注册表中找到了 unregisterProject 方法，并尝试使用此代码，但我认为它无法正常工作。

public void unregisterProject(loc project, M3 model) {
    rel[str scheme, loc name, loc src] perScheme 
      = {<name.scheme, name, src> | <name, src> <- model.declarations};

    for (str scheme <- perScheme<scheme>) {
           unregisterLocations(scheme, project.authority);
    }
}

我当前的解决方法是使用大量内存来解决该问题。

Answer 1

这段代码可能会工作得更好。它首先收集所有已注册的方案和权限对(并删除重复项)，然后调用 unregisterLocations 函数来获取剩余的唯一对。

public void unregisterProject(loc project, M3 model) {
    schemesAndAuthorities 
      = {<name.scheme, name.authority> | <name, src> <- model.declarations};

    for (<scheme, authority> <- schemesAndAuthorities) {
           unregisterLocations(scheme, authority);
    }
}

你愿意尝试一下吗？如果它有效，我们可以通过一些测试将其添加回标准库。之前的代码基于不同的位置注册方式，因此取消注册不起作用。