but i do not know how to trace "what a tokio worker thread is doing", precisely for the reason that profiling async code is hard