C#开发者(面试者)都会遇到lock(Monitor),Mutex,Semaphore,SemaphoreSlim这四个与锁相关的C#类型,本文期望以最简洁明了的方式阐述四种对象的区别。

什么叫线程安全?

教条式理解

如果代码在多线程环境中运行的结果与 单线程运行结果一样,其他变量值也和预期是一样的,那么线程就是安全的;

线程不安全就是不提供数据访问保护,可能出现多个线程先后修改数据造成的结果是脏数据。

实际场景理解

两个线程都为集合增加元素,我们错误的理解即使是多线程也总有先后顺序吧,集合的两个位置先后塞进去就完了;实际上集合增加元素这个行为看起来简单,实际并不一定是原子操作。

在添加一个元素的时候,它可能会有两步来完成:

  1. 在 Items[Size] 的位置存放此元素;
  2. 增大 Size 的值。
  • 在单线程运行的情况下,如果 Size = 0,添加一个元素后,此元素在位置0,之后设置Size=1;

  • 如果是在多线程场景下,有两个线程,线程A先将元素存放在位置0,但是此时CPU调度线程A暂停,线程B得到运行机会;线程B也向此ArrayList添加元素,因为此时Size仍然等于0 (注意哦,我们假设添加元素是经过两个步骤,而线程A仅仅完成了步骤1),所以线程B也将元素存放在位置0。然后线程A和线程B都继续运行,都增加 Size 的值。 那好,我们来看看ArrayList的情况,元素实际上只有一个,存放在位置 0,而Size却等于2,形成了脏数据,这种就定义为对ArrayList的新增元素操作是线程不安全的。

线程安全这个问题不单单存在于集合类,我们始终要记得:
Never ever modify a shared resource by multipie threads unless resource is thread-safe.

    • 我们对SqlServer,Mongodb,对HttpContext的访问都会涉及thread-safe, 利用C# mongodb driver操作Mongo打包时常用操作是线程安全的,Only a few of the C# Driver classes are thread safe. Among them: MongoServer, MongoDatabase, MongoCollection and MongoGridFS.

    • 对于HttpContext 静态属性的操作是线程安全的: Any public static members of this type (HttpContext) are thread safe, any instance members are not guaranteed to be thread safe. 我们常用的是HttpContext.Current

各语言推出了适用于不同范围的线程同步技术来预防以上脏数据(实现线程安全)。

C#线程同步技术

话不多说, 给出大图:

四象限对象的区别:

该线程同步技术

  •  支持线程进入的个数
  • 是否跨进程支持

上半区 lock(Monitor), Mutex(中文称为互斥锁)都只支持单线程进入被保护代码,其他线程则必须等待进入的线程完成 {Critical Section}

下半区SemaphoreSlim、Semaphore(中文称为信号量)支持并发多线程进入被保护代码,对象在初始化时会指定 最大信号灯数量,当线程请求访问资源,信号量递减,而当他们释放时,信号量计数又递增。

左半区lock (Monitor)、SemaphoreSlim 是CRL对象, 进程内线程同步 右半区Mutex,Semaphore都继承自WaitHandle对象,支持命名,是内核对象,在系统级别能支持进程间线程同步

进程间线程同步不多见(分布式锁的场景越来越多,这里按下不表),啰嗦一下常见的进程内线程同步技术:

① lock(Monitor)

开发者最常用的lock关键字,使用方式相当简单,对于单进程内线程同步相当有效,

实际上lock是Monitor的语法糖,实际的编译代码如下:

object __lockObj = x;
bool __lockWasTaken = false;
try
{
System.Threading.Monitor.Enter(__lockObj, ref __lockWasTaken);
// Your code...
}
finally
{
if (__lockWasTaken) System.Threading.Monitor.Exit(__lockObj);
}

一般使用私有静态对象作为lock(Monitor)线程同步的同步对象,那配合lock完成代码锁定的那个对象到底起什么作用呢?

这里面有个SyncBlockIndex的概念,新建的托管堆在内存表现如下:

每个堆对象: 函数表指针(这也是一个重要知识点,用于在多态中判断对象到底是哪个类型)、同步块索引、对象字段;

其中同步块索引是lock解决线程同步的关键,SyncBlockIndex是一个地址指针(传送门);

  新创建的对象objLock, 其SyncBlockindex =-1, 不指向任何有效同步块;

  调用静态类Monitor.Enter(objLock), CRL会寻找一个空闲SyncBlock并将objLock对象的SyncBlockIndex指向该块, 例如上图中ObjectA,ObjectC的SyncBlockIndex指向了2个SyncBlock;

  Exit(objLock)会将objLock对象的SyncBlockIndex重新赋为 -1, 释放出来的SyncBlock可以在将来被其他对象SyncBlockIndex引用。

②  lock(Monitor) vs SemaphoreSlim

两者都是进程内线程同步技术,SemaphoreSlim信号量支持多线程进入;

另外SemaphoreSlim 有异步等待方法,支持在异步代码中线程同步, 能解决在async code中无法使用lock语法糖的问题;

// 实例化单信号量
static SemaphoreSlim semaphoreSlim = new SemaphoreSlim(,); // 异步等待进入信号量,如果没有线程被授予对信号量的访问权限,则进入执行保护代码;否则此线程将在此处等待,直到信号量被释放为止
await semaphoreSlim.WaitAsync();
try
{
await Task.Delay();
}
finally
{
// 任务准备就绪后,释放信号灯。【准备就绪时始终释放信号量】至关重要,否则我们将获得永远被锁定的信号量
// 这就是为什么在try ... finally子句中进行发布很重要的原因;程序执行可能会崩溃或采用其他路径,这样可以保证执行
semaphoreSlim.Release();
}

总结:

从宏观上掌握 Monitor,Mutex, SemaphoreSlim,Semaphore的区别有利于形成【线程同步知识体系】;

文章着重记录 进程内线程同步技术。

Mutex vs Semaphore vs Monitor vs SemaphoreSlim的更多相关文章

  1. 线程同步 –Mutex和Semaphore

    上一篇介绍了同步事件EventWaitHandle,以及它的两个子类型AutoResetEvent和ManualResetEvent.下面接着介绍WaitHandle的另外两个子类型Mutex和Sem ...

  2. mutex与semaphore的区别

    网摘1:Mutex 的发音是 /mjuteks/ ,其含义为互斥(体),这个词是Mutual Exclude的缩写.Mutex在计算机中是互斥也就是排他持有的一种方式,和信号量-Semaphore有可 ...

  3. Mutex vs Semaphore

    What are the differences between Mutex vs Semaphore? When to use mutex and when to use semaphore? Co ...

  4. 内核必看: spinlock、 mutex 以及 semaphore

    linux 内核的几种锁介绍 http://wenku.baidu.com/link?url=RdvuOpN3RPiC5aY0fKi2Xqw2MyTnpZwZbE07JriN7raJ_L6Ss8Ru1 ...

  5. 多线程同步与并发访问共享资源工具—Lock、Monitor、Mutex、Semaphore

    “线程同步”的含义   当一个进程启动了多个线程时,如果需要控制这些线程的推进顺序(比如A线程必须等待B和C线程执行完毕之后才能继续执行),则称这些线程需要进行“线程同步(thread synchro ...

  6. C#线程/进程同步(lock、Mutex、Semaphore)

    一.lock(实质是Monitor.Enter和Monitor.Exit)(线程同步) 二.Mutex(互斥量)(线程/进程同步) Mutex有个好的特性是,如果程序结束时而互斥锁没通过Release ...

  7. multithread synchronization use mutex and semaphore

    #include <malloc.h> #include <pthread.h> #include <semaphore.h> struct job { /* Li ...

  8. 【转】深层次探讨mutex与semaphore之间的区别(下)

    原文网址:http://blog.chinaunix.net/uid-23769728-id-3173282.html 这篇博文很长,虽然这是下篇,但还没结束,benchmark方面的东西正在进行中, ...

  9. java开发中的Mutex vs Semaphore

    先看一下stackoverflow上是怎么说的吧 原文地址:http://stackoverflow.com/questions/771347/what-is-mutex-and-semaphore- ...

随机推荐

  1. Spring Boot + WebSocket 学习笔记

    首先需要了解一下背景,什么是WebSocket以及为什么要用WebSocket. 在常见的Web应用中,客户端与服务器通信,都是通过HTTP协议进行通信,客户端一次请求,服务端一次响应.而WebSoc ...

  2. jenkins自动化部署项目5 -- 系统管理-系统设置ssh配置

    [系统管理]-[系统设置] 如果应用服务(前端后台)要部署在linux服务器上,我选择的是用ssh 为了jenkins登录远程登录linux服务器可以免密登录,先配置公钥和私钥: 我是在windows ...

  3. spring定时任务-文件上传进度条

    spring定时任务 导依赖 <!-- https://mvnrepository.com/artifact/org.quartz-scheduler/quartz --> <dep ...

  4. IDEA加密算法(含所需jar包(commons-codec-1.11.jar ,bcprov-jdk15on-160.jar))

    软件设计上机实验IDEA算法: import javax.crypto.Cipher; import javax.crypto.KeyGenerator; import javax.crypto.Se ...

  5. 从零开始入门 K8s | 应用配置管理

    一.需求来源 背景问题 首先一起来看一下需求来源.大家应该都有过这样的经验,就是用一个容器镜像来启动一个 container.要启动这个容器,其实有很多需要配套的问题待解决: 第一,比如说一些可变的配 ...

  6. 初识Hiberante框架和第一个案例

    今天想回顾一下一个月前学的hibernate框架,也让我了解了持久层的概念(访问数据库). 一.ORM概念 首先提的是ORM概念,O表示Object, R表示Relation(关系),关系型数据库,如 ...

  7. 使用.Htaccess文件实现301重定向常用的七种方法

    使用.Htaccess文件实现301重定向常用的七种方法   301重定向对广大站长来说并不陌生,从网站建设到目录优化,避免不了对网站目录进行更改,在这种情况下用户的收藏夹里面和搜索引擎里面可能保存的 ...

  8. 43 道检验基础的 JavaScript 面试题

    导读 这两天的GitHub Trending repositories被一个名叫 javascript-questions的项目霸榜了,项目中记录了一些JavaScript题目. 文中有些点作者解释的 ...

  9. C#调用OpenCV开发简易版美图工具

    前言 在C#调用OpenCV其实非常简单,因为C#中有很多OPenCV的开源类库. 本文主要介绍在WPF项目中使用OpenCVSharp3-AnyCPU开源类库处理图片,下面我们先来做开发前的准备工作 ...

  10. Jenkins设置BUILD NUMBER初始值

    由于服务器迁移,需要将之前的Jenkins构建项目一并迁移,为了区分构建编号,需要将所有项目的BUILDE NUMBER 初始值定义. 网上有一些资料是更新单个项目的,我们这项目几百个,所以只好自己研 ...