连续 3 年最受欢迎:Rust,香!

新闻 前端
我们在选择一种开发语言时会综合考量各方面的特性,根据实际的需求适当取舍。鱼和熊掌往往不可兼得,要想开发效率高,必然要牺牲性能和资源消耗,反之亦然。

 [[334421]]

我们在选择一种开发语言时会综合考量各方面的特性,根据实际的需求适当取舍。鱼和熊掌往往不可兼得,要想开发效率高,必然要牺牲性能和资源消耗,反之亦然。但是Rust却出其不意,令人眼前一亮!本文将从性能、内存安全、开发效率、跨平台性及生态等五个方面,对Rust这一编程语言进行一些科普性质的分享。

一 性能对比

不同的语言使用不同的内存管理方式,一些语言使用垃圾回收机制在运行时寻找不再被使用的内存并释放,典型的如Java、Golang。在另一些语言中,程序员必须亲自分配和释放内存,比如C/C++。Rust 则选择了第三种方式:内存被一个所有权系统管理,它拥有一系列的规则使编译器在编译时进行检查,任何所有权系统的功能都不会导致运行时开销。Rust 速度惊人且内存利用率极高,标准Rust性能与标准C++性能不相上下,某些场景下效率甚至高于C++。由于没有运行时和垃圾回收,它能够胜任对性能要求特别高的服务。网上已经有了很多关于Rust性能分析对比的文章,不过为了获得一手的资料,还是自己动手来的更加真实。我选择了Python,C++,Golang这3种语言来和Rust做性能对比。

性能测试场景设计

同样的算法用4种语言分别实现,对比在规定的时间内完成任务的次数。本次测试选择的算法是找出10000000以内的所有素数,比较在一分钟内完成找出所有素数任务的次数。

源代码链接见[1]。

静态编译(或者打包)后生成的二进制大小对比

结论:(二进制大小)python > golang > rust > c++

运行速度对比

本场景下比较1分钟内找出1000000以内所有素数的次数。

结论:(运行效率)rust > c++ > golang > python

重点来了,在3台不同的机器上测试四次的结果显示:Rust效率居然高于C++!!!

内存消耗对比(粗略计算)

结论:(内存消耗) python > golang > rust > c++

CPU消耗对比(粗略计算)

结论:(CPU消耗)golang > python > rust = c++

以上便是我的测试结果,测试代码、二进制和测试结果参考附件bin.zip,第一次测试后看到结果,有些吃惊,rust的性能居然超过了c++,不可思议,于是又在网上搜索,找到了别人已经完成的rust性能测试,网上的结果更让人吃惊,先看第一篇,原始链接见[2]。

我直接截图看结论:

以上为Rust vs Golang。

以上为Rust vs C++。

结论:以上截图显示,Rust在性能和资源消耗上不仅大幅度优于Golang,并且和C++性能不相上下,某些场景下效率甚至优于C++。

以上两种测试场景只是测试一些简单的算法,接下来我们看一下在实际使用中的性能资源占用对比,依然是在网上找到了一篇测试报告[3],该测试报告用Python、PyPy、Go、Rust四种语言实现了一个web后端,接下来使用wrk分别对四个http服务器进行压测,该测试场景比较贴近实际,直接截图看结论:

结论(性能):在实际作为后端服务使用的场景下,Rust比Golang依然有明显性能优势。

结论(资源占用):在内存占用上Rust的优势更加明显,只用了Golang的1/3。

综合以上3个测试,Rust在运行效率和资源消耗上的优势十分明显,和C++同一个级别,远远优于Golang !

二 内存安全性

Rust 最重要的特点就是可以提供内存安全保证,而且没有额外的性能损失。在传统的系统级编程语言( C/C++) 的开发过程中,经常出现因各种内存错误引起的崩溃或bug ,比如空指针、野指针、内存泄漏、内存越界、段错误、数据竞争、迭代器失效等,血泪斑斑,数不胜数;内存问题是影响程序稳定性和安全性的重大隐患,并且是影响开发效率的重大因素;根据google和微软 两大巨头的说法,旗下重要产品程序安全问题70%由内存问题引发[4], 并且两个巨头都用利用Rust语言来解决内存安全问题的想法。Rust语言从设计之初就把解决内存安全作为一个重要目标,通过一系列手段保证内存安全,让不安全的潜在风险在编译阶段就暴露出来。接下来根据自己粗浅的理解,简单介绍Rust解决内存安全的手段有哪些。

1 所有权规则

1)Rust 中每一个值或者对象都有一个称之为其 所有者(owner)的变量。

例如:

  1. let obj = String::from("hello"); 

obj是String对象的所有权变量。

2)值或对象有且只能有一个所有者。

3)当所有者离开作用域,所有者所代表的对象或者值会被立即销毁。

4)赋值语句、函数调用、函数返回等会导致所有权转移,原有变量会失效。

例如:

  1. fn main() { 
  2.  
  3. let s = String::from("hello"); 
  4.  
  5. let s1 = s; //所有权发生了转移,由s转移给s1 
  6.  
  7. print!("{}",s); //s无效,不能访问,此句编译会报错 
  8.  

 

  1. fn test(s1:String){ 
  2.  
  3. print!("{}",s1); 
  4.  
  5.  
  6. fn main() { 
  7.  
  8. let s = String::from("hello"); 
  9.  
  10. test(s); //传参,所有权发生了转移 
  11.  
  12. print!("{}",s); //此处s无效,编译报错 
  13.  

Rust的所有权规则保证了同一时刻永远只有一个变量持有一个对象的所有权,避免数据竞争。

2 借用规则

可能大家都发现了问题,什么鬼,为什么我传了个参数s给test函数,这参数s后面还不能用了呢?如果我接下来要使用变量s怎么办?这时候就要用到Rust的借用特性。在Rust中,你拥有一个变量的所有权,如果想让其它变量或者函数访问,你可以把它“借”给其它变量或者你所调用的函数,供它们访问。Rust会在编译时检查所有借出的值,确保它们的寿命不会超过值本身的寿命。

例如,以下的写法就没有问题:

  1. fn test(s1:&String){ 
  2.  
  3. print!("{}",s1); 
  4.  
  5.  
  6. fn main() { 
  7.  
  8. let s = String::from("hello"); 
  9.  
  10. test(&s); //传参,注意只是传递了引用,所有权还归属于s 
  11.  
  12. print!("{}",s); //此处s依然有效,可以访问 
  13.  

 

  1. fn main() { 
  2.  
  3. let s = String::from("hello"); 
  4.  
  5. let s1 = &s; //s1借用s,所有权还归属于s 
  6.  
  7. print!("{}",s); //此处s依然有效,可以访问 
  8.  
  9. print!("{}",s1); //此处s1和s指向同一个对象 
  10.  

如果我们尝试修改借用的变量呢?

  1. fn main() { 
  2.  
  3. let s = String::from("hello"); 
  4.  
  5. change(&s); 
  6.  
  7.  
  8. fn change(some_string: &String) { 
  9.  
  10. some_string.push_str(", world"); 
  11.  

借用默认是不可变的,上面的代码编译时会报错:

  1. error[E0596]: cannot borrow immutable borrowed content `*some_string` as mutable 
  2.  
  3. --> error.rs:8:5 
  4.  
  5.  
  6. 7 | fn change(some_string: &String) { 
  7.  
  8. | ------- use `&mut String` here to make mutable 
  9.  
  10. 8 | some_string.push_str(", world"); 
  11.  
  12. | ^^^^^^^^^^^ cannot borrow as mutable 

根据编译错误的提示,通过mut关键字将默认借用修改为可变借用就OK,如下代码可以编译通过:

  1. fn main() { 
  2.  
  3. let mut s = String::from("hello"); 
  4.  
  5. change(&mut s); 
  6.  
  7.  
  8. fn change(some_string: &mut String) { 
  9.  
  10. some_string.push_str(", world"); 
  11.  

不过可变引用有一个很大的限制:在特定作用域中的特定数据有且只能有一个可变引用,这个限制的好处是 Rust 可以在编译时就避免数据竞争,这些代码会失败:

  1. let mut s = String::from("hello"); 
  2.  
  3. let r1 = &mut s; 
  4.  
  5. let r2 = &mut s; 

报错如下:

  1. error[E0499]: cannot borrow `s` as mutable more than once at a time 
  2.  
  3. --> borrow_twice.rs:5:19 
  4.  
  5.  
  6. 4 | let r1 = &mut s; 
  7.  
  8. | - first mutable borrow occurs here 
  9.  
  10. 5 | let r2 = &mut s; 
  11.  
  12. | ^ second mutable borrow occurs here 
  13.  
  14. 6 | } 
  15.  
  16. | - first borrow ends here 

在存在指针的语言中,容易通过释放内存时保留指向它的指针而错误地生成一个 悬垂指针(dangling pointer),所谓悬垂指针是其指向的内存可能已经被分配给其它持有者或者已经被释放。相比之下,在 Rust 中编译器确保引用永远也不会变成悬垂状态:当我们拥有一些数据的引用,编译器确保数据不会在其引用之前离开作用域。

让我们尝试创建一个悬垂引用,Rust 会通过一个编译时错误来避免:

  1. fn main() { 
  2.  
  3. let reference_to_nothing = dangle(); 
  4.  
  5.  
  6. fn dangle() -> &String { 
  7.  
  8. let s = String::from("hello"); 
  9.  
  10. &s 
  11.  

这里是编译错误:

  1. error[E0106]: missing lifetime specifier 
  2.  
  3. --> dangle.rs:5:16 
  4.  
  5.  
  6. 5 | fn dangle() -> &String { 
  7.  
  8. | ^ expected lifetime parameter 
  9.  
  10.  
  11. = help: this function's return type contains a borrowed value, but there is 
  12.  
  13. no value for it to be borrowed from 
  14.  
  15. = help: consider giving it a 'static lifetime 

让我们简要的概括一下之前对引用的讨论,以下3条规则在编译时就会检查,违反任何一条,编译报错并给出提示。

1)在任意给定时间,只能 拥有如下中的一个:

  • 一个可变引用。
  • 任意数量的不可变引用。

2)引用必须总是有效的。

3)引用的寿命不会超过值本身的寿命。

3 变量生命周期规则

生命周期检查的主要目标是避免悬垂引用,考虑以下示例 中的程序,它有一个外部作用域和一个内部作用域,外部作用域声明了一个没有初值的变量 r,而内部作用域声明了一个初值为 5 的变量 x。在内部作用域中,我们尝试将 r 的值设置为一个 x 的引用。接着在内部作用域结束后,尝试打印出 r 的值:

  1. error[E0106]: missing lifetime specifier 
  2.  
  3. --> dangle.rs:5:16 
  4.  
  5.  
  6. 5 | fn dangle() -> &String { 
  7.  
  8. | ^ expected lifetime parameter 
  9.  
  10.  
  11. = help: this function's return type contains a borrowed value, but there is 
  12.  
  13. no value for it to be borrowed from 
  14.  
  15. = help: consider giving it a 'static lifetime 

当编译这段代码时会得到一个错误:

  1. error: `x` does not live long enough 
  2.  
  3.  
  4. 6 | r = &x; 
  5.  
  6. | - borrow occurs here 
  7.  
  8. 7 | } 
  9.  
  10. | ^ `x` dropped here while still borrowed 
  11.  
  12. ... 
  13.  
  14. 10 | } 
  15.  
  16. | - borrowed value needs to live until here 

编译错误显示:变量 x 并没有 “活的足够久”,那么Rust是如何判断的呢?

编译器的这一部分叫做 借用检查器(borrow checker),它比较作用域来确保所有的借用都是有效的。如下:r 和 x 的生命周期注解,分别叫做 'a 和 'b:

  1.  
  2. let r; // -------+-- 'a 
  3.  
  4. // | 
  5.  
  6. // | 
  7.  
  8. let x = 5// -+-----+-- 'b 
  9.  
  10. r = &x; // | | 
  11.  
  12. // -+ | 
  13.  
  14. // | 
  15.  
  16. println!("r: {}", r); // | 
  17.  
  18. // -------+ 

我们将 r 的生命周期标记为 'a 并将 x 的生命周期标记为 'b。如你所见,内部的 'b 块要比外部的生命周期 'a 小得多。在编译时,Rust 比较这两个生命周期的大小,并发现 r 拥有生命周期 'a,不过它引用了一个拥有生命周期 'b 的对象。程序被拒绝编译,因为生命周期 'b 比生命周期 'a 要小:被引用的对象比它的引用者存在的时间更短。

关于借用生命周期检查,Rust还有一套复杂的生命周期标记规则,使Rust能在编译时就能发现可能存在的悬垂引用,具体链接见[5]。

4 多线程安全保证

内存破坏很多情况下是由数据竞争(data race)所引起,它可由这三个行为造成:

  • 两个或更多指针同时访问同一数据。
  • 至少有一个这样的指针被用来写入数据。
  • 不存在同步数据访问的机制。

那么在多线程环境下,Rust是如何避免数据竞争的?

先从一个简单的例子说起,尝试在另一个线程使用主线程创建的 vector:

  1. use std::thread; 
  2.  
  3. fn main() { 
  4.  
  5. let v = vec![123]; 
  6.  
  7. let handle = thread::spawn(|| { 
  8.  
  9. println!("Here's a vector: {:?}", v); 
  10.  
  11. }); 
  12.  
  13. handle.join().unwrap(); 
  14.  

闭包使用了 v,所以闭包会捕获 v 并使其成为闭包环境的一部分。因为 thread::spawn 在一个新线程中运行这个闭包,所以可以在新线程中访问 v。然而当编译这个例子时,会得到如下错误:

  1. error[E0373]: closure may outlive the current function, but it borrows `v`, 
  2.  
  3. which is owned by the current function 
  4.  
  5. --> src/main.rs:6:32 
  6.  
  7.  
  8. 6 | let handle = thread::spawn(|| { 
  9.  
  10. | ^^ may outlive borrowed value `v` 
  11.  
  12. 7 | println!("Here's a vector: {:?}", v); 
  13.  
  14. | - `v` is borrowed here 
  15.  
  16.  
  17. help: to force the closure to take ownership of `v` (and any other referenced 
  18.  
  19. variables), use the `move` keyword 
  20.  
  21.  
  22. 6 | let handle = thread::spawn(move || { 
  23.  
  24. | ^^^^^^^ 

Rust 会“推断”如何捕获 v,因为 println! 只需要 v 的引用,闭包尝试借用 v。然而这有一个问题:Rust 不知道这个新建线程会执行多久,所以无法知晓 v 的引用是否一直有效。所以编译器提示:

closure may outlive the current function, but it borrows `v` 。

下面展示了一个 v 的引用很有可能不再有效的场景:

  1. use std::thread; 
  2.  
  3. fn main() { 
  4.  
  5. let v = vec![123]; 
  6.  
  7. let handle = thread::spawn(|| { 
  8.  
  9. println!("Here's a vector: {:?}", v); 
  10.  
  11. }); 
  12.  
  13. drop(v); // 强制释放变量v 
  14.  
  15. handle.join().unwrap(); 
  16.  

为了修复示上面的编译错误,我们可以听取编译器的建议:

  1. help: to force the closure to take ownership of `v` (and any other referenced 
  2.  
  3. variables), use the `move` keyword 
  4.  
  5.  
  6. 6 | let handle = thread::spawn(move || { 

接下来是正确的写法:

  1. use std::thread; 
  2.  
  3. fn main() { 
  4.  
  5. let v = vec![123]; 
  6.  
  7. let handle = thread::spawn(move || { //使用 move 关键字强制获取它使用的值的所有权,接下来就可以正常使用v了 
  8.  
  9. println!("Here's a vector: {:?}", v); 
  10.  
  11. }); 
  12.  
  13. handle.join().unwrap(); 
  14.  

从上面简单例子中可以看出多线程间参数传递时,编译器会严格检查参数的生命周期,确保参数的有效性和可能存在的数据竞争。

大家注意到没有,上面的例子虽然能正确编译通过,但是有个问题,变量v的所有权已经转移到子线程中,main函数已经无法访问v,如何让main再次拥有v呢?如果用C++或者Golang等语言,你可以有很多种选择,比如全局变量,指针,引用之类的,但是Rust没有给你过多的选择,在Rust中,为了安全性考虑,全局变量为只读不允许修改,并且引用不能直接在多线程间传递。Rust 中一个实现消息传递并发的主要工具是 通道(channel),这种做法时借鉴了Golang的通道,用法类似。

示例:

  1. use std::thread; 
  2.  
  3. use std::sync::mpsc; 
  4.  
  5. fn main() { 
  6.  
  7. let (tx, rx) = mpsc::channel(); 
  8.  
  9. thread::spawn(move || { 
  10.  
  11. let val = String::from("hi"); 
  12.  
  13. tx.send(val).unwrap(); 
  14.  
  15. }); 
  16.  
  17. let received = rx.recv().unwrap(); 
  18.  
  19. println!("Got: {}", received); 
  20.  

上例中,我们可以在main函数中通过channel得到了子线程中的对象val。

注意,tx.send(val).unwrap(); 之后,val的所有权已经发生了变化,接下来在子线程中不能再对val进行操作,否则会有编译错误,如下代码:

  1. use std::thread; 
  2.  
  3. use std::sync::mpsc; 
  4.  
  5. fn main() { 
  6.  
  7. let (tx, rx) = mpsc::channel(); 
  8.  
  9. thread::spawn(move || { 
  10.  
  11. let val = String::from("hi"); 
  12.  
  13. tx.send(val).unwrap(); 
  14.  
  15. println!("val is {}", val);//在这里会发生编译错误 
  16.  
  17. }); 
  18.  
  19. let received = rx.recv().unwrap(); 
  20.  
  21. println!("Got: {}", received); 
  22.  

这里尝试在通过 tx.send 发送 val 到通道中之后将其打印出来。允许这么做是一个坏主意:一旦将值发送到另一个线程后,那个线程可能会在我们再次使用它之前就将其修改或者丢弃。这会由于不一致或不存在的数据而导致错误或意外的结果。对于上面的代码,编译器给出错误:

  1. error[E0382]: use of moved value: `val` 
  2.  
  3. --> src/main.rs:10:31 
  4.  
  5.  
  6. 9 | tx.send(val).unwrap(); 
  7.  
  8. | --- value moved here 
  9.  
  10. 10 | println!("val is {}", val); 
  11.  
  12. | ^^^ value used here after move 
  13.  
  14.  
  15. = note: move occurs because `val` has type `std::string::String`, which does 
  16.  
  17. not implement the `Copy` trait 

我们通过channel能够实现多线程发送共享数据,但是依然有个问题:通道一旦将一个值或者对象send出去之后,我们将无法再使用这个值;如果面对这样一个需求:将一个计数器counter传给10条线程,每条线程对counter加1,最后在main函数中汇总打印出counter的值,这样一个简单的需求如果使用C++或者Golang或者其它非Rust语言实现,非常容易,一个全局变量,一把锁,几行代码轻松搞定,但是Rust语言可就没那么简单,如果你是一个新手,你可能会经历如下“艰难历程”:

首先很自然写出第一版:

  1. use std::sync::Mutex; 
  2.  
  3. use std::thread; 
  4.  
  5. fn main() { 
  6.  
  7. let counter = Mutex::new(0); 
  8.  
  9. let mut handles = vec![]; 
  10.  
  11. for _ in 0..10 { 
  12.  
  13. let handle = thread::spawn(move || { 
  14.  
  15. let mut num = counter.lock().unwrap(); 
  16.  
  17. *num += 1
  18.  
  19. }); 
  20.  
  21. handles.push(handle); 
  22.  
  23.  
  24. for handle in handles { 
  25.  
  26. handle.join().unwrap(); 
  27.  
  28.  
  29. println!("Result: {}", *counter.lock().unwrap()); 
  30.  

多线程有了,Mutex锁也有了,能保证每一次加一都是原子操作,代码看起来没什么问题,但是编译器会无情报错:

  1. error[E0382]: capture of moved value: `counter` 
  2.  
  3. --> src/main.rs:10:27 
  4.  
  5.  
  6. 9 | let handle = thread::spawn(move || { 
  7.  
  8. | ------- value moved (into closure) here 
  9.  
  10. 10 | let mut num = counter.lock().unwrap(); 
  11.  
  12. | ^^^^^^^ value captured here after move 
  13.  
  14.  
  15. = note: move occurs because `counter` has type `std::sync::Mutex<i32>`, 
  16.  
  17. which does not implement the `Copy` trait 
  18.  
  19. error[E0382]: use of moved value: `counter` 
  20.  
  21. --> src/main.rs:21:29 
  22.  
  23.  
  24. 9 | let handle = thread::spawn(move || { 
  25.  
  26. | ------- value moved (into closure) here 
  27.  
  28. ... 
  29.  
  30. 21 | println!("Result: {}", *counter.lock().unwrap()); 
  31.  
  32. | ^^^^^^^ value used here after move 
  33.  
  34.  
  35. = note: move occurs because `counter` has type `std::sync::Mutex<i32>`, 
  36.  
  37. which does not implement the `Copy` trait 
  38.  
  39. error: aborting due to 2 previous errors 

错误信息表明 counter 值的所有权被move了,但是我们又去引用了,根据所有权规则,所有权转移之后不允许访问,但是为什么会发生?

让我们简化程序来进行分析。不同于在 for 循环中创建 10 个线程,仅仅创建两个线程来观察发生了什么。将示例中第一个 for 循环替换为如下代码:

  1. let handle = thread::spawn(move || { 
  2.  
  3. let mut num = counter.lock().unwrap(); 
  4.  
  5. *num += 1
  6.  
  7. }); 
  8.  
  9. handles.push(handle); 
  10.  
  11. let handle2 = thread::spawn(move || { 
  12.  
  13. let mut num2 = counter.lock().unwrap(); 
  14.  
  15. *num2 += 1
  16.  
  17. }); 
  18.  
  19. handles.push(handle2); 

这里创建了两个线程并将用于第二个线程的变量名改为 handle2 和 num2,编译会给出如下错误:

  1. error[E0382]: capture of moved value: `counter` 
  2.  
  3. --> src/main.rs:16:24 
  4.  
  5.  
  6. 8 | let handle = thread::spawn(move || { 
  7.  
  8. | ------- value moved (into closure) here 
  9.  
  10. ... 
  11.  
  12. 16 | let mut num2 = counter.lock().unwrap(); 
  13.  
  14. | ^^^^^^^ value captured here after move 
  15.  
  16.  
  17. = note: move occurs because `counter` has type `std::sync::Mutex<i32>`, 
  18.  
  19. which does not implement the `Copy` trait 
  20.  
  21. error[E0382]: use of moved value: `counter` 
  22.  
  23. --> src/main.rs:26:29 
  24.  
  25.  
  26. 8 | let handle = thread::spawn(move || { 
  27.  
  28. | ------- value moved (into closure) here 
  29.  
  30. ... 
  31.  
  32. 26 | println!("Result: {}", *counter.lock().unwrap()); 
  33.  
  34. | ^^^^^^^ value used here after move 
  35.  
  36.  
  37. = note: move occurs because `counter` has type `std::sync::Mutex<i32>`, 
  38.  
  39. which does not implement the `Copy` trait 
  40.  
  41. error: aborting due to 2 previous errors 

啊哈!第一个错误信息中说,counter 所有权被移动进了 handle 所代表线程的闭包中。因此我们无法在第二个线程中再次捕获 counter , Rust 告诉我们不能将 counter 的所有权移动到多个线程中。所以错误原因明朗了,因为我们在循环中创建了多个线程,第一条线程获取了 counter 所有权后,后面的线程再也拿不到 counter 的所有权。如何让多条线程同时间接(注意,只能是间接)拥有一个对象的所有权,哦,对了,引用计数!

通过使用智能指针 Rc<T> 来创建引用计数的值,尝试使用 Rc<T> 来允许多个线程拥有 Mutex<T> 于是写了第二版:

  1. use std::rc::Rc; 
  2.  
  3. use std::sync::Mutex; 
  4.  
  5. use std::thread; 
  6.  
  7. fn main() { 
  8.  
  9. let counter = Rc::new(Mutex::new(0)); 
  10.  
  11. let mut handles = vec![]; 
  12.  
  13. for _ in 0..10 { 
  14.  
  15. let counter = Rc::clone(&counter); 
  16.  
  17. let handle = thread::spawn(move || { 
  18.  
  19. let mut num = counter.lock().unwrap(); 
  20.  
  21. *num += 1
  22.  
  23. }); 
  24.  
  25. handles.push(handle); 
  26.  
  27.  
  28. for handle in handles { 
  29.  
  30. handle.join().unwrap(); 
  31.  
  32.  
  33. println!("Result: {}", *counter.lock().unwrap()); 
  34.  

再一次编译并…出现了不同的错误!编译器真是教会了我们很多!

  1. error[E0277]: the trait bound `std::rc::Rc<std::sync::Mutex<i32>>: 
  2.  
  3. std::marker::Send` is not satisfied in `[closure@src/main.rs:11:36
  4.  
  5. 15:10 
  6.  
  7. counter:std::rc::Rc<std::sync::Mutex<i32>>]` 
  8.  
  9. --> src/main.rs:11:22 
  10.  
  11.  
  12. 11 | let handle = thread::spawn(move || { 
  13.  
  14. | ^^^^^^^^^^^^^ `std::rc::Rc<std::sync::Mutex<i32>>` 
  15.  
  16. cannot be sent between threads safely 
  17.  
  18.  
  19. = help: within `[closure@src/main.rs:11:3615:10 
  20.  
  21. counter:std::rc::Rc<std::sync::Mutex<i32>>]`, the trait `std::marker::Send` is 
  22.  
  23. not implemented for `std::rc::Rc<std::sync::Mutex<i32>>` 
  24.  
  25. = note: required because it appears within the type 
  26.  
  27. `[closure@src/main.rs:11:3615:10 
  28.  
  29. counter:std::rc::Rc<std::sync::Mutex<i32>>]` 
  30.  
  31. = note: required by `std::thread::spawn` 

编译错误信息中有关键的一句:

`std::rc::Rc<std::sync::Mutex<i32>>` cannot be sent between threads safely。

不幸的是,Rc<T> 并不能安全的在线程间共享。当 Rc<T> 管理引用计数时,它必须在每一个 clone 调用时增加计数,并在每一个克隆被丢弃时减少计数。Rc<T> 并没有使用任何并发原语,来确保改变计数的操作不会被其他线程打断。在计数出错时可能会导致诡异的 bug,比如可能会造成内存泄漏,或在使用结束之前就丢弃一个值。我们所需要的是一个完全类似 Rc<T>,又以一种线程安全的方式改变引用计数的类型。所幸 Arc<T> 正是 这么一个类似 Rc<T> 并可以安全的用于并发环境的类型。字母 “a” 代表 原子性(atomic),所以这是一个原子引用计数(atomically reference counted)类型。

于是改写了第三版:

  1. use std::sync::{Mutex, Arc}; 
  2.  
  3. use std::thread; 
  4.  
  5. fn main() { 
  6.  
  7. let counter = Arc::new(Mutex::new(0)); 
  8.  
  9. let mut handles = vec![]; 
  10.  
  11. for _ in 0..10 { 
  12.  
  13. let counter = Arc::clone(&counter); 
  14.  
  15. let handle = thread::spawn(move || { 
  16.  
  17. let mut num = counter.lock().unwrap(); 
  18.  
  19. *num += 1
  20.  
  21. }); 
  22.  
  23. handles.push(handle); 
  24.  
  25.  
  26. for handle in handles { 
  27.  
  28. handle.join().unwrap(); 
  29.  
  30.  
  31. println!("Result: {}", *counter.lock().unwrap()); 
  32.  

这次编译通过,并且打印出了正确的结果,最终,在严厉的编译器的逐步引导,“谆谆教诲”下,我们总算写出了正确的代码。

Rust编译器对多线程数据共享,多线程数据传递这种内存安全事故多发区进行了极其严苛的检查和限制,确保编译时就能发现潜在的内存安全问题。在多线程传递数据时,除了通过channel,你没有第二种选择;在多线程数据共享时,除了Arc+Mutex(如果多线程共享的只是int bool这类简单数据类型,你还可以使用原子操作) ,你同样没有别的选择。虽然 Rust极其缺乏灵活性,但是这同样是它的有点,因为编译器一直在逼着你写出正确的代码,极大减少了程序的维护成本。

以上是我对Rust内存安全保障手段的一些理解,Rust使用一些乍一看很奇怪的特性,非常清晰的定义了一个安全的边界,并在上面做以足够的检查,保证你的代码不会出问题。Rust做到了没有垃圾回收的内存安全,没有数据竞争的并发安全。同时一个新手Rust程序员刚入坑Rust时,大部分的时间都是在解决编译问题。一个新手C++程序员初期可能会写出很多不安全的代码,埋下很多坑,但是新手Rust不会,因为一个新手Rust写出的不安全代码在编译阶段就被拦截了,根本没有机会埋坑,Rust承诺编译通过的Rust程序不会存在内存安全问题(注意:如果通过unsafe关键字强制关闭安全检查,则依然有可能出现内存安全问题)。

三 Rust开发效率问题

关于Rust开发效率问题,没有一个统一的客观评价标准,基本靠个人主观感觉而定。每个人对不同语言掌握的熟练度也是影响开发效率的重要因素。关于开发效率,谈一谈个人的感受:先说入门,由于Rust一些奇葩的语法的存在(最麻烦的莫过于生命周期标记),导致Rust入门不像Python和Golang等语言那样轻松,但是因为Rust主要是为了替代C/C++这类系统语言而存在,其借鉴了大量C++的语法,如果对C++熟悉,Rust入门不是难事;其次说说开发速度,对于初学者,Rust开发体验就像在上海开始实行的垃圾分类时上海人民的那种困惑和凌乱,编译器检查太严格了,大多数时间都是在解决编译问题,一种在其它语言中理所当然的写法,在Rust中就是不行,不过好在编译器的提示非常友好,根据编译错误提示大多数时候能够找到答案,不过编译虽然费事,可一旦编译通过,程序员就不需要关心内存安全,内存泄漏等头疼问题,只需要关注于业务逻辑,写了一个多月的Rust,debug次数屈指可数,而且每次debug都是因为业务逻辑,从来没有因为代码内存错误,崩溃等问题debug;如果对Rust稍微熟练一些,其开发速度绝对不会比Python和Golang慢,因为在编译阶段,Rust就解决了大部分的问题,省去了大量的debug时间。

四 跨平台性

Rust跨平台性和Golang一样,拥有优秀的跨平台性,支持交叉编译,一份代码可编译出支持windows、 linux、arm、macos、freebsd等平台上运行的二进制,且完全静态编译,运行时不依赖任何第三方库。这个特性对于饱受C++跨平台编译折磨的程序员来说简直是福音。Rust对嵌入式环境同样支持友好,有人用Rust写了一个简单的操作系统[6]。

五 生态问题

这一方面应该是Rust最弱的地方,作为一个后起之秀,其生态远远不如Python和Golang丰富,不过使用率很高的一些常用库都能找到;并且Rust连续3年成为Stack Overflow最受欢迎的语言[7],受到的关注度越来越高[8],相信未来Rust的社区一定会越来越丰富。

最后灵魂一问收尾:

没有垃圾回收的内存安全,没有数据竞争的并发安全、资源消耗低而性能强劲、开发效率高并且跨平台性优良,这样的Rust香不香?要不要拥抱一个?

 

 

责任编辑:张燕妮 来源: 阿里技术
相关推荐

2022-03-25 09:57:18

C++Rust语言

2014-02-21 09:18:18

2017-03-23 15:15:09

开发人工智能机器学习

2022-03-30 12:06:15

云桌面

2014-01-02 14:24:29

火狐扩展火狐浏览器

2010-02-06 15:41:08

ibmdwJava

2024-02-19 09:02:00

Rust编码

2023-01-09 17:10:54

2010-02-24 15:27:17

ibmdw

2012-01-04 10:08:42

IE8浏览器

2018-07-02 10:46:18

2017-06-13 13:29:32

前端框架

2012-01-09 16:58:29

移动客户端

2010-12-20 10:27:54

2021-08-04 12:01:41

开发者RustPostgreSQL

2010-02-06 15:43:46

ibmdwWeb开发

2013-07-22 15:38:08

Java大师底层

2022-03-15 08:41:57

Firefox扩展浏览器

2019-02-19 15:13:27

JavaGitHub

2015-04-14 14:23:38

苹果Swift编程语言
点赞
收藏

51CTO技术栈公众号