К знатокам ядра

Гарантирует. На тех архитектурах, где потребуется дополнительное изьебство, для обеспечения атомарности, оно будет.

Хм.. А где написано, что volatile гарантирует атомарность, в стандартах я этого не видел. Вот, например, пишу по памяти код:

volatile int i;
i++;

развернется во что-то такое (gcc -O2,x86):

movl i,%eax
incl %eax
movl %eax,i

Где ж атомарность?

ты же вел речь об atomic_read. Чтение/запись 32-битного выровненного объекта атомарна на x86/

ты все правильно понимаеш

атомарное чтение на x86 гарантируется для 32-битных целых, возможно на что-то выровненых.

все остальное надо прикрывать например спинлоками

а вообщето атомарность довольно сложный вопрос.

>Чтение/запись 32-битного выровненного объекта атомарна на x86

Это так, но зачем тогда объявлять ее как volatile в atomic_read?

A volatile read or write of a 32-bit int is atomic on most modern hardware, but volatile has nothing to do with it. It would likely be atomic without the volatile.

Ведь volatile сам по себе не гарантирует атомарности! Или Ткните меня носом где это написано. :)

>Это так, но зачем тогда объявлять ее как volatile в atomic_read?

чтобы компилятор(gcc) не мудрил,
он может закешировать ее и не читать из памяти например.

volatile указывает компилятору что переменная в любой момент может измениться, и следует все время брать ее из памяти

Да, точно. Всем спасибо!