rust/comprehensive-rust
1
0
Fork 0
mirror of https://github.com/google/comprehensive-rust.git synced 2025-04-26 01:04:35 +02:00
Code Issues Releases Activity

Verbose description of Sync-Send relationship

Browse Source 
Add a verbose rationale of the statement:
  `T` is `Sync` if and only if `&T` is `Send`
This commit is contained in:
Davide Guerri 2023-01-24 21:50:35 +00:00 committed by Andrew Walbran
parent f0310f4f61
commit a0a1059c0d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/concurrency/send-sync/sync.md
View File

@ -8,3 +8,11 @@ More precisely, the definition is:
> `T` is `Sync` if and only if `&T` is `Send`
[1]: https://doc.rust-lang.org/std/marker/trait.Sync.html
<details>
This statement is essentially a shorthand way of saying that if a type is thread-safe for shared use, it is also thread-safe to pass references of it across threads.
This is because if a type is Sync it means that it can be shared across multiple threads without the risk of data races or other synchronization issues, so it is safe to move it to another thread. A reference to the type is also safe to move to another thread, because the data it references can be accessed from any thread safely.
</details>