Ticket #980 (closed task: fixed)

Opened 7 years ago

Last modified 5 years ago

timeout

Reported by: simons Owned by:
Priority: normal Milestone: _|_
Component: libraries/base Version: 6.6
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: Difficulty: Unknown
Test Case: Blocked By:
Blocking: Related Tickets:

Description

forkChild is a variant of forkIO that spawns a concurrent "IO a" computation, and returns a "Child a" handle that can be used to obtain the "a" value once the computation has terminated.

parIO is a combinator that runs two "IO a" computations concurrently and returns the "a" value of the computation that terminates first.

timeout wraps an "IO a" computation to "IO (Maybe a)" and returns "Nothing" if the computation doesn't terminate within a specified time period.

Change History

Changed 6 years ago by simons

  • type changed from proposal to task
  • summary changed from forkChild, waitForChild, parIO, and timeout to timeout

There was no interest in parIO or any of the other primitives.

Over the course of the discussion, a very nice timeout implementation emerged in  http://www.haskell.org/pipermail/libraries/2006-November/006238.html, but no-one found the time to prepare it for submission to the libraries.

Changed 6 years ago by igloo

  • milestone set to _|_

Changed 6 years ago by simonmar

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

Now done.

Changed 5 years ago by simonmar

  • architecture changed from Unknown to Unknown/Multiple

Changed 5 years ago by simonmar

  • os changed from Unknown to Unknown/Multiple
Note: See TracTickets for help on using tickets.