Ticket #3926 (closed bug: duplicate)

Opened 2 years ago

Last modified 23 months ago

STM-based program not terminating

Reported by: mlesniak Owned by:
Priority: normal Milestone:
Component: Runtime System Version: 6.13
Keywords: STM Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: None/Unknown Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

The attached program does sometimes not halt, even after the final statement of the main-function is executed. A similar bug has been discussed on the ghc-haskell-users mailing list[1]. The mentioned workaround does not seem to work here.

Tested with the latest GHC HEAD built 6.13.20100316

Documentation for compiling the code is in the source file.

Cheers,

Michael

[1]  http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018565.html

Attachments

Pi.hs Download (7.8 KB) - added by mlesniak 2 years ago.
Example code that shows (sometimes) the non-termination

Change History

Changed 2 years ago by mlesniak

Example code that shows (sometimes) the non-termination

Changed 23 months ago by simonmar

  • status changed from new to closed
  • resolution set to duplicate

I'm sure the cause of this one is #2401, so closing as duplicate.

The workaround to not use unsafeIOToSTM, or at least to not call into the IO library from inside an STM transaction.

Note: See TracTickets for help on using tickets.