летучее для обработчика сигнала и многопоточного

Question

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

volatile int flag = 1; // volatile is needed here? 

void run() { 
    while(flag) { /* do someting... */ } 
} 

void signal_handler(int sig) { 
    flag = 0; 
} 

int main() { 
    signal(SIGINT, sig_handler); 
    run(); 
    // ... 
} 

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

int flag = 1; // is volatile needed here? 

void thread_function() { 
    while(flag) { /* do someting... */ } 
} 

int main() { 
    // pthread_create() to create thread_function()... 
    sleep(10); // let thread_function run for 10 seconds 
    flag = 0; 
    // ... 
} 

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

Answer 1

Используется для проверки того, что содержимое переменной считывается из фактической памяти, а не из регистра центрального процессора.

Другими словами, всякий раз, когда событие «снаружи» может изменить значение переменной, вы должны рассмотреть возможность использования volatile («снаружи» - как в, вне соответствующего кодового блока).

В обоих примерах вы используете переменную как флаг, чтобы сигнализировать об изменении поведения. Этот флаг в обоих примерах управляется событиями «за пределами» цикла, который проверяет флаг. По этой причине оба примера требуют использования ключевого слова volatile.

Следует отметить, что volatileне обеспечивает безопасность потоков по ряду причин. Чтобы убедиться, что объект является потокобезопасным, операции чтения/записи должны быть защищены или атомарны.

Answer 2

Единственными нелокальными значениями, которые вы можете изменить из обработчика сигнала, являются значения типа volatile sig_atomic_t и атомных типов. В частности, запись на ваш volatile int разрешена , а не, и если ваш обработчик сигналов работает, вы имеете неопределенное поведение.