#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by luisgabriel): * Attachment "forkIO-N8-ghc8.png" added. ThreadScope view using forkIO -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonmar): The .zip file doesn't download for me (I get an error from dropbox), could you try putting it up somewhere else? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430 Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonmar): * differential: => Phab:D2430 Comment: I found one bug, see Phab:D2430. However, even after the patch the threadscope profiles don't look identical. I don't think there is an actual problem, just that the program itself isn't very parallel - if you zoom in, there's lots of time in each thread where no work is being done. The difference in scheduling is due to the way that `forkOS` has to hand- shake with the new thread to get its `ThreadId`. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

I found one bug, see Phab:D2430. However, even after the patch the

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430 Wiki Page: | -------------------------------------+------------------------------------- Comment (by luisgabriel): Replying to [comment:3 simonmar]: threadscope profiles don't look identical. I don't think there is an actual problem, just that the program itself isn't very parallel - if you zoom in, there's lots of time in each thread where no work is being done. The difference in scheduling is due to the way that `forkOS` has to hand- shake with the new thread to get its `ThreadId`. Indeed. This example is not very good. I did not expect the profiles to look identical, but it seemed a bit odd to me having a large number of capabilities in idle. Nevertheless, I'm happy to see you identified a bug in the scheduler. Thank you very much for the quick fix! Feel free to close this ticket when the patch lands. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430 Wiki Page: | -------------------------------------+------------------------------------- Changes (by simonmar): * status: new => merge Comment: This also depends on https://phabricator.haskell.org/rGHC55f5aed756cd5d464942dddcb33e0bd19b05f2a4 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430, Wiki Page: | Phab:2441 -------------------------------------+------------------------------------- Changes (by simonmar): * differential: Phab:D2430,Phab:2441 => Phab:D2430, Phab:2441 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430, Wiki Page: | Phab:D2441 -------------------------------------+------------------------------------- Comment (by Simon Marlow ): In [changeset:"89fa4e968f47cfb42d0dc33fc3bfffdce31d850e/ghc" 89fa4e9/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="89fa4e968f47cfb42d0dc33fc3bfffdce31d850e" Another try to get thread migration right Summary: This is surprisingly tricky. There were linked list bugs in the previous version (D2430) that showed up as a test failure in setnumcapabilities001 (that's a great stress test!). This new version uses a different strategy that doesn't suffer from the problem that @ezyang pointed out in D2430. We now pre-calculate how many threads to keep for this capability, and then migrate any surplus threads off the front of the queue, taking care to account for threads that can't be migrated. Test Plan: 1. setnumcapabilities001 stress test with sanity checking (+RTS -DS) turned on: ``` cd testsuite/tests/concurrent/should_run make TEST=setnumcapabilities001 WAY=threaded1 EXTRA_HC_OPTS=-with- rtsopts=-DS CLEANUP=0 while true; do ./setnumcapabilities001.run/setnumcapabilities001 4 9 2000 || break; done ``` 2. The test case from #12419 Reviewers: niteria, ezyang, rwbarton, austin, bgamari, erikd Subscribers: thomie, ezyang Differential Revision: https://phabricator.haskell.org/D2441 GHC Trac Issues: #12419 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: merge Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430, Wiki Page: | Phab:D2441 -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"9f1b6de8b3f788730fa5e2206fb709400299be7c/ghc" 9f1b6de8/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="9f1b6de8b3f788730fa5e2206fb709400299be7c" Fix to thread migration Summary: If we had 2 threads on the run queue, say [A,B], and B is bound to the current Task, then we would fail to migrate any threads. This fixes it so that we would migrate A in that case. This will help parallelism a bit in programs that have lots of bound threads. Test Plan: Test program in #12419, which is actually not a great program but it does behave a bit better after this change. Reviewers: ezyang, niteria, bgamari, austin, erikd Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D2430 GHC Trac Issues: #12419 (cherry picked from commit 988ad8ba8e709eff3cea59728e481bb269fa6185) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#12419: Scheduling bug with forkOS + MVar -------------------------------------+------------------------------------- Reporter: luisgabriel | Owner: Type: bug | Status: closed Priority: normal | Milestone: 8.0.2 Component: Runtime System | Version: 8.0.1 Resolution: fixed | Keywords: forkOS; | scheduler Operating System: Linux | Architecture: x86_64 | (amd64) Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2430, Wiki Page: | Phab:D2441 -------------------------------------+------------------------------------- Changes (by bgamari): * status: merge => closed * resolution: => fixed -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12419#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler