Re: [isabelle-dev] performance problems

2018-09-07 Thread Makarius
On 07/09/18 20:22, Lawrence Paulson wrote: > >> For 16 GB, I usually run Poly/ML in 32-bit mode > > How do you do that? When Isabelle/jEdit is running, you disable the Plugin Option Isabelle / General / ML system 64 and restart the application. Or when it is not running, you edit

Re: [isabelle-dev] performance problems

2018-09-07 Thread Lawrence Paulson
> On 7 Sep 2018, at 19:18, Makarius wrote: > > I can't try it out, since theory "Explorer" is missing. Attached. A very cool thing. Explorer.thy Description: Binary data > For 16 GB, I usually run Poly/ML in 32-bit mode How do you do that? Larry

Re: [isabelle-dev] performance problems

2018-09-07 Thread Makarius
On 07/09/18 17:39, Lawrence Paulson wrote: > What do you suggest for these on a 16 GB machine? I attach my file. > Larry > >> On 7 Sep 2018, at 15:01, Makarius > > wrote: >> >> If you are using the 64-bit version of Poly/ML, you should give both >> --minheap and

Re: [isabelle-dev] performance problems

2018-09-07 Thread Makarius
On 07/09/18 17:51, Manuel Eberl wrote: > > Basically, what happens is that occasionally, the IDE "freezes" in the > sense that no new changes to the document are processed. I can still > view the output of all the processed commands, but there is a certain > position in the document underneath

Re: [isabelle-dev] performance problems

2018-09-07 Thread Manuel Eberl
I have also noted a few strange issues with the development version (currently e50312982ba0) these last few days, but I have not yet had the time to try to reproduce them. Basically, what happens is that occasionally, the IDE "freezes" in the sense that no new changes to the document are

Re: [isabelle-dev] performance problems

2018-09-07 Thread Lawrence Paulson
What do you suggest for these on a 16 GB machine? I attach my file. Larry On 7 Sep 2018, at 15:01, Makarius wrote:If you are using the 64-bit version of Poly/ML, you should give both--minheap and --maxheap, otherwise it tends to overcommit a lot of memory. Binomial_sol.thy

Re: [isabelle-dev] performance problems

2018-09-07 Thread Makarius
On 06/09/18 17:14, Lawrence Paulson wrote: > I'm facing serious performance problems with the development version and I > have no idea what's happening, though it may be connected with my settings. > At the moment I am using > > JEDIT_JAVA_OPTIONS64="-Xms2048m -Xmx8192m -Xss8m" >

[isabelle-dev] performance problems

2018-09-06 Thread Lawrence Paulson
I'm facing serious performance problems with the development version and I have no idea what's happening, though it may be connected with my settings. At the moment I am using JEDIT_JAVA_OPTIONS64="-Xms2048m -Xmx8192m -Xss8m" ML_OPTIONS="--minheap 3500" (I'm not aware of any guidelines of what