[
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. 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. 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)
