On Sat, Jul 27, 2013 at 2:10 PM, Alex Burr <[email protected]> wrote:
> As I understood it, unique pointers could be transferred to another task, > transferring the ownership of the allocation (and recursively all things > pointed to by it) to the other task: > > http://static.rust-lang.org/doc/rust.html#communication-between-tasks > > The idea of transferring unique pointers isn't new - it's borrowed directly from Singularity. It didn't work out very well there. I believe that transferring ownership of the reachable graph may be what is intended, but I haven't seen anything in either the language reference manual or the blog that does enough type safety to support such transfer. You do, however, make an important and interesting point: there are reasons to consider uniqueness for reasons of concurrency that have nothing to do with region types. Jonathan
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
