Rust中的Send和Sync

关于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,只要

  • 2
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值