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 <[email protected]>
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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
