Page MenuHomeFreeBSD

buf_ring: Ensure correct ordering of loads
ClosedPublic

Authored by andrew on Jul 26 2024, 8:56 AM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Sep 2, 4:21 AM
Unknown Object (File)
Mon, Aug 31, 3:54 AM
Unknown Object (File)
Sat, Aug 15, 1:56 AM
Unknown Object (File)
Tue, Aug 11, 10:36 PM
Unknown Object (File)
Aug 8 2026, 9:22 AM
Unknown Object (File)
Jul 22 2026, 11:53 AM
Unknown Object (File)
Jul 20 2026, 3:42 AM
Unknown Object (File)
Jul 10 2026, 11:52 PM
Subscribers

Details

Summary

When enqueueing on an architecture with a weak memory model ensure
loading br->br_prod_head and br->br_cons_tail are ordered correctly.

If br_cons_tail is loaded first then other threads may perform a
dequeue and enqueue before br_prod_head is loaded. This will mean the
tail is one less than it should be and the code under the
prod_next == cons_tail check could incorrectly be skipped.

buf_ring_dequeue_mc has the same issue with br->br_prod_tail and
br->br_cons_head so needs the same fix.

Reported by: Ali Saidi <alisaidi@amazon.com>
Co-developed by: Ali Saidi <alisaidi@amazon.com>
Sponsored by: Arm Ltd

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 58850
Build 55737: arc lint + arc unit