Java内存模型发生-在保证线程池交互之前

Java内存模型是否提供线程池交互之前发生的保证？尤其是，线程池工作线程在从工作队列中运行项目结束之前所做的写入是否对之后从队列中运行下一个项目的工作线程可见？

该规范（我个人认为该FAQ很有用：http : //www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#synchronization）指出“在A上调用start（）线程发生在启动线程中的任何操作之前。 “或者简单地说，您在启动线程之前所做的任何内存写入都将在启动线程将要执行的run（）方法之前执行，并且对run（）方法可见。对于线程池，情况有所不同，start（）通常会在进行写操作之前运行。考虑一个简单的工作流，其中将上下文对象变异并传递给下一个操作：

import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;

public class Main {

    private static class Container<T> {
        private T value;
        public T get() {
            return value;
        }
        public void set(T newValue) {
            value = newValue;
        }
    }

    public static void main(String[] args) {
        final Container<Integer> sharedObject = new Container<>();
        final ExecutorService executor = Executors.newFixedThreadPool(10);
        // SKIPPED: pre-warm the executor so all worker threads are start()'ed
        final Runnable read = () -> System.out.println("Got " + sharedObject.get());
        Runnable write = () -> {
            sharedObject.set(35);
            executor.execute(read);
        };
        executor.execute(write);
        // SKIPPED: wait until done
    }
}

是写sharedObject.value的write.run()保证是可见（不询问订货，这是显而易见的）来read.run()？

（PS：我知道制作value volatile确实可以提供此保证）

更新（补充答案）：软件包摘要文档，以java.util.concurrent总结该语言提供并由框架扩展的内存一致性保证：https : //docs.oracle.com/javase/7/docs/api/java/util/concurrent/package -summary.html＃MemoryVisibility