rust编程-线程:无畏并发
目前了解到,Rust实现线程间通信依靠的是消息传递和共享内存两种方式,消息传递必须使用move/clone,而共享内存使用mutex性能有开销。Rust也无法避免死锁和循环引用( 类似于Rc,Arc也不能幸免,但可以使用Atomic Weak来避免循环引用)。
use std::thread;
use std::time::Duration;
use std::sync::mpsc;
use std::sync::{Arc,Mutex};
fn main(){
//线程
println!("====线程实例输出====");
let t = thread::spawn(|| {
for i in 1..=6{
println!("线程:{}",i);
thread::sleep(Duration::from_millis(1));
}
});
for i in 1..3{
println!("主线程:{}",i);
thread::sleep(Duration::from_millis(1));
}
t.join().unwrap();
//消息传递:必须通过 移动move/克隆clone 才能传送到另一个线程
println!("====消息传递实例输出====");
let (tx1,rx) = mpsc::channel();
let tx2 = mpsc::Sender::clone(&tx1);
thread::spawn(move|| {
tx1.send(String::from("线程1发送端")).unwrap();
});
thread::spawn(move|| {
tx2.send(String::from("线程2发送端")).unwrap();
});
for recvd in rx{ //tx1和tx2都不需要join,因为接收端会阻塞直到收到消息
println!("接收端:{}",recvd);
}
//共享状态:通过Arc<T>和Mutex<T>实现多所有权
//不使用Rc<T>是因为它没有实现Send trait,不能在线程间共享。原子引用计数模型Arc<T>是线程安全的。
//不使用RefCell<T>是因为它没有Send trait和Sync trait,不能在线程间共享。Mutex<T>是线程安全的。
println!("====共享状态实例输出====");
let counter = Arc::new(Mutex::new(0));//一个可变的引用计数,初始化为0
let mut threads = vec![];
for _ in 0..5{
let counter = Arc::clone(&counter);
let handle = thread::spawn(move || {
let mut num_guard = (*counter).lock().unwrap();
*num_guard += 1;
});
threads.push(handle);
}
for thread in threads {
thread.join().unwrap();
}
println!("Result: {}", *counter.lock().unwrap());//lock()返回的是Ok<T>或Error。通过调用unwrap()导出,如果是Ok,unwrap()会返回其内部对象(这里是MutexGuard),如果是Error则会 panic。
}
输出结果为:
====线程实例输出==== 主线程:1 线程:1 主线程:2 线程:2 线程:3 线程:4 线程:5 线程:6 ====消息传递实例输出==== 接收端:线程1发送端 接收端:线程2发送端 ====共享状态实例输出==== Result: 5
下一篇:
web前端需要学什么?附学习路线!
