Les garanties d'accès de ML Refs?

Question

Existe-t-il des garanties d'accès avec le type Ref de ML face à un accès simultané?

Answer 1

Je voudrais espérons qu'au moins l'accès ref est atomique en soi (par exemple, ne jamais avoir une référence à un emplacement de mémoire invalide :-). Cependant, cela dépend de l'implémentation car les threads ne font pas partie de la spécification ML/SML. La 'volatilité' (vue cohérente de la lecture/écriture à la référence à travers les threads/processeurs), ainsi que tout accès à l'objet sous-jacent sont au moins deux autres choses qui doivent être considérées. Encore une fois, demandez l'implémentation avec la concurrence.