¿Cómo se maneja el trabajo con hilos (threads) y tareas (tasks) cuando varios de ellos acceden a un estado común?

Para acceder de manera segura al estado compartido en un entorno multihilo, se utilizan mecanismos de sincronización.

Enfoques principales:

• Bloqueos: lock es el mecanismo más común. Garantiza acceso exclusivo a un bloque de código o a un objeto para un solo hilo a la vez. Mutex (exclusión mutua) también se usa, pero a menudo en interacción entre procesos.
• Semánticas: Limitan la cantidad de hilos que pueden acceder simultáneamente a un recurso.
• Monitor: Es una versión más potente de lock, que permite a los hilos esperar notificaciones de otros hilos.
• ReadWriteLock: Permite que múltiples hilos lean datos de manera concurrente, pero solo un hilo pueda escribir.
• Operaciones atómicas: Para operaciones simples (incremento, decremento, comparación-intercambio), se pueden usar métodos estáticos de la clase Interlocked.

Al trabajar con tareas (Tasks), especialmente usando async/await, es importante recordar que las tareas no están vinculadas a un hilo específico. Los contextos de sincronización (SynchronizationContext) ayudan a volver al contexto necesario (por ejemplo, el hilo de la interfaz de usuario) después de completar una operación asíncrona.

Ejemplo de uso de lock:

// Objeto para bloqueo
private readonly object _lockObject = new object();
private int _sharedCounter = 0;

public void IncrementCounter()
{
    // Bloquea el acceso al contador compartido
    lock (_lockObject)
    {
        _sharedCounter++;
    }
}

Ejemplo de uso de Interlocked:

private int _sharedAtomicCounter = 0;

public void IncrementAtomicCounter()
{
    // Incremento atómico
    Interlocked.Increment(ref _sharedAtomicCounter);
}