segments and confinement

[Maurizio Cimadamore]

On 03/07/2020 12:47, Vladimir Ivanov wrote:
> There's another invariant: liveness check on the segment (re-reading 
> unique pointer in the terms you use) and the access shouldn't be 
> separated by a safepoint. It may result in repeated checks/loads that 
> would be redundant otherwise. 

And this is indeed the trickiest part to get right. Some revamp of the 
unsafe memory access primitive is required to do that; we're exploring 
some options, but we're not yet at the stage where we're comfortable 
making any proposal.

Maurizio