SemaphoreSlim 轻量级的异步方法的同步访问控制

简介

  SemaphoreSlim 是 .NET 框架中的一个同步原语，用于控制对资源的并发访问。它类似于传统的信号量（Semaphore），但设计上更轻量级，适用于在单个进程内进行线程同步。

原理

  SemaphoreSlim 基于计数器来管理资源的访问。其内部维护一个计数器，该计数器表示当前可用的资源数量。当一个线程请求进入临界区时，它会检查计数器的值：

• 如果计数器大于0，表示有可用资源，计数器减1，线程进入临界区。
• 如果计数器等于0，表示没有可用资源，线程将被阻塞，直到有其他线程释放资源。

        当一个线程离开临界区时，会调用 Release 方法，这会增加计数器的值，并唤醒等待队列中的一个或多个线程（如果有的话）。

作用

  SemaphoreSlim 的主要作用是限制同时访问某一共享资源的线程数量，从而避免资源竞争和潜在的死锁问题。常见的使用场景包括：

• 控制对有限资源池（如数据库连接、文件句柄等）的访问。
• 实现限流机制，防止系统过载。
• 协调多线程任务的执行顺序。

示例代码

以下是一个简单的示例，展示了如何使用 SemaphoreSlim 来控制对资源的并发访问：

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

class Program
{
    private static readonly SemaphoreSlim _lock = new SemaphoreSlim(1, 1);; // 最多允许1个线程同时访问

    static async Task AccessResource(int id)
    {
        Console.WriteLine($"Thread {id} is waiting to access the resource...");
        await _lock.WaitAsync(); // 请求进入临界区
        try
        {
            Console.WriteLine($"Thread {id} has entered the resource.");
            await Task.Delay(2000); // 模拟资源访问
        }
        finally
        {
            Console.WriteLine($"Thread {id} is leaving the resource.");
            _lock.Release(); // 释放资源
        }
    }

    static async Task Main(string[] args)
    {
        Task[] tasks = new Task[10];
        for (int i = 0; i < 10; i++)
        {
            int id = i;
            tasks[i] = AccessResource(id);
        }
        await Task.WhenAll(tasks);
    }
}

代码说明：

1、定义 SemaphoreSlim 实例

private static readonly SemaphoreSlim _lock = new SemaphoreSlim(1, 1);

• 解释：这行代码定义了一个静态只读的 SemaphoreSlim 实例 _lock，并初始化为允许一个线程进入（初始计数为1，最大计数也为1）。
• 作用：SemaphoreSlim 是一种轻量级的同步基元，用于限制同时访问某一资源或池的线程数。在这里，它被设置为1，表示一次只能有一个线程可以进入临界区。

 2、等待信号量

await _lock.WaitAsync();

• 解释：这行代码使用 await 关键字异步等待 _lock 信号量。这意味着如果当前信号量计数大于0，则减小计数并立即返回。如果计数为0，则等待直到信号量可用。
• 作用：确保在进入临界区之前，当前线程必须获得信号量。这种机制防止多个线程同时执行临界区代码，从而避免竞态条件。

3、释放信号量

_lock.Release();

总结

        在这个示例中，最多允许1个线程同时访问资源，其余线程将被阻塞，直到有线程释放资源，

这种机制常用于保护共享资源，防止数据竞争和不一致性问题。