Thanks Makarius and David for your quick replies.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 have.Many thanks,Michael
Date: Wed, 10 Apr 2013 14:21:10 +0200 From: makarius@sketis.net To: michael.bradley@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 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 a standard futures library in the Poly/ML distribution is still open.
Tasks require a modest amount of memory and significant time to run, but there are 100,000s of them.
Isabelle/ML futures (or derivatives) should normally work within this range of 10^5, although the basic assumption is that future dependencies are relatively sparse.
Makarius