Blandy incorporates the following diagram in his Programming Rust book: [Screen Shot 2023-05-26 at 11.41.58 AM] Based on the diagram above, it seems that all types that impl Sync also impl Send. However, the MutexGuard type seems to defy this sort of assertion given that that we see !Send: MutexG…

The diagram is misleading. Sync does not imply Send, as you note for MutexGuard. There are other examples where you might want this (e.g. OpenSHMEM in funneled mode).

Question about Sync and Send types

quinedot May 26, 2023, 7:06pm 3

You may find value in this overview of the relationship between Send and Sync.

Topic		Replies	Views
Why impl Sync for Mutex requires T: Send help	18	4915	June 14, 2022
How can a MutexGuard possibly be Sync? help	23	1552	March 14, 2024
Why `MutexGuard` impls `Sync` but not `Send`? help	2	794	September 13, 2023
Why these particular rules for `Send`, `Sync`, and borrowing references? help	3	285	January 6, 2025
T is Sync if and only if &T is Send? help	7	1316	August 27, 2021

Question about Sync and Send types

Related topics