August 2014 - ghc-tickets

[GHC] #9519: Add a way to mask thread preemption via fired timer for a computation
by GHC 03 Sep '14

03 Sep '14

#9519: Add a way to mask thread preemption via fired timer for a computation -------------------------------------+------------------------------------- Reporter: abbradar | Owner: simonmar Type: feature request | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- This follows haskell-cafe discussion [http://www.haskell.org/pipermail /haskell-cafe/2014-August/115656.html]. In brief: some C libraries (for example, SDL) use thread-local variables for error state of the last call. Without some way to temporarily mask timer-based lightweight thread preemption on one OS thread, there is no safe way to use such libraries and retrieve errors aside from using a global MVar (which will block all calls, not just ones on the same OS thread). For "errno" variable from C standard library, this is handled explicitly in RTS by saving its state for each lightweight thread. So the proposal is: add new prims (something in lines of "maskPreemption#", "unmaskPreemption#" and "getPreemptionState#") which will make a computation not preemptable via fired timer and temporarily attached to one OS thread, and corresponding functions in Control.Concurrent. They should be able to be used together with "Control.Exception.mask" to also block async exceptions, if this is needed. (I'm sorry if I've misunderstood something or did something the wrong way; I don't know the internal workings of RTS and this is my first GHC bug report). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9519> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8052: make ghci look for the files made by -dynamic-too
by GHC 03 Sep '14

03 Sep '14

#8052: make ghci look for the files made by -dynamic-too -----------------------------------+--------------------------------- Reporter: nfrisby | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.7 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------------+--------------------------------- If I compile with `-dynamic-too`, ghci still re-interprets the source code instead of finding the `Test.dyn_o` file. {{{ $ inplace/bin/ghc-stage2 -O1 -dynamic-too -c Test.hs $ inplace/bin/ghc-stage2 --interactive Test GHCi, version 7.7.20130710: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Test ( Test.hs, interpreted ) Ok, modules loaded: Test. *Test> }}} I'm guessing that ghci sees the `.o` file isn't suitable for dynamic loading and then falls-back to the interpreter without first checking for the `.dyn_o` file. ghci loads `Test.o` as expected if I instead compile with `-dynamic`. I'm on OS X 64-bit, if that might matter. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8052> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9531: Implement Prelude.Word Proposal
by GHC 02 Sep '14

02 Sep '14

#9531: Implement Prelude.Word Proposal -------------------------------------+------------------------------------- Reporter: hvr | Owner: hvr Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: Keywords: Prelude | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: hour) | None/Unknown Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- ''(this text is a placeholder and will be replaced shortly)'' -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9531> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9512: T9329 fails test on unregisterised i386
by GHC 02 Sep '14

02 Sep '14

#9512: T9329 fails test on unregisterised i386 ----------------------------+------------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: T9329 Blocked By: | Blocking: Related Tickets: | Differential Revisions: ----------------------------+------------------------------------------- ghc-HEAD '''./configure --enable-unregistersied''' on i386-linux fails as: {{{ =====> T9329(normal) 118 of 4091 [0, 0, 0] cd ./codeGen/should_compile && '/root/ghc/inplace/bin/ghc-stage2' -fforce- recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -optc-fno-builtin -fno-ghci-history -c T9329.cmm -no-hs-main >T9329.comp.stderr 2>&1 Compile failed (status 256) errors were: /tmp/ghc23160_0/ghc23160_2.hc: In function ‘foo’: /tmp/ghc23160_0/ghc23160_2.hc:10:12: error: ‘c0_info’ undeclared (first use in this function) *Sp = (W_)&c0_info; ^ /tmp/ghc23160_0/ghc23160_2.hc:10:12: note: each undeclared identifier is reported only once for each function it appears in }}} The generated C code is: {{{ /* GHC_PACKAGES */ #include "Stg.h" FN_(foo) { FB_ _c0: if ((W_)(((W_)Sp-4) < (W_)SpLim)) goto _c2; else goto _c3; _c2: *Sp = (W_)&c0_info; JMP_((W_)&stg_gc_noregs); _c3: R1.w = 0x0; JMP_(*((P_)(*Sp))); FE_ } }}} while on UNREG x86_64 test does not fail and generates the following C: {{{ /* GHC_PACKAGES */ #include "Stg.h" FN_(foo) { FB_ _c0: goto _c3; _c3: R1.w = 0x0; JMP_(*((P_)(*Sp))); FE_ } }}} Looks like there is no stack check at all. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9512> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8886: sync-all: END actions result in confusing error message
by GHC 01 Sep '14

01 Sep '14

#8886: sync-all: END actions result in confusing error message -------------------------------------+------------------------------------- Reporter: fw | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Building GHC Difficulty: Easy (less than 1 | failed hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The instructions at [wiki:Newcomers] were slightly outdated, and result in a rather confusing error message: {{{ $ ./sync-all --testsuite get Unrecognised flag: --testsuite at ./sync-all line 872. == Checking for old haddock repo == Checking for old binary repo == Checking for old mtl repo == Checking for old Cabal repo == Checking for old time from tarball ============================ ATTENTION! You have an old time package in your GHC tree! Please remove it (e.g. "rm -r libraries/time"), and then run "./sync-all get" to get the new repository. ============================ == Checking for obsolete Git repo URL $ }}} The patch suppresses the misleading error message. I've already removed the `--testsuite` flag from the wiki page. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8886> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #9212: Cleanup of sync-all
by GHC 01 Sep '14

01 Sep '14

#9212: Cleanup of sync-all ------------------------------------+------------------------------------- Reporter: thomie | Owner: hvr Type: bug | Status: new Priority: normal | Milestone: Component: Trac & Git | Version: Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Some dead code removal and small bug fixes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9212> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #9532: Expose new CLZ/CTZ primops via `Data.Bits` interface
by GHC 01 Sep '14

01 Sep '14

#9532: Expose new CLZ/CTZ primops via `Data.Bits` interface -------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: task | Status: new Priority: normal | Milestone: 7.10.1 Component: libraries/base | Version: Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #9340 | Test Case: | Blocking: | Differential Revisions: Phab:D158 -------------------------------------+------------------------------------- GHC now provides optimized CLZ/CTZ primops (see #9340), this ticket is about exposing those in a more convenient way. This was proposed as http://www.haskell.org/pipermail/libraries/2014-August/023567.html and passed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9532> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #9465: configure: sed: illegal option -- r
by GHC 29 Aug '14

29 Aug '14

#9465: configure: sed: illegal option -- r -------------------------------------+------------------------------------- Reporter: jrp | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.8.3 Keywords: sed | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: Building hour) | GHC failed Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- configure fails (but does not stop) as follows: {{{ : checking version of ghc... 7.8.3 checking whether bootstrap compiler is affected by bug 9439... yes checking build system type... x86_64-apple-darwin14.0.0 checking host system type... x86_64-apple-darwin14.0.0 checking target system type... x86_64-apple-darwin14.0.0 Build platform inferred as: x86_64-apple-darwin Host platform inferred as: x86_64-apple-darwin Target platform inferred as: x86_64-apple-darwin GHC build : x86_64-apple-darwin GHC host : x86_64-apple-darwin GHC target : x86_64-apple-darwin configure: Building in-tree ghc-pwd sed: illegal option -- r usage: sed script [-Ealn] [-i extension] [file ...] sed [-Ealn] [-i extension] [-e script] ... [-f script_file] ... [file ...] }}} The gnu sed manual page says -r --regexp-extended Use extended regular expressions rather than basic regular expressions. Extended regexps are those that egrep accepts; they can be clearer because they usually have less backslashes, but are a GNU extension and hence scripts that use them are not portable. See Extended regular expressions. So the fix is, presumably to add \ before () in the configure script at {{{ sed -r 's/(^| )([^ ])/\1-optl\2/g' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9465> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #6056: INLINABLE pragma prevents worker-wrapper to happen.
by GHC 29 Aug '14

29 Aug '14

#6056: INLINABLE pragma prevents worker-wrapper to happen. -------------------------------------+------------------------------------- Reporter: milan | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | simplCore/should_compile/T6056 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * status: new => closed * testcase: => simplCore/should_compile/T6056 * resolution: => fixed Comment: I think I have finally nailed this. Yell if it doesn't work for you. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6056#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6056: INLINABLE pragma prevents worker-wrapper to happen.
by GHC 29 Aug '14

29 Aug '14

#6056: INLINABLE pragma prevents worker-wrapper to happen. --------------------------------------------+------------------------------ Reporter: milan | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime performance bug | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"e5f766c392c8c1cb329e1409102b5655c3c253c9/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="e5f766c392c8c1cb329e1409102b5655c3c253c9" Give the worker for an INLINABLE function a suitably-phased Activation See Note [Activation for INLINABLE worker]. This was preventing Trac #6056 from working. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6056#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0