some GC options that potentially improve reactivity;
authorwenzelm
Sun, 22 Nov 2015 23:13:02 +0100
changeset 61735 a1b779ee035c
parent 61734 31633e503c17
child 61736 d6b2d638af23
some GC options that potentially improve reactivity;
etc/settings
--- a/etc/settings	Sun Nov 22 20:53:38 2015 +0100
+++ b/etc/settings	Sun Nov 22 23:13:02 2015 +0100
@@ -14,7 +14,7 @@
 
 ISABELLE_SCALA_BUILD_OPTIONS="-encoding UTF-8 -nowarn -target:jvm-1.7 -Xmax-classfile-name 130"
 
-ISABELLE_JAVA_SYSTEM_OPTIONS="-server -Dfile.encoding=UTF-8 -Disabelle.threads=0"
+ISABELLE_JAVA_SYSTEM_OPTIONS="-server -XX:+UseConcMarkSweepGC -XX:+CMSParallelRemarkEnabled -Dfile.encoding=UTF-8 -Disabelle.threads=0"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"