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

Question

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

Answer 1

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

Answer 2

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