线程安全问题
通过上一章节,大家已经知道通过多线程可以提高我们程序的执行效率,单也会带来线程安全问题,那么什么是线程安全问题呢?
回答: 当多个线程同时共享,同一个全局变量或静态变量,做写的操作时,可能会发生数据冲突问题,也就是线程安全问题。
下面列举一个多线程抢票问题来演示多线程安全问题:
public class ThreadDemo003 {
public static void main(String[] args) {
//创建runnable子类对象
TicketRunnable ticketRunnable =new TicketRunnable();
//创建两个线程对象t1,t2,线程名称分别为A,B
Thread t1 =new Thread(ticketRunnable,"A");
Thread t2 =new Thread(ticketRunnable,"B");
//开启线程
t1.start();
t2.start();
}
}
/**
* 卖票runnable
*/
class TicketRunnable implements Runnable{
/**
* 出售100张票
*/
public static int ticket = 100;
@Override
public void run() {
while (ticket > 0){
if(ticket > 0){
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("售票员"+Thread.currentThread().getName()+"出售第"+(100 - (ticket--) +1)+"张票");
}
}
}
}
执行结果:
我们看到结果会感到疑惑,怎么99、100张票卖了两次呢?此时就出现了线程安全问题。
线程安全问题的解决方案
使用多线程之间同步synchronized或使用锁(lock)。
说道这里可能有些同学不太明白为什么使用同步synchronized或者使用锁(lock)就能解决同步呢?
它的实现是:将可能会发生数据冲突问题(线程不安全问题),只能让当前一个线程进行执行。代码执行完成后释放锁,让后才能让其他线程进行执行。这样的话就可以解决线程不安全问题。
我们采用其中一种同步synchronized来解决线程安全问题,将以上代码修改为:
public class ThreadDemo003 {
public static void main(String[] args) {
//创建runnable子类对象
TicketRunnable ticketRunnable =new TicketRunnable();
//创建两个线程对象t1,t2,线程名称分别为A,B
Thread t1 =new Thread(ticketRunnable,"A");
Thread t2 =new Thread(ticketRunnable,"B");
//开启线程
t1.start();
t2.start();
}
}
/**
* 卖票runnable
*/
class TicketRunnable implements Runnable{
/**
* 出售100张票
*/
public static int ticket = 100;
@Override
public void run() {
while (ticket > 0) {
//此处加了synchronized 同步锁
synchronized (this) {
if (ticket > 0) {
try {
Thread.sleep(100);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println("售票员" + Thread.currentThread().getName() + "出售第" + (100 - (ticket--) + 1) + "张票");
}
}
}
}
}
synchronized的介绍
synchronized是Java提供了一种内置的锁机制来支持原子性,每一个Java对象都可以用作一个实现同步的锁,称为内置锁,线程进入同步代码块之前自动获取到锁,代码块执行完成正常退出或代码块中抛出异常退出时会释放掉锁
内置锁为互斥锁,即线程A获取到锁后,线程B阻塞直到线程A释放锁,线程B才能获取到同一个锁
内置锁使用synchronized关键字实现,synchronized关键字有两种用法:
1.修饰需要进行同步的方法(所有访问状态变量的方法都必须进行同步),此时充当锁的对象为调用同步方法的对象
2.同步代码块和直接使用synchronized修饰需要同步的方法是一样的,但是锁的粒度可以更细,并且充当锁的对象不一定是this,也可以是其它对象,所以使用起来更加灵活。
同步代码块synchronized
就是将可能会发生线程安全问题的代码,给包括起来。
synchronized(同一个数据){
可能会发生线程冲突问题
}
就是同步代码块
synchronized(对象)//这个对象可以为任意对象
{
需要被同步的代码
}
对象如同锁,持有锁的线程可以在同步中执行
没持有锁的线程即使获取CPU的执行权,也进不去
同步的前提:
1,必须要有两个或者两个以上的线程
2,必须是多个线程使用同一个锁
必须保证同步中只能有一个线程在运行
好处:解决了多线程的安全问题
弊端:多个线程需要判断锁,较为消耗资源、抢锁的资源。
什么是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。
threadLoca实现原理:
threadLoca底层是通过一个Map,以当前对象作为key,值作为value保存到Map中的。
多线程有三大特性
什么是原子性
即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。
一个很经典的例子就是银行账户转账问题:
比如从账户A向账户B转1000元,那么必然包括2个操作:从账户A减去1000元,往账户B加上1000元。这2个操作必须要具备原子性才能保证不出现一些意外的问题。
我们操作数据也是如此,比如i = i+1;其中就包括,读取i的值,计算i,写入i。这行代码在Java中是不具备原子性的,则多线程运行肯定会出问题,所以也需要我们使用同步和lock这些东西来确保这个特性了。
原子性其实就是保证数据一致、线程安全一部分,。
什么是可见性
当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。
若两个线程在不同的cpu,那么线程1改变了i的值还没刷新到主存,线程2又使用了i,那么这个i值肯定还是之前的,线程1对变量的修改线程没看到这就是可见性问题。
什么是有序性
程序执行的顺序按照代码的先后顺序执行。
一般来说处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。如下:
int a = 10; //语句1
int r = 2; //语句2
a = a + 3; //语句3
r = a*a; //语句4
则因为重排序,他还可能执行顺序为 2-1-3-4,1-3-2-4
但绝不可能 2-1-4-3,因为这打破了依赖关系。
显然重排序对单线程运行是不会有任何问题,而多线程就不一定了,所以我们在多线程编程时就得考虑这个问题了。
Java内存模型
共享内存模型指的就是Java内存模型(简称JMM),JMM决定一个线程对共享变量的写入时,能对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化。