Skip to content

docs(audits): confirm IOCP is wired for Windows file writes (#1868)#4017

Merged
oferchen merged 1 commit into
masterfrom
docs/windows-iocp-file-write-audit
May 14, 2026
Merged

docs(audits): confirm IOCP is wired for Windows file writes (#1868)#4017
oferchen merged 1 commit into
masterfrom
docs/windows-iocp-file-write-audit

Conversation

@oferchen
Copy link
Copy Markdown
Owner

Summary

Test plan

  • Cite file:line for every claim (six citations under section 2, plus inline citations in the mapping table and skip-conditions list).
  • Verify the verdict against crates/transfer/src/disk_commit/process.rs:286-294, crates/transfer/src/disk_commit/writer.rs:147-151,177-185,226-244, crates/transfer/src/disk_commit/thread.rs:179-203, crates/fast_io/src/iocp/disk_batch.rs:162-186,196-221,310-322, and the default-feature wiring in Cargo.toml:33,77, crates/transfer/Cargo.toml:90, crates/fast_io/Cargo.toml:39,55.
  • Confirm IocpDiskBatch::try_new on non-Windows resolves to the stub at crates/fast_io/src/iocp_stub.rs:148 (None), so the audit's "no IOCP outside Windows" claim is structurally enforced.
  • Docs-only change; no Rust source modified, no test impact.

Static, source-grounded resolution of the discrepancy between
internal notes and a review observation about the Windows
disk-commit path. The audit demonstrates that on a default Windows
build the dispatcher constructs Writer::Iocp { batch:
&mut IocpDiskBatch } for every non-sparse, non-append output file,
with cited file:line evidence for the dispatcher arm, the feature
gate, and the runtime guard conditions that legitimately fall back
to the buffered writer.
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label May 14, 2026
@oferchen oferchen merged commit b831178 into master May 14, 2026
8 checks passed
@oferchen oferchen deleted the docs/windows-iocp-file-write-audit branch May 14, 2026 14:57
oferchen added a commit that referenced this pull request May 18, 2026
…4017)

Static, source-grounded resolution of the discrepancy between
internal notes and a review observation about the Windows
disk-commit path. The audit demonstrates that on a default Windows
build the dispatcher constructs Writer::Iocp { batch:
&mut IocpDiskBatch } for every non-sparse, non-append output file,
with cited file:line evidence for the dispatcher arm, the feature
gate, and the runtime guard conditions that legitimately fall back
to the buffered writer.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant