ML Refs的访问保证？

Question

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

Answer 1

我希望至少ref访问本身就是原子的（例如，永远不会引用无效的内存位置:-)。但是，它取决于实现，因为线程不属于ML / SML规范afaik。

'volatility'（跨线程/处理器对ref的读/写的一致视图），以及对底层对象的任何访问至少还有两个需要考虑的事情。再次，请求并发实现。