i++语句只需要执行一条指令
但当有多个线程时,并不能保证多个线程i++,操作同一个i。因为还有寄存器的因素,多个cpu对应多个寄存器。
每次要先把i从内存复制到寄存器,然后++,然后再把i复制到内存中,这需要至少3步。
如此,假设两个线程的执行步骤如下:
i++在两个线程中执行100次的时候,由于,对于多线程,线程共用一个内存,如果线程A在寄存器中执行了加一操作而没有写入内存,那么将会切入到另一个线程进行加一操作,在进程来回转换的过程中很可能导致原来内存中的值被覆盖,因此,此段代码执行的结果为:
最小值为:2
最大值为:200
在次范围内所有的结果都是正确的;
具体分析如下:
1.最小值的情况
线程A执行第一次i++操作,取出内存中的i,值为0;放到cpu1寄存器中执行加1操作(不写回内存),寄存器中的值为1,内存中的值为0;
线程B执行第一次i++操作,取出内存中的i,值为0;放到cpu2寄存器中执行加1操作(不写回内存),寄存器中的值为1,内存中的值为0;
线程A继续执行第99次i++,每执行一次都将其值写回内存(写了99次),此时cpu1寄存器中的值为99,内存中的值为99.
线程B由于未写回内存,继续执行第一次i++,将其值放入内存,此时cpu2寄存器中的值为1,内存中的值为1(线程B写回时覆盖了原来的99);
线程A执行第100次i++,此时cpu1寄存器中的值为2(不写入内存),内存中的值为1;
线程B继续执行完所有的操作,此时cpu2寄存器中的值为100,内存中的值为100;
此时A线程进行最后一次操作,将cpu1寄存器中的值2放入内存,此时内存中的值为2;
即此操作的最小值为2;
2.最大值情况200;
最大值的情况即为当线程A和线程B进行i++时,每进行一次i++,都写入到内存当中,这样就不会存在覆盖情况,即这种情况下取得最大值200;
拓展:当执行 -- 操作时,思路和上面一样当i=100; 各执行50次减减操作,最终取值范围为0到98;
1、 线程A执行第一次i++,取出内存中的i,值为0,存放到寄存器后执行加1,此时CPU1的寄存器中值为1,内存中为0;(对于多线程,线程共用一个内存,如果线程A在寄存器执行操作后而没有写入内存,则会切换到另一个线程。)
2.线程B执行第一次i++,取出内存中的i,值为0;存放到寄存器中,进行加1操作,cpu2中的值为1,内存中的值为0
3、线程A继续执行完成第99次i++,并把值放回内存,此时CPU1中寄存器的值为99,内存中为99.