Re: [Haskell-cafe] Concurrency question

At 9:45 PM +0400 9/4/05, Dmitry Vyal wrote: Donald Bruce Stewart wrote: Maybe your loop does no allocations, so the scheduler can't get in and do a context switch. You could put the computation in an external program, and run it over a fork, using unix signals in the external program to kill

Re: [Haskell-cafe] Concurrency question

akamaus: > Donald Bruce Stewart wrote: > > >Maybe your loop does no allocations, so the scheduler can't get in and do a > >context switch. You could put the computation in an external program, and > >run > >it over a fork, using unix signals in the external program to kill the > >computation aft

[Haskell-cafe] A better, fair, and terminating backtracking monad [Was: Concurrency question]

Dmitry Vyal wrote: > Currently I'm playing with theorem-proving using resolution. So I need > some technique to break a computation, if takes too long. When it comes to resolution proofs, perhaps a better approach is to use a better monad that natively offers termination guarantees. For example,

[Haskell-cafe] [beta] cabal-get: install haskell packages automatically

Beta testers wanted! Lemmih (mostly) has been working on a tool which will download and install Haskell packages and their dependencies. This tool should work for any cabal-compatible package. We're looking for beta testers to try out "cabal-get" (for downloading and installing) and "cabal-put"

Re: [Haskell-cafe] Concurrency question

Donald Bruce Stewart wrote: Maybe your loop does no allocations, so the scheduler can't get in and do a context switch. You could put the computation in an external program, and run it over a fork, using unix signals in the external program to kill the computation after a period of time. I t

Re: [Haskell-cafe] Concurrency question

akamaus: > Hi, everyone! > > I have a function, which sometimes takes a long time to compute or even > may loop forever. So I want to limit it in time somehow. > > I tried to run it in another thread in order to kill it after its time > lapsed. But it seems to lock out other threads so they can't

[Haskell-cafe] Concurrency question

Hi, everyone! I have a function, which sometimes takes a long time to compute or even may loop forever. So I want to limit it in time somehow. I tried to run it in another thread in order to kill it after its time lapsed. But it seems to lock out other threads so they can't terminate it. I wond