Update 2020-05-22: A new section on forward progress has been added, and the discussion of synchronized shuffles has been improved.
Update 2020-05-22: A new section on forward progress has been added, and the discussion of synchronized shuffles has been improved.