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/24 23:19:00 UTC

[jira] [Updated] (KAFKA-12958) Add simulation invariant for leadership and snapshot

     [ https://issues.apache.org/jira/browse/KAFKA-12958?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

Jose Armando Garcia Sancio updated KAFKA-12958:
-----------------------------------------------
    Summary: Add simulation invariant for leadership and snapshot  (was: Add similation invariant for leadership and snapshot)

> Add simulation 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
>            Priority: Major
>
> 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)