I have been using -Xmx1024M for some month, and I never had problems so far...
Alexander On Saturday, April 18, 2020 at 10:02:25 PM UTC+2, David A. Wheeler wrote: > > If you use mmj2 on Windows to process set.mm, you may need to > increase the memory settings of mmj2. > > Here are the details - including how to fix it - if this situation applies > to you. > > The issue is that set.mm has > gotten bigger and that mmj2 includes an Early parser > (which uses nontrivial memory). I don't think splitting set.mm would help > in this case (though I haven't checked that seriously). > Changing a memory setting solves the problem. > > In the long term, I've provided a proposed change to mmj2 so it > will automatically be handled by default. Hopefully Mario will merge it > and > post a new version of mmj2 (hint!). You can see the pull request here: > https://github.com/digama0/mmj2/pull/34 > > In the meantime: If you use the mmj2 batch files, such as mmj2.bat, > you may need to edit the batch files to keep working with set.mm. > If you've made your own batch files, this will also apply. > These files provide Java a few parameters so mmj2 will work. > One option is "-Xmx", which sets the maximum (heap) memory size. > It's been 512 Mebibytes (512M), but set.mm has gotten larger and the > Earley parser uses nontrivial amounts of memory. I changed > "-Xmx512M" to "-Xmx2g" (2 Gibibytes), and all worked again. > You don't need to change "-Xms"; that's just the starting value, and as > long as the *maximum* value is large enough you're fine. > > --- David A. Wheeler > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2201b6c3-35c4-4f70-b11a-f3d62d52ceb9%40googlegroups.com.
