Parallel Worklist

Stream: Is there code for X?

[Thomas Vigouroux]

Hey there, is there an implementation of a parallel worklist somewhere?

Ideally it would be "certified" based on reasonable assumptions (like fairness of a scheduler and so on).

I tried searching but found nothing!