桃园县结义二三事之Java线程同步原理

桃园结义二三事之Java线程同步原理

引子：
话说东汉末年，小摊刘大、小贩关二、杀猪张三在桃园插草为香八拜结义，今日吃完了酒且说这酒劲一上头，哥仨就寻思了咱几个也都有几斤拳头，不如就在这桃花山下问些钱银来使，于是凑份子淘了一匹枣色瘦马和一把崩牙大刀，准备先干几日买卖。

且说这第一日，富公子公孙瓒骑着一匹白马打北边要过这桃花山口。张三二话不说抢过崩牙大刀两口唾沫搓手心卷起袖管就要动手，这关二左手提腰右手拂髯不急不慢就骑上了这匹枣色瘦马。这三弟，两条腿怎么跟四条腿的干，就是追也追不上啊只有吃土的份；二哥嘛追倒是能追上，没有兵刃在手追上的直接结果显然就是肉包子打狗，刘大就合计着关键还折掉一匹枣色瘦马，不能这么干哪连连摆手。于是第一日，兄弟三人眼睁睁看着富公子慢条条踱马过山......

话外音：兄弟三人未遂的核心问题就在于，获得枣色瘦马与崩牙大刀的操作不是原子操作。

1、线程同步

同步是多线程中的重要概念。同步的使用可以保证在多线程运行的环境中，程序不会产生设计之外的错误结果。
假定多线程同时执行操作：global_amount = global_amount + amount;由于该操作不是原子操作，那么全局的global_amount可能就可能会出现讹误。使用javap反汇编该操作的指令如下：
?
</p><p style="text-align: left;">其中的Entry Set为诸葛亮收取手续费，提供军师符印的地方（正好就在小院门口），记为<strong>军师府</strong>；The Owner为存放武器马匹的院子，记为<strong>装备库</strong>；而Wait Set为候印室，记为<strong>候印室</strong>。</p><p style="text-align: left;"><br></p><p style="text-align: left;"><strong>回说桃花山打劫那点事，一日，翼德在军师府交完手续费，揣上军师符印就进了那装备库，不幸被小兵甲发现违反军规第一条，被缴了军师符印只得来到候印室等待，打个盹吧；（翼德：1-->2-->3）</strong></p><p style="text-align: left;"><strong>紧接着，玄德孝敬完军师就拿到了翼德半道交出的军师符印进了装备库，亲哟我的枣色瘦马咧哥哥来看你啦~</strong><strong>不料，玄德前脚刚进了那装备府库，这后脚云长就来到军师府上，照例交了银钱，可军师耸耸肩道，符印哪这会备备拿着呢，要不您就先到门口候着？这军师可不能吃罪，只得悻悻到门口杵着，却见三弟在候印室圆睁着眼打盹呢；（玄德：1-->2；云长：1）</strong></p><p style="text-align: left;"><strong>“路见不平我一声吼咧~”玄德高旷的歌声中气十足，这家伙还真把翼德给吼清楚了，三弟心道，亲咧我的崩牙大刀我又来啦。这玄德不慌不忙，又在院里稍待了会，这才出门左转把军师符印交还给了军师府；（玄德：1-->2-->5）</strong></p><p style="text-align: left;"><strong>再说这装备府库门前，老二老三可急红了眼，二人一印总得落下一人于是谁也不甘落后，诸葛心道这俩我可吃罪不起，得，不如您哥俩自个猜拳吧。于是猜拳得胜的云长<strong>取了军师符印</strong>雄赳赳气昂昂迈进装备库，被玄德吼醒的翼德也全无了睡意，俺就这杵着了；（云长：1-->2）</strong></p><p style="text-align: left;"><strong>话说云长这一去，温酒斩华雄，也就半拇指香的功夫，打马还刀挂印。我的崩牙大刀哟，三弟提着符印撩几斤粗蹄踹开这院门，相思难耐，怒气犹存，于是张翼德长坂坡一人吓退曹军百万，从此威名加于海内，芳名流传古今。（云长：1-->2-->5；翼德：1--->2-->3-->4-->5）</strong></p><p style="text-align: left;"><strong><br></strong></p><p style="text-align: left;"><em>以上故事纯属虚构，仅为解说同步需要凭空杜撰，其中，军师符印为锁对象，候印室和吼声为条件变量（吼声为signal），装备府库为监视区域。不当之处，一笑泯之^_^~</em></p></blockquote> </p></div><div style="margin:0 auto;width:300px;height:250px;position:relative;"> <script async src="//pagead2.googlesyndication.com/pagead/js/adsbygoogle.js"></script>  <ins class="adsbygoogle" style="display:block" data-ad-client="ca-pub-6147101717324856" data-ad-slot="1958144088" data-ad-format="auto"></ins> <script> (adsbygoogle = window.adsbygoogle || []).push({}); </script></div> <div class="subn-nav"><a href="//m.reader8.net">读书人网</a> ><a href="//m.reader8.net/jiaocheng/biancheng/">编程</a></div><div class="sp-jctu"><h3><span> 热点推荐 </span></h3><ul><li><p><a href="//m.reader8.net/jiaocheng/20150822/2672277.html">JAVA基础-java中ET的差异</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140726/2508209.html">ByteBuffer跟String的互相转换</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140726/2508208.html">vim 编辑器的三种模式怎么切换</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140725/2505463.html">电脑编码</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140725/2505462.html">地图reduce编程模型介绍</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140724/2502708.html">Java基础java缓存读写资料小例子</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140724/2502707.html">学习jar下令创建和解压jar文件包</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140723/2499938.html">java生成随机数、四舍五入、当前时间的</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140723/2499937.html">[猖獗Java讲义精粹] 第十一章|多线程</a></p></li> <li><p><a href="//m.reader8.net/jiaocheng/20140722/2497120.html">Java Thread 小结</a></p></li> </ul></div><div style="display:none;"> <script> var _hmt = _hmt || []; (function() { var hm = document.createElement("script"); hm.src = "//hm.baidu.com/hm.js?d6151f323a57d16696165e47eee86d53"; var s = document.getElementsByTagName("script")[0]; s.parentNode.insertBefore(hm, s); })(); </script></div> <div class="footer"><p>触屏版 | <a href="//www.reader8.net/jiaocheng/20121031/1962152.html#fromapp">电脑版</a></p><p>读书人网 m.reader8.net</p></div> <script language="javascript"> function clickme(sad){ var divobjdiv = document.getElementById("divobjdiv" + sad); if(divobjdiv.style.display =="none"){ divobjdiv.style.display ="block"; }else{ divobjdiv.style.display ="none"; } var wenzi = document.getElementById('divobjimg' + sad); if(wenzi.innerText == "收起"){ wenzi.innerText = "查看更多"; }else{ wenzi.innerText = "收起"; } } </script> <div id="back-top"><a href="#top"><span></span></a></div> </body> </html>