《Windows核心编程系列》谈谈用户模式下的线程同步

发表于:2012-10-17 09:55

字体: | 上一篇 | 下一篇 | 我要投稿

 作者:ithzhang    来源:51Testing软件测试网采编

分享:

  系统中的线程必须访问系统资源,如堆、串口、文件、窗口以及其他资源。如果一个线程独占了对某个资源的访问,其他线程就无法完成工作。我们也必须限制线程在任何时刻都能访问任何资源。比如在一个线程读内存时要限制其他线程对此块内存进行写入。

  线程之间的通信很重要,尤其是在以下两种情况下:

  1:需要让多个线程同时访问一个共享资源,同时不能破坏资源的完整性。

  2:一个线程需要通知其他线程某项任务已经完成。

  线程同步包括许多方面,windows提供了许多基础设施使线程同步变得容易。

  用户模式下的线程同步:方法一,原子访问

  线程同步的一大部分与原子访问有关。所谓原子访问,指的是一个线程在访问某个资源的同时能够保证没有其他线程会在同一时刻访问统一资源。

  比如有全局变量a=0;有两个线程同时对一全局变量进行a++操作,然后返回结果。那么最后a是多少呢?让我们从汇编代码上分析一下。

  A++编译器会编译成两行代码:

Mov eax ,[a]
Inc eax
Mov [a],eax

  如果一切正常的情况下,两个线程顺序执行:

Mov eax ,[a]
Inc eax
Mov [a],eax
Mov eax ,[a]
Inc eax
Mov [a],eax

  a的值是2,这是毫无疑义的。

  但是由于windows是抢占式操作系统,系统可能在任何时刻暂停执行一个线程。基于此,前面的代码可能会按下面的顺序执行:

Mov eax,[a]
Inc eax
Mov eax,[a]
Inc eax
Mov [a],eax
Mov [a],eax

  如果按照这种顺序执行,a的值最终应该是1,而不是2。这看起来很不可思议。但是由于我们无法对windows的调度进行控制,在这样的一个环境编程会让程序员崩溃。

  为了解决这个问题,我们需要一种方法能够保证对一个值的递增操作是原子操作。Interlocked系列函数提供了我们需要的解决方案。所有这些函数会以原子方式来操控一个值。

LONG InterlockedExchangeAdd(
  PLONG volatile plAddend,
  LONG lIncrement);
LONGLONG InterlockedExchangeAdd64(
  PLONGLONG volatile pllAddend,
  LONGLONG llIncrement);

  为上述两个函数传入一个长整形变量的地址和一个增量值,函数就会保证递增操作是以原子方式进行的。

51/512345>
《2023软件测试行业现状调查报告》独家发布~

关注51Testing

联系我们

快捷面板 站点地图 联系我们 广告服务 关于我们 站长统计 发展历程

法律顾问:上海兰迪律师事务所 项棋律师
版权所有 上海博为峰软件技术股份有限公司 Copyright©51testing.com 2003-2024
投诉及意见反馈:webmaster@51testing.com; 业务联系:service@51testing.com 021-64471599-8017

沪ICP备05003035号

沪公网安备 31010102002173号