关于Sync和Send的含义
- sync 想要一个类型的同一个变量可以在不同线程同时拥有它的不可变引用,则必须实现Sync
- send 想要一个类型可以在线程之间移动,则必须实现Send
为什么要有Send和Sync
理论上,不同线程拥有同一个变量的不可变引用(共享读)是安全的,讲一个对象move给另一个线程也是安全的(只有一个线程拥有它)。
问题出在内部可变性上,下面通过RefCell和Sync来说明
Sync
内部可变性如RefCell,在内部维护一个不可变借用的引用计数.
这意味着&RefCell在进行如borrow(&self)操作时,会对RefCell中计数变量执行+=1操作,在borrow_mut(&self)时会检查引用计数,如果计数!=0就panic,可见,即使所有线程都只有不可变引用&RefCell的情况下,也会对它的同一个计数变量这一临界资源进行读写,这是不安全的。
Send
对于Rc,多个Rc会共享一个引用计数且没有加锁,在进行clone(&self)时会操作引用计数,所以既不能让多个线程拥有&Rc(非Sync),也不能让指向同一个对象的Rc被多个线程所有,由于指向同一个对象的Rc只可能是通过clone产生的,所以只要防止Rc在线程之间传递,就可以保证指向同一个对象的Rc永远只在同一个线程中。
回头看RefCell,只要