10 Apr
2013
10 Apr
'13
2:21 p.m.
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