June 2015 - ghc-tickets

Re: [GHC] #7170: Foreign.Concurrent finalizer called twice in some cases
by GHC 01 Jun '15

01 Jun '15

#7170: Foreign.Concurrent finalizer called twice in some cases -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: niteria Type: bug | Status: closed Priority: high | Milestone: 7.6.1 Component: Core Libraries | Version: 7.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | ffi/should_run/7170 | Blocking: | Differential Revisions: D921 -------------------------------------+------------------------------------- Changes (by niteria): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7170#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10471: Confusing parse error when forgetting "deriving"
by GHC 01 Jun '15

01 Jun '15

#10471: Confusing parse error when forgetting "deriving" -------------------------------------+------------------------------------- Reporter: | Owner: AlexanderThiemann | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect Architecture: | warning at compile-time Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- This code: {{{ module Main where data Foo = Foo { f_x :: Int , f_y :: Int } (Eq, Show) }}} Produces this error message: {{{ foo.hs:5:7: Not in scope: `f_x' foo.hs:6:7: Not in scope: `f_y' }}} I'm not sure how easy it is to improve the error message; but a "Not in scope" seems very confusing to me... -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10471> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 01 Jun '15

01 Jun '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: T7672 valid program | Blocking: 10336 Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by simonpj): Edward: I have a fix for this in-flight. Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7170: Foreign.Concurrent finalizer called twice in some cases
by GHC 01 Jun '15

01 Jun '15

#7170: Foreign.Concurrent finalizer called twice in some cases -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.6.1 Component: Core Libraries | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | ffi/should_run/7170 | Blocking: | Differential Revisions: D921 -------------------------------------+------------------------------------- Comment (by Simon Marlow <marlowsd@…>): In [changeset:"dfdc50d666498c5a1118557d67209fe067c61cc1/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="dfdc50d666498c5a1118557d67209fe067c61cc1" Don't call DEAD_WEAK finalizer again on shutdown (#7170) Summary: There's a race condition like this: # A foreign pointer gets promoted to the last generation # It has its finalizer called manually # We start shutting down the runtime in `hs_exit_` from the main thread # A minor GC starts running (`scheduleDoGC`) on one of the threads # The minor GC notices that we're in `SCHED_INTERRUPTING` state and advances to `SCHED_SHUTTING_DOWN` # The main thread tries to do major GC (with `scheduleDoGC`), but it exits early because we're in `SCHED_SHUTTING_DOWN` state # We end up with a `DEAD_WEAK` left on the list of weak pointers of the last generation, because it relied on major GC removing it from that list This change: * Ignores DEAD_WEAK finalizers when shutting down * Makes the major GC on shutdown more likely * Fixes a bogus assert Test Plan: before this diff https://ghc.haskell.org/trac/ghc/ticket/7170#comment:5 reproduced and after it doesn't Reviewers: ezyang, austin, simonmar Reviewed By: simonmar Subscribers: bgamari, thomie Differential Revision: https://phabricator.haskell.org/D921 GHC Trac Issues: #7170 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7170#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7170: Foreign.Concurrent finalizer called twice in some cases
by GHC 01 Jun '15

01 Jun '15

#7170: Foreign.Concurrent finalizer called twice in some cases -------------------------------------+------------------------------------- Reporter: joeyadams | Owner: niteria Type: bug | Status: patch Priority: high | Milestone: 7.6.1 Component: Core Libraries | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime crash | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | ffi/should_run/7170 | Blocking: | Differential Revisions: D921 -------------------------------------+------------------------------------- Changes (by niteria): * status: new => patch * differential: => D921 Comment: This turned out to be a race condition that happened when a finalizer of a last generation was called manually and no major gc before shutdown. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7170#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10470: Allocating StablePtrs leads to GC slowdown even after they're freed
by GHC 01 Jun '15

01 Jun '15

#10470: Allocating StablePtrs leads to GC slowdown even after they're freed -------------------------------------+------------------------------------- Reporter: bitonic | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.10.1 System | Operating System: Unknown/Multiple Keywords: | Type of failure: Runtime Architecture: | performance bug Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- If we allocate and then free a lot of StablePtrs the GC performance will be degrated for the rest of the execution. I have attached a program that performs a GC-heavy task (foldr'ing a long list of Ints) before and after allocating and then freeing a million StablePtrs. After the StablePtrs are freed the task takes more than twice as long. The reason for this is that {{stable_ptr_table}} in {{Stable.c}} is never resized, and is looped over for every GC pause. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10470> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 01 Jun '15

01 Jun '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: T7672 valid program | Blocking: 10336 Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Changes (by ezyang): * testcase: => T7672 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module
by GHC 01 Jun '15

01 Jun '15

#7672: boot file entities are sometimes invisible and are not (semantically) unified with corresponding entities in implementing module -------------------------------------+------------------------------------- Reporter: skilpat | Owner: ezyang Type: bug | Status: new Priority: normal | Milestone: 7.12.1 Component: Compiler (Type | Version: 7.4.2 checker) | Keywords: backpack Resolution: | Architecture: x86_64 Operating System: Linux | (amd64) Type of failure: GHC rejects | Test Case: valid program | Blocking: 10336 Blocked By: | Differential Revisions: Related Tickets: | -------------------------------------+------------------------------------- Comment (by Edward Z. Yang <ezyang@…>): In [changeset:"a27fb46ff1ea46a45e0084c3db92a24475e3bab5/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="a27fb46ff1ea46a45e0084c3db92a24475e3bab5" Add (failing) test case for #7672. Signed-off-by: Edward Z. Yang <ezyang(a)cs.stanford.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7672#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 01 Jun '15

01 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: patch Priority: high | Milestone: 7.10.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thoughtpolice): To be clear: I'm marking this as patch to make sure Phab:D910 is not lost and properly merged to 7.10. (It'll be remilestoned afterwords). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:88> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 01 Jun '15

01 Jun '15

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: patch Priority: high | Milestone: 7.10.2 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Other | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: new => patch * milestone: 7.12.1 => 7.10.2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:87> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0