Phase 4：RFC 3261 §17 四个事务 FSM + 时间轮 + 事务表

[lixuanqun]

概述

实装 RFC 3261 §17 全部四个事务 FSM 以及配套基础设施。这是协议栈的核心机器。

🔗 stacked on PR #8

设计

TimerScheduler —— ScheduledExecutorService + 虚拟线程派发

• 单线程 scheduler 把每个定时器入队
• 触发后切到虚拟线程跑回调，永不阻塞 timer wheel
• 接口很窄，将来换成 HashedWheelTimer 不动调用方

Timing —— RFC §A 11 个定时器常量

• T1=500ms / T2=4s / T4=5s
• Timer A / E / G 用 timerN(attempt) 实现指数退避（封顶 T2）
• Timer B = F = H = 64*T1 = 32s
• 可靠传输上 Timer D/I/J/K = 0（立即终结）

TransactionKey —— (branch, sent-by, method) 三元组

• 强制 RFC 3261 magic cookie z9hG4bK
• ACK 匹配用 overrideMethod=INVITE（让 ACK 命中原 INVITE 服务端事务）

TransactionTable —— ConcurrentHashMap

MessageSender —— 单方法 SPI（send(message, peer) → CompletableFuture<Void>）

• 事务层不耦合 transport，便于单测用 RecordingSender

四个 FSM

FSM	RFC §	状态	计时器
NonInviteClientTransaction	§17.1.2	Trying → Proceeding → Completed → Terminated	E (retx) / F (timeout) / K (completion wait)
NonInviteServerTransaction	§17.2.2	Trying → Proceeding → Completed → Terminated	J (lifetime)
InviteClientTransaction	§17.1.1	Calling → Proceeding → Completed/Terminated	A (retx, 指数退避) / B (timeout) / D (completion wait)
InviteServerTransaction	§17.2.1	Proceeding → Completed → Confirmed → Terminated	G (retx) / H (ACK timeout) / I (absorb retx ACK)

关键 RFC 行为

• INVITE Client 收到 2xx：立即 Terminate（TU 负责 ACK + retransmit）
• INVITE Client 收到 3xx-6xx：自动构造并发送 ACK（§17.1.1.3），保持 Completed 直到 Timer D
• INVITE Client 在 Completed 收到 retransmit final：重发 ACK
• INVITE Server 收到 2xx：立即 Terminate（TU 接管）
• INVITE Server 收到 3xx-6xx 后等 ACK：ACK 来 → Confirmed → Timer I → Terminated
• Non-INVITE Server 在 Completed 收到 retransmit：重发上一响应

测试

5 个测试类，18 个 dynamic-test items：

• TransactionKeyTest — 4 个（成功派生 / 缺 branch / 缺 magic cookie / ACK 重写）
• NonInviteClientTransactionTest — 4 个
• NonInviteServerTransactionTest — 3 个
• InviteClientTransactionTest — 4 个（含自动 ACK 生成、retransmit ACK 重发）
• InviteServerTransactionTest — 3 个

RecordingSender 测试 fixture 让所有 FSM 在 1.5 秒内跑完，无需真实网络。

验证

mvn -B verify → 9 modules SUCCESS, 140 tests, 0 failures
  sip-message:        10
  sip-codec:          69
  sip-transport-nio:   7
  sip-transaction:    18 ← 新增
  compliance:         36