[KAFKA-13696] Topic partition leader should always send AlterPartition when transitioning from RECOVERING TO RECOVERED

• Type: Task
• Status: Open
• Priority: Major
• Resolution: Unresolved
• Assignee: Jose Armando Garcia Sancio
• Reporter: Jose Armando Garcia Sancio
• Created: 25/Feb/22 17:45
• Updated: 13/Mar/22 19:34

Description

When becoming the leader of a RECOVERING partition the partition leader should model that transition from RECOVERING to RECOVERED has not been committed to the active controller and that it should always attempt to send an AlterPartition request when performing this transition. This uncommitted state has the following state space:

(Expanding ISR OR Shrinking ISR) AND Pending Recovered

This can be model using sum and product types. E.g.

case class State(
 val pendingIsrChange: Option[Either[ExpandingISR, Shrink]
 val pendingLeaderRecoveryStateChange: boolean // Can only transition from RECOVERING to RECOVERED
)

There are no pending changes if pendingIsrChange.isEmpty && !pendingRecoveryChange is true.

Issue Links

• is blocked by: KAFKA-13587 Implement unclean leader election in KIP-704