It was so weird that I wondered if it was a hardware or Linux bug. I'd be interested in knowing if it happens repeatably.
David
On 04/01/2019 15:33, Gergely Buday wrote:
Unfortunately I cannot tell you more -- it might have been heavy swapping as the bootstrapping of CakeML involves large memory usage, but after the process has been shut down I cannot see it anymore.
Now it seems to work on second attempt.
I use CentOS 7.6.1810 with 16G of RAM and the CakeML bootstrapping stretches the limits of this configuration.
- Gergely
On Fri, 4 Jan 2019 at 15:32, David Matthews <David.Matthews at prolingua.co.uk> wrote:
What were the circumstances? Was this a one off? This is a really weird bug that I saw in the past under conditions of heavy swapping and never managed to track down. Is this reproducible? Does it happen on particular hardware?
David
On 04/01/2019 14:23, Gergely Buday wrote:
Hi,
in a CakeML compilation I got
explorerProgTheory FAILED! <Signal 6> GC: Count error mark count 205399344, bitCount 205372170 GC: Count error mark count 205267608, bitCount 205240434 buildheap: gc.cpp:178: bool doGC(POLYUNSIGNED): Assertion `markCount == bitCount' failed. GC: Count error mark count 205267608, bitCount 205240434
What could cause this? Unsuccessful memory allocation attempt?
Signal 6 is ABRT.
I am using the 5.7.1 release.
- Gergely
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml