trace_events: set thread name for workers
names the Worker
thread in the trace event log. All workers would have the same name... may want to allow differentiation somehow.
/cc @addaleax @ofrobots
Checklist
-
make -j4 test
(UNIX), orvcbuild test
(Windows) passes -
commit message follows commit guidelines