自从90年代以来,组成员资格问题(简称GMS)就是容错分布式系统中被研究最多的问题之一。它的目的是向系统中的进程提供一种组成员资格信息,而所提供的信息不但在各个进程间必须保持相当的一致,而且必须真实反映系统中可用进程集的情况。可用进程集指的是当前可用的进程的集合,它的变化主要由进程的故障、恢复、加入和退出以及通信故障所造成。GMS一开始从复制服务中引出,随后被认为是构成容错分布式系统中的很多服务的基础模块之一。然而事实证明,如果考虑到异步模型、进程和通信的故障、网络分割以及进程的加入和退出,GMS既很难明确定义又很难被实现。本文通过总结超过30篇有关GMS的文献,对各个时期提出的各种不同的GMS作了明确的分类,侧重于GMS和成员发现问题(简称MDS)之间的关系。在分类的同时,本文还列举了GMS须满足的一些属性,以便探索这一问题的本质,从而以帮助人们更好地设计和使用GMS。此外,本文还讨论了GMS的几个容易使人陷入误区的难点。据我所知,本文是第一篇同时从以下三个角度研究GMS的文献,这三个角度包括GMS所包含的子问题、异步模型中GMS的可解性以及GMS的重合性。