rust学习十六.3、RUST并发-线程之间共享数据
线程之间共享内存数据,即go中部分人所憎恶的方式!然而,这个方式并非没有其优点,否则操作系统也不提供这种实现方式。
闲言少序,上正文!
一、概述
* 1.当我们大谈基于信道通信时,应该指的是应用级别。如果是操作系统,应该还是会有多种措施的,否则rust的源头在哪里来着。
* 2.rust共享内存,主要借助于Arc指针实现。所谓Arc,是Atomically Reference Counted的缩写,即原子引用计数。 它和Rc的主要
* 区别在于,Arc允许多线程同时访问,而Rc不允许。Arc的clone方法主要作用是增加引用计数,而不是复制数据,确保多个所有者可以安全共享同一数据
* 3.此外还需要借助于Mutex(mutual exclusion 互相排斥之意),即互斥锁,来保证同一时刻只有一个线程可以访问共享资源。
* 4.Mutex的主要方法有lock(),lock用于获取锁,如果成功返回一个MutexGuard智能指针。获取锁的时候,会阻塞线程
* 5.MutexGuard智能指针实现了Deref和Drop,因此可以被当作原始数据的引用,同时Drop确保了当MutexGuard离开作用域时,锁会被释放。
* 6.Mutex 是一个类似RefCell的智能指针,都提供了内部可变性
* 7.Mutex 也有造成 死锁(deadlock)的风险:当某个操作需要锁住两个资源,而两个线程分别持有两个资源的其中一个锁时,它们会永远相互等待
* 8.对于简单的数值运算,标准库中 std::sync::atomic 模块 提供了比 Mutex 更简单的类型。针对基本类型,这些类型提供了安全、并发、原子的操作
* 例如 AtomicI32 Mutex的结构代码#
#
pub struct Mutex<T: ?Sized> {
inner: sys::Mutex,
poison: poison::Flag,
data: UnsafeCell<T>,
} 这个sys::Mutex是一个原子:pub struct Mutex {
futex: Atomic,
} 用于持有锁position(位置标记/占有标记)是一个原子布尔,用于表示是否被占有data就是原始的数据了。
Mutex最常用的方法lock用于获得锁,并返回如下:
# pub fn lock(&self) -> LockResult
页:
[1]