PBFT的活性（liveness）是什么？如何保证活性？

什么是活性？

活性（liveness）即客户端对于自己发送的请求最终都能收到回复。这意味着协议最终都能推进下去，不会一直卡住。

如何保证活性？

PBFT需要假设弱同步网络来保证活性。下面解释什么是弱同步。

首先阐述view change的流程。当一个处于view v的副本广播对于v+1的view change后，会启动时长为T的计时器，如果超时了仍未收到view v+1的primary的new view消息，就会开始view v+2的view change，并启动时长为2T的计时器。如果继续超时了仍未收到view v+2的new view消息，则开始view v+3的view change，并启动时长为2²T的计时器。以此类推。

弱同步意味着网络中消息延迟不会永久地比超时时长（即上文中的T, 2T, 2²T, 2³T…）增长快，只要存在一段时间消息延迟小于当前的超时时长，那么各副本就能互相通信，协议就得以推进。