19 Oct
2007
19 Oct
'07
2:33 p.m.
Hello Simon, Monday, October 15, 2007, 2:52:10 PM, you wrote:
Right - GC time doubled, which is what we'd expect to see when the resident data size doubles. The decrease in MUT time is probably due to the extra registers available, but MUT time would also be affected by the increase in data size, because the cache hit rate should be lower. On the whole, I think these results are to be expected.
There isn't much we can do to improve things in the short term, I'm afraid.
usimng just "+RTS -A10m" may help -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com