运行结构:
AliceBEGIN
BobbyBEGIN
ChrisBEGIN
********BROKEN*********Count:4 Namre:Bobby Address:Canada
********BROKEN*********Count:6 Namre:Alice Address:Alaska
********BROKEN*********Count:6 Namre:Alice Address:Alaska
********BROKEN*********Count:9 Namre:Bobby Address:Brazil
********BROKEN*********Count:10 Namre:Alice Address:Brazil
********BROKEN*********Count:11 Namre:Chris Address:Canada
********BROKEN*********Count:13 Namre:Bobby Address:Canada
********BROKEN*********Count:15 Namre:Alice Address:Alaska
********BROKEN*********Count:15 Namre:Alice Address:Alaska
********BROKEN*********Count:18 Namre:Bobby Address:Brazil
********BROKEN*********Count:19 Namre:Alice Address:Brazil
********BROKEN*********Count:20 Namre:Chris Address:Canada
********BROKEN*********Count:22 Namre:Bobby Address:Canada
********BROKEN*********Count:24 Namre:Alice Address:Alaska
********BROKEN*********Count:24 Namre:Alice Address:Alaska
********BROKEN*********Count:27 Namre:Chris Address:Brazil
********BROKEN*********Count:28 Namre:Alice Address:Brazil测试无法证明安全性:如果测试时找到错误,标明写好的程序并不安全。但是就算测试时没有找到错误也不能保证程序一定是安全的。当测试的次数不够,时间点部队,就可能检查不到问题。
在程序中Gate是SharedResource(共享资源),需要进行共享互斥的操作
public class Gate { private int count; private String name="Nobody"; private String address="NoWhere"; synchronized void pass(String name,String address){ count++; this.name=name; try { Thread.sleep(1000); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } this.address=address; check(); } private void check() { if (name.charAt(0)!=address.charAt(0)) { System.out.println("********BROKEN*********"+toString()); } } @Override public synchronized String toString() { try { Thread.sleep(100); } catch (InterruptedException e) { // TODO Auto-generated catch block e.printStackTrace(); } return "Count:"+count+" Namre:"+name+" Address:"+address; } } 运行结果:
BobbyBEGIN AliceBEGIN ChrisBEGINcheck()方法也有name和address字段,为什么没有加synchronized:
因为pass方法调用check()方法,而pass方法已经synchronized了,而check方法又是private的,所以不会有其他线程同时调用这个方法。
看到synchronized时就要思考这个synchronized是在保护什么。
Java并发编程案例
本文通过一个Java并发编程案例,展示了在线程间共享资源时可能出现的数据不一致问题,并提供了使用synchronized关键字来解决这一问题的方法。
124

被折叠的 条评论
为什么被折叠?



