Atomic_T in Linux

Atomic_T in Linux

I'm studying Linux kernel with Linux Kernel Development by Robert Love.

As you know, this book uses old version of Linux. It's in 2.6 version

atomic_t has "volatile int counter". But newly Linux version's atomic_t has "int counter" not volatile. Why this volatile has erased?

2

1 Answer

Because volatile variables are not atomic variables. The only point in using volatile is to prevent possible compiler optimisations, which is not the same as preventing unwanted concurrent access.

In that regard, the use of volatile is almost never correct.

You can read more about it in Semantics and Behavior of Atomic and Bitmask Operations.

Quoting a small part of it:

* WARNING: atomic_read() and atomic_set() DO NOT IMPLY BARRIERS! *

Some architectures may choose to use the volatile keyword, barriers, or inline assembly to guarantee some degree of immediacy for atomic_read() and atomic_set(). This is not uniformly guaranteed, and may change in the future, so all users of atomic_t should treat atomic_read() and atomic_set() as simple C statements that may be reordered or optimized away entirely by the compiler or processor, and explicitly invoke the appropriate compiler and/or memory barrier for each use case. Failure to do so will result in code that may suddenly break when used with different architectures or compiler optimizations, or even changes in unrelated code which changes how the compiler optimizes the section accessing atomic_t variables.

* YOU HAVE BEEN WARNED! *

2

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

David Miller
Author

David Miller

David Miller brings 15 years of experience in global economics, personal finance strategy, and market dynamics. He specializes in turning complex economic trends into actionable insights for everyday readers.