Hi all, I have created a TLA+ specification for this KIP, available here: https://github.com/soarez/kafka/blob/kip-858-tla-plus/tla/Kip858.tla
If there are no further comments I'll start a voting thread next week. -- Igor
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk fail... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk ... Alexandre Dupriez
- Re: [DISCUSS] KIP-858: Handle JBOD broker d... Igor Soarez
- RE: [DISCUSS] KIP-858: Handle JBOD broker disk failure i... Christo Lolov
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk fail... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk ... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD broker d... Divij Vaidya
- Re: [DISCUSS] KIP-858: Handle JBOD broker d... Christo Lolov
- Re: [DISCUSS] KIP-858: Handle JBOD brok... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD... Christo Lolov
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk failure i... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk fail... Igor Soarez
- Re: [DISCUSS] KIP-858: Handle JBOD broker disk ... Ron Dagostino
