产生多线程问题主要有以下几点:
1.多线程环境
2.有临界资源
3.有多个线程在同一时刻操作临界资源
具体产生的问题:
1.可见性问题(volatile:被volatile修饰的共享数据会导致变量副本每次访问时强制清空!从而保证每次访问的都是主内存中的最新值!)
2.原子性问题(CAS、加锁)
3.指令重排
ReentrantLock
允许线程多次获取同一把锁而不会造成死锁。内部通过计数器记录线程获取锁的次数,当计数器归零时,锁才会被释放。
与synchronized
隐式获取锁不同,使用ReentrantLock
需要显式地调用lock()
方法来获取锁,并在完成操作后调用unlock()
方法来释放锁。
ReentrantLock
可以设置为公平锁,即锁倾向于将锁赋予等待时间最长的线程。默认情况下,ReentrantLock
是非公平的,以提供更高的吞吐量。
ReentrantLock如何实现synchronized不具备的公平与非公平性呢?在ReentrantLock内部定义了一个Sync的内部类,该类继承AbstractQueuedSynchronized,对该抽象类的部分方法做了实现;并且还定义了两个子类:1、FairSync 公平锁的实现2、NonfairSync 非公平锁的实现这两个类都继承自Sync,也就是间接继承了AbstractQueuedSynchronized,所以这一个ReentrantLock同时具备公平与非公平特性。上面主要涉及的设计模式:模板模式-子类根据需要做具体业务实现
ReentrantLock
提供了lockInterruptibly()
方法,允许在等待锁的过程中响应中断。
ReentrantLock
提供了tryLock()
方法,尝试立即获取锁,如果锁可用则返回true,否则返回false。
ReentrantLock
与Condition
对象配合使用,提供类似Object.wait()
和Object.notify()
的等待/通知机制,但提供了更灵活的用法。
import java.util.concurrent.locks.ReentrantLock;
public class Counter {
private final ReentrantLock lock = new ReentrantLock();
// ...
}
public void increment() {
lock.lock(); // 获取锁
try {
// 执行临界区代码
count++;
} finally {
lock.unlock(); // 释放锁
}
}
private final ReentrantLock lock = new ReentrantLock(true); // 创建公平锁
public void increment() throws InterruptedException {
lock.lockInterruptibly(); // 可中断的锁获取
try {
count++;
} finally {
lock.unlock();
}
}
public boolean tryIncrement() {
if (lock.tryLock()) { // 尝试获取锁
try {
count++;
return true;
} finally {
lock.unlock(); // 释放锁
}
}
return false;
}
public class BoundedBuffer {
private final ReentrantLock lock = new ReentrantLock();
private final Condition notFull = lock.newCondition();
private final Condition notEmpty = lock.newCondition();
// 入队操作
public void put(Object item) throws InterruptedException {
lock.lock();
try {
while (isFull()) {
notFull.await(); // 等待队列不满
}
// 入队操作
notEmpty.signal(); // 通知队列非空
} finally {
lock.unlock();
}
}
// 出队操作
public Object take() throws InterruptedException {
lock.lock();
try {
while (isEmpty()) {
notEmpty.await(); // 等待队列非空
}
// 出队操作
notFull.signal(); // 通知队列不满
} finally {
lock.unlock();
}
}
}
阻塞等待队列共享/独占公平/非公平可重入允许中断
ReentrantLock lock = new ReentrantLock(false);//false为非公平锁,true为公平锁
3个线程
T0 T1 T2
lock.lock() //加锁
while(true){
if(cas加锁成功){//cas->比较与交换compare and swap,
break;跳出循环
}
//Thread.yeild()//让出CPU使用权
//Thread.sleep(1);
HashSet,LikedQueued(),
HashSet.add(Thread)
LikedQueued.put(Thread)
阻塞。
LockSupport.park();
}
T0获取锁
xxxx业务逻辑
xxxxx业务逻辑
lock.unlock() //解锁
Thread t= HashSet.get()
Thread t = LikedQueued.take();
LockSupport.unpark(t);
Lock,公平与公平两种特性
三大核心原理
自旋,LocksSuport, CAS,queue队列
CAS依赖汇编指令:cmpxchg()
Lock可重入性:可重入!
synchronized:可重入
公平
exclusiveOwnerThread 当前获取锁的线程是谁!
state 状态器
public final void acquire(int arg) {
if (!tryAcquire(arg) &&
acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
selfInterrupt();
}
tryAcquire(arg) //锁竞争逻辑
//CLH
addWaiter(Node.EXCLUSIVE) //线程入队,Node节点,Node对Thread引用
Node:共享属性,独占属性 //响应式编程,异步非阻塞,FutureTask,Callbale
创建节点Node = pre,next,waitestate,thread 重要属性
waitestate节点的生命状态:信号量
SIGNAL = -1 //可被唤醒
CANCELLED = 1 //代表出现异常,中断引起的,需要废弃结束
CONDITION = -2 // 条件等待
PROPAGATE = -3 // 传播
0 - 初始状态Init状态
为了保证所有阻塞线程对象能够被唤醒
compareAndSetTail(t, node) 入队也存在竞争
//当前节点,线程要开始阻塞
acquireQueued(Node(currentThread), arg)
节点阻塞之前还得再尝试一次获取锁:
1,能够获取到,节点出队,并且把head往后挪一个节点,新的头结点就是当前节点
2、不能获取到,阻塞等待被唤醒
1.首先第1轮循环、修改head的状态,修改成sinal=-1标记处可以被唤醒.
2.第2轮循环,阻塞线程,并且需要判断线程是否是有中断信号唤醒的!
shouldParkAfterFailedAcquire(p, node)
waitestate = 0 - > -1 head节点为什么改到-1,因为持有锁的线程T0在释放锁的时候,得判断head节点的waitestate是否!=0,如果!=0成立,会再把waitstate = -1->0,要想唤醒排队的第一个线程T1,T1被唤醒再接着走循环,去抢锁,可能会再失败(在非公平锁场景下),此时可能有线程T3持有了锁!T1可能再次被阻塞,head的节点状态需要再一次经历两轮循环:waitState = 0 -> -1
Park阻塞线程唤醒有两种方式:
1、中断
2、release()