Если у меня есть код, который выглядит примерно так:
typedef struct {
bool some_flag;
pthread_cond_t c;
pthread_mutex_t m;
} foo_t;
// I assume the mutex has already been locked, and will be unlocked
// some time after this function returns. For clarity. Definitely not
// out of laziness ;)
void check_flag(foo_t* f) {
while(f->flag)
pthread_cond_wait(&f->c, &f->m);
}
Есть ли что-нибудь в стандарте C, мешающее оптимизатору переписать check_flag как:
void check_flag(foo_t* f) {
bool cache = f->flag;
while(cache)
pthread_cond_wait(&f->c, &f->m);
}
Другими словами, сгенерированный код должен следовать за указателем f каждый раз в цикле, или компилятор может вытащить разыменование?
Если его можно вытащить бесплатно, есть ли способ предотвратить это? Нужно ли мне куда-нибудь добавить изменчивое ключевое слово? Это не может быть параметр check_flag, потому что я планирую использовать в этой структуре другие переменные, которые я не возражаю против такой оптимизации компилятора.
Возможно, мне придется прибегнуть к:
void check_flag(foo_t* f) {
volatile bool* cache = &f->some_flag;
while(*cache)
pthread_cond_wait(&f->c, &f->m);
}
