percpu-worker: name the threads

Signed-off-by: Avi Kivity <avi@cloudius-systems.com>

core/percpu-worker.cc

@@ -119,9 +119,10 @@ void workman::pcpu_init()
 {
     (*_duty).store(false, std::memory_order_relaxed);
 
+    auto c = sched::cpu::current();
     // Create PCPU Sheriff
     *_work_sheriff = new sched::thread([] { workman::call_of_duty(); },
-        sched::thread::attr().pin(sched::cpu::current()));
+        sched::thread::attr().pin(c).name(osv::sprintf("percpu%d", c->id)));
 
     (*_work_sheriff)->start();
 }