lkml.org 
[lkml]   [2015]   [May]   [22]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: Compilers and RCU readers: Once more unto the breach!

* Linus Torvalds <torvalds@linux-foundation.org> wrote:

> (a) the "official" rules are completely pointless, and make sense
> only because the standard is written for some random "abstract
> machine" that doesn't actually exist.

Presuming the intent of the abstract machine specification is to avoid
being seen as biased towards any specific machine (politics), maybe
write this as:

(a) the "official" rules are written for a somewhat weird and
complex "union of all known and theoretically possible CPU
architectures that exist or which might exist in the future",
which machine does not actually exist in practice, but which
allows a single abstract set of rules to apply to all machines.
These rules are complex, but if applied to a specific machine
they become considerably simpler. Here's a few examples: ...

?

(Assuming it's a goal of this standard to be human parseable to more
than a few dozen people on the planet.)

Thanks,

Ingo


\
 
 \ /
  Last update: 2015-05-22 09:21    [W:0.131 / U:0.372 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site