Является ли вызов функций барьером памяти в С++?

[user14284]

Является ли вызов функций барьером памяти в С++? Другими словами, есть ли разница между

f();

и

asm volatile ("" ::: "memory");
f();
asm volatile ("" ::: "memory");

В особенности интересует, если f() будет инлайн, а так же включена link-time оптимизация. Я пытался читать стандарт по ключевым словам "sequence point", но там написано слишком замудрённо для моего уровня английского.

[arseniiv]

А тут описание подойдёт?: https://en.wikipedia.org/wiki/Sequence_point#Sequence_points_in_C_and_C++. Части 3, 4, 5. Тут достаточно 3, потому что у вас вызов — отдельная инструкция, так что в конце предыдущей и в конце этой должны быть sequence points, но 4 и 5 в общем случае тоже в кассу.

Правда, про заинлайненные функции всё равно не написано. Но хоть ссылки на стандарт в самом начале раздела указаны — может, там точнее.

user14284 в сообщении #1358198 писал(а):

Я пытался читать стандарт по ключевым словам "sequence point", но там написано слишком замудрённо для моего уровня английского.

Скопируйте сюда куски, которые, вам кажется, связаны — может кто-нибудь переведёт.

[user14284]

Как я понял, sequence point это более слабое понятие, чем барьер памяти. Потому что законченное выражение с точкой запятой это sequence point, но оптимизатор спокойно может их мешать, объединять и выкидывать.

Нашел вот это. Если я правильно понял, барьером являюся только вызовы внешних функций, о реализации которых компилятор не знает. А статические функции (и даже внешние функции со статической линковкой, если включена link-time оптимизация) компилятор вправе оптимизировать как хочет.

[SergeCpp]

volatile, memory barrier, sequence point -- это три совершенно разные вещи.

Вот немного про барьеры:
http://rsdn.org/forum/cpp/3734032.1
http://www.1024cores.net/home/in-russia ... m-eee-edat

На английском:
https://stackoverflow.com/questions/178 ... d-volatile

[arseniiv]

user14284 в сообщении #1358220 писал(а):

Как я понял, sequence point это более слабое понятие, чем барьер памяти. Потому что законченное выражение с точкой запятой это sequence point, но оптимизатор спокойно может их мешать, объединять и выкидывать.

Понятно. Я плохо вчитался.

[bondkim137]

Вероятно, было бы продуктивнее обсудить конкретную задачу (с кодом) и проблемы с ней связанные, нежели упражняться в терминологии А вообще говоря - нет, никакой синхронизации общей памяти (в мультипроцессорном смысле) вызов функции давать не обязан.