From: Peter Zijlstra > Sent: 14 May 2020 15:25 .. > Exact same requirements, KASAN even has the data_race() problem through > READ_ONCE_NOCHECK(), UBSAN doesn't and might be simpler because of it.
What happens if you implement READ_ONCE_NOCHECK() with an asm() statement containing a memory load? Is that enough to kill all the instrumentation? David - Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK Registration No: 1397386 (Wales)