Uploaded image for project: 'Kafka'
  1. Kafka
  2. KAFKA-10310 Kafka Raft Snapshot
  3. KAFKA-12958

Add simulation invariant for leadership and snapshot

    XMLWordPrintableJSON

Details

    • Sub-task
    • Status: Resolved
    • Major
    • Resolution: Fixed
    • None
    • None
    • None
    • None

    Description

      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

      Attachments

        1. image-2021-06-27-02-27-41-966.png
          179 kB
          HaiyuanZhao
        2. image-2021-06-27-02-26-48-368.png
          481 kB
          HaiyuanZhao
        3. image-2021-06-27-02-15-23-760.png
          333 kB
          HaiyuanZhao
        4. image-2021-06-27-02-09-25-296.png
          457 kB
          HaiyuanZhao

        Issue Links

          links to

          Web Link GitHub Pull Request #10932

          Activity

            People

              zhaohaidao HaiyuanZhao
              jagsancio Jose Armando Garcia Sancio
              Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

                Created:
                Updated:
                Resolved: