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)
Thu, Apr 23, 1:42 PM
Unknown Object (File)
Thu, Apr 23, 4:34 AM
Unknown Object (File)
Tue, Apr 21, 10:12 AM
Unknown Object (File)
Mon, Apr 20, 8:53 AM
Unknown Object (File)
Sun, Apr 12, 12:57 AM
Unknown Object (File)
Tue, Apr 7, 4:56 PM
Unknown Object (File)
Tue, Apr 7, 7:46 AM
Unknown Object (File)
Mon, Apr 6, 10:38 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