AlphaCanisMajoris commented on PR #2152: URL: https://github.com/apache/zookeeper/pull/2152#issuecomment-2049141831
Hi @eolivelli. Sorry for bother you, but would you mind take a look at this pr and consider merging it? This pr fixes a bunch of issues in follower's syncWithLeader() that stay unresolved for a long time. Besides, it can drive the following fixes like https://github.com/apache/zookeeper/pull/2154. It is built based on the latest fix https://github.com/apache/zookeeper/pull/2111. It has been checked by the new added test case `Zab1_0Test#testNormalFollowerRun_ProcessCommitInSyncAfterAckNewLeader` and the TLA+ specification verification [results](https://github.com/AlphaCanisMajoris/zookeeper-tla-spec/blob/main/statistics/zk_pr_2152/results.csv). -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: notifications-unsubscr...@zookeeper.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
