fix(channelbridge): 窗口准入落到车道头 + lane.go 按职责拆分（M23 复审 r1 P2）
P2-1（行为缺陷）：窗口准入此前只在 prepareInbound 里算 `solo`，而 prepare 发生在 **窗口等待之后** —— 平台帧（action / 系统通知 / 我们自己的 message_sent 回执）照样 进窗、照样把滑动计时重置：一条回执就能把这一批的静默期一直续住（群友说了三句话， 她因为「撤回事件」迟迟不开口）。这与任务书「窗口只收 chat/image/voice/file」相反。 - `laneWindowAdmits(msg)` 成为**唯一准入判据**，只看结构化事实（ContentType + isSystemNoticeMessage，绝不解析正文）； - `splitWindowItems` 在窗口等待阶段把到达的条目分成「进窗口」与「不进窗口」两半； - 非准入帧**不建窗口、不重置计时**（首条即到达即发车），窗口中途到达的只收进 solos， 这一批发车后**原样回插队首**各自单跑（保序、不合并、不丢弃）； - prepareInbound 里的 `solo` 保留为第二道保险（适配器将来把平台事件标成 text 时， 仍会在组批前被切出去）。 P2-2（硬约束）：lane.go 682 行 → 按职责纯搬移成 5 个文件（最大 246 行）： lane.go（车道类型与注册表）/ lane_queue.go（入队与取队列）/ lane_worker.go（单消费者与回合槽）/ lane_drop.go（丢弃与停机诚实）/ lane_owner.go（主人私聊判据与车道键）。语义零改动：去注释后的声明集合 （34 个顶层声明，含函数体/字段/常量值）逐字节全等；既有用例一条未改。 顺带：把两处「IsOwner() && !IsGroupChat()」的注释改成代码真正用的判据 （ownerPrivateLane = !msg.IsGroup() && actor.IsOwner()），并记下这处 P3 分叉。 验证：全树 build/vet/test 全绿（73 包 ok）；三包 -race 全绿； 新增 4 条准入用例在「准入失效」变异下三条必红、对照组保持绿。
This commit is contained in:
AskaEth committed
1 parent
ca8577f05b
commit
4c9cabce1b
10 files changed
+873
-527
No files matched your search
@@ -28,6 +28,7 @@ import (
|
||||
"sync/atomic"
|
||||
"time"
|
||||
|
||||
"git.yeij.top/AskaEth/Cyrene_v2/internal/channel/adapter"
|
||||
"git.yeij.top/AskaEth/Cyrene_v2/internal/config/runtimeconfig"
|
||||
)
|
||||
|
||||
@@ -184,18 +185,59 @@ func (b *Bridge) coalesceWindowFor(laneKey string, strangerPrivate bool) (coales
|
||||
return w, true
|
||||
}
|
||||
|
||||
// coalesceWait 在车道头部等一段静默期，把等待期间到达的消息**全部**并进这一批，
|
||||
// 并返回发车原因。
|
||||
// laneWindowAdmits 是**窗口准入的唯一判据**（M23 任务书：「窗口只收 chat/image/voice/file；
|
||||
// **不收**系统通知 / action 帧 / 我们自己出站回执」）。
|
||||
//
|
||||
// 它只读消息自身的**结构化事实** —— ContentType 与「是不是平台帧」（isSystemNoticeMessage
|
||||
// 同样只按 ContentType 判定），**绝不解析正文**、绝不猜语义。拒绝的两类理由：
|
||||
//
|
||||
// - **平台帧 / 系统通知 / 我们自己的 `message_sent` 回执**（ContentType=action）：延迟
|
||||
// 2s 只为合并它们毫无收益，更糟的是**一条回执就能把窗口一直续住**（它们和群聊共用
|
||||
// 同一条车道键）；
|
||||
// - 其余非聊天类型：本来就没有「等她把话说完」的语义。
|
||||
//
|
||||
// 不进窗口的条目**不是被丢弃**：它们走「到达即发车」的 solo 路径（见 coalesce_lane.go
|
||||
// 的 runBatchLaneItem / coalesceWait 的 solos）。
|
||||
func laneWindowAdmits(msg adapter.UnifiedMessage) bool {
|
||||
if isSystemNoticeMessage(msg) {
|
||||
return false
|
||||
}
|
||||
switch msg.ContentType {
|
||||
case adapter.ContentText, adapter.ContentImage, adapter.ContentVoice, adapter.ContentFile:
|
||||
return true
|
||||
default:
|
||||
return false
|
||||
}
|
||||
}
|
||||
|
||||
// splitWindowItems 把一片条目按**窗口准入**分成两半：进窗口的（保持原序）与不进窗口的
|
||||
// （同样保持原序）。两半都会被处理 —— 这是分类，不是剔除。
|
||||
func splitWindowItems(items []laneItem) (admitted, others []laneItem) {
|
||||
for _, item := range items {
|
||||
if laneWindowAdmits(item.msg) {
|
||||
admitted = append(admitted, item)
|
||||
continue
|
||||
}
|
||||
others = append(others, item)
|
||||
}
|
||||
return admitted, others
|
||||
}
|
||||
|
||||
// coalesceWait 在车道头部等一段静默期，把等待期间到达的**可进窗口**的消息并进这一批，
|
||||
// 并返回（这一批、不进窗口的条目、发车原因）。
|
||||
//
|
||||
// 语义（M23 蓝图 §4）：
|
||||
// - **滑动**：新消息把计时重置到 w.window（「等她把话说完」）；
|
||||
// - **绝对上限**：w.maxWait 锚定在批内**第一条**的到达时刻 —— 一个不停说话的群
|
||||
// 因此不会让计时永不归零（宁可晚回，不许不回）。
|
||||
// 因此不会让计时永不归零（宁可晚回，不许不回）；
|
||||
// - **准入**：只有 `laneWindowAdmits` 为真的条目参与攒批与重置计时；通知 / action 帧 /
|
||||
// 出站回执只被**收进 solos**（原序），既不改计时也不进批 —— 否则「一条我们自己的
|
||||
// 回执把窗口续住」就是生产上的真实现场。
|
||||
//
|
||||
// 它只做「等」与「收」：不判内容、不丢弃、不改顺序（收进来的顺序就是到达顺序：
|
||||
// 车道 FIFO ⇒ takeAll 的切片本身有序）。
|
||||
func (b *Bridge) coalesceWait(ctx context.Context, l *lane, held []laneItem, w coalesceWindow) ([]laneItem, string) {
|
||||
items := held
|
||||
func (b *Bridge) coalesceWait(ctx context.Context, l *lane, held []laneItem, w coalesceWindow) (items, solos []laneItem, reason string) {
|
||||
items = held
|
||||
anchor := items[0].arrivedAt
|
||||
lastArrival := items[len(items)-1].arrivedAt
|
||||
b.coalesceStats.windowsCreated.Add(1)
|
||||
@@ -204,11 +246,11 @@ func (b *Bridge) coalesceWait(ctx context.Context, l *lane, held []laneItem, w c
|
||||
// 绝对上限先判：到点必发车（哪怕静默窗口因为不停有新消息而一直没归零）。
|
||||
maxLeft := w.maxWait - now.Sub(anchor)
|
||||
if maxLeft <= 0 {
|
||||
return items, coalesceFlushMaxWait
|
||||
return items, solos, coalesceFlushMaxWait
|
||||
}
|
||||
quietLeft := w.window - now.Sub(lastArrival)
|
||||
if quietLeft <= 0 {
|
||||
return items, coalesceFlushQuiet
|
||||
return items, solos, coalesceFlushQuiet
|
||||
}
|
||||
wait := quietLeft
|
||||
if maxLeft < wait {
|
||||
@@ -216,24 +258,31 @@ func (b *Bridge) coalesceWait(ctx context.Context, l *lane, held []laneItem, w c
|
||||
}
|
||||
select {
|
||||
case <-l.batcher.after(wait):
|
||||
more := b.takeAll(l)
|
||||
if len(more) == 0 {
|
||||
// 没有新消息：到点即发车，原因由「哪条上限先到」决定。
|
||||
seen, others := splitWindowItems(b.takeAll(l))
|
||||
solos = append(solos, others...)
|
||||
if len(seen) == 0 {
|
||||
// 没有新的**聊天**消息：到点即发车，原因由「哪条上限先到」决定
|
||||
// （不进窗口的帧不推迟这个判断）。
|
||||
if w.maxWait-b.now().Sub(anchor) <= w.window-b.now().Sub(lastArrival) {
|
||||
return items, coalesceFlushMaxWait
|
||||
return items, solos, coalesceFlushMaxWait
|
||||
}
|
||||
return items, coalesceFlushQuiet
|
||||
return items, solos, coalesceFlushQuiet
|
||||
}
|
||||
items = append(items, more...)
|
||||
items = append(items, seen...)
|
||||
lastArrival = items[len(items)-1].arrivedAt
|
||||
case item := <-l.ch:
|
||||
items = append(items, item)
|
||||
if more := b.takeAll(l); len(more) > 0 {
|
||||
items = append(items, more...)
|
||||
if !laneWindowAdmits(item.msg) {
|
||||
// 不进窗口：只登记到 solos，**绝不重置计时**。
|
||||
solos = append(solos, item)
|
||||
continue
|
||||
}
|
||||
items = append(items, item)
|
||||
seen, others := splitWindowItems(b.takeAll(l))
|
||||
items = append(items, seen...)
|
||||
solos = append(solos, others...)
|
||||
lastArrival = items[len(items)-1].arrivedAt
|
||||
case <-ctx.Done():
|
||||
return items, coalesceFlushStop
|
||||
return items, solos, coalesceFlushStop
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in new issue
Block a user