.NET中保证线程安全的高级方法Interlocked类使用介绍

 更新时间:2020年6月25日 11:36  点击:1600

说到线程安全,不要一下子就想到加锁,尤其是可能会调用频繁或者是要求高性能的场合。

对于性能要求不高或者同步的对象数量不多的时候,加锁是一个比较简单而且易于实现的选择。比方说.NET提供的一些基础类库,比如线程安全的堆栈和队列,如果使用加锁的方式那么会使性能大打折扣(速度可能会降低好几个数量级),而且如果设计得不好的话还有可能发生死锁。

现在通过查看微软的源代码来学习一些不直接lock(等价于Monitor类)的线程同步技巧吧。

这里我们主要用的是Interlocked类,这个类按照M$的描述,是“为多个线程共享的变量提供原子操作”,当然这个类是一个静态类。这个类的源代码看不到,因为是调用的CLR内部的方法,不过基本思想应该是通过硬件原语try and set来实现的。

该类提供的Add、Increment、Decrement能够完成简单的原子操作。

假如我们要提供一个计数器,每访问一次就递增地返回一个新的数值用于计数。在多线程环境下,s++这一条语句不是线程安全的。因为执行这个语句要经过:移到寄存器(读取)、运算、写入这几个步骤,在任何时候都可能会切换到其他线程,这样子s被多个线程访问值可能会在切换的过程中丢失。有了Interlocked提供的这几个原子操作的方法,就不用自己去加锁实现这些简单的运算了。由于是使用的硬件原语,其效率自然也比加锁高得多。

但是大多数情况下,问题并没有执行相加相减运算那么简单,这时如果不想用锁的话就要想想办法了。

以微软的ConcurrentStack提供的线程安全的堆栈为例,分析一下如何实现如果往栈头添加数据。

m_head是指向堆顶的指针,在定义的时候由于是多线程访问的,所以要加上volatile修饰符:

复制代码 代码如下:

private volatile Node m_head;

如果是单线程的,那么入栈语句就是下面这个样子:

复制代码 代码如下:

1.    Node newNode = new Node(item);
2.    newNode.m_next = m_head;
3.    m_head = newNode;

假如有两个线程并发访问入栈方法的话,那么可能会产生如下情况:第一个线程执行完第二条语句被打断,第二个线程执行到第二条语句又切换回第一个线程,两个线程执行完后有一个入栈的元素就不见了。那么如何实现线程安全呢?M$的代码是这样写的:

复制代码 代码如下:

Node newNode = new Node(item);
newNode.m_next = m_head;
if (Interlocked.CompareExchange(ref m_head, newNode, newNode.m_next) == newNode.m_next)
{
    return;
}

// If we failed, go to the slow path and loop around until we succeed.
PushCore(newNode, newNode);


首先,Interlocked.CompareExchange比较两个元素是否相等,并根据比较的结果替换其中一个元素,返回结果始终是第一个元素的原值。这个方法是原子操作。

那么这段代码首先设置newNode的下一节点为堆栈顶部的元素,接下来CompareExchange,判断栈顶元素有没有被修改过。假如此时没有另一个线程修改栈顶元素,那么m_head还是原来的值(上一条语句设置的新栈顶的下一个元素),此时就可以安全地把栈顶指针指向新元素,操作完成(return)。注意CompareExchange是原子操作的,所以在这期间栈顶元素不可能再被修改。

如果比较结果不相等,那么说明栈顶元素已经被其他线程修改了(此时返回值就是被修改后的栈顶,和上一条语句设置m_next不一样),这样CompareExchange就不会修改m_head,说明入栈不成功,执行PushCore方法。


这个东东的代码如下:

复制代码 代码如下:

        private void PushCore(Node head, Node tail)
        {
            SpinWait spin = new SpinWait();

            // Keep trying to CAS the exising head with the new node until we succeed.
            do
            {
                spin.SpinOnce();
                // Reread the head and link our new node.
                tail.m_next = m_head;
            }
            while (Interlocked.CompareExchange(
                ref m_head, head, tail.m_next) != tail.m_next);

#if !FEATURE_PAL && !FEATURE_CORECLR
            if (CDSCollectionETWBCLProvider.Log.IsEnabled())
            {
                CDSCollectionETWBCLProvider.Log.ConcurrentStack_FastPushFailed(spin.Count);
            }
#endif //!FEATURE_PAL && !FEATURE_CORECLR
        }


可以看到其逻辑还是和上面那个一样,只是加了一个循环直到操作完成。在这期间使用了一个SpinWait对象和SpinOnce方法,那么我们又要了解一下这是干嘛的。

关于SpinWait对象,M$的说明是:System.Threading.SpinWait 是一个轻量同步类型,可以在低级别方案中使用它来避免内核事件所需的高开销的上下文切换和内核转换。

关于它的说明还有一堆,你可以参考这里。如果不想看那么多,那么只需了解它的使用场合是在资源不会被占用很长时间的时候进行等待,以用户模式自旋以避免高额的开销。

SpinOnce的说明很简单,就是执行单一自旋,可以理解为等待一个很短的时间。总的来说,当自旋此时达到5次时,会切换到同一处理器上的另一个线程,当达到20次时,会调用Thread的Sleep方法阻塞当前线程,此时可以切换到其他同优先级或更高优先级的线程上去。

这样,就可以避免加锁(lock free)的高昂代价来实现线程的同步。

但是有的时候我们不能保证线程安全。比如堆栈的Count属性,在程序调用这个属性后,我们并不能保证这个属性返回的时候是正确的,在返回到应用程序的线程前元素数量是有可能变化的,因此我们也就只能保证我们的返回值曾经正确。

不过显而易见,这是可以接受的。对于开发者来说,假如我们要访问一个多线程字典(ConcurrentDictionary)中的指定元素,我们不应该是先判断是否为空再取元素(因为元素可能在这两步操作之间被删掉),而是应该使用TryGetValue这种保证线程安全的方法来进行操作。

[!--infotagslink--]

相关文章

  • ASP.NET购物车实现过程详解

    这篇文章主要为大家详细介绍了ASP.NET购物车的实现过程,文中示例代码介绍的非常详细,具有一定的参考价值,感兴趣的小伙伴们可以参考一下...2021-09-22
  • .NET Core下使用Kafka的方法步骤

    这篇文章主要介绍了.NET Core下使用Kafka的方法步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-09-22
  • 在ASP.NET 2.0中操作数据之七十二:调试存储过程

    在开发过程中,使用Visual Studio的断点调试功能可以很方便帮我们调试发现程序存在的错误,同样Visual Studio也支持对SQL Server里面的存储过程进行调试,下面就让我们看看具体的调试方法。...2021-09-22
  • Win10 IIS 安装.net 4.5的方法

    这篇文章主要介绍了Win10 IIS 安装及.net 4.5及Win10安装IIS并配置ASP.NET 4.0的方法,本文给大家介绍的非常详细,具有一定的参考借鉴价值,需要的朋友可以参考下...2021-09-22
  • 详解.NET Core 3.0 里新的JSON API

    这篇文章主要介绍了详解.NET Core 3.0 里新的JSON API,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-09-22
  • .net数据库操作框架SqlSugar的简单入门

    这篇文章主要介绍了.net数据库操作框架SqlSugar的简单入门,帮助大家更好的理解和学习使用.net技术,感兴趣的朋友可以了解下...2021-09-22
  • ASP.NET Core根据环境变量支持多个 appsettings.json配置文件

    这篇文章主要介绍了ASP.NET Core根据环境变量支持多个 appsettings.json配置文件,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-09-22
  • 记一次EFCore类型转换错误及解决方案

    这篇文章主要介绍了记一次EFCore类型转换错误及解决方案,帮助大家更好的理解和学习使用asp.net core,感兴趣的朋友可以了解下...2021-09-22
  • 详解ASP.NET Core 中基于工厂的中间件激活的实现方法

    这篇文章主要介绍了ASP.NET Core 中基于工厂的中间件激活的实现方法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下...2021-09-22
  • C#使用Ado.Net更新和添加数据到Excel表格的方法

    这篇文章主要介绍了C#使用Ado.Net更新和添加数据到Excel表格的方法,较为详细的分析了OLEDB的原理与使用技巧,可实现较为方便的操作Excel数据,需要的朋友可以参考下...2020-06-25
  • .NET C#利用ZXing生成、识别二维码/条形码

    ZXing是一个开放源码的,用Java实现的多种格式的1D/2D条码图像处理库,它包含了联系到其他语言的端口。这篇文章主要给大家介绍了.NET C#利用ZXing生成、识别二维码/条形码的方法,文中给出了详细的示例代码,有需要的朋友们可以参考借鉴。...2020-06-25
  • asp.net通过消息队列处理高并发请求(以抢小米手机为例)

    这篇文章主要介绍了asp.net通过消息队列处理高并发请求(以抢小米手机为例),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2021-09-22
  • ASP.NET单选按钮控件RadioButton常用属性和方法介绍

    RadioButton又称单选按钮,其在工具箱中的图标为 ,单选按钮通常成组出现,用于提供两个或多个互斥选项,即在一组单选钮中只能选择一个...2021-09-22
  • ASP.NET 2.0中的数据操作:使用两个DropDownList过滤的主/从报表

    在前面的指南中我们研究了如何显示一个简单的主/从报表, 该报表使用DropDownList和GridView控件, DropDownList填充类别,GridView显示选定类别的产品. 这类报表用于显示具有...2016-05-19
  • 详解.NET Core 使用HttpClient SSL请求出错的解决办法

    这篇文章主要介绍了.NET Core 使用HttpClient SSL请求出错的解决办法,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧...2021-09-22
  • Python调用.NET库的方法步骤

    这篇文章主要介绍了Python调用.NET库的方法步骤,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧...2020-05-09
  • ASP.NET中iframe框架点击左边页面链接 右边显示链接页面内容

    这篇文章主要介绍了ASP.NET中iframe框架点击左边页面链接,右边显示链接页面内容的实现代码,感兴趣的小伙伴们可以参考一下...2021-09-22
  • 创建一个完整的ASP.NET Web API项目

    ASP.NET Web API具有与ASP.NET MVC类似的编程方式,ASP.NET Web API不仅仅具有一个完全独立的消息处理管道,而且这个管道比为ASP.NET MVC设计的管道更为复杂,功能也更为强大。下面创建一个简单的Web API项目,需要的朋友可以参考下...2021-09-22
  • ASP.NET连接MySql数据库的2个方法及示例

    这篇文章主要介绍了ASP.NET连接MySql数据库的2个方法及示例,使用的是MySQL官方组件和ODBC.NET,需要的朋友可以参考下...2021-09-22
  • Asp.Net使用Bulk实现批量插入数据

    这篇文章主要介绍了Asp.Net使用Bulk实现批量插入数据的方法,对于进行asp.net数据库程序设计非常有借鉴价值,需要的朋友可以参考下...2021-09-22