十四、Semaphore

信号量非常类似于互斥，其区别是，信号量可以同时由多个线程使用。信号量是一种计数的互斥锁定。使用信号量，可以定义允许同时访问受其锁定保护的资源的线程个数。如果需要限制可以访问可用资源的线程数，信号量就很有用。例如，如果系统有3个物理端口可用，就允许3个线程同时访问I/O端口，但第4个线程需要等待前3个线程中的一个释放资源。

.NET Core为信号量功能提供了两个类Semaphore和SemaphoreSlim。Semaphore类可以命名，使用系统范围内的资源，允许在不同进程之间同步。SemaphoreSlim类是对较短等待时间进行了优化的轻型版本。

在下面的示例应用程序中，在Main()方法中创建了6个任务和一个计数为3的信号量。在Semaphore类的构造函数中，定义了锁定个数的计数，它可以用信号量(第二个参数)来获得，还定义了最初释放的锁定数(第一个参数)。如果第一个参数的值小于第二个参数，它们的差就是已经分配线程的计数值。与互斥一样，也可以给信号量指定名称，使之在不同的进程之间共享。这里定义信号量时没有指定名称，所以它只能在这个进程中使用。在创建了Semaphore对象之后，启动6个任务，它们都获得了相同的信号量。

    class Program
    {
        static void Main(string[] args)
        {
            int taskCount = 6;
            int semaphoreCount = 3;
            var semaphore = new SemaphoreSlim(semaphoreCount,semaphoreCount);
            var tasks = new Task[taskCount];
            for (int i = 0; i < taskCount; i++)
            {
                tasks[i] = Task.Run(()=>TaskMain(semaphore));
            }
            Task.WaitAll(tasks);
            Console.WriteLine("All tasks finished");
        }
        static void TaskMain(SemaphoreSlim semaphore)
        {
            bool isCompleted = false;
            while (!isCompleted)
            {
                if (semaphore.Wait(600))
                {
                    try
                    {
                        Console.WriteLine($"Task {Task.CurrentId} locks the semaphore");
                        Task.Delay(2000).Wait();
                    }
                    finally
                    {
                        Console.WriteLine($"Task {Task.CurrentId} releases the semaphore");
                        semaphore.Release();
                        isCompleted = true;
                    }
                }
                else
                {
                    Console.WriteLine($"Timeout for task {Task.CurrentId}; wait again");
                }
            }
        }
    }

运行应用程序，可以看到有3个线程很快被锁定。ID为4、6和1的线程需要等待。该等待会重复进行，直到其中一个被锁定的线程解除了信号量。

Task 4 locks the semaphore
Task 6 locks the semaphore
Task 1 locks the semaphore
Timeout for task 2; wait again
Timeout for task 5; wait again
Timeout for task 3; wait again
Timeout for task 5; wait again
Timeout for task 2; wait again
Timeout for task 3; wait again
Timeout for task 5; wait again
Timeout for task 3; wait again
Timeout for task 2; wait again
Task 6 releases the semaphore
Task 5 locks the semaphore
Task 4 releases the semaphore
Task 1 releases the semaphore
Task 2 locks the semaphore
Task 3 locks the semaphore
Task 5 releases the semaphore
Task 3 releases the semaphore
Task 2 releases the semaphore
All tasks finished