From 883af6aa527c4d0b43adc99c19e1cbb53153a7a0 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sat, 8 Feb 2025 21:25:55 +0100
Subject: Add names to threads

---
 pfinet/timer-emul.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'pfinet/timer-emul.c')

diff --git a/pfinet/timer-emul.c b/pfinet/timer-emul.c
index f1686741..701a4164 100644
--- a/pfinet/timer-emul.c
+++ b/pfinet/timer-emul.c
@@ -26,6 +26,7 @@
 #include <linux/sched.h>
 #include <error.h>
 #include <string.h>
+#include <pthread.h>
 #include "pfinet.h"
 
 long long root_jiffies;
@@ -40,6 +41,8 @@ timer_function (void *this_is_a_pointless_variable_with_a_rather_long_name)
   mach_port_t recv;
   int wait = 0;
 
+  pthread_setname_np (pthread_self (), "timer");
+
   recv = mach_reply_port ();
 
   timer_thread = mach_thread_self ();
-- 
cgit v1.2.3