Native Implementation of Mutable Value Semantics · HackerPapers discussions

Native Implementation of Mutable Value Semantics — mentioned by justinpombrio

Sat, 28 Oct 2023 00:09:24 GMT

Some relevant PL research STM: https://cs.brown.edu/~mph/HerlihyM93/herlihy93transactional.... Region based memory management: https://en.wikipedia.org/wiki/Region-based_memory_management Rust lifetimes, originally from Cyclone: https://en.wikipedia.org/wiki/Cyclone_%28programming_languag... Mutable value semantics: https://arxiv.org/pdf/2106.12678.pdf

Paper and discussion history. A mention is not an endorsement.

Native Implementation of Mutable Value Semantics — HN submission

Fri, 28 Apr 2023 07:58:43 GMT

Native Implementation of Mutable Value Semantics

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Native Implementation of Mutable Value Semantics — mentioned by samsquire

Wed, 08 Feb 2023 14:09:45 GMT

This is interesting, thanks. That's a lot to read but I'm working my way through it. I read a whitepaper on value semantics: https://arxiv.org/pdf/2106.12678.pdf I think it's promising. I've been working on multithreaded code that passes references around. If you hold the reference, you have exclusive access for reading and writing the data at the reference. In theory you should only send values between threads when you need to pass exclusive access to a thread. At all other times, data is completely sharded between threads. The only reason to pass a reference around is to pass data between…

Paper and discussion history. A mention is not an endorsement.

Native Implementation of Mutable Value Semantics — HN submission

Thu, 18 Nov 2021 08:42:43 GMT

Native Implementation of Mutable Value Semantics

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

Native Implementation of Mutable Value Semantics — HN submission

Wed, 07 Jul 2021 16:25:07 GMT

Native Implementation of Mutable Value Semantics

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.