lock关键字通过Monitor实现线程互斥,确保共享资源访问的原子性;其作用对象需为私有引用类型,避免字符串或公共对象,防止死锁与外部干扰;在async方法中应使用SemaphoreSlim等异步同步机制替代。
在多线程编程中,多个线程同时访问共享资源可能引发数据不一致或异常。C# 提供了lock关键字来确保同一时间只有一个线程可以进入特定代码块,从而实现线程安全。
lock的底层依赖于 .NET 的监视器(Monitor)机制,它通过管理临界区来防止竞态条件。
lock关键字的基本用法lock语句用于获取指定对象的独占锁,执行完代码块后自动释放。语法如下:lock (lockObject){// 临界区代码sharedResource++;}其中lockObject是一个引用类型的对象,通常建议使用私有的、只用于锁定的对象实例,避免外部干扰。
例如:
private readonly object _lock = new object();public void Increment(){lock (_lock){counter++;}}这段代码确保多个线程调用Increment方法时,对counter的修改是原子的。
lock背后的机制:Monitor类lock实际是System.Threading.Monitor类的语法糖。上面的 lock 块等价于:object lockObj = _lock;Monitor.Enter(lockObj);try{counter++;}finally{Monitor.Exit(lockObj);}这种结构确保即使发生异常,锁也会被正确释放。如果未配对调用Enter和Exit,可能导致死锁或资源无法释放。
C函数速查手册(CHM版)
C函数速查手册(CHM版)
下载从 .NET 4.0 起,Monitor.Enter支持传入ref bool
参数,以避免中断风险:
bool lockTaken = false;Monitor.TryEnter(lockObj, ref lockTaken);if (lockTaken){try { ... }finally { if (lockTaken) Monitor.Exit(lockObj); }}临界区与线程互斥被lock包裹的代码区域称为“临界区”。任何线程要执行该区域前,必须先获得对象的独占锁。若锁已被其他线程持有,则当前线程将阻塞,直到锁被释放。
关键点包括:
锁对象必须是引用类型,值类型不能作为 lock 目标字符串常量应避免作为锁对象,因其可能被 CLR 内部驻留(string interning),导致意外的跨对象锁定锁对象不应为this、typeof(MyClass)或公共变量,以防外部代码干扰每个独立的共享资源应使用独立的锁对象,避免不同逻辑间相互阻塞常见陷阱与最佳实践虽然lock简单易用,但不当使用仍会导致问题:死锁:两个线程互相等待对方持有的锁。例如线程 A 锁住 obj1 后尝试获取 obj2,而线程 B 已持有 obj2 并等待 obj1锁升级与性能:过度使用细粒度锁会增加开销;粗粒度锁则可能降低并发性。应根据实际访问模式设计锁策略递归锁定:同一线程可多次进入同一个 lock 块(重入),Monitor 支持此行为,计数器会递增,需对应次数退出异步方法中的lock:不要在 async 方法中直接使用 lock,因为它不能跨越 await 异步恢复。应使用SemaphoreSlim或AsyncLock替代基本上就这些。理解lock与Monitor的关系,有助于写出更安全、高效的并发代码。合理划分临界区,选择合适的同步原语,是构建稳定多线程应用的关键。
