Re: [Haskell-cafe] Meaning of fizzled sparks?

On 3 Oct 2023, at 10:02 pm, David Banas wrote:

Hi all,

If this code:

f5Rslts = map (f5 (n-1) startingMinScore startingMaxScore (otherColor clr) 0) newBoards `using` parList rdeepseq totalMoves = sum $ map snd f5Rslts -- Attempt at parallelization yielded no perf. improvement.

is yielding a fizzled spark ratio of about 0.3, does it imply that the sum begins pulling from the list, before the sparks have had a chance to compute the first third of the list elements?

A fizzed spark is when the user code indicated that some thunk could be run in parallel, but it didn’t end up being run in parallel because by the time it was inspected it was already evaluated. Fizzed sparks are described in “Runtime Support for Multicore Haskell”, Marlow, Peyton Jones, Singh, ICFP 2009. It’s hard to tell what is happening without the code for ‘f5’, though probably 30% of results produced by ‘f5’ are already values (not thunks) so they cannot be evaluated in parallel by the ‘parList’ strategy. Ben.