November 2013
Intermediate to advanced
336 pages
9h 56m
English
Recall from Chapter 5, Section 5.6.2 that (colorless) loop agreement is a family of tasks for which the existence of a wait-free read-write protocol is undecidable. Here we give a complete classification of loop agreement tasks. Each loop agreement task can be assigned an algebraic signature consisting of a group
and a distinguished element
in
. Remarkably, this signature completely characterizes ...
Read now
Unlock full access