[GHC] #12071: PowerPC: RTS SMP functions lack memory barriers
GHC
ghc-devs at haskell.org
Mon May 16 08:58:41 UTC 2016
#12071: PowerPC: RTS SMP functions lack memory barriers
-------------------------------------+-------------------------------------
Reporter: trommler | Owner: trommler
Type: bug | Status: new
Priority: normal | Milestone: 8.0.2
Component: Runtime | Version: 8.0.1
System |
Keywords: PowerPC SMP | Operating System: Unknown/Multiple
Architecture: | Type of failure: Runtime crash
Unknown/Multiple |
Test Case: | Blocked By:
concurrent/prog001/concprog001 |
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
@hvr reported on POWER7 big endian (powerpc64) and on AIX (powerpc):
{{{
internal error: END_TSO_QUEUE object entered!
(GHC version 8.0.0.20160421 for powerpc64_unknown_linux)
}}}
Also `concprog001` segfaults, which I falsely attributed to #11259 (no
runtime linker support) when I marked the test broken on powerpc64.
I propose to use gcc and clang `_sync_*` built-ins that are already used
in `libraries/ghc-prim/cbits/atomic.c` instead of CPP ifdefs and inline
assembly.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12071>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list