转自知乎 Tcp是个状态鸡 Tcp是个双功通信的状态鸡 有了这两个前提,我们来枚举所有A鸡和B鸡组成的分布式系统关于信道的所有状态。 A鸡 A->B是通的还是不通。我们用AB表示,值域是y/n。 B->A是通的还是不通。我们用BA表示,值域也是y/n。 B鸡 A->B是通的还是不通。我们用AB表示,值域是y/n。 B->A是通的还是不通。我们用BA表示,值域也是y/n 很显然这是关于信道状态的穷举啦。没有异议吧。 初始状态 A鸡: AB = n, BA = n B鸡: AB = n, BA = n 事实上,通信领域所有的握手...