[rust-dev] Uniqueness and Reference Immutability for Safe Parallelism

Elliott Slaughter elliottslaughter at gmail.com
Wed Dec 5 12:02:08 PST 2012


Hi there,

I wonder if the Rust borrowing experts here (Niko especially, but maybe
others) have seen this paper from MSR? The interesting aspect of this paper
is that they can "recover" uniqueness of pointers without needing to limit
the scope of (what are effectively) borrows. I'm not actually sufficiently
familiar with Rust's borrowing to know if this would be useful to you or
not.

http://research.microsoft.com/pubs/170528/msr-tr-2012-79.pdf

-- 
Elliott Slaughter

"Don't worry about what anybody else is going to do. The best way to
predict the future is to invent it." - Alan Kay
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20121205/14b42c6c/attachment.html>


More information about the Rust-dev mailing list