Conversation

Notices

1. Embed this notice
   Janneke (janneke@todon.nl)'s status on Thursday, 05-Dec-2024 18:24:44 JST Janneke

   in reply to

   • HoldMyType

   @xameer Lisp is a truly memory safe language invented 70 years ago.

   • Embed this notice
     HoldMyType (xameer@mathstodon.xyz)'s status on Thursday, 05-Dec-2024 18:24:46 JST HoldMyType

     Immutable borrows elegantly express
     that a value is only read, whereas move-in-move-out values
     change ownership and as such can be modified. Further, and
     more importantly, in the case that a domain moves a remote
     reference to another domain, which happens to panic, that
     RRef is permanently gone. In the case of an immutable bor-
     row, that reference should still be valid since it was never
     modified.
     We keep track of ownership during an immutable borrow
     with a simple counter. The purpose of the borrow counter is to
     clean up a remote reference in the case that a domain panics. A
     proxy lies in between each domain crossing and manages the
     borrow counter. It increments the counter when descending
     into another domain, and decrements it upon return (success-
     ful or unsuccessful). The RRef is only deallocated when the
     borrow counter hits zero and its owner domain is dead.
     https://users.cs.utah.edu/~aburtsev/doc/appel-bs-thesis.pdf