VPF::Если атомарный блок заканчивается вызовом

leniviy

Дата 23.8.2013, 21:02 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 552
Регистрация: 8.2.2003
Где: Спб

Репутация: 1
Всего: 5

Есть глобальная разветвленная структура, которая используется несколькими потоками. Всё синхронизируется через виндовый CRITICAL_SECTION.
Я полагаю, что использовать volatile не надо:
Компилятор обязан предполагать, что LeaveCriticalSection() читает и пишет в моей глобальной структуре. Поэтому он обязан её проапдейтить перед вызовом функции и не может после вызова функции использовать любые закешированные в регистрах/стеке поля структуры.
Верно?
Не понятно, есть ли для компилятора разница между static и extern глобальными переменными. Например, если переменная static, то внешняя функция её не видит, значит можно оптимизировать. Но Visual C, например, так не делает:

Код


static struct {
    int i;
} st;

int main(int argc, char* argv[])
{
00401000  push        esi  
    printf("a\n");
00401001  mov         esi,dword ptr [__imp__printf (40209Ch)] 
00401007  push        offset string "a\n" (402104h) 
0040100C  call        esi  
    st.i = 0xAA;
    st.i = 0xBB;
    printf("b\n");
0040100E  push        offset string "b\n" (402108h) 
00401013  mov         dword ptr [__fmode+4 (403378h)],0BBh 
0040101D  call        esi  
0040101F  add         esp,8 
    st.i = 0xCC;
00401022  mov         dword ptr [__fmode+4 (403378h)],0CCh 
    return 0;
0040102C  xor         eax,eax 
0040102E  pop         esi  
}
0040102F  ret

bsa

Дата 26.8.2013, 12:13 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Модератор
Сообщений: 9185
Регистрация: 6.4.2006
Где: Москва, Россия

Репутация: 63
Всего: 196

Цитата(leniviy @ 23.8.2013, 22:02

)

Верно?

Нет. LeaveCriticalSection() - это всего лишь функция.
volatile очень редко, когда используется в прикладном ПО. В основном, применяется при написании системных программ - когда связь с внешним оборудованием идет через области памяти (т.е. если ты пишешь два раза подряд в одну неволатильную переменную, то компилятора может выкинуть первую запись).

Цитата(leniviy @ 23.8.2013, 22:02

)

Не понятно, есть ли для компилятора разница между static и extern глобальными переменными.

на усмотрение компилятора. но по сути нет в том смысле, который ты вкладываешь в вопрос.

--------------------

Правильно заданный вопрос - половина ответа
Отзывы о работе модератора.

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »