Hi Haskell-Cafe,
I'm using Haskell to run a lot of instances of an Automated Thorem Prover,
eprover. I have pasted a smaller version of my program at
http://hpaste.org/54954. It runs eprover sequentially on all input files,
with a timeout of 100ms. Unfortunately, it leaves a lot of zombie
Quick suggestion: did you try using waitForProcess just after terminateProcess?
Cheers,
--
Felipe.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On Wed, Dec 7, 2011 at 06:47, Dan Rosén d...@student.gu.se wrote:
I'm using Haskell to run a lot of instances of an Automated Thorem Prover,
eprover. I have pasted a smaller version of my program at
http://hpaste.org/54954. It runs eprover sequentially on all input files,
with a timeout of
On Wed, Dec 7, 2011 at 1:19 PM, Brandon Allbery allber...@gmail.com wrote:
They *do* terminate; a zombie is a dead process waiting for its parent to
reap it with waitForProcess. There's also some POSIX stuff you can do to
have them auto-reaped, but doing that correctly and portably is somewhat
On Wed, Dec 7, 2011 at 10:27, Felipe Almeida Lessa
felipe.le...@gmail.comwrote:
On Wed, Dec 7, 2011 at 1:19 PM, Brandon Allbery allber...@gmail.com
wrote:
They *do* terminate; a zombie is a dead process waiting for its parent to
reap it with waitForProcess. There's also some POSIX stuff
Quoth Felipe Almeida Lessa felipe.le...@gmail.com,
On Wed, Dec 7, 2011 at 1:19 PM, Brandon Allbery allber...@gmail.com wrote:
They *do* terminate; a zombie is a dead process waiting for its parent to
reap it with waitForProcess. There's also some POSIX stuff you can do to
have them
Thank you very much for your answers.
Felipe's suggestion to use waitForProcess after terminateProcess did the
trick. No more zombies around :)
Best regards,
Dan Rosén
On Wed, Dec 7, 2011 at 4:39 PM, Donn Cave d...@avvanta.com wrote:
Quoth Felipe Almeida Lessa felipe.le...@gmail.com,
On
On Wed, Dec 7, 2011 at 7:19 AM, Brandon Allbery allber...@gmail.com wrote:
On Wed, Dec 7, 2011 at 06:47, Dan Rosén d...@student.gu.se wrote:
I'm using Haskell to run a lot of instances of an Automated Thorem Prover,
eprover. I have pasted a smaller version of my program at
On Wed, Dec 7, 2011 at 20:35, Jason Dagit dag...@gmail.com wrote:
They *do* terminate; a zombie is a dead process waiting for its parent to
reap it with waitForProcess. There's also some POSIX stuff you can do to
have them auto-reaped, but doing that correctly and portably is somewhat