> I would phrase it more extreme: I want to get rid of the unnecessary > non-standard parts of the herd representation. Please indulge the thought that what might appear to be "non-standard" to one or one's community might appear differently to others. Continuing with the example above, I'm pretty sure your "standard" and simple idea of mb-reads and mb-writes, or even "unsuccessful" mb-reads will turn up the nose of many kernel developers... The current repre- sentation for xchg() was described in the ASPLOS'18 work and it's been used (& tested) upstream since the LKMM was first merged ~6 years ago. But that's not the point, "standards" can change and certainly kernels and tools do. My remark was more to point out that you're not getting rid of anything..., you're simply proposing a different representation (asking kernel developers & maintainers to "deal with it"): here's why I was and I am looking forward to something more than "because we can". Andrea
