第八章 用户模式下的线程同步

8.1 原子访问:Interlocked系列函数

原子访问: 一个线程在访问某个资源的同时能够保证没有其他线程会在同一时刻访问同一资源。
InterlockedExchanAddInterlockedExchangeAdd64

LONG InterlockedExchangeAdd(
  PLONG volatile plAddend,
  LONG lIncrement);
LONGLONG InterlockedExchangeAdd64(
  PLONGLONG volatile pllAddend,
  LONG llIncrement); // 该函数针对LONGLONG类型的

【注意】使用这些函数的时候需要保证传给这些函数的变量地址是对其的,否则这些函数可能会失败。

C运行库提供了一个_aligned_malloc函数,可以用这个函数来分配一块对其的内存。

void* _aligned_malloc(size_t size, size_t alignment); 
// alignment表示要对齐到的字节边界。

下面为其他的Interlocked函数:

LONG InterlockedExchange(
  PLONG volatile plTarget,
  LONG lValue);
LONGLONG InterlockedExchange64(
  PLONGLONG volatile plTarget,
  LONG lValue); // 该函数针对LONGLONG类型的
PVOID InterlockedExchangePointer(
  PVOID* volatile ppvTarget,
  PVOID pvValue);
PLONG InterlockedCompareExchanged(
  PLONG plDestination,
  LONG lExchange,
  LONG lComparand);
PLONG InterlockedCompareExchangedPointer(
  PVOID* ppvDestination,
  PVOID pvExchange,
  PVOID pvCompared);

InterlockedExchangeInterlockedExchangePointer会把第一个参数指向的内存地址的当前值,以原子方式替换为第二个参数指定的值。
如果线程只需要读取一个值的内容,而这个值始终是通过Interlocked函数此前该的,那么读到的值不会有问题。
当多个进程需要对访问一个共享内存段(比如内存映射文件) 中的值进行同步时, 也可以使用Interlocked函数。

函数 描述
InitializeSListHead 创建一个空栈
InterlockedPushEntrySList 在栈顶添加一个元素
InterlockedPopEntrySList 一处位于栈顶的元素并将它返回
InterlockedFlushSList 清空栈
QueryDepthSList 返回栈中元素的数量

表8-1 Interlocked单向链表函数

函数 描述
InitializeSListHead 创建一个空栈
InterlockedPushEntrySList 在栈顶添加一个元素
InterlockedPopEntrySList 一处位于栈顶的元素并将它返回
InterlockedFlushSList 清空栈
QueryDepthSList 返回栈中元素的数量

8.2 高速缓存行

当CPU从内存行中读取一个字节的时候,是取回一个高速缓存行。
既不应该使用旋转锁,也不应该进行轮循,而应该调用函数吧线程切换为等待状态,知道线程想要访问的资源可供使用为止。
volatile限定符告诉编译器不要对这个变量进行任何形式的优化,而是始终从变量在内存中的位置读取变量的值。
给一个结构加volatile限定符等于给结构中所有的成员加volatile限定符,这样可以确保任何一个成员始终都是从内存中读取的。

8.4 关键段

关键段是一小段代码,它在执行之前需要独占对一些共享资源的访问权。

const int COUNT = 10;
int g_nSum = 0;
CRITICAL_SECTION g_cs;
DWORD WINAPI FirstThread(PVOID pvParam)
{
    EnterCriticalSection(&g_cs); //传入的是g_cs的地址
    g_nSum = 0;
    for(int n = 1; n <= COUNT; n++)
      g_nSum += n;
  LeaveCriticalSection(&g_cs);
  return g_nSum;
}
DWORD WINAPI SecondThread(PVOID pvParam)
{
    EnterCriticalSection(&g_cs);
    g_nSum = 0;
    for(int n = 1; n <= COUNT; n++)
      g_nSum += n;
  LeaveCriticalSection(&g_cs);
  return g_nSum;
}

当有一个资源让多个线程访问的时候,应该创建一个CRITICAL_SECTION结构。
【注意】在调用EnterCriticalSectionLeaveCriticalSection的时候,传入的是CRITICAL_SECTION结构的地址。
关键段最大的缺点是,无法用在多个进程之间的线程同步

使用CRITICAL_SECTION所需的两个必要的条件:

  • 所有想要访问资源的线程必须知道该结构的地址
  • 在任何线程试图访问保护资源之前,必须对该结构进行初始化
VOID InitializeCritcalSection(PCRITICAL_SECTION pcs);

不再需要访问共享资源的时候,调用:

VOID DeleteCritcalSection(PCRITICAL_SECTION pcs);

TryEnterCriticalSection可以用来代替EnterCriticalSection

BOOL TryEnterCriticalSection(PCRITICAL_SECTION pcs);

其不会让调用线程进入等待状态, 其会通过返回值表示调用的线程是否获准访问资源。

关键段和旋转锁

为了在使用关键段的同时使用旋转锁,必须调用以下的函数来初始化关键段:

BOOL IniticalizeCriticalSectionAndSpinCount(
    PCRITICAL_SECTION pcs,
    DWORD dwSpinCount); //旋转锁循环的次数

【注意】如果主机只有一个处理器,函数会忽略dwSpinCount参数。

8.5 Slim读/写锁

SRWLock的功能:

  • 区分读取资源值的线程(读取者线程)和更新资源值的线程(写入者线程)
  • 读取者线程在同一时刻可以访问共享资源
  • 写入者线程独占对资源的访问权,任何其他线程都不允许访问资源。

使用步骤:

VOID InitializeSRWLock(PSRWLOCK SRWLock); 
// 分配一个SRWLock结构并初始化
VOID AcquireSRWlockExclusive(PSRWLOCK SRWLock);
//参数为SRWLock对象地址,尝试获得对被保护的资源的独占访问权
VOID ReleaseSRWLockLockExclusive(PSRWLOCK SRWLock);

总结
在应用程序中若想获得最佳性能,首先应该尝试不要共享数据,然后依次使用volatile读取,volatile写入,Interlocked API,SRWLock以及关键段。当这些条件不满足要求的时候,再使用内核对象。

8.6 条件变量

SleepConditionVariableCSSleepConditionVariableSRW

BOOL SleepConditonVariable(
    PCONDITION_VARIABLE pConditionVariable,
    PCRITICAL_SECTION pCriticalSection,
    DWORD dwMilliseconds);
BOOL SleepConditionVariableSRW(
    PCONDITION_VARIABLE pConditionVariable,
    PSRWLOCK pSRWLock,
    DWROD dwMilliseconds,
    ULONG Flags);

参数:

  • pConditionVariable: 指向已初始化的条件变量,调用线程正在等待该条件变量。
  • pCriticalSection:指向关键段或者SRWLock的指针
  • dwMilliseconds:线程等待条件变量被触发的时间。
  • Flags:线程已何种方式得到锁:0 ,针对写入者线程,表示独占对资源的访问;CONDITION_VARIABLE_LOCKMODE_SHARED,针对读写者线程,共享对资源的访问。

当另一个线程检测到相应的条件已经满足的时候,它会调用WakeConditionVariableWakeAllConditionVariable
这样阻塞在Sleep*函数中的线程就会被唤醒。

VOID WakeConditionVariable(
  PCONDITION_VARIABLE ConditionVariable);
VOID WakeAllConditionVariable(
  PCONDITION_VARIABLE ConditionVariable);
一些有用的技巧和窍门
  • 以原子方式操作一组对象时使用一个锁
  • 同时访问多个逻辑资源
    在代码中的任何地方以完全相同的顺序来获得资源的锁。
DWORD WINAPI ThreadFunc(PVOID pvParam)
{
  EnterCritcalSection(&g_csResource1);
  EnterCritcalSection(&g_csResource2);
  .....
  LeaveCritcalSection(&g_csResource1);
  LeaveCritcalSection(&g_csResource2);
  reutrn 0;
}
DWORD WINAPI OtherThreadFunc(PVOID pvParam)
{
  EnterCritcalSection(&g_csResource2);
  EnterCritcalSection(&g_csResource1);
  .....
  LeaveCritcalSection(&g_csResource1);
  LeaveCritcalSection(&g_csResource2);
  reutrn 0;
}
//这两个函数的编写方式,有可能造成死锁。
  • 不要太长时间占用锁
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 199,902评论 5 468
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,037评论 2 377
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 146,978评论 0 332
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 53,867评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 62,763评论 5 360
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,104评论 1 277
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,565评论 3 390
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,236评论 0 254
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,379评论 1 294
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,313评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,363评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,034评论 3 315
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,637评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,719评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,952评论 1 255
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,371评论 2 346
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 41,948评论 2 341

推荐阅读更多精彩内容

  • 从三月份找实习到现在,面了一些公司,挂了不少,但最终还是拿到小米、百度、阿里、京东、新浪、CVTE、乐视家的研发岗...
    时芥蓝阅读 42,160评论 11 349
  • Java8张图 11、字符串不变性 12、equals()方法、hashCode()方法的区别 13、...
    Miley_MOJIE阅读 3,681评论 0 11
  • 引用自多线程编程指南应用程序里面多个线程的存在引发了多个执行线程安全访问资源的潜在问题。两个线程同时修改同一资源有...
    Mitchell阅读 1,967评论 1 7
  • 很久不曾提笔写那些断章取义、浓愁不散的句子,很久了,久到自己都忘了时日,如果我说你改变了我、是你让我在浮夸的世...
    口袋姑娘55阅读 167评论 0 0
  • 《浮生楼》目录 【前幕】 诉愿间里。 素纱笼的昏黄烛光下,丹羽轻依在太师椅上,白玉般的纤手支着脑袋,秋水眸子看着眼...
    梁暔阅读 593评论 0 9