c# - prueba - Variante de la confusión del algoritmo de Dekker

peterson algorithm

Question

Este programa ejecuta dos hilos diferentes y me dice quién es el ganador de la "carrera".

Inesperadamente, AMBOS hilos "gana" (esperaba que alguien o nadie ganara). ¿Es este comportamiento esperado y por qué? Obviamente me falta algo fundamental aquí.

class Program
{
    public volatile static int a = 0; 
    public volatile static int b = 0;

    public static void Main()
    {
        for(int i = 0; i < 1000; i++)
        {
            a = 0; 
            b = 0;

            Parallel.Invoke(delegate { a = 1; if (b == 0) Console.WriteLine("A wins"); },
                            delegate { b = 1; if (a == 0) Console.WriteLine("B wins"); });

            Console.WriteLine(System.Environment.NewLine);

            Thread.Sleep(500);
        }
    }
}

Resultados:

A wins

B wins

A wins
B wins

A wins

...

Answer 1

Ambos ganan cuando se ejecutan en paralelo.

De la documentación ( http://msdn.microsoft.com/en-us/library/system.threading.tasks.parallel.invoke.aspx ): Ejecuta cada una de las acciones proporcionadas, posiblemente en paralelo .

Answer 2

Estás usando volátiles incorrectamente:

declarar que las variables son volátiles no es suficiente, debe asegurarse de que, dondequiera que las lea / escriba, use Thread.VolatileRead(ref myVar) / Thread.VolatileWrite(ref myVar)

Además, volátil NO garantiza el orden de lectura / escritura (de diferentes hilos), incluso si se usa correctamente. Navegue SO para obtener información sobre el tema. EDITAR: parece que funciona en una máquina de un solo núcleo x86

Simplemente podría usar la declaración de lock , pero si quiere llegar al final de esto, recomiendo leer, comprender y luego leer de nuevo este libro electrónico gratuito.

ADICIONES:
Acabo de navegar a través de la clase Parallel en .NET 4, y en ninguna parte se usa la palabra clave volatile .
También copian la matriz de Action<T> antes de pasar sobre ella por alguna razón, pero dudo que eso te impacte.