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
Post a Comment