¿Podría explicar el principio de funcionamiento del mutex y su uso en programas multihilo?

La exclusión mutua (Mutex) es un mecanismo de sincronización que se utiliza para evitar el acceso simultáneo de múltiples hilos a un recurso compartido (por ejemplo, una variable o un archivo). El Mutex garantiza que en cada momento solo un hilo pueda poseer el bloqueo y ejecutar la sección crítica del código.

Principio de funcionamiento:

• El hilo intenta adquirir el mutex antes de entrar en la sección crítica.
• Si el mutex está libre, el hilo obtiene acceso y continúa.
• Si el mutex está ocupado por otro hilo, el hilo actual se bloquea y espera a que se libere.
• Después de terminar con el recurso, el hilo libera el mutex, permitiendo que otros hilos continúen.

En Go, esto se implementa mediante el tipo sync.Mutex:

var mu sync.Mutex
var counter int

func increment() {
    mu.Lock()         // adquirir el mutex
    counter++         // sección crítica
    mu.Unlock()       // liberar el mutex
}

El uso del mutex previene condiciones de carrera y garantiza la integridad de los datos durante la ejecución paralela.