Untitled attachment

Notices where this attachment appears

1. 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