Page MenuHomeFreeBSD

aio: Fix more synchronization issues in aio_biowakeup.
ClosedPublic

Authored by jhb on Feb 15 2023, 7:02 PM.
Tags
None
Referenced Files
Unknown Object (File)
Tue, Jun 25, 12:12 PM
Unknown Object (File)
Feb 28 2024, 2:07 PM
Unknown Object (File)
Dec 20 2023, 4:23 AM
Unknown Object (File)
Nov 7 2023, 5:31 AM
Unknown Object (File)
Oct 6 2023, 4:32 AM
Unknown Object (File)
Sep 7 2023, 4:43 AM
Unknown Object (File)
Apr 22 2023, 12:20 AM
Unknown Object (File)
Apr 14 2023, 6:05 PM
Subscribers

Details

Summary
  • Use atomic_store to set job->error. atomic_set does an or operation, not assignment.
  • Use refcount_* to manage job->nbio.

    This ensures proper memory barriers are present so that the last bio won't see a possibly stale value of job->error.
  • Don't re-read job->error after reading it via atomic_load.

Reported by: markj (1)

Diff Detail

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

Event Timeline

jhb requested review of this revision.Feb 15 2023, 7:02 PM

hrmpf

so turns out atomic_set *is* like atomic_store on linux....

mumbling ensues

that is just a side note though

another one is that the volatile u_int stuff for refcounts needs to die, but again not a blocker

This revision is now accepted and ready to land.Feb 15 2023, 7:06 PM