Page MenuHomeFreeBSD

so_splice: Synchronize so_unsplice() with so_splice()
ClosedPublic

Authored by markj on Apr 13 2025, 3:45 PM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Apr 29, 2:21 AM
Unknown Object (File)
Apr 28 2026, 2:57 PM
Unknown Object (File)
Apr 27 2026, 5:58 PM
Unknown Object (File)
Apr 27 2026, 9:27 AM
Unknown Object (File)
Apr 26 2026, 3:27 AM
Unknown Object (File)
Apr 23 2026, 6:05 AM
Unknown Object (File)
Apr 23 2026, 5:04 AM
Unknown Object (File)
Apr 20 2026, 8:18 AM
Subscribers

Details

Summary

so_unsplice() assumed that if SB_SPLICED is set in the receive buffer of
the first socket, then the splice is fully initialized. However, that's
not true, and it's possible for so_unsplice() to race ahead of
so_splice().

Modify so_unsplice() to simply bail if the splice state is embryonic.

Reported by: syzkaller

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable