updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
authorwenzelm
Fri Apr 25 14:18:13 2014 +0200 (2014-04-25)
changeset 56720e1317a26f8c0
parent 56719 80eb2192516a
child 56721 f2ffead641d4
updated properties for scala.concurrent.ExecutionContext.Implicits.global (future task farm), similar to Isabelle/ML;
removed obsolete properties for old actors;
src/Tools/jEdit/etc/settings
     1.1 --- a/src/Tools/jEdit/etc/settings	Fri Apr 25 13:55:50 2014 +0200
     1.2 +++ b/src/Tools/jEdit/etc/settings	Fri Apr 25 14:18:13 2014 +0200
     1.3 @@ -4,9 +4,9 @@
     1.4  JEDIT_SETTINGS="$ISABELLE_HOME_USER/jedit"
     1.5  
     1.6  JEDIT_OPTIONS="-reuseview -noserver -nobackground -log=9"
     1.7 -#JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
     1.8 -JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
     1.9 -#JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false"
    1.10 +#JEDIT_JAVA_OPTIONS="-Xms128m -Xmx512m -Xss1m -Dscala.concurrent.context.minThreads=1 -Dscala.concurrent.context.numThreads=x0.5 -Dscala.concurrent.context.maxThreads=8"
    1.11 +JEDIT_JAVA_OPTIONS="-Xms128m -Xmx1024m -Xss2m -Dscala.concurrent.context.minThreads=1 -Dscala.concurrent.context.numThreads=x0.5 -Dscala.concurrent.context.maxThreads=8"
    1.12 +#JEDIT_JAVA_OPTIONS="-Xms512m -Xmx4096m -Xss8m -Dscala.concurrent.context.minThreads=1 -Dscala.concurrent.context.numThreads=x0.5 -Dscala.concurrent.context.maxThreads=8"
    1.13  JEDIT_SYSTEM_OPTIONS="-Dawt.useSystemAAFontSettings=on -Dswing.aatext=true -Dapple.laf.useScreenMenuBar=true -Dapple.awt.application.name=Isabelle -Dscala.repl.no-threads=true"
    1.14  
    1.15  ISABELLE_JEDIT_OPTIONS=""