https://mabokanizecagozuj.42comusa.com/optimal-message-log-reclamation-for-independent-checkpointing-book-35475kv.php