1、什么是线程安全?
静态条件与临界区
多线程访问了相同的资源,向这些资源做了写操作时,对执行顺序有要求。
临界区:incr方法内部就是临界区,关键部分代码的多线程并发执行,会对执行结果产生影响的区域。
竞态条件:可能发生在临界区域内的特殊条件。多线程执行incr方法中的i++关键代码时,产生了竞态条件。
共享资源
如果一段代码是线程安全的,则它不包含竞态条件。只有当多个线程更新共享资源时,才会发生竞态条件。
栈封闭时,不会在线程之前共享的变量,都是线程安全的。
局部对象引用本身不共享,但是引用的对象存储在共享堆中。如果方法内创建的对象,只是在方法中传递,并且不对其他线程可用,那么也是线程安全的。
判断是否线程安全规则:如果创建、使用和处理资源,永远不会逃脱单个线程的控制,该资源的使用是线程安全的。
不可变对象
创建不可变得共享对象来保证对象在线程间共享时不会被修改,从而实现线程安全。
实例被创建,value变量就不能再被修改,这就是不可变性。
通俗讲:就是只能读,不能修改。