On Fri, Jul 17, 2020 at 7:08 AM Eric Biggers <ebiggers@xxxxxxxxxx> wrote: > - The preliminary checks for sb->s_dio_done_wq are a data race, since > they do a plain load of a concurrently modified variable. According > to the C standard, this undefined behavior. In practice, the kernel > does sometimes makes assumptions about data races might be okay in Some small typos: ...this *is* undefined behavior... ...does sometimes make* assumptions about... - Sedat -
