concurrency - MLレフリーのアクセス保証？

Question

同時アクセスに直面した場合のMLのRefタイプによるアクセス保証はありますか？

Answer 1

少なくともrefアクセス自体がアトミックであることを願っています（たとえば、無効なメモリ位置へのrefはありません:-)。ただし、スレッドはML / SML仕様の一部ではないため、実装によって異なります。

「ボラティリティ」（スレッド/プロセッサ間でのrefへの読み取り/書き込みの一貫したビュー）、および基になるオブジェクトへのアクセスは、考慮する必要がある少なくとも2つの他の事柄です。繰り返しになりますが、並行性を備えた実装を依頼してください。