为什么FutureTask类的outcome变量不需要加上volatile修饰？

Question

第一个问题：
为什么outcome变量不加上volatile，以及在set和setException方法中，要专门的UNSAFE.putOrderedInt 已经加上volatile的state方法？

因为我个人认为，outcomme会被多个线程访问（一个可以读写，其他的只能读），这种情况下，为啥不加上volatile，加上volatile的好处可以让outcome和state变量被修改后，其他线程立刻知道？而为什么作者故意不使用volatile的特性呢？

    /** The result to return or exception to throw from get() */
    private Object outcome; // non-volatile, protected by state reads/writes
        
    protected void set(V v) {
        if (UNSAFE.compareAndSwapInt(this, stateOffset, NEW, COMPLETING)) {
            outcome = v;
            UNSAFE.putOrderedInt(this, stateOffset, NORMAL); // final state
            finishCompletion();
        }
    }

Answer 1

猜测：

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

Answer 2

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

Answer 3

在执行完outcome = v; 之后有一句
UNSAFE.putOrderedInt(this, stateOffset, NORMAL);
这个是把状态刷到主内存保证其他线程都可见。happens-before 原则outcome对其他线程也可见
详细可参考下：https://stackoverflow.com/questions/14432400/why-outcome-object-in-futuretask-is-non-volatile