为什么有线程安全问题?
当多个线程同时共享,同一个全局变量或静态变量,做写的操作时,可能会发生数据冲突问题,也就是线程安全问题。但是做读操作是不会发生数据冲突问题。
线程安全解决办法:
问:如何解决多线程之间线程安全问题?
答:使用多线程之间同步synchronized或使用锁(lock)。
问:为什么使用线程同步或使用锁能解决线程安全问题呢?
答:将可能会发生数据冲突问题(线程不安全问题),只能让当前一个线程进行执行。代码执行完成后释放锁,让后才能让其他线程进行执行。这样的话就可以解决线程不安全问题。
问:什么是多线程之间同步?
答:当多个线程共享同一个资源,其中某一个线程不会受到多线程中其他线程的干扰。
同步代码块
什么是同步代码块?
答:就是将可能会发生线程安全问题的代码,给包括起来。
synchronized(同一个数据){
可能会发生线程冲突问题
}
就是同步代码块
synchronized(对象)//这个对象作为一把锁,线程拿到锁才能运行,释放锁后由其他线程接锁,实现线程同步,可以是对象,也可以任意类型的引用 ,比如String类型
{
需要被同步的代码
}
对象如同锁,持有锁的线程可以在同步中执行
没持有锁的线程即使获取CPU的执行权,也进不去
同步的前提:
1,必须要有两个或者两个以上的线程
2,必须是多个线程使用同一个锁
必须保证同步中只能有一个线程在运行
好处:解决了多线程的安全问题
弊端:多个线程需要判断锁,较为消耗资源、抢锁的资源。
同步函数
什么是同步函数?
答:在方法上修饰synchronized 称为同步函数
同步函数使用什么锁?
答:默认的是this锁,同步函数与使用this锁的同步代码块可以达到同步,与其他锁不能同步
静态同步函数
答:什么是静态同步函数?
方法上加上static关键字,使用synchronized 关键字修饰 或者使用类.class文件。
静态的同步函数使用的锁是 该函数所属字节码文件对象
可以用 getClass方法获取,也可以用当前 类名.class 表示。
代码样例:
synchronized (ThreadTrain.class) { System.out.println(Thread.currentThread().getName() + ",出售 第" + (100 - trainCount + 1) + "张票."); trainCount--; try { Thread.sleep(100); } catch (Exception e) { } } |
总结:
synchronized 修饰方法使用锁是当前this锁。
synchronized 修饰静态方法使用锁是当前类的字节码文件
补充:共享的全局变量是否静态与是否使用静态同步无关
synchronized自动锁,自动锁定和释放
lock手动锁,需手动锁定和释放
死锁:
锁(同步代码块)在什么时候释放? 代码执行完, 自动释放锁.
死锁产生:
如果flag为true 先拿到 obj锁,在拿到this 锁、 才能执行。
如果flag为false先拿到this,在拿到obj锁,才能执行。
但是,两者都拿不到第二把锁,因此产生死锁
死锁解决办法:
不要在同步中嵌套同步。
多线程三大特性:
原子性:都不执行或都执行,不存在只执行一部分的情况
可见性:多个线程中一个线程修改的数据,其他线程能马上看见
有序性:多线程执行结果与与程序代码顺序执行结果一致
Java内存模型
共享内存模型指的就是Java内存模型(简称JMM),JMM决定一个线程对共享变量的写入时,能对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化。
从上图来看,线程A与线程B之间如要通信的话,必须要经历下面2个步骤:
1. 首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去。
2. 然后,线程B到主内存中去读取线程A之前已更新过的共享变量。
下面通过示意图来说明这两个步骤:
如上图所示,本地内存A和B有主内存中共享变量x的副本。假设初始时,这三个内存中的x值都为0。线程A在执行时,把更新后的x值(假设值为1)临时存放在自己的本地内存A中。当线程A和线程B需要通信时,线程A首先会把自己本地内存中修改后的x值刷新到主内存中,此时主内存中的x值变为了1。随后,线程B到主内存中去读取线程A更新后的x值,此时线程B的本地内存的x值也变为了1。
从整体来看,这两个步骤实质上是线程A在向线程B发送消息,而且这个通信过程必须要经过主内存。JMM通过控制主内存与每个线程的本地内存之间的交互,来为java程序员提供内存可见性保证。
总结:什么是Java内存模型:java内存模型简称jmm,定义了一个线程对另一个线程可见。共享变量存放在主内存中,每个线程都有自己的本地内存,当多个线程同时访问一个数据的时候,可能本地内存没有及时刷新到主内存,所以就会发生线程安全问题。
Volatile关键字:
volatile关键字的含义是:被其所修饰的变量的值不会被本地线程缓存,所有对该变量的读写都是直接操作共享内存来实现,从而确保多个线程能正确的处理该变量。
Volatile 关键字的作用是变量在多个线程之间可见。(理解:线程写操作》本地变量,线程读操作》共享变量,需要用volatile强行将本地变量强行刷新到主内存,才能使本地变量对其他线程可见,如果线程中运行中用到了Thread.sleep,本地变量也会刷新到主内存,暂时不知道为什么!!!),补充:并发包中的atomicInteger自带变量可见效果
package threadSafe;
import thread.TreadDemo01;
class ThreadVolatile extends Thread{
private volatile boolean flag=true;//volatile在这里起强制实时刷新主内存共享变量的作用,使变量”可见“
@Override
public void run() {
System.out.println("子线程开始执行。。。");
while(flag) {
}
System.out.println("子线程结束。。。");
}
public void setFlag(boolean flag) {
this.flag=flag;
}
}
public class TestVolatileDemo {
public static void main(String[] args) throws InterruptedException {
ThreadVolatile t1=new ThreadVolatile();
t1.start();//如果没有下一行,变量是可以及时刷新的,因为等待后不能自动刷新,需要volatile刷新手动
Thread.sleep(50);//如果变量flag没有及时刷新,则t1线程的本地内存flag依然为true
t1.setFlag(false);
}
}
volatile非原子性,只是计数,但是不保证安全问题
package threadSafe;
import java.util.concurrent.atomic.AtomicInteger;
class VolatileThread extends Thread{
// private volatile static int count=0;
private static AtomicInteger count=new AtomicInteger(0);//JDK1.5中的并发包
@Override
public void run() {
for(int i=0;i<1000;i++) {
// count++;
count.incrementAndGet();
}
System.out.println(getName()+":"+count.get());
}
}
public class VolatileNoAtomic{
public static void main(String[] args) {
VolatileThread[] tList=new VolatileThread[10];
for(int i=0;i<tList.length;i++) {
tList[i]=new VolatileThread();
}
for(int j=0;j<tList.length;j++) {
tList[j].start();
}
}
}
volatile与synchronized区别
仅靠volatile不能保证线程的安全性。(原子性)
①volatile轻量级,只能修饰变量。synchronized重量级,还可修饰方法
②volatile只能保证数据的可见性,不能用来同步,因为多个线程并发访问volatile修饰的变量不会阻塞。
synchronized不仅保证可见性,而且还保证原子性,因为,只有获得了锁的线程才能进入临界区,从而保证临界区中的所有语句都全部执行。多个线程争抢synchronized锁对象时,会出现阻塞。
线程安全性
线程安全性包括两个方面,①可见性。②原子性。
从上面自增的例子中可以看出:仅仅使用volatile并不能保证线程安全性。而synchronized则可实现线程的安全性。
ThreadLocal接口:
什么是ThreadLocal
ThreadLocal提高一个线程的局部变量,访问某个线程拥有自己局部变量。
当使用ThreadLocal维护变量时,ThreadLocal为每个使用该变量的线程提供独立的变量副本,所以每一个线程都可以独立地改变自己的副本,而不会影响其它线程所对应的副本。
ThreadLocal的接口方法
ThreadLocal类接口很简单,只有4个方法,我们先来了解一下:
- void set(Object value)设置当前线程的线程局部变量的值。
- public Object get()该方法返回当前线程所对应的线程局部变量。
- public void remove()将当前线程局部变量的值删除,目的是为了减少内存的占用,该方法是JDK 5.0新增的方法。需要指出的是,当线程结束后,对应该线程的局部变量将自动被垃圾回收,所以显式调用该方法清除线程的局部变量并不是必须的操作,但它可以加快内存回收的速度。
- protected Object initialValue()返回该线程局部变量的初始值,该方法是一个protected的方法,显然是为了让子类覆盖而设计的。这个方法是一个延迟调用方法,在线程第1次调用get()或set(Object)时才执行,并且仅执行1次。ThreadLocal中的缺省实现直接返回一个null。
package threadSafe;
class Res {
// 生成序列号共享变量
public static Integer count = 0;
public static ThreadLocal<Integer> threadLocal=new ThreadLocal<Integer>(){protected Integer initialValue(){
return 0;};
};
public Integer getNum() {
int count = threadLocal.get() + 1;
threadLocal.set(count);
return count;
}
}
public
class TreadLocalDemo extends Thread {
private Res res;
public TreadLocalDemo(Res res) {
this.res = res;
}
@Override
public void run() {
for (int i = 0; i < 3; i++) {
System.out.println(Thread.currentThread().getName() + "---" + "i---" + i + "--num:" + res.getNum());
}
}
public static void main(String[] args) {
Res res = new Res();
TreadLocalDemo threadLocaDemo1 = new TreadLocalDemo(res);
TreadLocalDemo threadLocaDemo2 = new TreadLocalDemo(res);
TreadLocalDemo threadLocaDemo3 = new TreadLocalDemo(res);
threadLocaDemo1.start();
threadLocaDemo2.start();
threadLocaDemo3.start();
}
}
运行结果:
Thread-1---i---0--num:1
Thread-2---i---0--num:1
Thread-0---i---0--num:1
Thread-2---i---1--num:2
Thread-1---i---1--num:2
Thread-1---i---2--num:3
Thread-2---i---2--num:3
Thread-0---i---1--num:2
Thread-0---i---2--num:3
总结:使用该接口,可以让线程各自操作自己独立的局部变量,互不影响