Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

__transaction_state: schema

...

Flow A — Regular Consumer Group (how it works today)
  • Producer writes to output topic
    • Source Component: TransactionManager (Client)
    • Action: Sends AddPartitionsToTxn("output-A-0") to TxnCoord.
    • State Change: TxnCoord records participants = {output-A-0} in __transaction_state.
  • Producer calls sendOffsetsToTransaction("my-group")
    • Source Component: TransactionManager (Client) & TransactionCoordinator (Broker Core)
    • Action: Sends AddOffsetsToTxn("my-group") to TxnCoord.
    • Execution: TxnCoord computes hash("my-group") = (let's say) 7.
    • State Change: Records participants = {output-A-0, __consumer_offsets-7} in __transaction_state .
  • Producer commits
    • Source Component: TransactionCoordinator (Broker Core)
    • Execution: Reads participants from __transaction_state and resolves brokers via MetadataCache:
      • output-A-0  — > Broker 3
      • __consumer_offsets-7 ---→ Broker 4
    • Action: Sends WriteTxnMarkers to Broker 3 AND Broker 4.
  • Each broker writes a control batch to its log
    • Source Component: KafkaApis & GroupCoordinator (Broker Core)
    • Execution:
      • Broker 3: Appends COMMIT batch to output-A-0 log (makes records visible to read_committed consumers).
      • Broker 4: Appends COMMIT batch to __consumer_offsets-7 log (makes staged offsets visible to GroupCoordinator).

State machine additions:

  • New transient state TX_PENDING 
  • On WriteTxnMarkers commit: TX_PENDING(ACCEPT) → ACKNOWLEDGED; same for RELEASE and REJECT.
  • On WriteTxnMarkers abort: TX_PENDING(*) → back to ACQUIRED (lock continues; consumer can retry the work).

...