一、原子变量
原子类,存在于java并发原子包中,包含AtomicInteger、AtomicLong、AtomicBoolean、原子引用等。
作用:
将一些组合操作用原子操作代替,满足多线程同步。
1、原理
原子类底层通过CAS操作达到原子操作,CAS ,全名compareAndSet()方法,它会先获取原值,然后进行修改后,在更新时,将期望值与原值做比较,如果相同,则更新,返回true,否则返回false。
AtomicInteger中,incrementAndGet()方法自增,内部是一个死循环,会一直调用comapreAndSet()方法,直到返回success,结束。
2、原子类与synchronized区别
1)synchronized首先需要获取对象锁,获取不到,线程会进入阻塞状态,进入阻塞队列中,是一种悲观锁,
2)原子类无需获取对象锁,底层使用CAS进行更新,如果更新失败,会继续尝试,是一种乐观锁。
3、ABA问题
是指当存在其他线程对变量进行了修改,然后恢复成原值,当前线程无法获知中间的变化过程。
解决方法:
通过实际戳和值进行更新,只有值和时间戳都相同时才进行修改。
二、显示锁
代表类:Lock接口、ReentranLock、ReadWriteReentranLock
必须要显示的执行lock.lock(),且必须对锁进行释放unlock()
tryLock():获取锁,立即返回,不阻塞,如果获取不到,则返回false;
lock():获取锁,获取不到则阻塞直到成功。
newCondition():新建一个条件,一个lock可以关联多个条件。
1、可重入锁ReentranLock
可重入:一个线程在持有一个锁的前提下,可以继续获得该锁;
保证内存可见性
可以实现公平锁与非公平锁。公平锁是指优先将锁分配给等待时间最长的线程,但是公平会影响性能(存在线程的切换),synchronized是非公平锁。
实现原理
底层是通过CAS和LockSupport类支持的
LockSupport类内部有park()和unpark()方法,
park()会让当前线程放弃CPU,进入等待状态(waiting),操作系统不再对他进行调度(Thread.yield():告诉系统可以让其他线程运行,但是自己还是可运行桩体),有其他线程调用了unpark方法,将会恢复到可运行状态。
AQS
抽象类,AbstractQueuedSynchronizer ,封装了大部分并发操作,使得实现类得以简化。
int state:持有锁的数量
Node tail:等待队列尾
Node head:等待队列头
Thread exclusiveOwnerThread;独占线程
lock()加锁过程:
第一步,判断state是否为0,如果是的话通过CAS操作将state+1直接设置独占线程;
第二步,state不为0,判断当前线程是否是该锁的独占线程,如果是的话,state+1;
第三步,不是独占线程,则将当前线程加入到等待队列中,非公平锁会尝试能否获取到锁,无法获取锁,会通过Locksupport.park方法将当前线程设为等待状态。
unlock()解锁过程
第一步,将state-1;
第二步,判断state是否为0,是的话将独占线程设为null
第三步,从等待队列中找出一个线程,通过LockSupport.unpark()方法将线程恢复为可运行状态。
三 、显示条件
Condition:条件队列,与锁配合使用,首先加锁,然后判断条件,不满足,则调用condition.await()将线程设为等待,将线程放到等待队列中,释放锁,直到其他线程获取到锁后,调用condition.signal(),将线程恢复到可运行状态,重新获取锁,才会从await方法退出,并执行下去。
doSignal():将节点从条件等待队列移到锁等待队列;调用LockSupport.unpark将线程唤醒。