Prototype of Ownership/Borrowing System for D
rikki at cattermole.co.nz
Mon Dec 2 23:18:55 UTC 2019
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.
> 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
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.
More information about the Digitalmars-d