On 12 April 2013 15:01, Makarius makar...@sketis.net wrote:
On Wed, 10 Apr 2013, Michael Bradley wrote:
I am using PolyML 5.5 and I am using the Futures library in IsapLib:
https://github.com/iislucas/**isaplibhttps://github.com/iislucas/isaplib.
All of the tasks are independent. I haven't
On Wed, 10 Apr 2013, Michael Bradley wrote:
I am using PolyML 5.5 and I am using the Futures library in IsapLib:
https://github.com/iislucas/isaplib. All of the tasks are independent. I
haven't had the chance to look properly into the debugging yet
(revising!), but I'll let you know once I
On Mon, 8 Apr 2013, Michael Bradley wrote:
I am experiencing inefficiency while using the Futures library within
PolyML.
Can you point to the actual Futures library that is used here? I only
know the one I made for Isabelle/ML, but I think there are spin-offs.
The question how to include
have.Many
thanks,Michael
Date: Wed, 10 Apr 2013 14:21:10 +0200
From: makar...@sketis.net
To: michael.brad...@hotmail.co.uk
CC: polyml@inf.ed.ac.uk
Subject: Re: [polyml] Memory Management across multiple threads using Futures
Library
On Mon, 8 Apr 2013, Michael Bradley wrote:
I am
Dear all,
I am experiencing inefficiency while using the Futures library within PolyML.
Parallel threads are being forced to 'sleep' for several seconds at a time for
no clear reason, and I suspect it may be due to memory management between
multiple threads.
The test machine has 80GB RAM and