Messages in this thread | | | Date | Thu, 17 Mar 2022 19:05:40 -0500 | From | Segher Boessenkool <> | Subject | Re: [PATCH v5] x86: use builtins to read eflags |
| |
On Thu, Mar 17, 2022 at 04:31:19PM -0700, Linus Torvalds wrote: > On Thu, Mar 17, 2022 at 4:25 PM Segher Boessenkool > <segher@kernel.crashing.org> wrote: > > > > > I still think that from a sanity standpoint, it would be good to > > > actually strengthen the semantics of "asm volatile" to literally act > > > as - and be ordered with - volatile memory accesses. > > > > > > But I guess that's water under the bridge. > > > > That is what it has actually done since forever. See C 5.1.2.3. For > > GCC, "asm volatile" has a side effect like in /2 there as well, as does > > unspec_volatile (an internal GCC thing used to implement certain > > builtins, among other things). > > Oh, so two "asm volatile" statements _are_ in fact defined to be > ordered wrt each other?
Colloquially you could say that. But that statement can be understood to mean more than the actual guarantee (and it is also much less than it, oin the positive side).
> Because the gcc docs certainly don't say that ;(
Older GCC docs said You will also want to add the volatile keyword if the memory affected is not listed in the inputs or outputs of the asm, as the `memory' clobber does not count as a side-effect of the asm.
and The volatile keyword indicates that the instruction has important side-effects. GCC will not delete a volatile asm if it is reachable. (The instruction can still be deleted if GCC can prove that control-flow will never reach the location of the instruction.) Note that even a volatile asm instruction can be moved relative to other code, including across jump instructions.
and Similarly, you can't expect a sequence of volatile asm instructions to remain perfectly consecutive. If you want consecutive output, use a single asm. Also, GCC will perform some optimizations across a volatile asm instruction; GCC does not “forget everything” when it encounters a volatile asm instruction the way some other compilers do.
The internal assembler docs were rewritten later, because they were considered too terse, too hard for users to understand. But they may have lost some clarity in the process.
> Yeah, yeah, dead code can be removed, whether volatile or not. That's > true of "*(volatile int *)x" too. It's not the dead code that is the > interesting case, though..
Internally to GCC this is the same in most ways, too; it's no accident this things correspond so well :-)
> Is this also well-defined ordering-wise: > > asm volatile("do_something"); > WRITE_ONCE(x, 1); > > (where "WRITE_ONCE()" is that kernel macro that just uses a volatile > pointer assignment to force the access)?
The macro in asm-generic is
#define __WRITE_ONCE(x, val) \ do { \ *(volatile typeof(x) *)&(x) = (val); \ } while (0)
which will work fine given the undocumented C extension I mentioned in https://gcc.gnu.org/PR33053 (this will be part of C2x as well btw).
I don't know if all arch-specific versions are fine.
> And could we get that documented?
Could you open a GCC PR for it? I can do it, but you know better what you want, and I might forget, etc.
Segher
| |