FutureTask 里使用普通语义而不是 CAS 写的原因是？

在 FutureTask 里面，普通写和 CAS 写是 混合使用的。比如

    public boolean cancel(boolean mayInterruptIfRunning) {
        if (!(state == NEW &&
              UNSAFE.compareAndSwapInt(this, stateOffset, NEW,
                  mayInterruptIfRunning ? INTERRUPTING : CANCELLED)))
            return false;
        try {    // in case call to interrupt throws exception
            if (mayInterruptIfRunning) {
                try {
                    Thread t = runner;
                    if (t != null)
                        t.interrupt();
                } finally { // final state
                    UNSAFE.putOrderedInt(this, stateOffset, INTERRUPTED);  //这里是普通写语义
                }
            }
        } finally {
            finishCompletion();
        }
        return true;
    }

我这么解释对吗：

• 一来，这个状态转移是唯一的。INTERRUPTING 只能变成 INTERRUPTED 。其他线程暂时看不到 INTERRUPTED 也没关系。（注意，暂时看不到 INTERRUPTING，会导致 handlePossibleCancellationInterrupt 自旋）
• 二来。由于 finishCompletion 有其他的 CAS 操作，执行了 CAS 操作就相当于强制刷新了内存，所以只要 finishCompletion 执行了 CAS，那么其他线程也就能看到 INTERRUPTED 这个状态了。