search

msakai / toysolver

My sandbox for experimenting with solver algorithms.
Other
154 stars 11 forks source link

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

Open msakai opened 1 year ago

msakai commented 1 year ago

…re regular intervals

msakai commented 1 year ago

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.