Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-03-20

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
04:53 fracting joined #isabelle
04:59 fracting joined #isabelle
06:25 fracting joined #isabelle
07:43 fracting joined #isabelle
12:21 Damaki joined #isabelle
12:36 Damaki joined #isabelle
13:39 Damaki joined #isabelle
14:05 Damaki_ joined #isabelle
14:24 Damaki Anyone know how I can control Isabelle/jEdit's memory usage?
14:24 Damaki I'm using jEdit and it's using 5 GB of memory which is almost all of my machine's memory.
14:36 ThreeOfEight Damaki: I think the official answer is: get a machine with more memory
14:36 ThreeOfEight there are some options to control this
14:36 ThreeOfEight I recommend posting on the Isabelle users mailing list
14:44 Damaki ThreeOfEight, ok, thanks
14:44 Damaki For now I'm just keeping an eye on memory usage and restarting jEdit when it approaches my machine's limit (6 GB)
14:44 Damaki It works just fine, it just seems to increase in usage over time
14:50 int-e The poly process should stop growing at 3.5GB (if you're using the 32 bit version, which is the default but may fail due to missing libraries), and the java process's heap is restricted to 2560 MB on a 64 bit system
15:22 Damaki I think it's the combination of the processes upon closer inspection
15:22 Damaki poly is using 1.9 GB currently, and java is using 1.1
15:22 Damaki Looks like I'm going memory shopping
15:38 Damaki joined #isabelle
16:54 Damaki joined #isabelle
19:35 Damaki joined #isabelle
20:26 Damaki joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary