Certain

Certain is an asynchronous implementation of paxos log, but using in synchronous way is supported. And It's widely used in WeChat backend as the base of building distributed system that both high availability and strong consistency are required.