Skip to content

Instantly share code, notes, and snippets.

@rrnewton

rrnewton/Two threads think they won the winner check

Last active August 29, 2015 13:55
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rrnewton/8720354 to your computer and use it in GitHub Desktop.
Save rrnewton/8720354 to your computer and use it in GitHub Desktop.
Download ZIP
Example trace pertaining to issue #70. Note the two occurences of "past global barrier".
Raw
a second problem
[!] LVish responding to env Var: DEBUG=9
|3| wrkr0 [dbg-lvish] Auxillary worker #0 starting.
|3| wrkr2 [dbg-lvish] Auxillary worker #2 starting.
|3| wrkr3 [dbg-lvish] Auxillary worker #3 starting.
|3| wrkr1 [dbg-lvish] Main worker thread starting.
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|2| (wrkr3) waitRemovedSize: about to block.
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 19 on worker 3
|7| wrkr3 [dbg-lvish] getLV (active): check globalThresh, lv 19 on worker 3
|2| (wrkr3) waitRemovedSize: unblocked, returning.
|5| wrkr3 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 3
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 20 on worker 2
|5| wrkr3 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 3
|3| wrkr3 [dbg-lvish] Final continuation of main worker: reenter sched to cleanup.
Raw
Two threads think they won the winner check
=================================================
*** Iteration 35, executing command: <./AddRemoveSetTests.exe -t i1 +RTS -N4>
=================================================
[*] Default test harness...
[*] Using Just 1 worker threads for testing.
AddRemoveSetTests:
[!] LVish responding to env Var: DEBUG=9
|3| wrkr0 [dbg-lvish] Main worker thread starting.
|3| wrkr3 [dbg-lvish] Auxillary worker #3 starting.
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|3| wrkr2 [dbg-lvish] Auxillary worker #2 starting.
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|2| (wrkr3) waitRemovedSize: about to block.
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 19 on worker 3
|7| wrkr3 [dbg-lvish] getLV (active): check globalThresh, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] getLV 20: blocking on LVar, registering listeners...
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|8| wrkr3 [dbg-lvish] getLV (active): second frozen check, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] getLV (active): second globalThresh check, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] getLV (active): second globalThresh tripped, remove tok, lv 19 on worker 3
|7| wrkr0 [dbg-lvish] getLV (active): callback: check thresh, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] getLV 20 on worker 0: winner check? True
|8| wrkr3 [dbg-lvish] getLV 20 on worker 3: winner check? True
|2| (wrkr3) waitRemovedSize: unblocked, returning.
|5| wrkr3 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 3
|2| (wrkr0) waitRemovedSize: unblocked, returning.
|5| wrkr3 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 19 on worker 3
|5| wrkr0 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 19 on worker 0
|7| wrkr3 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 19 on worker 3
|7| wrkr3 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 19 on worker 3
|7| wrkr0 [dbg-lvish] getLV: first readIORef , lv 20 on worker 0
|7| wrkr0 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 0
|7| wrkr3 [dbg-lvish] getLV: first readIORef , lv 20 on worker 3
|7| wrkr3 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 3
|5| wrkr0 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 19 on worker 0
|7| wrkr0 [dbg-lvish] getLV: first readIORef , lv 20 on worker 0
|7| wrkr0 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 0
|3| wrkr3 [dbg-lvish] Final continuation of main worker: reenter sched to cleanup.
|3| wrkr0 [dbg-lvish] Final continuation of main worker: reenter sched to cleanup.
|3| wrkr1 [dbg-lvish] Auxillary worker #1 starting.
|3| wrkr0 [dbg-lvish] Main worker: past global barrier, putting answer.
|3| wrkr1 [dbg-lvish] Auxillary worker #1 exitting.
|3| wrkr3 [dbg-lvish] Main worker: past global barrier, putting answer.
|3| wrkr2 [dbg-lvish] Auxillary worker #2 exitting.
^[
Raw
two winner check trues with more chatter
[!] LVish responding to env Var: DEBUG=9
|3| wrkr0 [dbg-lvish] Auxillary worker #0 starting.
|7| !cpu 0 stealing
|4| [dbg-lvish] (tid ThreadId 5) Wait on at least one async to complete..
|7| !cpu 0 going idle...
|3| wrkr2 [dbg-lvish] Auxillary worker #2 starting.
|7| !cpu 2 stealing
|7| !cpu 2 going idle...
|3| wrkr3 [dbg-lvish] Auxillary worker #3 starting.
|7| !cpu 3 stealing
|7| !cpu 3 going idle...
|3| wrkr1 [dbg-lvish] Main worker thread starting.
|7| wrkr1 [dbg-lvish] newLV: allocating...
|7| wrkr1 [dbg-lvish] newLV: allocating...
|7| Starting pushWork on worker 1
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|7| !cpu 3 woken up
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|7| cpu 3 got work from cpu 1
|7| !cpu 1 stealing
|7| Starting pushWork on worker 3
|7| !cpu 1 going idle...
|7| !cpu 1 woken up
|7| cpu 1 got work from cpu 3
|7| Starting pushWork on worker 1
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|7| !cpu 3 stealing
|7| Starting pushWork on worker 1
|7| !cpu 3 going idle...
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|7| !cpu 3 woken up
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|7| cpu 3 got work from cpu 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|7| Starting pushWork on worker 3
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|7| !cpu 1 stealing
|7| cpu 1 got work from cpu 3
|7| !cpu 2 woken up
|7| Starting pushWork on worker 1
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|7| cpu 2 got work from cpu 1
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|7| !cpu 1 stealing
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|7| Starting pushWork on worker 2
|7| !cpu 1 going idle...
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| !cpu 3 stealing
|7| cpu 3 got work from cpu 2
|7| Starting pushWork on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|7| !cpu 0 woken up
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|7| cpu 0 got work from cpu 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| !cpu 3 stealing
|7| Starting pushWork on worker 0
|7| !cpu 3 going idle...
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|7| Starting pushWork on worker 0
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|7| !cpu 3 woken up
|7| cpu 3 got work from cpu 0
|7| Starting pushWork on worker 3
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|7| !cpu 0 stealing
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| cpu 0 got work from cpu 3
|7| !cpu 3 stealing
|7| Starting pushWork on worker 0
|7| !cpu 2 stealing
|7| !cpu 3 going idle...
|7| cpu 2 got work from cpu 0
|7| Starting pushWork on worker 2
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: setStatus,, lv 19 on worker 0
|7| !cpu 1 woken up
|5| wrkr0 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 0
|8| wrkr0 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 0
|7| cpu 1 got work from cpu 2
|8| wrkr0 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 0
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|7| Starting pushWork on worker 1
|7| !cpu 2 stealing
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|7| !cpu 3 woken up
|7| cpu 2 got work from cpu 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|7| Starting pushWork on worker 2
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|7| !cpu 3 going idle...
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|7| !cpu 3 woken up
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|9| wrkr0 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 0
|7| cpu 3 got work from cpu 2
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|7| !cpu 0 stealing
|7| !cpu 1 stealing
|7| Starting pushWork on worker 3
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|7| !cpu 0 going idle...
|7| !cpu 1 going idle...
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|7| !cpu 1 woken up
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|7| cpu 1 got work from cpu 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|7| Starting pushWork on worker 1
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| !cpu 3 stealing
|8| wrkr1 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 1
|7| !cpu 2 stealing
|7| cpu 3 got work from cpu 1
|8| wrkr1 [dbg-lvish] putLV: setStatus,, lv 19 on worker 1
|5| wrkr1 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 1
|7| Starting pushWork on worker 3
|8| wrkr1 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 1
|7| !cpu 2 going idle...
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr1 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|7| !cpu 2 woken up
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|9| wrkr1 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 1
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|7| cpu 2 got work from cpu 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|7| !cpu 1 stealing
|7| Starting pushWork on worker 2
|7| !cpu 1 going idle...
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| !cpu 3 stealing
|7| cpu 3 got work from cpu 2
|7| Starting pushWork on worker 3
|8| wrkr3 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: setStatus,, lv 19 on worker 3
|5| wrkr3 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 3
|7| !cpu 0 woken up
|8| wrkr3 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 3
|8| wrkr3 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 3
|9| wrkr3 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 3
|7| cpu 0 got work from cpu 3
|7| !cpu 3 stealing
|7| !cpu 3 going idle...
|2| wrkr0 waitRemovedSize: about to block.
|2| wrkr0 PureSet.waitSize: about to (potentially) block:
|7| wrkr0 [dbg-lvish] getLV: first readIORef , lv 19 on worker 0
|7| wrkr0 [dbg-lvish] getLV (active): check globalThresh, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] putLV: initial lvar status read, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: setStatus,, lv 19 on worker 2
|5| wrkr2 [dbg-lvish] putLV: about to mutate lvar, lv 19 on worker 2
|8| wrkr2 [dbg-lvish] putLV: read final status before unsetting, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] getLV 20: blocking on LVar, registering listeners...
|8| wrkr2 [dbg-lvish] putLV: UN-setStatus, lv 19 on worker 2
|9| wrkr2 [dbg-lvish] putLV: calling each listener's onUpdate, lv 19 on worker 2
|7| wrkr2 [dbg-lvish] getLV (active): callback: check thresh, lv 19 on worker 2
|8| wrkr0 [dbg-lvish] getLV (active): second frozen check, lv 19 on worker 0
|7| wrkr0 [dbg-lvish] getLV (active): second globalThresh check, lv 19 on worker 0
|7| wrkr0 [dbg-lvish] getLV (active): second globalThresh tripped, remove tok, lv 19 on worker 0
|8| wrkr2 [dbg-lvish] getLV 20 on worker 2: winner check? True
|8| wrkr0 [dbg-lvish] getLV 20 on worker 0: winner check? True
|7| Starting pushWork on worker 2
|2| wrkr0 waitRemovedSize: unblocked, returning.
|2| wrkr2 waitRemovedSize: unblocked, returning.
|5| wrkr0 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 0
|5| wrkr2 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 2
|7| !cpu 1 woken up
|7| !cpu 1 going idle...
|7| wrkr2 [dbg-lvish] getLV: first readIORef , lv 19 on worker 2
|7| wrkr2 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 19 on worker 2
|7| wrkr0 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 20 on worker 0
|5| wrkr2 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 2
|7| wrkr2 [dbg-lvish] freezeLV: begin busy-wait for putter status, lv 20 on worker 2
|7| !cpu 3 woken up
|7| wrkr2 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 20 on worker 2
|7| !cpu 3 going idle...
|7| wrkr2 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 20 on worker 2
|7| wrkr2 [dbg-lvish] getLV: first readIORef , lv 20 on worker 2
|7| wrkr2 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 2
|3| wrkr2 [dbg-lvish] Final continuation of main worker: reenter sched to cleanup.
|7| !cpu 2 stealing
|7| !cpu 2 going idle...
|7| wrkr0 [dbg-lvish] freezeLV: calling each listener's onFreeze, lv 20 on worker 0
|7| wrkr0 [dbg-lvish] freezeLV: finalizing status as Frozen, lv 20 on worker 0
|7| wrkr0 [dbg-lvish] getLV: first readIORef , lv 19 on worker 0
|7| wrkr0 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 19 on worker 0
|5| wrkr0 [dbg-lvish] freezeLV: atomic modify status to Freezing, lv 20 on worker 0
|7| wrkr0 [dbg-lvish] getLV: first readIORef , lv 20 on worker 0
|7| wrkr0 [dbg-lvish] getLV (frozen): about to check globalThresh, lv 20 on worker 0
|3| wrkr0 [dbg-lvish] Final continuation of main worker: reenter sched to cleanup.
|7| !cpu 0 stealing
|7| !cpu 0 initiating shutdown
|7| !cpu 2 shutting down
|3| wrkr2 [dbg-lvish] Main worker: past global barrier, putting answer.
|3| wrkr2 [dbg-lvish] Auxillary worker #2 exitting.
|3| wrkr0 [dbg-lvish] Main worker: past global barrier, putting answer.
|7| !cpu 3 shutting down
|4| [dbg-lvish] Waiting for one async..
|3| wrkr3 [dbg-lvish] Auxillary worker #3 exitting.
|7| !cpu 1 shutting down
|4| [dbg-lvish] Waiting for one async..
|4| [dbg-lvish] Waiting for one async..
|4| [dbg-lvish] Waiting for one async..
|1| wrkr0 [dbg-lvish] parent thread escaped unscathed. Optionally closing logger.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment