Prototype of Ownership/Borrowing System for D

[rikki cattermole]

On 03/12/2019 11:51 AM, Ola Fosheim Grøstad wrote:
> FWIW, Microsoft is working on a new research language Verona that 
> partition groups of objects into regions that can have their own memory 
> management scheme. Only one thread can access the same region at the 
> same time as I understand it.
> 
> https://www.slideshare.net/KTNUK/digital-security-by-design-security-and-legacy-at-microsoft-matthew-parkinson-microsoft 
> 
> 
> One of the people behind Pony (Sylvan Clebsch) is listed on one of the 
> slides, and yeah, this approach has some commonalities with Pony, I guess.
> 
> Anyway, it is for interacting with C++ code.

I only just watched the talk a couple of hours ago.

There is one key feature that both of us share.
Objects life times get owned by a data structure.

In both of my examples in the code proposal I linked above were based 
upon just this. Some sort of object (either a class or the double linked 
lists nodes) is owned by some sort of data structure (Scoped vs 
DoubleLinkedList).

I am not convinced about their memory region scheme, based upon the talk 
it looks to be prone to data races with locks. Which is worrying.

But so far I'm getting convinced that my idea isn't completely crazy.

I'm going to try and reach out and get a confirmation on how their 
memory region system works.