本文探讨了在多线程环境下，无锁代码可能导致的问题，例如并发计数不准确。解决方案是使用`synchronized`关键字，它提供了内置的原子性和线程同步。详细介绍了`synchronized`的三种使用方式，并深入讲解了它的原理，包括Mark Word、锁升级过程，从无锁到偏向锁、轻量级锁再到重量级锁的变化。通过理解`synchronized`的工作机制，开发者可以更好地理解和使用这把同步锁。
多线程下，无锁代码可能产生的问题
首先看下面的代码，逻辑很简单，定义了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。
这就是导
最低0.47元/天 解锁文章
204
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
