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: 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 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
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
