如何让 Java 给 Alloy 更多内存

How to get Java to give Alloy more memory

我正在使用 alloy4.2,但我无法告诉它使用更多内存。
我不是 Java 专家,我怀疑问题出在我如何配置 Java。
我正在使用 OpenJDK Runtime Environment 1.8.0_131.
我也试过1.8.0_151。 我的 VM 在 Ubuntu x64.
中是 运行 在 Alloy 选项选项卡下,要使用的最大内存 始终卡在默认值 768M
我正在使用具有 16G 可用内存的 VM。
我尝试设置 Java 堆栈参数
-Xms1g and -Xmx8g
当我调用 Java 并使用 "export _JAVA_OPTS" to no avail 时在命令行中。

Java says it is "picking up" the Xms and Xmx values and when I run Java -XshowSettings:vm it shows that I have a max heap size of approx. 7.9G.

但是 Alloy 不允许我将内存增加到超过 768M 的最小最小大小。知道我做错了什么吗?

尽管 4.2 应该包含 4Gb,但 Alloy 中的数字是硬编码的? (我认为 4.2 有很多变体。)

我们目前正在努力创建 5.0.0 版本,但尚未真正发布。您可以从以下位置下载快照 JAR:

https://oss.sonatype.org/content/repositories/snapshots/org/alloytools/org.alloytools.alloy.dist/5.0.0-SNAPSHOT/