toysolver icon indicating copy to clipboard operation
toysolver copied to clipboard

Published 20 hours ago • verified publisher icon msakai

ToySolver.SAT.Solver.CDCL: use timer thread to print statistics at mo…

Open msakai opened this issue 2 years ago • 1 comments
trafficstars

…re regular intervals

msakai avatar Jan 22 '23 15:01 msakai

CI fails with Out of memory on windows-i386.

The message is printed at https://github.com/ghc/ghc/blob/31cd867e4d37072c3ce1d51efadc94e66ddc1c28/rts/win32/OSMem.c#L77 in allocNew function after the invocation VirtualAlloc(0,0x200000, MEM_RESERVE, PAGE_READWRITE) failed.

My hypothesis:

  1. A large number of threads are created for some reason https://gitlab.haskell.org/ghc/ghc/-/issues/23213
  2. The virtual memory reservation for stacks of those threads used up 2GB of virtual address space.
  3. Since they were only reserved and not committed, the apparent memory consumption was not big.

msakai avatar Apr 02 '23 06:04 msakai