多线程下,无锁代码可能产生的问题
首先看下面的代码,逻辑很简单,定义了5个线程,这5个线程分别对同一个对象的成员变量num进行10000次递增操作,最后等待所有线程执行完成后,将num结果输出。
正常情况下,我们预期的输出是50000,但运行程序之后,实际输出结果并不是如此,结果可能是50000,也可能小于50000。
为什么会出现结果小于50000的情况呢?
首先,我们要知道,线程在执行"num++"这句代码时,实际上会执行三个动作:
读取num的值;
修改num的值;
将修改后的num刷新到内存中。
由于此处有5个线程同时在执行这段代码,所以可能出现这种情况:线程1读取到了num的值为0,此时,线程1还没有执行修改num值的动作,线程2也读取了num的值,那么线程2读取到的num的值也是0,那此时线程1和线程2对num做递增操作时,都是对0进行加1,所以线程1和线程2的运行结果都是1。可以看到,虽然线程1和线程2都对num执行了一次++操作,但结果并不是2,而是1。
这就是导