concurrency - Access guarantees of ML Refs? -


are there access guarantees ml's ref type in face of concurrent access?

i hope @ least ref access atomic in (e.g. never have ref invalid memory location :-). however, it'd depend on implementation threads not part of ml/sml spec afaik.

the 'volatility' (consistent view of read/write ref across threads/processors), access underlying object @ least 2 other thing need considered. again, ask implementation concurrency.


Comments

Popular posts from this blog

ASP.NET/SQL find the element ID and update database -

jquery - appear modal windows bottom -

c++ - Compiling static TagLib 1.6.3 libraries for Windows -