Formal specification of Kafka.

[Savickis Matas <sa...@gmail.com>]

Hello everyone, I am Software engineering Master's student looking to write
my thesis about using Formal specifications using TLA+. I was hoping to do
my thesis about Kafka. Are there eny well know parts of Kafka or maybe a
bugs that would benefits from doing such work. I was looking at this
presentation
https://www.confluent.io/kafka-summit-sf18/hardening-kafka-replication/ and
KIP like this
https://cwiki.apache.org/confluence/display/KAFKA/KIP-320%3A+Allow+fetchers+to+detect+and+handle+log+truncation
for reference where to start but maybe dev community has any suggestions?

-- 
Pagarbiai
Matas Savickis
Vilniaus universiteto studentas

Re: Formal specification of Kafka.

[Guozhang Wang <wa...@gmail.com>]

Hello Matas,

You may find this repo useful:
https://github.com/hachikuji/kafka-specification

It does not have a very helpful read-me (yet) but if you have questions let
us know.

Guozhang


On Sun, Nov 1, 2020 at 9:36 AM Savickis Matas <sa...@gmail.com>
wrote:

> Hello everyone, I am Software engineering Master's student looking to write
> my thesis about using Formal specifications using TLA+. I was hoping to do
> my thesis about Kafka. Are there eny well know parts of Kafka or maybe a
> bugs that would benefits from doing such work. I was looking at this
> presentation
> https://www.confluent.io/kafka-summit-sf18/hardening-kafka-replication/
> and
> KIP like this
>
> https://cwiki.apache.org/confluence/display/KAFKA/KIP-320%3A+Allow+fetchers+to+detect+and+handle+log+truncation
> for reference where to start but maybe dev community has any suggestions?
>
> --
> Pagarbiai
> Matas Savickis
> Vilniaus universiteto studentas
>


-- 
-- Guozhang