Skip to content

Record sendfile and splice into shared-mapped files - #4149

Open
Keno wants to merge 1 commit into
rr-debugger:masterfrom
ChronitonAI:sendfile-splice-shared-mapping
Open

Keno wants to merge 1 commit into
rr-debugger:masterfrom
ChronitonAI:sendfile-splice-shared-mapping

Conversation

@Keno

@Keno Keno commented Nov 5, 2026

Copy link
Copy Markdown
Member

[patch/test by AI]

sendfile() and splice() into a file that is mapped MAP_SHARED change what the mappings read, but replay doesn't update the emulated file that backs them, so reads through the mappings diverge. Notify the file's MmappedFileMonitor, which records the written part of each mapping as it does for write(), with the output offset in the trace.

Test: mmap_shared_sendfile

sendfile() and splice() into a file that is mapped MAP_SHARED change
what the mappings read, but replay doesn't update the emulated file
that backs them, so reads through the mappings diverge. Notify the
file's MmappedFileMonitor, which records the written part of each
mapping as it does for write(), with the output offset in the trace.

Test: mmap_shared_sendfile

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant