New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open

msakai wants to merge 3 commits into master from feature/sat-print-statistics-timer-thread

Owner

msakai commented Jan 22, 2023

…re regular intervals

msakai added 3 commits

January 22, 2023 23:51


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

52947b3

…re regular intervals


          ToySolver.SAT.Solver.CDCL: add option for setting interval for printi…

7f7e0fd

…ng statistics


          ToySolver.SAT.Solver.CDCL: allow setting fractional value for printin…

dae75bc

…g statistics interval

Owner Author

msakai commented Apr 2, 2023

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:

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet