如何让 Java 给 Alloy 更多内存答案

【问题标题】：How to get Java to give Alloy more memory如何让 Java 给 Alloy 更多内存
【发布时间】：2017-10-30 03:55:30
【问题描述】：

我正在使用alloy4.2，但我无法告诉它使用更多内存。
我不是 Java 专家，我怀疑问题在于我如何配置 Java。
我正在使用OpenJDK Runtime Environment 1.8.0_131。
我也试过1.8.0_151。我的虚拟机在 Ubuntu x64 中运行。
在 Alloy Options 选项卡下，Maximum Memory To Use 始终停留在默认值 768M。
我正在使用具有 16G 可用内存的 VM。
我已尝试设置 Java 堆栈参数
-Xms1g and -Xmx8g
在我调用 Java 时的命令行中，还使用了"export _JAVA_OPTS" to no avail。

Java 说它正在“拾取” Xms 和 Xmx 值，当我运行时 Java -XshowSettings:vm 它表明我的最大堆大小约为。 7.9G。

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

【问题讨论】：

标签： java memory heap-memory alloy

【解决方案1】：

虽然 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/

【讨论】：

我会试试你的 5.0.0 版本。我还尝试在 Windows 10 上运行 4.2 版本。使用 32b Java，我无法将内存设置为大于 ~3GB。我的应用程序确实需要 4GB 或更多空间。使用 64b Java，我获得 4GB 内存，但根据 Alloy 警告消息（“基于 JNI 的 SAT 求解器在此平台上不起作用），MiniSAT 不可用，因此我唯一的选择是 SAT4J。不幸的是，求解器内存不足。我的同事正在 Mac OS 上本地运行 Alloy with Java。当他使用 MiniSAT 以 4GB 内存运行时，它会运行完成。需要用于 64b Windows 的 Alloy with MiniSAT。谢谢！
我应该使用哪个 .jar 文件？此时我在 Windows 64b 上运行。当我尝试运行 *sources.jar 文件或 *javadoc.jar 文件时出现“主清单”错误。当我运行 org.alloytools.alloy.dist-5.0.0-20170823.080526-1.jar 时，出现 JNI 错误，线程 main java.lang.NoClassDefFoundError: com/apple/eawt/ApplicationListener 中的异常。
这是今天（2017/10/31）最新的快照oss.sonatype.org/content/repositories/snapshots/org/alloytools/…
Windows 的问题在于它不支持 minisat 正在使用的库以及其他一些本机求解器正在使用的库。这是一个遗憾，因为缺少的功能只是关于时间:-(
谢谢 - 对 Windows 很失望。我在运行 OpenJDK 64b 1.8.0_131 的 Ubuntu Linux VM 上尝试了您指向我的最新快照并收到此错误：错误：发生 JNI 错误，请检查您的安装并重试线程“main”java.lang 中的异常。 NoClassDefFoundError: com/apple/eawt/ApplicationListener at java.lang.Class.privateGetDeclaredMethods(Class.java:2701) at java.lang.Class.getDeclaredMethods0(Native Method) at java.lang.Class.privateGetMethodRecursive(Class.java:3048 )