Hacker News new | past | comments | ask | show | jobs | submit login

Volatile doesn't do what you think it does.

And I would add that the Plan 9 kernel and all its drivers do just fine without it.




For devices with read side-effects, how do you tell the compiler to forgo all optimizations, reordering, etc.?

To me, volatile means that if I read a pointer twice, the compiler has to make accesses both times to the memory. It can't assume that since no other function was called in between, it can safely ignore the second read and use the previous value.

On ther other hand, you want your compiler to perform such optimizations 99% of the time. So just saying that Plan 9 accesses are all treated as if they were volatile (I googled quickly the topic) doesn't make sense to me. But I confess some ignorance :-)


The pointer optimization you're talking about is possible in C, because of potential pointer aliasing. Say you have the following sequence:

val = [asterix]p1

[asterix]p2 = 1

val = [asterix]p1

p2 might actually point to the same location as p1, so you can't avoid fetching from memory the second time.

IIRC volatile means that a variable cannot be optimized away completely, or moved to a register. This is necessary for memory-mapped architectures when you must access memory to communicate with the hardware (as opposed to storing values).

EDIT: trying to get the asterisks to work in this post...


p2 might actually point to the same location as p1, so you can't avoid fetching from memory the second time.

Not necessarily: if p1 and p2 are of different types (and neither is char * or void *), then the compiler is free to assume that they don't point to the same location. This is called "strict aliasing" per the C99 spec; it breaks a lot of old C code.

http://www.cellperformance.com/mike_acton/2006/06/understand...

But in any case, this isn't related to "volatile" as such.


Thanks for the correction.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: