On Tue, Jun 04, 2019 at 10:44:18AM -0400, Alan Stern wrote: > > Currently the LKMM says the test is allowed and there is a data race, > but this answer clearly is wrong since it would violate the RCU > guarantee.
Thank you! This is what I tried to say all along in this thread but you expressed it in a much better way :) -- Email: Herbert Xu <herb...@gondor.apana.org.au> Home Page: http://gondor.apana.org.au/~herbert/ PGP Key: http://gondor.apana.org.au/~herbert/pubkey.txt
