https://123dok.net/document/zx536j3w-level-checkpoint-algorithm-highly-available-parallel-single-level.html