Flink checkpoint实现算法的理论基础：Lightweight Asynchronous Snapshots for Distributed Dataflows