Diferencias entre variables condicionales, Mutexes y Bloqueos

En la página a la que se refiere, "mutex" es la primitiva de sincronización de bajo nivel real. Puede tomar un mutex y luego liberarlo, y solo un hilo puede tomarlo en un solo momento (por lo tanto, es una primitiva de sincronización). Un mutex recursivo es uno que puede ser tomado por el mismo hilo varias veces, y luego necesita ser liberado tantas veces por el mismo hilo antes de que otros puedan tomarlo.

Un" lock " aquí es solo una clase de envoltura de C++ que toma un mutex en su constructor y lo libera en el destructor. Es útil para establecer la sincronización para los ámbitos de C++.

Una variable de condición es una forma más avanzada / de alto nivel de sincronización primitiva que combina un bloqueo con un mecanismo de "señalización". Se usa cuando los subprocesos necesitan esperar a que un recurso esté disponible. Un subproceso puede "esperar" en un CV y luego el productor de recursos puede "señalar" la variable, en cuyo caso los subprocesos que esperan el CV son notificados y pueden continuar la ejecución. A mutex se combina con CV para evitar la condición de carrera donde un hilo comienza a esperar en un CV al mismo tiempo que otro hilo quiere señalarlo; entonces no es controlable si la señal se entrega o se pierde.