I think that using channels will be more sufficient for the refill, you can add toekn every x time to the channel and then you can remove the mutex