ManualResetEventSlim: Вызов .Set(), за которым следует сразу .Reset() не выпускает * любые * ожидающие потоки

ManualResetEventSlim: Вызов .Set(), за которым следует немедленно .Reset() не освобождает ожидающие потоки

(Примечание: это также происходит с ManualResetEvent, а не только с ManualResetEventSlim.)

Я попробовал код ниже как в режиме выпуска, так и в режиме отладки. Я запускаю его как 32-битную сборку с использованием .Net 4 на 64-разрядной версии Windows 7 на четырехъядерном процессоре. Я скомпилировал его из Visual Studio 2012 (поэтому установлен .Net 4.5).

Вывод, когда я запускаю его в моей системе:

Waiting for 20 threads to start
Thread 1 started.
Thread 2 started.
Thread 3 started.
Thread 4 started.
Thread 0 started.
Thread 7 started.
Thread 6 started.
Thread 5 started.
Thread 8 started.
Thread 9 started.
Thread 10 started.
Thread 11 started.
Thread 12 started.
Thread 13 started.
Thread 14 started.
Thread 15 started.
Thread 16 started.
Thread 17 started.
Thread 18 started.
Thread 19 started.
Threads all started. Setting signal now.

0/20 threads received the signal.

Таким образом, установка, а затем сразу же сброс события не выпустила нить. Если вы раскомментируете Thread.Sleep(), то все они будут выпущены.

Это кажется несколько неожиданным.

Есть ли у кого есть объяснение?

using System;
using System.Threading;
using System.Threading.Tasks;

namespace Demo
{
    public static class Program
    {
        private static void Main(string[] args)
        {
            _startCounter = new CountdownEvent(NUM_THREADS); // Used to count #started threads.

            for (int i = 0; i < NUM_THREADS; ++i)
            {
                int id = i;
                Task.Factory.StartNew(() => test(id));
            }

            Console.WriteLine("Waiting for " + NUM_THREADS + " threads to start");
            _startCounter.Wait(); // Wait for all the threads to have called _startCounter.Signal() 
            Thread.Sleep(100); // Just a little extra delay. Not really needed.
            Console.WriteLine("Threads all started. Setting signal now.");
            _signal.Set();
            // Thread.Sleep(50); // With no sleep at all, NO threads receive the signal.
            _signal.Reset();
            Thread.Sleep(1000);
            Console.WriteLine("\n{0}/{1} threads received the signal.\n\n", _signalledCount, NUM_THREADS);
            Console.WriteLine("Press any key to exit.");
            Console.ReadKey();
        }

        private static void test(int id)
        {
            Console.WriteLine("Thread " + id + " started.");
            _startCounter.Signal();
            _signal.Wait();
            Interlocked.Increment(ref _signalledCount);
            Console.WriteLine("Task " + id + " received the signal.");
        }

        private const int NUM_THREADS = 20;

        private static readonly ManualResetEventSlim _signal = new ManualResetEventSlim();
        private static CountdownEvent _startCounter;
        private static int _signalledCount;
    }
}

Примечание. Этот вопрос задает аналогичную проблему, но у него нет ответа (кроме подтверждения того, что да, это может произойти).

Проблема с ManualResetEvent, не отделяющая все ожидающие потоки последовательно

---

[EDIT]

Как отмечает Йен Гриффитс, ответ заключается в том, что используемый Windows API не предназначен для поддержки этого.

Прискорбно, что документация Microsoft для ManualResetEventSlim.Set() неверно заявляет, что она

Устанавливает состояние события, которое сигнализируется, что позволяет одному или нескольким потоки, ожидающие продолжения события.

Ясно, что "один или несколько" должны быть "ноль или больше".