多线程若干问
Contents
[NOTE] Updated August 27, 2023. This article may have outdated content or subject matter.
顺序性
原子性
可见性 当一个线程修改了某一个全局共享变量的数值,其他线程是否能够知道这个修改。
i++
问题
i 初始值为 0,两个线程同时执行
i++
,各执行 100 次后 i 的最终结果是多少?
i++
不是原子操作,也就是说,它不是单独一条指令,而是3条指令:
R[eax] = i
: 从内存中把i的值取出来放到CPU的寄存器中R[eax]+= 1
: CPU寄存器的值+1i = R[eax]
: 把CPU寄存器的值写回内存
多核CPU最小值为2,最大值200
i++
是由3条指令构成的运算操作,两个线程在i变量上共计需要执行100(次循环)*3(条指令)*2(个线程)=600条指令,这600条指令在某种排列下会导致最终i的值仅为2。
假设两个线程的执行步骤如下:
- 线程A执行第一次i++,取出内存中的i,值为0,存放到寄存器后执行加1,此时CPU1的寄存器中值为1,内存中为0;
- 线程B执行第一次i++,取出内存中的i,值为0,存放到寄存器后执行加1,此时CPU2的寄存器中值为1,内存中为0;
- 线程A继续执行完成第99次i++,并把值放回内存,此时CPU1中寄存器的值为99,内存中为99;
- 线程B继续执行第一次i++,将其值放回内存,此时CPU2中的寄存器值为1,内存中为1;
- 线程A执行第100次i++,将内存中的值取回CPU1的寄存器,并执行加1,此时CPU1的寄存器中的值为2,内存中为1;
- 线程B执行完所有操作,并将其放回内存,此时CPU2的寄存器值为100,内存中为100;
- 线程A执行100次操作的最后一部分,将CPU1中的寄存器值放回内存,内存中值为2;
单核CPU最小值为100,最大值200
两个线程分别记为线程1和线程2,i++
相当于取出i的值,加1,再放回去
第一种极端情况:每次线程一取出i的值后CPU时间切换到线程二,线程二也取出i的值,取到的值和线程一相等,线程二给i加一后放回去,线程一也将i加一后放回去,放回去的值也相等,相当于两个线程都执行一次i++操作,i的值只增加1,这样操作100次i的值为100
第二种极端情况:线程一和线程二间隔操作,即线程一对i++
操作完成,把已经加一的数据放回去之后线程二再操作,轮流进行,最后每个线程都对i加了100次,i 的值为200