- Hands-On Data Structures and Algorithms with Rust
- Claus Matzinger
- 143字
- 2021-07-02 14:11:44
Send and Sync
These marker traits are fundamental to Rust's multithreading policies. They have distinct purposes:
- Send: A data type is safe to send (move) from one thread to the other
- Sync: The data type can be shared across threads without manual locks or mutex areas
These marker traits are implemented in all basic types of the standard library and can be inherited for custom types (if all properties of a type are Sync, then the type itself is Sync too).
Implementing Sync or Send is unsafe because there is no way for the compiler to know if you are right and the code can be shared/sent between threads, which is why it's very unusual to do this.
In case your program requires this depth of Rust programming, be sure to read up on this topic in the Rust Book, chapter 16 (https://doc.rust-lang.org/1.31.0/book/ch16-04-extensible-concurrency-sync-and-send.html).