0
alloy4.2을 사용하고 있으며 더 많은 메모리를 사용하도록 말할 수 없습니다.
저는 Java 전문가가 아니며 Java 구성 방법에 문제가 있다고 생각합니다.
나는 OpenJDK Runtime Environment 1.8.0_131을 사용하고 있습니다.
나는 또한 1.8.0_151을 시도했다. 내 VM이 우분투 x64에서 실행 중입니다.
합금 옵션 탭에서 최대 메모리 사용은 항상 기본값이 768M입니다.
사용 가능한 메모리가 16G 인 VM을 사용하고 있습니다. 나는 자바를 호출하고, 또한 "export _JAVA_OPTS" to no avail를 사용할 때 자바 스택을 설정 시도
는 명령 줄에서
-Xms1g and -Xmx8g
매개 변수.합금에 더 많은 메모리를 부여하는 방법
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.
그러나 합금은 768M의 최소 최소 크기를 초과하여 메모리를 증가시키지 않습니다. 내가 뭘 잘못하고 있는거야?
: 당신은에서 스냅 샷 JAR을 다운로드 할 수 있습니다. 또한 Windows 10에서 4.2 릴리스를 실행 해 보았습니다. 32b Java에서는 ~ 3GB보다 큰 메모리를 설정할 수 없습니다. 내 응용 프로그램에는 실제로 4GB 이상이 필요합니다. 64b Java를 사용하면 4GB의 메모리를 사용할 수 있지만 합금 경고 메시지 ("JNI 기반 SAT 솔버는이 플랫폼에서 작동하지 않음)에 따라 MiniSAT를 사용할 수 없으므로 유일한 옵션은 SAT4J입니다. 불행히도 솔버의 메모리가 부족합니다. 동료는 Mac OS X에서 Java를 기본으로 합금을 실행하고 있으며 MiniSAT를 사용하여 4GB의 메모리로 실행하면 완료 될 때까지 실행됩니다 .64b Windows 용 MiniSAT가 필요한 경우 감사합니다 – johnf
어떤 .jar 파일을 사용해야합니까? 이 시점에서 Windows 64b에서 실행 중입니다. * sources.jar 파일 또는 * javadoc.jar 파일을 실행하려고하면 "main manifest"오류가 발생합니다. org.alloytools.alloy.dist-5.0.0을 실행하면 -20170823.080526-1.jar 스레드 JNI 오류가 발생했습니다. java.lang.NoClassDefFoundError : com/apple/eawt/ApplicationListener – johnf
오늘은 (2017/10/31) https : // oss의 최신 스냅 샷입니다. sonatype.org/content/repositories/snapshots/org/alloytools/org.alloytools.alloy.dist/5.0.0-SNAPSHOT/org.alloytools.a lloy.dist-5.0.0-20170823.135410-3.jar –