4 Dec
2018
4 Dec
'18
1 p.m.
Hi,
https://polyml.inf.ed.ac.narkive.com/c53BJE4q/run-out-of-store-interrupting- threads
says that setting --maxheap with polyml can fix this problem.
Does this memory allocation necessarily mean _physical_ memory allocation or the operating system can use swap space to have the necessary memory?
I have set maxheap as twice the physical memory size in a CakeML compilation and I still got this error message (8G/16G).
- Gergely