java - AQS中源码疑问

问题描述

问 题

在AbstractQueuedSynchronizer类中维护了一个用volatile修饰的state状态，而这个状态有如下的两种修改方法：

• state的set方法：

protected final void setState(int newState) {
    state = newState;
}

• CAS方法:

protected final boolean compareAndSetState(int expect, int update) {
    // See below for intrinsics setup to support this
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

那么，我的疑问来了，不是说volatile修饰的变量在多线程的单操作中，能够保证其写后读的可见性，即能保证线程安全，为什么还提供了CAS操作能保证线程安全呢？还是我的理解有问题呢？谢谢各位大牛了！

解决方案

并不冲突吧，setState只是一个写操作，并没有管原来的state，比如state原本是0，线程1和线程2分别读取了这个值0，线程1把它set成1，然后线程2打算把它set成2，是可以成功的，尽管state已经是1了，而且线程2也知道，但是无所谓，线程2只是把它set成2。下面那个方法就不会了吧。

这篇关于java - AQS中源码疑问的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！