оложим, что у нас есть следующий фрагмент кода:

#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>

void guarantee(bool cond, const char *msg) {
    if (!cond) {
        fprintf(stderr, "%s", msg);
        exit(1);
    }
}

bool do_shutdown = false;   // Not volatile!
pthread_cond_t shutdown_cond = PTHREAD_COND_INITIALIZER;
pthread_mutex_t shutdown_cond_mutex = PTHREAD_MUTEX_INITIALIZER;

/* Called in Thread 1. Intended behavior is to block until
trigger_shutdown() is called. */
void wait_for_shutdown_signal() {

    int res;

    res = pthread_mutex_lock(&shutdown_cond_mutex);
    guarantee(res == 0, "Could not lock shutdown cond mutex");

    while (!do_shutdown) {   // while loop guards against spurious wakeups
        res = pthread_cond_wait(&shutdown_cond, &shutdown_cond_mutex);
        guarantee(res == 0, "Could not wait for shutdown cond");
    }

    res = pthread_mutex_unlock(&shutdown_cond_mutex);
    guarantee(res == 0, "Could not unlock shutdown cond mutex");
}

/* Called in Thread 2. */
void trigger_shutdown() {

    int res;

    res = pthread_mutex_lock(&shutdown_cond_mutex);
    guarantee(res == 0, "Could not lock shutdown cond mutex");

    do_shutdown = true;

    res = pthread_cond_signal(&shutdown_cond);
    guarantee(res == 0, "Could not signal shutdown cond");

    res = pthread_mutex_unlock(&shutdown_cond_mutex);
    guarantee(res == 0, "Could not unlock shutdown cond mutex");
}

Может ли совместимый со стандартами компилятор C / C ++ когда-либо кэшировать значениеdo_shutdown в регистре через вызовpthread_cond_wait()? Если нет, то какие стандарты / положения гарантируют это?

Компилятор мог гипотетически знать, чтоpthread_cond_wait() не модифицируетdo_shutdown, Это кажется невероятным, но я не знаю ни одного стандарта, который бы мешал этому.

На практике любые компиляторы C / C ++ кэшируют значениеdo_shutdown в регистре через вызовpthread_cond_wait()?

Какие вызовы функций гарантированно компилятором не кэшировать значениеdo_shutdown через? Понятно, что если функция объявлена ​​извне и компилятор не может получить доступ к ее определению, он не должен делать никаких предположений относительно ее поведения, поэтому он не может доказать, что он не имеет доступаdo_shutdown, Если компилятор может встроить функцию и доказать, что она не имеет доступаdo_shutdown, тогда он может кешироватьdo_shutdown даже в многопоточном режиме? Как насчет не встроенной функции в том же модуле компиляции?