大佬们遇到过这个问题吗？为什么FutureTask类的outcome变量不需要加上volatile修饰？

Question

第一个问题：为什么outcome变量不加上volatile，以及在set和setException方法中，要专门的UNSAFE.putOrderedInt已经加上volatile的state方法？因为我个人认为，outcomme会被多个线程访问（一个可以读写，其他的只能读），这种情况下，为啥不加上volatile，加上volatile的好处可以让outcome和state变量被修改后，其他线程立刻知道？而为什么作者故意不使用volatile的特性呢？/**Theresulttoreturnorexceptiontothrowfromget()*/privateObjectoutcome;//non-volatile,protectedbystatereads/writesprotectedvoidset(Vv){if(UNSAFE.compareAndSwapInt(this,stateOffset,NEW,COMPLETING)){outcome=v;UNSAFE.putOrderedInt(this,stateOffset,NORMAL);//finalstatefinishCompletion();}}

Answer 1

猜测：
state已经是volatile，写outcomehappen-before写state，根据内存模型别的线程看到state=NORMAL时应该也看到最新的outcome
                            

Answer 2

我理解它内部已经有state来标识整个线程的运行状况，写入和读取都是受state的保护，换句话说，当我们读取完了需要返回结果的时候是先CASstate值，修改成NEW->COMPLETING,然后再去存放结果。