Question about Sync and Send types

1

Blandy incorporates the following diagram in his Programming Rust book:

Screen Shot 2023-05-26 at 11.41.58 AM
Screen Shot 2023-05-26 at 11.41.58 AM2080×1308 157 KB

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: MutexGuard in std::sync - Rust'_,+T%3E

Can someone please confirm?

2

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).

3

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

4 Likes