Uploaded image for project: 'ZooKeeper'
  1. ZooKeeper
  2. ZOOKEEPER-3615

write a TLA+ specification to verify Zab protocol

    XMLWordPrintableJSON

Details

    Attachments

      Issue Links

        is related to

        New Feature - A new feature of the product, which has yet to be developed. ZOOKEEPER-3417 add the new doc:zookeeperProtocols to introduce the implementation details of ZAB comparing with raft

        • Major - Major loss of function.
        • Open
        links to

        Web Link GitHub Pull Request #1299

        Web Link GitHub Pull Request #1690

        Web Link GitHub Pull Request #2013

        Activity

          People

            maoling Ling Mao
            maoling Ling Mao
            Votes:
            1 Vote for this issue
            Watchers:
            5 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved:

              Time Tracking

                Estimated:
                Original Estimate - Not Specified
                Not Specified
                Remaining:
                Remaining Estimate - 0h
                0h
                Logged:
                Time Spent - 14h 50m
                14h 50m