1. 多线程可能出现的安全问题
代码语言:javascript复制public class Synchronizedtest implements Runnable {
int i = 10; //共享变量
@Override
public void run() {
if( i == 10 ){
System.out.println("i == 10");
sys
i ;
}
}
public static void main(String[] args) throws InterruptedException {
Synchronizedtest st = new Synchronizedtest();
Thread t1 = new Thread(st,"线程1");
Thread t2 = new Thread(st,"线程2");
t1.start();
// t1.sleep(1000); 第一次测试先注释掉,第二次测试打开,下面为两次测试结果
t2.start();
}
}
代码语言:javascript复制i == 10
i == 10
代码语言:javascript复制i == 10
问题分析:
- i 这个操作是非原子性的,分为三步:
- 读取 i 的值
- 将读取的数值 1
- 将数值写回 i
- 线程t1,读取了i 值为10,在把值写回 i (i = 11) 之前,线程t2就读取了 i 的值,此时t1并未修改 i 的值,所以 i 还是等于10
- 因此二者判断 i 都是等于10,即都会输出内容
- 第二次测试执行到t1.start()时先 “
暂停
” 1秒,t2线程还不开启,t1在1秒内绝对执行完之后才开启t2线程,这样 i 的值已经更新为11了,此时t2就不输出内容 - 如果不把变量放在成员变量上,而是放在方法内,这样就不会共享了,因为方法是栈操作,独享空间
2. 解决方法
- 不设置共享变量,放入方法体内成为栈的独享空间
- 用final修饰基础变量,但引用变量用final修饰还是不行(指向不可变,但内容可变)
- 加锁(内置锁,显示Lock锁),后面会有说明
- 使用安全类
- 原子性:Atomic包
- 容器:ConcurrentHashMap
- locks包
3. 准备知识点及关键字
- 原子性:执行多个操作,其中一个操作没执行的话,全部操作也不执行;否则全部执行
- 内存屏障:CPU有缓存,如果数据在缓存上,不能实时和内存发生信息交换,分在不同CPU执行的不同线程对同一个变量的缓存值不同
- 有序性:代码的执行顺序按照代码的先后顺序执行,不用考虑重排序(指令执行前JVM会优化且重排序)
- 可见性:一个线程对共享变量的修改,另一个线程能立刻看到
- volatile:轻量级的同步机制,只修饰类变量和实例变量,仅保证可见性,不保证原子性,保证有序性,某变量被修改后所有进程知道该变量被修改,但如果重新赋值,这个还是非原子性分三步走(一旦完成写入操作,所有进程都会得到最新值)
4 锁
4.1 synchronized内置锁
- 它是java的关键字,可以修饰方法,代码块,类
- synchronized锁一次只能允许一个线程进入被锁住的代码块,java每个对象都有内置锁 / 监视器锁,synchronized就是使用对象的内置锁来锁定的
- 保证锁内的原子性和可见性
4.1.1 方法锁
代码语言:javascript复制public class Synchronizedtest implements Runnable {
//使用的是该类的锁
@Override
public synchronized void run() {
for(int i = 0;i < 100;i ){
System.out.println(Thread.currentThread().getName() "------" i);
}
}
public static void main(String[] args) {
Synchronizedtest st = new Synchronizedtest();
Thread t1 = new Thread(st,"线程1");
Thread t2 = new Thread(st,"线程2");
t1.start();
t2.start();
}
}
代码语言:javascript复制线程1------96
线程1------97
线程1------98
线程1------99 //获得锁,执行完才释放,t2线程不能执行该方法
线程2------0
线程2------1
线程2------2
线程2------3
线程2------4
4.1.2 代码块锁
代码语言:javascript复制public void run() {
//使用的也是该类的锁,打印结果是一致的
//也可以用一个对象作为锁,客户端锁,但不推荐
synchronized(this){
for(int i = 0;i < 100;i ){
System.out.println(Thread.currentThread().getName() "------" i);
}
}
}
4.1.3 静态锁
代码语言:javascript复制public class test {
//静态方法属于类,获取到的锁是属于类锁(类的字节码文件对象)
public static synchronized void test() {
}
}
4.1.4 类锁与对象锁
二者不会冲突,即即可获得对象锁,也可获得类锁
代码语言:javascript复制public class testLock {
//对象锁
public synchronized void lockOne() throws InterruptedException {
for (int i = 0; i < 100; i ) {
System.out.println(Thread.currentThread().getName() ": " i);
}
}
//类锁
public static synchronized void lockTwo() throws InterruptedException {
for (int i = 0; i < 100; i ) {
System.out.println(Thread.currentThread().getName() ": " i);
}
}
public static void main(String[] args) {
testLock demo = new testLock();
Thread t1 = new Thread(() -> {
try {
demo.lockOne();
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
});
Thread t2 = new Thread(() -> {
try {
lockTwo();
} catch (InterruptedException e) {
// TODO Auto-generated catch block
e.printStackTrace();
}
});
t1.start();
t2.start();
}
}
代码语言:javascript复制//两个线程都执行
Thread-1: 99
Thread-0: 35
4.1.5 内置锁的可重入性
代码语言:javascript复制public class Widget {
// 锁住了
public synchronized void doSomething() {
System.out.println("Wigget--------------");
}
}
public class LoggingWidget extends Widget {
// 锁住了
public synchronized void doSomething() {
System.out.println("LoggingWidget------------");
super.doSomething();
}
}
- 能运行,不会死锁
- 线程运行LoggingWidget的dosomething()方法时,获得LoggingWidget的对象实例锁
- 当调用super.doSomething();时,调用者还是LoggingWidget,再次获取LoggingWidget的对象实例锁,再次锁,即锁的重入
- 上面的锁是在实例对象上的,不是类上的,锁都是同一个,但不是获得多把锁(每个锁有个关联对象和计数器,当某一线程请求锁成功后,JVM记下锁的持有线程,并且将计数器置为1;此时其它线程请求该锁,则必须等待;而如果同一个线程再次请求这个锁,就可以再次拿到这个锁,同时计数器会递增;当线程退出同步代码块时,计数器会递减,如果计数器为0,则释放该锁)
4.2 Lock显式锁
4.2.1 AQS
在JUC并发包下有locks接口,里面有三个抽象类
其中,AbstractQueuedSynchronizer为AQS,而且我们后面要讲的Lock显式锁的内部类(ReentrantLock、 ReadWriteLock)都是他的子类,根据名字可以知道他是抽象队列同步器,AQS是ReentrantReadWriteLock和ReentrantLock的基础,因为默认的实现都是在内部类Syn中,而Syn继承了AQS
根据其注释可知:
- AQS是包装好的实现锁的抽象同步器
- 依靠原子int表示状态(获取,释放)
- 内部维护队列,没有获取锁就排队
- 有重要的内部类ConditionObject,子类一般使用内部类来实现同步操作
- 有两种线程模式
- 独占
- 共享
4.2.2 准备知识点
- CAS:compare and swap(比较与交换),不使用锁来实现多线程之间的变量同步
- 涉及三个数:内存值V,比较值A,新值B
- 当且仅当内存地址V的值与比较值A相等时,将内存地址V的值修改为B,否则就什么都不做。整个比较并替换的操作是一个原子操作
- 公平锁:线程按它们发出请求锁的顺序来获取锁
4.2.3 状态
volatile保证状态可见性
代码语言:javascript复制/**
* The synchronization state.
*/
private volatile int state;
CAS算法保证原子性
代码语言:javascript复制protected final boolean compareAndSetState(int expect, int update) {
// See below for intrinsics setup to support this
return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}
4.2.4 acquire 获取独占锁
acquire(int)尝试获取资源,如果获取失败,将线程插入等待队列。插入等待队列后,acquire(int)并没有放弃获取资源,而是根据前置节点状态状态判断是否应该继续获取资源,如果前置节点是头结点,继续尝试获取资源,如果前置节点是SIGNAL状态,就中断当前线程,否则继续尝试获取资源。直到当前线程被park()或者获取到资源,acquire(int)结束。
代码语言:javascript复制public final void acquire(int arg) {
if (!tryAcquire(arg) && acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
selfInterrupt();
}
//子类实现的类,模板模式
4.2.5 release 释放独占锁
首先调用子类的tryRelease()方法释放锁,然后唤醒后继节点,在唤醒的过程中,需要判断后继节点是否满足情况,如果后继节点不为且不是作废状态,则唤醒这个后继节点,否则从tail节点向前寻找合适的节点,如果找到,则唤醒
代码语言:javascript复制public final boolean release(int arg) {
if (tryRelease(arg)) {
Node h = head;
if (h != null && h.waitStatus != 0)
unparkSuccessor(h);
return true;
}
return false;
}
4.2.6 Lock显式锁
- 使用时最标准用法是在try之前调用lock方法,在finally代码块释放锁
- 主要说明两个常见子类:
- ReentrantLock
- ReentrantReadWriteLock
426.1 ReentrantLock
构造方法
代码语言:javascript复制public ReentrantLock() {
sync = new NonfairSync();
}
//默认非公平锁
//也支持公平锁
public ReentrantLock(boolean fair) {
sync = fair ? new FairSync() : new NonfairSync();
}
lock方法
代码语言:javascript复制/**
* Performs lock. Try immediate barge, backing up to normal
* acquire on failure.
*/
final void lock() {
if (compareAndSetState(0, 1)) //CAS保证
setExclusiveOwnerThread(Thread.currentThread()); //尝试获取锁
else
acquire(1); //失败就调用AQS的acquire方法
}
代码语言:javascript复制/**
* Performs non-fair tryLock. tryAcquire is implemented in
* subclasses, but both need nonfair try for trylock method.
*/
final boolean nonfairTryAcquire(int acquires) {
final Thread current = Thread.currentThread();
int c = getState();
if (c == 0) { //如果锁是空闲的
if (compareAndSetState(0, acquires)) {
setExclusiveOwnerThread(current);
return true;
}
}else if (current == getExclusiveOwnerThread()) { //重入锁
int nextc = c acquires;
if (nextc < 0) // overflow
throw new Error("Maximum lock count exceeded");
setState(nextc);
return true;
}
return false;
}
unlock
代码语言:javascript复制public void unlock() {
sync.release(1);
}
代码语言:javascript复制public final boolean release(int arg) {
if (tryRelease(arg)) { //子类实现
Node h = head;
if (h != null && h.waitStatus != 0)
unparkSuccessor(h);
return true;
}
return false;
}
代码语言:javascript复制protected final boolean tryRelease(int releases) {
int c = getState() - releases; //计数器减 1
if (Thread.currentThread() != getExclusiveOwnerThread())throw new IllegalMonitorStateException();
boolean free = false;
if (c == 0) { //莫得锁了
free = true;
setExclusiveOwnerThread(null); //锁线程设置为空
}
setState(c);
return free;
}
426.2 ReentrantReadWriteLock
ReentrantReadWriteLock读写锁:
- 允许多个线程同时进入临界区读取数据
- 写操作互斥读和写
- 在读取多,写入少的情况就发挥作用了
读写锁有个接口:ReadWriteLock,定义了两个方法:readLcok(),writeLock(),而ReentrantReadWriteLock实现了该接口
获取写锁
代码语言:javascript复制protected final boolean tryAcquire(int acquires) {
/*
* Walkthrough:
* 1. If read count nonzero or write count nonzero
* and owner is a different thread, fail.
* 2. If count would saturate, fail. (This can only
* happen if count is already nonzero.)
* 3. Otherwise, this thread is eligible for lock if
* it is either a reentrant acquire or
* queue policy allows it. If so, update state
* and set owner.
*/
Thread current = Thread.currentThread();
int c = getState(); //状态
int w = exclusiveCount(c);
if (c != 0) {
// (Note: if c != 0 and w == 0 then shared count != 0)
if (w == 0 || current != getExclusiveOwnerThread()) //不是当前线程
return false;
if (w exclusiveCount(acquires) > MAX_COUNT) //大于饱和
throw new Error("Maximum lock count exceeded");
// Reentrant acquire
setState(c acquires);
return true;
}
if (writerShouldBlock() || !compareAndSetState(c, c acquires))
return false;
setExclusiveOwnerThread(current);
return true;
}
获取读锁
代码语言:javascript复制protected final int tryAcquireShared(int unused) {
Thread current = Thread.currentThread();
int c = getState();
if (exclusiveCount(c) != 0 && getExclusiveOwnerThread() != current) //存在写锁,但不在本线程
return -1;
int r = sharedCount(c);
if (!readerShouldBlock() && r < MAX_COUNT && compareAndSetState(c, c SHARED_UNIT)){
if (r == 0) {
firstReader = current;
firstReaderHoldCount = 1;
}else if (firstReader == current) {
firstReaderHoldCount ;
}else {
HoldCounter rh = cachedHoldCounter;
if (rh == null || rh.tid != getThreadId(current))
cachedHoldCounter = rh = readHolds.get();
else if (rh.count == 0)
readHolds.set(rh);
rh.count ;
}
return 1;
}
return fullTryAcquireShared(current);
}
4.2.7 使用
- ReentrantLock
public class Counter {
private final Lock lock = new ReentrantLock();
private int count;
public void add(int n) {
lock.lock();
try {
count = n;
} finally {
lock.unlock();
}
}
}
- ReentrantReadWriteLock
public class Counter {
private final ReadWriteLock rwlock = new ReentrantReadWriteLock();
private final Lock rlock = rwlock.readLock(); //获取读锁
private final Lock wlock = rwlock.writeLock(); //获取写锁
private int[] counts = new int[10];
public void inc(int index) {
wlock.lock(); // 加写锁
try {
counts[index] = 1;
} finally {
wlock.unlock(); // 释放写锁
}
}
public int[] get() {
rlock.lock(); // 加读锁
try {
return Arrays.copyOf(counts, counts.length);
} finally {
rlock.unlock(); // 释放读锁
}
}
}
- condition
class conditionTest {
private final Lock lock = new ReentrantLock();
private final Condition condition = lock.newCondition(); //一定要这样获取绑定条件
public void test1() {
lock.lock();
try {
//dosomenthing
condition.signalAll();
} finally {
lock.unlock();
}
}
public void test2() {
lock.lock();
try {
//dosomething
condition.await();
} finally {
lock.unlock();
}
}
}