为什么这个SemaphoreSlim会无限期地等待？

Question

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

namespace ConsoleApp2
{
    class Program
    {
        static void Main(string[] args)
        {
            Task.Run(Test);
            Console.ReadKey();
        }

        public static async Task Test()
        {
            var semahore = new SemaphoreSlim(0, 1);
            Console.WriteLine("before");
            await semahore.WaitAsync();
            Console.WriteLine("after");
        }
    }
}

我创建一个限制为1且当前值为0的信号量.它应该允许1个线程通过,对吧？为什么它不在这个例子中？

Answer 1

我创建一个限制为1且当前值为0的信号量.它应该允许1个线程通过,对吧？

否 - 当前值为0,与您编写的完全一样.

信号值计算下来时,他们期待已久的-计数有效地"令牌可以被获取的数量".来自文档:

每次线程进入信号量时计数递减,并且每次线程释放信号量时递增.要输入信号量,线程会调用其中一个Wait或WaitAsync重载.要释放信号量,它会调用Release重载之一.当计数达到零时,后续调用其中一个Wait方法阻塞,直到其他线程释放信号量.

如果你想创建一个信号量,它将立即允许一个线程等待它并"通过",你应该创建一个初始值为1而不是0的信号量.