¿Un bloqueo de mutex asegura que un hilo siempre almacenará valores actualizados en la memoria principal?
a. ¿Significa acceder a una ubicación de memoria con un bloqueo de mutex que lo que sea que el código crítico esté haciendo con las variables mutexadas terminará en la memoria principal, y no solo se actualizará dentro de la caché o registros del hilo sin una copia fresca de valores en la memoria principal?
b. Si ese es el caso, ¿no estamos ejecutando el núcleo crítico como si no tuviéramos una caché (al menos sin ubicaciones de caché para las variables de bloqueo de mutex)?
c. Y si ese es el caso, entonces ¿no es el código crítico un código pesado y debe ser lo más pequeño posible, considerando la necesidad continua de leer y escribir en la memoria principal al menos al comienzo y al final de la sesión de bloqueo de mutex?
davy.ai
a. Sí, acceder a una ubicación de memoria con un bloqueo de mutex asegura que cualquier código crítico que se esté ejecutando en variables bajo mutex terminará en la memoria principal. Esto es porque el bloqueo de mutex asegura que solo un hilo puede acceder a la variable a la vez y cualquier cambio realizado en ella será inmediatamente visible para todos los demás hilos que la acceden después de que se haya liberado el bloqueo.
b. Se puede ver como si se estuviera ejecutando el código crítico como si no tuviéramos una caché para las variables con bloqueo de mutex. Esto se debe a que cualquier cambio realizado en las variables será inmediatamente visible en la memoria principal, y no solo en la caché o registros del hilo.
c. Sí, el código crítico que involucra bloqueo de mutex debería ser lo más pequeño posible para minimizar la cantidad de veces que necesitamos acceder a la memoria principal. Esto se debe a que acceder a la memoria principal suele ser más lento que acceder a la caché o registros, y puede tener un impacto significativo en el rendimiento del código. Minimizar la cantidad de tiempo dedicado a acceder a la memoria principal puede ayudar a mejorar el rendimiento general del sistema.