Slow ledger fsync or chunk creation blocks `GET /node/ledger_chunk` on `Ledger::state_lock`, which can use up the worker threads and stop the node answering any request
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 8/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- cpp
调研方向
Start in src/host/ledger.h, where Ledger::commit(), LedgerFile::commit(), Ledger::write_entry() and committed_ledger_path_with_idx() all take state_lock around fsync and chunk creation. Then read the ledger_chunk handler in src/node/rpc/file_serving_handlers.h, which calls the lookup synchronously on a worker thread. Done means a delayed fsync no longer makes /node/version or a ledger_chunk request block all workers. The issue lists three candidate fixes, so the design choice needs maintainer input first.
由索引模型根据 Issue 内容生成。
描述
Describe the bug
Since 7.0.19, ledger writes no longer go through the host-enclave ringbuffer (#8405), and ledger file I/O runs on the task worker threads. This works as intended for a slow disk on its own. When one ledger fsync or chunk open is blocked for 30 s, a 7.0.23 node keeps answering /node/version and /node/state, while a 7.0.17 node stops answering completely.
One case still freezes the node:
Ledger::commit()takesstate_lock(ledger.h#L2023-L2051), andLedgerFile::commit()then fsyncs the completed chunk while the lock is held (ledger.h#L1086-L1105). The comment there says this is deliberate, so thatcommitted_ledger_path_with_idx()only returns complete files.Ledger::write_entry()also holds the lock (ledger.h#L1845-L1850) while it creates the next chunk file.- The handler for
GET /node/ledger_chunk?since=N(file_serving_handlers.h#L1178-L1179) callscommitted_ledger_path_with_idx()synchronously on a worker thread (file_serving_handlers.h#L803-L804). That function takesstate_lock(ledger.h#L2078-L2081).
So while an fsync is slow, every ledger_chunk request holds a worker thread until the fsync finishes. With the default worker_threads: 1 (two task workers), one request is enough: the other worker is the one running the fsync. No worker is left, and the node stops answering every endpoint, including /node/version, until the fsync returns. With worker_threads: 3 (four workers), the node froze when the third concurrent ledger_chunk request arrived.
In Kubernetes, a liveness probe on a /node endpoint then restarts a node that is only waiting for slow storage. Any client that polls ledger_chunk, for example to archive committed chunks, makes this likely during storage latency spikes.
To Reproduce
- Start a 3-node network with the release
loggingsample app and the devel RPM (virtual build),--ledger-chunk-bytes 5KBand the defaultworker_threads: 1. Send about 20POST /app/log/publicper second. - On one node, delay the next ledger fsync by 30 s:
strace -f -p <cchost pid> -e trace=fsync,openat -e inject=fsync:delay_enter=30s:when=1. The node log confirms it:Operation took too long ( 30.02s): Committing ledger file - fsync(ledger_609). - Poll
GET /node/versionandGET /node/stateon that node every 0.5 s, with a 2 s timeout. All of them succeed during the delay. - Repeat, and during the delay send one
GET /node/ledger_chunk?since=100to the same node. From that request until the fsync returns, every poll times out. Theledger_chunkrequest itself takes about 27 s.
| Version | Delayed for 30 s | Polls during the delay that failed |
|---|---|---|
| 7.0.17 | fsync (primary or backup), chunk create (primary) | 112/112 in each test |
| 7.0.23 | fsync (primary or backup), chunk create (primary) | 0/112 (max latency 0.33 s) |
| 7.0.23 | fsync + 1 ledger_chunk request (two runs, two nodes) |
100/112, all after the request |
7.0.23, worker_threads: 3 |
fsync + 3 ledger_chunk requests 4 s apart |
68/112, all after the 3rd request |
Expected behavior
A slow ledger fsync shouldn't stop the node serving endpoints that don't need the ledger, and /node endpoints should stay responsive.
Environment information
- CCF 7.0.23.
src/host/ledger.his identical onmainat9cdc86cc78a42ee27ea167a7a347c9d924bf4841. - Reproduced with the virtual build in Azure Linux 3.0 containers. Production runs C++ applications on the SNP platform (confidential Azure Container Instances), with the ledger on an SMB file share, where single fsync or file-create calls sometimes take 40-55 s.
Frequency
Every time a ledger_chunk request reaches a node while its ledger fsync or chunk creation is blocked. In our deployment that depends on storage latency spikes, which happen several times a week on some file shares.
Additional context / possible fixes
- Don't hold
state_lockfor the fsync inLedger::commit(). For example, mark the file as being committed under the lock, fsync and rename it outside the lock, then publish it as committed under the lock.committed_ledger_path_with_idx()would only return published files, which keeps today's guarantee. - Or don't make
ledger_chunklookups wait for an in-progress commit. For example, try the lock and answer503withRetry-Afterwhen it's held, or keep the committed-chunk index under a separate lock. - Or serve
ledger_chunk, and other readers ofstate_locksuch as historical reads of committed ranges, without blocking a worker thread.
Related (not necessarily a bug): with 7.0.23, a primary whose ledger fsync or chunk create stalls loses leadership within about 3 s, although its HTTP endpoints stay up. Outbound node-to-node messages, including heartbeats, wait for all ledger mutations submitted before them (node_connections.h#L413-L423, ledger_subsystem.h#L210-L221). So a storage latency spike on the primary still causes an election.
- 主要语言
- C++
- 星标
- 876
- 派生
- 264
- 平均合并
- 1 天 16 小时
- 30 天内合并 PR
- 127
环境准备
在浏览器里用你自己的 GitHub 账号启动这个项目的开发容器。
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
microsoft/CCF 的其他 Issue
-
难度 4/5 3-5 天 新手友好度 48/100
microsoft/CCF#8688 · 1 个 reaction ·
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 35/100
维护者通常 1 天内回复
-
难度 5/5 一周以上 新手友好度 35/100
维护者通常 1 天内回复
-
Make stderr output exclusive to fatal paths and consistent across all fatal paths可能已有人在做 @achamayou 于 3 天前认领。 未关闭
难度 5/5 一周以上 新手友好度 35/100
维护者通常 1 天内回复
-
raft.h hardening未关闭
难度 5/5 一周以上 新手友好度 25/100
维护者通常 1 天内回复
相似的 Issue
-
Bug Testing
难度 2/5 1-3 小时 新手友好度 78/100
SCIInstitute/SCIRun#2931 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
维护者通常 5 天内回复
-
难度 1/5 1-3 小时 新手友好度 85/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
godotengine/godot#125272 ·
维护者通常 1 天内回复
-
bug impact: performance priority: med review: 2026-11 severity: med
难度 2/5 1-3 小时 新手友好度 78/100
mgradwohl/ModernLife#67 ·