ML Refs的访问保证？

Question

面对并发访问，ML的Ref类型是否有访问保证？

Answer 1

我会希望至少ref访问本身是原子的（例如，从来没有引用无效的内存位置:-)。然而，它依赖于实现，因为线程不是ML/SML规范afaik的一部分。

'波动率'（跨线程/处理器的ref的读/写的一致视图）以及任何对基础对象的访问都至少需要考虑另外两件事情。再次请求并发性实现。