Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Runtime System |Version: 6.6.1 Resolution: | Keywords: Testcase: | Blockedby: Difficulty: Unknown | Os: Windows Blocking: | Architecture: x86 Failure: None/Unknown| -+-- Changes (by simonmar): * status: merge = new -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness -+-- Reporter: guest | Owner: Type: bug | Status: closed Priority: normal | Milestone: _|_ Component: Runtime System |Version: 6.6.1 Resolution: fixed | Keywords: Testcase: | Blockedby: Difficulty: Unknown | Os: Windows Blocking: | Architecture: x86 Failure: None/Unknown| -+-- Changes (by simonmar): * status: new = closed * resolution: = fixed -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness ---+ Reporter: guest |Owner: Type: bug | Status: merge Priority: normal |Milestone: _|_ Component: Runtime System | Version: 6.6.1 Keywords: | Testcase: Blockedby: | Difficulty: Unknown Os: Windows | Blocking: Architecture: x86 | Failure: None/Unknown ---+ Changes (by simonmar): * status: new = merge Comment: This is probably the same issue as #3997, which I fixed in the IO library. The underlying problem is that when an asynchronous exception is caught and re-thrown, it is thrown synchronously. This only makes a difference inside `unsafePerformIO` and `unsafeInterleaveIO`, where there might be a resumable computation that will be updated with the exception. In order to fix this, the asynchronous exception has to be re-thrown asynchronously, which is possible (using `myThreadId` and `throwTo`), but then the exception handler has to be prepared to resume when the enclosing computation is demanded. In the case of the IO library we arranged that the IO operation is re-done, but in general what to do is application- specific. So I'm going to close this bug, I don't think there's anything else we can do. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness ---+ Reporter: guest |Owner: Type: bug | Status: merge Priority: normal |Milestone: _|_ Component: Runtime System | Version: 6.6.1 Keywords: | Testcase: Blockedby: | Difficulty: Unknown Os: Windows | Blocking: Architecture: x86 | Failure: None/Unknown ---+ Comment(by simonmar): See also #2558. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler ___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness
---+
Reporter: guest |Owner:
Type: bug | Status: new
Priority: normal |Milestone: _|_
Component: Runtime System | Version: 6.6.1
Keywords: | Testcase:
Blockedby: | Difficulty: Unknown
Os: Windows | Blocking:
Architecture: x86 | Failure: None/Unknown
---+
Changes (by michalt):
* cc: michal.terep...@… (added)
* failure: = None/Unknown
Comment:
I can't reproduce that with current HEAD (i.e. it never falls into the
start-run-catch-throw loop). Although the computation never actually
reaches the
complete state - here's the end of output from a run:
{{{
[snip]
# computing 274753
# computing 274754
# computing 274755
# computing 274756
# computing 274757
# computing 274758
*** throwing 9
# computing 274759
*** caught 9
^ Got 23025
^ Last 274758
}}}
Is that expected?
Btw. You need to change import to use `OldExecption` to get the program to
compile.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:9
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler
___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness +--- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Runtime System |Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: x86 Os: Windows | +--- Changes (by igloo): * owner: igloo = -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness
+---
Reporter: guest | Owner: igloo
Type: bug | Status: new
Priority: normal | Milestone: _|_
Component: Runtime System |Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Windows |
+---
Changes (by igloo):
* milestone: 6.8.3 = _|_
Comment:
OK, the good news is that it looks like the program is now segfault-free
on Linux and Windows, with this additional patch:
{{{
Fri May 23 04:25:08 BST 2008 Ian Lynagh [EMAIL PROTECTED]
* Do some stack fiddling in stg_unblockAsyncExceptionszh_ret
This fixes a segfault in #1657
}}}
The bad news is that Simon Marlow says that the behaviour (that a single
throwTo causes the computation not to be resumable) is expected given the
way exceptions are currently implemented.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:7
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness +--- Reporter: guest | Owner: igloo Type: bug | Status: new Priority: normal | Milestone: 6.8.3 Component: Runtime System |Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: x86 Os: Windows | +--- Comment (by igloo): Looks like this still isn't completely fixed. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness
+---
Reporter: guest | Owner: igloo
Type: bug | Status: new
Priority: normal | Milestone: 6.8.3
Component: Runtime System |Version: 6.6.1
Severity: normal | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: x86
Os: Windows |
+---
Comment (by igloo):
This should have been fixed by:
{{{
Wed May 14 19:18:10 PDT 2008 Ian Lynagh [EMAIL PROTECTED]
* Tag the pointer in the FUN_STATIC case of evacuate
Fixes trac #1657. 6.8 branch only as Simon Marlow says he will fix it
differently in the HEAD as part of his GC changes.
}}}
but I want to confirm that it really works on Windows. Then this bug needs
to be moved to the 6.10 branch, just to make sure we don't forget about
it.
--
Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:5
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler___
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness +--- Reporter: guest | Owner: igloo Type: bug | Status: new Priority: normal | Milestone: 6.8.3 Component: Runtime System |Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: x86 Os: Windows | +--- Changes (by igloo): * owner: = igloo -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness +--- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8.3 Component: Runtime System |Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: x86 Os: Windows | +--- Changes (by igloo): * milestone: 6.8 branch = 6.8.3 -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness +--- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: 6.8 branch Component: Runtime System |Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Testcase: | Architecture: x86 Os: Windows | +--- Changes (by igloo): * milestone: = 6.8 branch Comment: Thanks for the report! -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
Re: [GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness ---+ Reporter: guest |Owner: Type: bug | Status: new Priority: normal |Milestone: Component: Runtime System | Version: 6.6.1 Severity: normal | Resolution: Keywords: | Difficulty: Unknown Os: Windows | Testcase: Architecture: x86 | ---+ Changes (by guest): * cc: = [EMAIL PROTECTED] Comment: I just realized I didn't really describe what the bug actually is :) If the throwTo happens while the system in in a particular state (it seems to happen most often while the evaluation is printing something), then the exception gets embedded into the computation in progress and re- sent every time that computation is resumed, so a single throwTo causes the computation not to be resumable. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
[GHC] #1657: throwTo + unsafeInterleaveIO oddness
#1657: throwTo + unsafeInterleaveIO oddness -+-- Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System |Version: 6.6.1 Severity: normal | Keywords: Difficulty: Unknown | Os: Windows Testcase: | Architecture: x86 -+-- I suspect this is related/dup of #418 but it's biting me with something I've been doing, so here's another test case. I have a long-running computation which returns a list which I then consume. I'm working on a visualizer app, where I want to update the visualizer in real-time while running the computation. I wrote some glue which takes the list and computes it in a background thread, returning a piece every X microseconds. Code will be attached. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1657 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler___ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
