Data race when sending and receiving after closing a oneshot channel
| Details |
|
| Package |
tokio |
| Version |
0.2.25 |
| URL |
tokio-rs/tokio#4225 |
| Date |
2021-11-16 |
| Patched versions |
>=1.8.4, <1.9.0,>=1.13.1 |
| Unaffected versions |
<0.1.14 |
If a tokio::sync::oneshot channel is closed (via the
oneshot::Receiver::close method), a data race may occur if the
oneshot::Sender::send method is called while the corresponding
oneshot::Receiver is awaited or calling try_recv.
When these methods are called concurrently on a closed channel, the two halves
of the channel can concurrently access a shared memory location, resulting in a
data race. This has been observed to cause memory corruption.
Note that the race only occurs when both halves of the channel are used
after the Receiver half has called close. Code where close is not used, or where the
Receiver is not awaited and try_recv is not called after calling close,
is not affected.
See tokio#4225 for more details.
See advisory page for additional details.
tokio0.2.25>=1.8.4, <1.9.0,>=1.13.1<0.1.14If a
tokio::sync::oneshotchannel is closed (via theoneshot::Receiver::closemethod), a data race may occur if theoneshot::Sender::sendmethod is called while the correspondingoneshot::Receiverisawaited or callingtry_recv.When these methods are called concurrently on a closed channel, the two halves
of the channel can concurrently access a shared memory location, resulting in a
data race. This has been observed to cause memory corruption.
Note that the race only occurs when both halves of the channel are used
after the
Receiverhalf has calledclose. Code wherecloseis not used, or where theReceiveris notawaited andtry_recvis not called after callingclose,is not affected.
See tokio#4225 for more details.
See advisory page for additional details.