Hi Jack, thanks for providing this material. I'll spend some time
digging into it.
On Mon, Sep 11, 2023 at 6:56 PM Jack Vanlightly wrote:
>
> Hi all,
>
> I agree that we should have the protocol description and specification in
> the Kafka repository. I have two other specifications to contribute
Hi all,
I agree that we should have the protocol description and specification in
the Kafka repository. I have two other specifications to contribute
including the KRaft implementation of Raft and the next gen consumer group
protocol (WIP). I also have a formal prose description of the Kafka
repli
This is very useful Jack!
1. We are missing a replication protocol specification in our project.
Ideally it should be a living document and adding what you wrote to
the docs/design would be a great start towards that goal.
2. I have also been building on top of some existing TLA+ to add
changes to
Hi Jack,
Thank you for the great work, not only the spec but also for the
comprehensive documentation about the replication.
Actually I wrote some TLA+ spec to verify unclean leader election behavior
before so I will double-check my understanding with your complete spec :)
Thanks,
2023年9月10日(日)
Hi Jack,
This is great! Thanks for doing it. I will look into it when I have a bit
of time, likely after Current.
Would you be interested in contributing it to the main repository? That
would be a great contribution to the project. Having it there would allow
the community to maintain it while ch
Hi all,
As part of my work on formally verifying different parts of Apache Kafka
and working on KIP-966 I have built up a lot of knowledge about how the
replication protocol works. Currently it is mostly documented across
various KIPs and in the code itself. I have written a complete protocol
desc
