You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I've been trying to figure out a bug I had using paho-mqtt, where I couldn't spawn local tasks in a LocalSet from tokio, so I decided to add some logging of the current thread ID:
This results in printing two different thread numbers (18 and 20 in my specific case), and I'm allowed to use my not_send value from both threads, which is unsound.
The text was updated successfully, but these errors were encountered:
Alxandr
changed the title
Callbacks are run on different threads, but are not required to be Send
[Soundness] Callbacks are run on different threads, but are not required to be SendDec 21, 2022
I've been trying to figure out a bug I had using paho-mqtt, where I couldn't spawn local tasks in a
LocalSet
from tokio, so I decided to add some logging of the current thread ID:This results in printing two different thread numbers (18 and 20 in my specific case), and I'm allowed to use my
not_send
value from both threads, which is unsound.The text was updated successfully, but these errors were encountered: