Hi Sebastian, Thank you for your concern! We also doubt that there's something wrong on the atomic operation or on cache line consistency on SMP. But it's really hard to confirm or to debug it because it's difficult to reproduce it. B.R. Yimin > On 2019-02-14 16:09:48 [+0800], Yimin Deng wrote: > > I could not image a scenario that lead to 3 different values on the > > same variable mutex->__data.__lock seen in 3 positions. > > It's very difficult to reproduce this issue (About 1 ~ several months > > for 1 reproducing). And we failed to reproduce it using small > > application. > > what are the chances that the atomic operations are not so atomic? > > > B.R. > > Yimin > > Sebastian