阿里巴巴自主设计研发的PolarDB-X数据库产品中的Lizard分布式事务系统，包括SCN单机事务系统和GCN分布式事务系统。Lizard SCN事务系统引入了SCN和事务槽来表达事务的提交顺序和持久化事务的提交版本号，支持自定义的FlashBack查询。Lizard GCN分布式事务系统采用了两阶段提交协议，实现了跨节点事务的原子性和读强一致性。文章还介绍了Percolator模型、Calvin模型和XA模型三种分布式事务模型的优缺点，以及XA协调日志下沉的实现方式。