[polyml] polyml sometimes runs out of memory with plenty available

On Sat, Oct 3, 2020, at 11:15 AM, Stefan O'Rear wrote:

controlled conditions. I am currently attempting several runs of the flaky program with the attached patch applied and will update for the results, although I suspect this does not address the root cause.

That workaround has been fairly effective so far. Running Holmake in examples/compilation/x64/proofs of cakeml 9a0180e or 018eec6 and HOL d4ac035 or d77d0c6, I have 22 crashes out of 338 successful runs with 5.8.1, and 0 crashes from >1000 runs with poly b478663 and the patch attached to the previous message. I have also completed three runs of the full cakeml CI build (except compiler/bootstrap/compilation/*) with the patched poly, although I do not have a base rate for that.

-s