简介
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个线程同时访问资源,其余线程将被阻塞,直到有线程释放资源,
这种机制常用于保护共享资源,防止数据竞争和不一致性问题。