- ghc-tickets - Haskell.org

Re: [GHC] #7970: Thread GC frees roots before thread actually finishes
by GHC 20 Jul '13

20 Jul '13

#7970: Thread GC frees roots before thread actually finishes -------------------------------------+------------------------------------ Reporter: joeyadams | Owner: simonmar Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: 7170 -------------------------------------+------------------------------------ Comment (by ezyang): Hey Simon, you added a test for this, but (1) it is not being run with the regular test suite, and (2) it is failing. I think you may have forgotten to check in the expected output. {{{ commit 5bcf82fd981c9bfc0277d35a0d5d2db8d2f7d073 Author: Simon Marlow <marlowsd(a)gmail.com> Date: Tue Jul 2 11:27:20 2013 +0100 Add test for #7970 }}} There is also a mysterious ./tests/concurrent/should_run/.hpc.conc067 which tagged along with that commit, which I do not know if it should be there; it seems unrelated. {{{ =====> T7970(normal) 3084 of 3686 [0, 0, 0] cd ./concurrent/should_run && '/srv/code/ghc-build-sandbox/inplace/bin /ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no- user-package-db -rtsopts -fno-ghci-history -o T7970 T7970.hs >T7970.comp.stderr 2>&1 cd ./concurrent/should_run && ./T7970 </dev/null >T7970.run.stdout 2>T7970.run.stderr Actual stdout output differs from expected: --- /dev/null 2013-07-07 10:51:38.467280914 -0700 +++ ./concurrent/should_run/T7970.run.stdout 2013-07-20 15:22:26.355123844 -0700 @@ -0,0 +1,4 @@ +IORef still alive, and contains 'x' +caught exception: thread blocked indefinitely in an MVar operation +IORef still alive, and contains 'x' +'x' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7970#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7399: Test Posix004 fails in test-suite
by GHC 20 Jul '13

20 Jul '13

#7399: Test Posix004 fails in test-suite ------------------------------------------------+-------------------------- Reporter: paulh | Owner: ezyang Type: bug | Status: merge Priority: normal | Milestone: 7.8.1 Component: libraries/unix | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by ezyang): * status: new => merge Comment: {{{ commit 5692f5b8ed9e36ea7da4376fc7169354c55007bd Author: Edward Z. Yang <ezyang(a)mit.edu> Date: Sat Jul 20 14:15:15 2013 -0700 Fix #7399. Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7399#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3658: Dynamically link GHCi (and use system linker) on platforms that support it
by GHC 20 Jul '13

20 Jul '13

#3658: Dynamically link GHCi (and use system linker) on platforms that support it -------------------------------------------------+------------------------- Reporter: simonmar | Owner: igloo Type: task | Status: new Priority: high | Milestone: 7.8.1 Component: GHCi | Version: Resolution: | 6.10.4 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: | Unknown/Multiple Blocking: 781, 1883, 2283, 3242, 3333, | Difficulty: 3372, 3654, 4244, 5062, 5197, 5435, 6107, | Unknown 7043, 7056, 7072, 7097, 7103, 7134, 7316, | Blocked By: 5987 7329, 7389, 7475, 7687, 7889 | Related Tickets: -------------------------------------------------+------------------------- Comment (by igloo): Current plan/status is in DynamicGhcPrograms. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3658#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7399: Test Posix004 fails in test-suite
by GHC 20 Jul '13

20 Jul '13

#7399: Test Posix004 fails in test-suite ------------------------------------------------+-------------------------- Reporter: paulh | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/unix | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by ezyang): I've boiled it down to a minimal C test case, it looks like the behavior of processes which receive SIGFPE is acting funny. http://stackoverflow.com/questions/17766149/program-with-sigfpe-exception- behaves-differently-under-gdb -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7399#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7399: Test Posix004 fails in test-suite
by GHC 20 Jul '13

20 Jul '13

#7399: Test Posix004 fails in test-suite ------------------------------------------------+-------------------------- Reporter: paulh | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/unix | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by ezyang): * owner: => ezyang Comment: I can reproduce on Raring Ringtail, and am investigating. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7399#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7978: Profiling broken
by GHC 20 Jul '13

20 Jul '13

#7978: Profiling broken --------------------------------------------+------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work at all | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by ezyang): * difficulty: => Unknown Comment: On latest head, it seems a profiled GHC still segfaults on stg_sel_1_noupd_info. How long until the full fix? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
by GHC 20 Jul '13

20 Jul '13

#7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives? -------------------------------------+------------------------------------ Reporter: carter | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): nope, the idea is to provide CMM / Haskell level prim ops. Normal primops. (see my reply on list :) ). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7883#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
by GHC 20 Jul '13

20 Jul '13

#7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives? -------------------------------------+------------------------------------ Reporter: carter | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by rrnewton): Sorry, I was just referring to the proposal to "substitute the cas funcall with the right llvm operation" as rewriting. That is, the approach would pattern match for the CMM code "ccall cas" or "foreign "C" cas" (I'm afraid I don't know the difference between those) and replace it with the equivalent LLVM op, right? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7883#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
by GHC 20 Jul '13

20 Jul '13

#7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives? -------------------------------------+------------------------------------ Reporter: carter | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): hrm, I guess you mean the making the CAS ops inline native primops as "rewriting"? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7883#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives?
by GHC 20 Jul '13

20 Jul '13

#7883: enable GHC LLVM backend to use LLVM provided CAS / Atomicity primitives? -------------------------------------+------------------------------------ Reporter: carter | Owner: carter Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by carter): Ryan, could you explain what you mean by "rewriting trick"? I have no idea what you mean. Ryan, could you please explain what primops you want using the terminology / vocabulary in http://llvm.org/docs/LangRef.html#ordering and http://llvm.org/docs/Atomics.html ? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7883#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0