I noticed that native mutexes were used for state synchronisation use std::sync::{Arc, Weak, Mutex, RwLock } Doesn't this affect performance ? Wouldn't it be better to use a mutex from tokio ?