plfa.github.io
plfa.github.io copied to clipboard
motivate and explain parallel reduction, plus wordsmithing
This PR holds a small addition to the Confluence chapter. It explains a bit more what can go wrong with the diamond property and how that scenario motivates the definition of parallel reduction.
Jeremy is the primary author of Confluence, so he should review.
@jsiek self-assigned this a year ago, and... forgot?