多线程线程安全
1. 线程安全问题
当多个线程同时共享,同一个全局变量或静态变量,做写的操作时,可能会发生数据冲突问题,也就是线程安全问题。但是做读操作是不会发生数据冲突问题。共享同一个局部变量时不会产生线程安全问题
代码01 线程安全问题:/thread02/src/com/mysoft/ThreadDemo01.java
package com.mysoft;
/**
* @author lpz
* 多线程线程安全问题
*/
class TrainThread01 implements Runnable{
//共有100张票
private int trainCount=100;
@Override
public void run() {
while(trainCount>0) {
try {
Thread.sleep(50);
} catch (InterruptedException e) {
e.printStackTrace();
}
//出售火车票
sale();
}
}
public void sale() {
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
public class ThreadDemo01 {
public static void main(String[] args) {
//创建线程对象
TrainThread01 trainThread01 = new TrainThread01();
//两个线程使用同一个TrainThread对象,共享票数
Thread t1=new Thread(trainThread01, "窗口①");
Thread t2=new Thread(trainThread01, "窗口②");
t1.start();
t2.start();
}
}
运行结果:
结论发现,多个线程共享同一个全局成员变量时,做写的操作可能会发生数据冲突问题。
2. 线程安全问题解决方法
1.如何解决多线程之间线程安全问题?
使用多线程之间同步synchronized或使用锁(lock)。
2.为什么使用线程同步或使用锁能解决线程安全问题呢?
将可能会发生数据冲突问题(线程不安全问题),只能让当前一个线程进行执行。代码执行完成后释放锁,让后才能让其他线程进行执行。这样的话就可以解决线程不安全问题。
3.什么是多线程之间同步?
当多个线程共享同一个资源,不会受到其他线程的干扰。
3. 同步代码块解决线程安全问题
- 前提:必须要有两个或者两个以上的线程;必须是多个线程使用同一个锁
- 好处:解决了多线程的安全问题
- 弊端:多个线程需要判断锁,较为消耗资源、抢锁的资源。
代码02 同步代码块解决线程安全问题:/thread02/src/com/mysoft/ThreadDemo02.java
package com.mysoft;
/**
* @author lpz
* 同步代码块解决线程安全问题
*/
class TrainThread02 implements Runnable{
//共有100张票
private int trainCount=100;
//创建对象锁
private Object oj=new Object();
@Override
public void run() {
while(trainCount>0) {
try {
Thread.sleep(50);
} catch (InterruptedException e) {
e.printStackTrace();
}
//出售火车票
//同步代码块,保证同步中只能有一个线程在运行
synchronized (oj) {
if(trainCount>0) { //if判断为了解决最后1张票的线程安全问题
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
}
}
}
public class ThreadDemo02 {
public static void main(String[] args) {
//创建线程对象
TrainThread02 trainThread02 = new TrainThread02();
//两个线程使用同一个TrainThread对象,共享票数
Thread t1=new Thread(trainThread02, "窗口①");
Thread t2=new Thread(trainThread02, "窗口②");
t1.start();
t2.start();
}
}
4. 同步函数使用的是this锁
代码03 证明同步函数使用的是this锁:/thread02/src/com/mysoft/ThreadDemo03.java
证明方式:一个线程使用同步代码块(this明锁),另一个线程使用同步函数。如果两个线程抢票不能实
现同步,那么会出现数据错误。
package com.mysoft;
/**
* @author lpz
* 验证同步函数使用的是this锁
*/
class TrainThread03 implements Runnable{
//共有100张票
private int trainCount=100;
//通过改变flag的值改变两个线程同步的方式
public boolean flag=true;
//oj锁判断同步代码块是否为this锁
@SuppressWarnings("unused")
private Object oj=new Object();
@Override
public void run() {
if (flag) {
while(trainCount>0) {
/*这里可以切换oj或this锁*/
synchronized (this) {
if(trainCount>0) {
try {
Thread.sleep(30);
} catch (InterruptedException e) {
e.printStackTrace();
}
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
}
}
else {
while(trainCount>0) {
sale();
}
}
}
//验证同步函数使用this锁
public synchronized void sale() {
if(trainCount>0) {
try {
Thread.sleep(30);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
}
public class ThreadDemo03 {
public static void main(String[] args) throws InterruptedException {
//创建共享对象共享火车票
TrainThread03 thread03=new TrainThread03();
Thread t1=new Thread(thread03, "窗口①");
Thread t2=new Thread(thread03, "窗口②");
//启动线程1,走同步代码块
t1.start();
Thread.sleep(50);
//改变flag,让线程2走同步函数
thread03.flag=false;
t2.start();
}
}
5. 静态同步函数使用 类.class锁
什么是静态同步函数?
方法上加上static关键字,使用synchronized 关键字修饰 或者使用类.class文件
代码04 静态同步函数使用的.class对象锁:/thread02/src/com/mysoft/ThreadDemo04.java
//静态同步函数使用的锁是当前方法所在类的字节码文件对象
public static synchronized void sale() {
if(trainCount>0) {
try {
Thread.sleep(30);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
总结:
synchronized 修饰方法使用锁是当前this锁。
synchronized 修饰静态方法使用锁是当前类的字节码文件对象
6. 多线程死锁
什么是多线程死锁?
同步中嵌套同步,导致锁无法释放。
代码05 多线程死锁:/thread02/src/com/mysoft/ThreadDemo05.java
package com.mysoft;
/**
* @author lpz
* 死锁现象:同步中嵌套同步,导致锁无法释放
*/
class TrainThread05 implements Runnable{
//共有100张票
private static int trainCount=100;
//创建flag启动线程
public boolean flag=true;
private Object mutex = new Object();
@Override
public void run() {
//线程1
if (flag) {
while(true) {
//1.mutex锁
synchronized (mutex) {
//2.this锁
sale();
}
}
}
//线程2
else {
while(true) {
sale();
}
}
}
//1.this锁
public synchronized void sale() {
//2.mutex锁
synchronized (mutex) {
if(trainCount>0) {
try {
Thread.sleep(30);
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
System.out.println(Thread.currentThread().getName()+",出售第"+(100-trainCount+1)+"张票");
trainCount--;
}
}
}
}
public class ThreadDemo05 {
public static void main(String[] args) throws InterruptedException {
//创建共享对象共享火车票
TrainThread05 thread05=new TrainThread05();
Thread t1=new Thread(thread05, "窗口①");
Thread t2=new Thread(thread05, "窗口②");
//启动线程1,走同步代码块
t1.start();
Thread.sleep(50);
//改变flag,让线程2走同步函数
thread05.flag=false;
t2.start();
}
}
7. 多线程三大特性:原子性、可见性、有序性
1 原子性
即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断,要么就都不执行。一个很经典的例子就是银行账户转账问题。原子性其实就是保证数据一致。
2 可见性
当多个线程访问同一个变量时,一个线程修改了这个变量的值,其他线程能够立即看得到修改的值。若两个线程在不同的cpu,那么线程1改变了i的值还没刷新到主存,线程2又使用了i,那么这个i值肯定还是之前的,线程1对变量的修改线程没看到这就是可见性问题。
3 有序性
程序执行的顺序按照代码的先后顺序执行。一般来说处理器为了提高程序运行效率,可能会对输入代码进行优化,它不保证程序中各个语句的执行先后顺序同代码中的顺序一致,但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。
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,因为这打破了依赖关系。
显然重排序对单线程运行是不会有任何问题,而多线程就不一定了,所以我们在多线程编程时就得考虑这个问题了。
8. Java内存模型
什么是Java内存模型?
共享内存模型指的就是Java内存模型(简称JMM),JMM决定一个线程对共享变量的写入时,能对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程读/写共享变量的副本。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存,写缓冲区,寄存器以及其他的硬件和编译器优化
从上图来看,线程A与线程B之间如要通信的话,必须要经历下面2个步骤:
- 首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去。
- 然后,线程B到主内存中去读取线程A之前已更新过的共享变量。
从整体来看,这两个步骤实质上是线程A在向线程B发送消息,而且这个通信过程必须要经过主内存。JMM通过控制主内存与每个线程的本地内存之间的交互,来为java程序员提供内存可见性保证。
总结:java内存模型简称jmm,定义了一个线程对另一个线程可见。共享变量存放在主内存中,每个线程都有自己的本地内存,当多个线程同时访问一个数据的时候,可能本地内存没有及时刷新到主内存,所以就会发生线程安全问题
9. volatile关键字
volatile 关键字的作用是变量在多个线程之间可见
代码06 多线程之间不可见问题:/thread02/src/com/mysoft/ThreadVolatile.java
package com.mysoft;
class ThreadVolatileDemo extends Thread{
public boolean flag=true;
@Override
public void run() {
System.out.println("子线程开始执行......");
while(flag) {
}
System.out.println("子线程执行结束......");
}
public void setFlag(boolean flag) {
this.flag = flag;
}
}
public class ThreadVolatile {
public static void main(String[] args) throws InterruptedException {
ThreadVolatileDemo thread=new ThreadVolatileDemo();
thread.start();
Thread.sleep(3000);
thread.setFlag(false);
System.out.println("flag已经设置为false");
Thread.sleep(3000);
System.out.println(thread.flag);
}
}
运行结果:
已经将结果设置为fasle,为什么还一直在运行呢?
原因:线程之间是不可见的,读取的是副本,没有及时读取到主内存结果。
解决办法:使用Volatile关键字解决线程之间可见性, 强制线程每次读取该值的时候都去“主内存”中取值
代码07 volatile非原子性:/thread02/src/com/mysoft/VolatileNoAtomic.java
package com.mysoft;
/**
* @author lpz
* volatile不保证数据的原子性
*/
public class VolatileNoAtomic extends Thread{
private static volatile int count=0;
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
count++;
}
System.out.println(count);
}
public static void main(String[] args) {
//创建长度为10的数组,元素是VolatileNoAtomic对象
VolatileNoAtomic[] arr = new VolatileNoAtomic[10];
//创建10个线程
for (int i = 0; i <arr.length; i++) {
arr[i]=new VolatileNoAtomic();
arr[i].start();
}
}
}
运行结果:
总结:
volatile关键字可以保证线程之间可见性,但不保证数据的原子性。
代码08 AtomicInteger原子类解决原子性问题:/thread02/src/com/mysoft/VolatileAtomic.java
package com.mysoft;
/**
* @author lpz
* 原子类解决原子性问题
*/
import java.util.concurrent.atomic.AtomicInteger;
public class VolatileAtomic extends Thread{
private static AtomicInteger aInteger=new AtomicInteger(0);
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
//相当于count++
aInteger.incrementAndGet();
}
System.out.println(aInteger.get());
}
public static void main(String[] args) {
// 初始化10个线程
VolatileAtomic[] VolatileAtomic = new VolatileAtomic[10];
for (int i = 0; i < 10; i++) {
// 创建
VolatileAtomic[i] = new VolatileAtomic();
VolatileAtomic[i].start();
}
}
}
volatile与synchronized区别
① volatile轻量级,只能修饰变量。synchronized重量级,还可修饰方法
② volatile只能保证数据的可见性,不能用来同步,多个线程并发访问volatile修饰的变量不会阻塞。
③ synchronized不仅保证可见性,而且还保证原子性,因为,只有获得了锁的线程才能进入临界区,
从而保证临界区中的所有语句都全部执行。多个线程争抢synchronized锁对象时,会出现阻塞。
线程安全性包括两个方面,①可见性。②原子性。
总结:仅仅使用volatile并不能保证线程安全性。而synchronized则可实现线程的安全性