CAS模型
Java5中引入了AutomicInteger、AutomicLong、AutomicReference等特殊的原子性变量类,它们提供的
如compareAndSet、incrementAndSet和getAndIncrement等方法都使用了CAS操作。都是由硬件指令来保
证的原子方法。
CAS即比较并交换。是解决多线程并行情况下使用锁造成性能损耗的一种机制,CAS操作包含三个操作数——内
存位置V、预期原值A和新值B。如果内存位置的值与预期原值相匹配,那么处理器会自动将该位置值更新为新
值。否则,处理器不做任何操作。无论哪种情况,它都会在CAS指令之前返回该位置的值。
比较和交换(Compare And Swap)是用于实现多线程同步的原子指令。 它将内存位置的内容与给定值进行比
较,只有在相同的情况下,将该内存位置的内容修改为新的给定值。这是作为单个原子操作完成的。
原子性保证新值基于最新信息计算; 如果该值在同一时间被另一个线程更新,则写入将失败。操作结果必须说
明是否进行替换; 这可以通过一个简单的布尔响应(这个变体通常称为比较和设置),或通过返回从内存位置
读取的值来完成
CAS 的特性:
- 通过调用JNI的代码实现
- 非阻塞算法
- 非独占锁
CAS 存在的问题:
- ABA
- 循环时间长开销大
- 只能保证一个共享变量的原子操作
典型案例:原子量
所谓的原子量即操作变量的操作是原子的,该操作不可再分,因此是线程安全的。
为何要使用原子变量呢,
原因是多个线程对单个变量操作也会引起一些问题。在Java5之前,可以通过volatile
、synchronized关键字来解决并发访问的安全问题,但这样太麻烦。
Java5后专门提供了用来进行单变量多线程并发安全访问的工具包
java.util.concurrent.atomic,其中的类也很简单。例如
AtomicLong aLong=new AtomicLong(10000); //原子量,每个线程都可以自由操作
具体实现:
Java中的Unsafe类提供了类似C++手动管理内存的能力。Unsafe类对普通程序员来说是
危险的,一般应用开发者不会用到这个类。getIntVolatile方法用于在对象指定偏移地
址处volatile读取一个int。putIntVolatile方法用于在对象指定偏移地址处volatile
写入一个int。
CAS模型的问题
1、ABA问题
解决方法:JAVA中提供了AtomicStampedReference/AtomicMarkableReference来处理会发生 ABA问题的场景,主要是在对象中额外再增加一个标记来标识对象是否有过变更。
2、CAS应用场景隐含竞争是短暂的,否则不断的自旋尝试会过度消耗CPU
> 解决方法加入超时设置
3、CAS只能保证一个共享变量的原子操作,解决方法是使用锁或者合并多个变量
> AtomicReference提供了以无锁方式访问共享资源的能力
总结:
AtomicInteger、AtomicBoolean、AtomicLong、AtomicReference这些原子类型,它们无一例外
都采用了基于volatile 关键字 +CAS 算法无锁的操作方式来确保共享数据在多线程操作下的线程安
全性。
- volatile关键字保证了线程间的可见性,当某线程操作了被volatile关键字修饰的变量,其他线
程可以立即看到该共享变量的变化。
- CAS算法,即对比交换算法,是由UNSAFE提供的,实质上是通过操作CPU指令来得到保证的。CAS
算法提供了一种快速失败的方式,当某线程修改已经被改变的数据时会快速失败。
- 当CAS算法对共享数据操作失败时,因为有自旋算法的加持,对共享数据的更新终究会得到计算。
总之,原子类型用自旋+CAS的无锁操作保证了共享变量的线程安全性和原子性。
CyclicBarrier作用就是会让所有线程都等待完成后才会继续下一步行动。
*
- Java5中添加了障碍器类,为了适应一种新的设计需求,比如一个大型的
- 任务,常常需要分配好多子任务去执行,只有当所有子任务都执行完成时
- 候,才能执行主任务,这时候,就可以选择障碍器了。障碍器是多线程并
- 发控制的一种手段
-
- CyclicBarrier(int parties)参与线程的个数
-
- CyclicBarrier(int parties, Runnable barrierAction)
- Runnable参数是最后一个到达线程要做的任务
-
- int await() 线程调用await()表示自己已经到达栅栏
-
- int await(long timeout, TimeUnit unit)
- 主要工作原理,通过构造函数创建一个指定屏障数的屏障类,在各线程中
- 调用await(),调用后当前线程将被阻塞,直到调用的次数到指定屏障数
- 后,所有阻塞的线程将恢复继续执行。
- CountDownLatch闭锁
- CountDownLatch是一个同步工具类,join的增强版。允许一个或多个线程,等待其他一组线程完成操作,
- 再继续执行。底层实现为AQS
-
- public CountDownLatch(int count); 构造函数,初始化计数器值为count,count只能被设置一次
-
- public void await()throws InterruptedException; 调用await()方法的线程会被挂起,直到
- count值为0才继续执行
-
- public boolean await(longtimeout, TimeUnit unit)throws InterruptedException; 和
- await()类似,只不过等待一定的时间后count值还没变为0的话就会继续执行
-
- public void countDown();将count值减1
- 它是通过控制计数器的值来达到等待的目的。当计数器的值>0时,调用countDownLatch.await()会阻塞当
- 前线程,直到其他线程调用countDownLatch.countDown()将计数器的值减到0时,阻塞线程将被唤醒。计
- 数器的值>0时调用await()方法不会阻塞当前线程。主线程必须在启动其他线程后立即调用
- CountDownLatch.await()方法。这样主线程的操作就会在这个方法上阻塞,直到其他线程完成各自的任务。
- join与countDownLatch区别
-
- join用于让当前执行线程等待join线程执行结束。其实现原理是不停检查join线程是否存活,如果join线
- 程存活则让当前线程永远wait。
-
- countDownLatch没有这个线程,只要count减小到0,不管被等待线程是否执行结束,等待线程都可以继续
- 执行(被唤醒,进入可执行状态)。
- yield与join方法的区别
-
- yield()方法:暂停当前正在执行的线程对象,并执行其他线程。
- yield()应该做的是让当前运行线程回到可运行状态,以允许具有相同优先级的其他线程获得运行机会。因此
- ,使用yield()的目的是让相同优先级的线程之间能适当的轮转执行。但是,实际中无法保证yield()达到让
- 步目的,因为让步的线程还有可能被线程调度程序再次选中。
- 结论:yield()从未导致线程转到等待/睡眠/阻塞状态。在大多数情况下,yield()将导致线程从运行状态转
- 到可运行状态,但有可能没有效果。
-
- join()方法:线程实例的join()方法可以使得一个线程在另一个线程结束后再执行,即也就是说使得当前
- 线程可以阻塞其他线程执行;
- thread.Join把指定的线程加入到当前线程,可以将两个交替执行的线程合并为顺序执行的线程。比如在线程
- B中调用了线程A的Join()方法,直到线程A执行完毕后,才会继续执行线程B。
信号量:
- Java的信号量实际上是一个功能完备的计数器,能监控有多少数目的线程等待获取资源,
- 并且通过信号量可以得知可用资源的数目等,这里强调“数目”二字,但不能指出来有哪些
- 在等待,哪些资源可用。
- Semaphore用来控制对有限资源的访问数量。
- 应用场景:有限资源的使用限制
-
- public Semaphore(int permits) permits表示初始可用的资源,注意,只是初始值
- 为permits,并不是资源的最大数,通过释放资源的操作可以使可用资源数量超过初始值
-
- public Semaphore(int permits, boolean fair) fair等待资源的线程是否采用公
- 平策略获取锁,true即是先来先得。(公平锁)
-
- acquire()申请资源,当申请的资源>现有可用资源时,申请资源的线程将被阻塞,直到
- 有可用资源或者申请线程被打断,若线程被打断,则抛出InterruptedException异常
-
- release()释放一个资源