[eric234223]

Where is the link to the origin of this discussion ? From the realworldtech.com looks this is the first post https://www.realworldtech.com/forum/?threadid=189711&curpost... . But that post is already an reply to something else's post.

[derimagia]

https://www.realworldtech.com/forum/?threadid=189711 is the original post (what you linked). The quote is from https://probablydance.com/2019/12/30/measuring-mutexes-spinl...

[eric234223]

Is this your interpretation or you know it for sure. Sorry for being skeptical. I am having hard time believing Linus Torvalds would have an account on realworldtech.com. I have never heard of this site before. The only place i have seen Linus reply is in the kernel mailing lists. Also is this email id [e-mail] ? How do we even know the reply is from linus.