黑马程序员技术交流社区
标题:
如何发现一个程序存在线程安全的隐患？
[打印本页]
作者:
刘弘哲
时间:
2012-11-6 01:10
标题:
如何发现一个程序存在线程安全的隐患？
在编写代码的时候，如何发现所写的程序存在线程安全的隐患？请教！！
作者:
颜峰
时间:
2012-11-6 09:05
运行测试看看有没有问题，检查是不是有多条线程访问共享数据。。。额，别的我也不知道
作者:
齐连涛
时间:
2012-11-6 18:38
如果有多个线程操作共享数据 必须同步 先通过逻辑分析 看有哪些不安全因素 然后通过让某些线程sleep()的方式测试，如果出问题 ，再想办法解决它
作者:
蒋欣琦
时间:
2012-11-6 20:07
最有可能引起线程安全问题的当属单例对象的公有方法和类的公有静态方法。据我所知，方法是加载在栈里面执行的，而对于多线程来说，每个线程有它自己的栈，所以我据此推断，单例对象的方法 或者 类的公有静态方法，应该是加载在每个线程自己的栈里面去独立执行的。如果我的推断是正确的，那么不管什么类型的方法，如果不考虑它用的变量，仅仅就方法本身而言，都是线程安全的。
接下来，我们说说变量，变量又分类变量，实例变量，局部变量。
1. 类变量如果是引用的引用类型对象的话，因为是存储在堆里面，是所有线程栈所共享的，所以存在线程安全的隐患，因此程序员要特别当心。
2. 实例变量又可以分为多例对象的实例变量和单例对象的实例变量，如果是引用的引用类型对象的话，它也是存储在堆里面的，是所有线程栈所共享的，但是多例对象的实例变量不存在线程安全问题（这个为什么就不用我解释了吧！），而单例对象的实例变量存在线程不安全的风险，这个大家也要当心！例如最经典的：Servlet对象、以及Struts1里面的Action对象的实例变量就是线程不安全的！
3. 局部变量是方法内部实例化的变量，方法执行完后就被垃圾回收了。局部变量如果是基本类型，是放在线程栈里面的，每个线程无法共享，因此不存在线程安全的问题；如果是对象类型，在Stack里保存地址，在Heap里保存值，只要不去引用外部的单例对象，也不会存在线程安全的问题。换句话说，如果在方法体内部new了一个HashMap，即便HashMap本身是线程不安全的，但是在这种情况下，依然是线程安全的。
作者:
奋斗的青春
时间:
2012-11-6 21:09
线程安全与不安全
作为一个Java web开发人员，很少也不需要去处理线程，因为服务器已经帮我们处理好了。记得大一刚学Java的时候，老师带着我们做了一个局域网聊天室，用到了AWT、Socket、多线程、I/O,编写的客户端和服务器，当时做出来很兴奋，回学校给同学们演示，感觉自己好NB,呵呵，扯远了。上次在百度开发者大会上看到一个提示语，自己写的代码，6个月不看也是别人的代码，自己学的知识也同样如此，学完的知识如果不使用或者不常常回顾，那么还不是自己的知识。大学零零散散搞了不到四年的Java,我相信很多人都跟我一样，JavaSE基础没打牢，就急忙忙、兴冲冲的搞JavaEE了，然后学习一下前台开发（html、css、javascript），有可能还搞搞jquery、extjs,再然后是Struts、hibernate、spring,然后听说找工作得会linux、oracle,又去学，在这个过程中，是否迷失了，虽然学习面很广，但就像《神雕侠侣》中黄药师评价杨过，博而不精、杂而不纯，这一串下来，感觉做Java开发好难，并不是学着难，而是知识面太广了，又要精通这个，又要精通那个，这只是我迷茫时候的想法，现在我已经找到方向了。
回归正题，当我们查看JDK API的时候，总会发现一些类说明写着，线程安全或者线程不安全，比如说StringBuilder中，有这么一句，"将StringBuilder 的实例用于多个线程是不安全的。如果需要这样的同步，则建议使用StringBuffer. ",那么下面手动创建一个线程不安全的类，然后在多线程中使用这个类，看看有什么效果。
Count.java:
public class Count {
private int num;
public void count（） {
for（int i = 1; i <= 10; i++） {
num += i;
}
System.out.println（Thread.currentThread（）。getName（） + "-" + num）；
}
}
在这个类中的count方法是计算1一直加到10的和，并输出当前线程名和总和，我们期望的是每个线程都会输出55.
ThreadTest.java:
public class ThreadTest {
public static void main（String[] args） {
Runnable runnable = new Runnable（） {
Count count = new Count（）；
public void run（） {
count.count（）；
}
};
for（int i = 0; i < 10; i++） {
new Thread（runnable）。start（）；
}
}
}
这里启动了10个线程，看一下输出结果：
Thread-0-55
Thread-1-110
Thread-2-165
Thread-4-220
Thread-5-275
Thread-6-330
Thread-3-385
Thread-7-440
Thread-8-495
Thread-9-550
只有Thread-0线程输出的结果是我们期望的，而输出的是每次都累加的，这里累加的原因以后的博文会说明，那么要想得到我们期望的结果，有几种解决方案：
1. 将Count中num变成count方法的局部变量；
public class Count {
public void count（） {
int num = 0;
for（int i = 1; i <= 10; i++） {
num += i;
}
System.out.println（Thread.currentThread（）。getName（） + "-" + num）；
}
}
2. 将线程类成员变量拿到run方法中；
public class ThreadTest4 {
public static void main（String[] args） {
Runnable runnable = new Runnable（） {
public void run（） {
Count count = new Count（）；
count.count（）；
}
};
for（int i = 0; i < 10; i++） {
new Thread（runnable）。start（）；
}
}
}
3. 每次启动一个线程使用不同的线程类，不推荐。
上述测试，我们发现，存在成员变量的类用于多线程时是不安全的，而变量定义在方法内是线程安全的。想想在使用struts1时，不推荐创建成员变量，因为action是单例的，如果创建了成员变量，就会存在线程不安全的隐患，而struts2是每一次请求都会创建一个action,就不用考虑线程安全的问题。
作者:
徐丹
时间:
2012-11-6 21:57
不推荐创建成员变量，因为action是单例的，如果创建了成员变量，就会存在线程不安全的隐患，而struts2是每一次请求都会创建一个action，就不用考虑线程安全的问题。
欢迎光临 黑马程序员技术交流社区 (http://bbs.itheima.com/)
黑马程序员IT技术论坛 X3.2