摘要: In the set agreement problem, n processes have to decide on at most n-1 of proposed values. This paper shows that anti-Omega failure detector is both sufficient and necessary solve in an asynchronous shared-memory system. Each query returns a single process id; specification ensures there correct whose id returned only finitely many times.