Concurrency ML参考的访问保证？
面对并发访问，ML的Ref类型是否有任何访问保证？我希望至少Ref访问本身是原子的（例如，永远不会有对无效内存位置的引用：-）。但是，这取决于实现，因为线程不是ML/SML规范afaik的一部分 “波动性”（线程/处理器之间对ref的读/写的一致视图）以及对底层对象的任何访问至少是需要考虑的另外两件事。同样，请以并发方式询问实现Concurrency ML参考的访问保证？,concurrency,ml,Concurrency,Ml,面对并发访问，ML的Ref类型是否有任何访问保证？我希望至少Ref访问本身是原子的（例如，永远不会有对无效内存位置的引用：-）。但是，这取决于实现，因为线程不是ML/SML规范afaik的一部分 “波动性”（线程/处理器之间对ref的读/写的一致视图）以及对底层对象的任何访问至少是需要考虑的另外两件事。同样，请以并发方式询问实现