今天 看到一道百度笔试题
以下多线程对int型变量x的操作,哪几个需要进行同步:
A. x=y; B. x++; C. ++x; D. x=1;
最初有人说选B 因为操作了2个寄存器。答案:ABC
后面干脆将代码汇编了。
得到
x = y;
00411A25 mov eax,dword ptr [y]
00411A28 mov dword ptr [x],eax
x++;
00411A2B mov eax,dword ptr [x]
00411A2E add eax,1
00411A31 mov dword ptr [x],eax
++x;
00411A34 mov eax,dword ptr [x]
00411A37 add eax,1
00411A3A mov dword ptr [x],eax
x = 1;
00411A3D mov dword ptr [x],1
我们看到ABC都对2个寄存器进行操作。
下表是一个多线程加锁的规律表
|
操作的结果与初值无关 |
操作的结果与初值相关 |
写简单数据类型 |
不需要加锁① |
需要加锁② |
写复杂数据类型 |
需要加锁③ |
需要加锁④ |
读简单数据类型 |
不需要加锁⑤ |
不需要加锁⑥ |
读复杂数据类型 |
需要加锁⑦ |
需要加锁⑧ |
写简单数据类型 不需要加锁① 需要加锁②
写复杂数据类型 需要加锁③ 需要加锁④
读简单数据类型 不需要加锁⑤ 不需要加锁⑥
读复杂数据类型 需要加锁⑦ 需要加锁⑧
可以同样看到ABC都是写简单数据类型 并且操作的结果与初值相关。所以需要加锁。即要求同步
文章出处:飞诺网(www.firnow.com):http://dev.firnow.com/course/3_program/c++/cppjs/2008717/133440.html
可以同样看到ABC都是写简单数据类型 并且操作的结果与初值相关。所以需要加锁。即要求同步
第2种情况的典型代表是“i++;”,需要对它加锁是因为它表面上虽然只有一条语句,却要执行至少两个操作,一是读出i的初始, 二是把加一后的结果写回去,两个操作就没有“原子性”了,所以需要加锁.
文章出处:飞诺网(www.firnow.com):http://dev.firnow.com/course/3_program/c++/cppjs/2008717/133440.html