[
https://issues.apache.org/jira/browse/KAFKA-18439?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Alyssa Huang updated KAFKA-18439:
---------------------------------
Description:
[https://github.com/apache/kafka/pull/18240] introduces
StableLeadershipWhenMajorityReachable, which is a crude first iteration of the
invariant we need for checking correctness with PreVote. It checks that only
one leader is elected during the span of a test. This works for the specific
ping-pong test that was added in the PR, but does not apply well to existing
tests which expect leadership to change (e.g. disruptive network partition
added, simulated fetch lag)
What we need it to do is check that a new leader is not elected if the current
leader had connectivity with a majority of quorum.
was:[https://github.com/apache/kafka/pull/18240] introduces
StableLeadershipWhenMajorityReachable, which is a crude first iteration of the
invariant we need for checking correctness with PreVote. It checks that only
one leader is elected during the span of a test. What we need it to do is check
that a new leader is not elected if the current leader had connectivity with a
majority of quorum.
> Add invariant to Raft simulation test for prevote
> -------------------------------------------------
>
> Key: KAFKA-18439
> URL: https://issues.apache.org/jira/browse/KAFKA-18439
> Project: Kafka
> Issue Type: Sub-task
> Reporter: Alyssa Huang
> Assignee: Peter Lee
> Priority: Major
>
> [https://github.com/apache/kafka/pull/18240] introduces
> StableLeadershipWhenMajorityReachable, which is a crude first iteration of
> the invariant we need for checking correctness with PreVote. It checks that
> only one leader is elected during the span of a test. This works for the
> specific ping-pong test that was added in the PR, but does not apply well to
> existing tests which expect leadership to change (e.g. disruptive network
> partition added, simulated fetch lag)
> What we need it to do is check that a new leader is not elected if the
> current leader had connectivity with a majority of quorum.
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
