🤖 MessageQueue: prove held sends cannot wait on an orphaned compaction decision (resume without compaction metadata)
メンテナーはふだん 1 日以内に返信
@ThomasK33 がすでに取り組んでいます。
2026年9月30日 から。
評価
この issue はまだ評価されていません。
説明
Follow-up from #5325 (MessageQueue F2: a send to an idle session that still holds queued work now queues behind that work, so it waits as long as the head's report decision).
Unproven gap
The investigated compaction-wait interleaving is safe: the raw stream-end listener creates the pending decision synchronously, before TaskService's handler, and the decision is kept until consumed. One path is not proven:
- The frontend resume path sends agentId
"compact"without compaction-request metadata. - A second compaction starts while TaskService's stream-end handler for the first holds the task's event lock.
- If that handler registers a pending wait that nothing resolves, the held queue entry, and every user send queued behind it since #5325, waits until the session is disposed.
Work
- Write a deterministic interleaving test for this sequence.
- If it reproduces, key pending-wait registration to the exact compaction request (see
waitForCompactionDecisioninsrc/node/services/turnCoordinator.tsand itsallowPendingcaller inagentSession.ts). - Separately, watch dogfood for idle workspaces whose queued sends never drain behind a report hold.
Generated with xum • Model: anthropic:claude-opus-5-5 • Thinking: high • Cost: $32.71
- 主要言語
- TypeScript
- スター
- 2k
- フォーク
- 139
- 平均マージ
- 6時間 35分
- マージ済み PR(30日)
- 819
環境構築
- Dockerfile または Docker Compose ファイルあり
- プルリクエストのテンプレートなし
- コントリビューションガイドなし
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
coder/xum のほかの issue
-
approved
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
🤖 Delegated-turn delivery and peer-limit follow-ups from #5311 and #5327対応中かも @ThomasK33 が今日担当しました。 オープン
メンテナーはふだん 1 日以内に返信
-
🤖 Compaction follow-up dispatch: remaining follow-ups from #5313対応中かも @ThomasK33 が今日担当しました。 オープン
メンテナーはふだん 1 日以内に返信
-
🤖 Concurrency primitive and fileLock hazards found by the formal models (#5309, #5319 follow-ups)対応中かも @ThomasK33 が今日担当しました。 オープン
メンテナーはふだん 1 日以内に返信
-
🤖 History persistence follow-ups from the formal-verification fixes (#5312, #5316, #5318)対応中かも @ThomasK33 が今日担当しました。 オープン
メンテナーはふだん 1 日以内に返信
似ている issue
-
area/frontend good first issue kind/cooldown
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
voidzero-dev/oxc-angular-compiler#511 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
langchain-ai/deepagentsjs#898 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 92/100
anomalyco/models.dev#8509 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
bug documentation P2 UI/UX
難易度 2/5 1〜3時間 初心者へのやさしさ 85/100
メンテナーはふだん 1 日以内に返信