活锁指的是任务或者执行者没有被阻塞，由于某些条件没有满足，导致一直重复尝试—失败—尝试—失败的过程。处于活锁的实体是在不断的改变状态，活锁有可能自行解开。
Based on the formal process model,we define three exception properties of Web service interactions:unspecified reception, deadlock and livelock.
基于流程的形式模型,研究了两个流程的交互中可能发生的三种异常性质:未指定接收、死锁和活锁。
参考来源 - Web服务接口的相容性与调解研究·2,447,543篇论文数据，部分数据来源于NoteExpress
同时给出了无死锁无活锁的证明。
Proof of deadlock freedom and livelock freedom is presented.
该方法避免了检查点中的孤儿消息、多米诺效应和活锁问题；
The deterministic checkpoint based on state-freezing can successfully avoid nephew messages, domino effect and live lock.
同时，也能避免在高负载下处理能力降低甚至出现“活锁”的现象。
Meanwhile, it can avoid reducing handling capacity even appearing phenomenon of "living locking" in high load.
应用推荐