You are viewing a plain text version of this content. The canonical link for it is here.

Posted to jira@kafka.apache.org by "Jose Armando Garcia Sancio (Jira)" <ji...@apache.org> on 2021/06/16 22:47:00 UTC

[jira] [Created] (KAFKA-12958) Add similation invariant for leadership and snapshot

Jose Armando Garcia Sancio created KAFKA-12958:
--------------------------------------------------

             Summary: Add similation invariant for leadership and snapshot
                 Key: KAFKA-12958
                 URL: https://issues.apache.org/jira/browse/KAFKA-12958
             Project: Kafka
          Issue Type: Sub-task
            Reporter: Jose Armando Garcia Sancio


During the simulation we should add an invariant that notified leaders are never asked to load snapshots. The state machine always sees the following sequence of callback calls:

Leaders see:
...
handleLeaderChange state machine is notify of leadership
handleSnapshot is never called

Non-leader see:
...
handleLeaderChange state machine is notify that is not leader
handleSnapshot is called 0 or more times



--
This message was sent by Atlassian Jira
(v8.3.4#803005)