Show worker status

tools/gdbinit

@@ -145,11 +145,35 @@ end
 define starpu-workers
   set language c
   set $num=0
-  printf "[Id] Name                                     Arch Mask Devid Bindid Workerid Isrunning Isinitialized\n"
+  printf "[Id] Name                                     Arch Mask Devid Bindid Workerid Isrunning Isinitialized Status\n"
   while $num<config->topology->nworkers
     set $worker=&config->workers[$num]
-    printf "[%2d] %-40s %-4d %-4d %-5d %-6d %-8d %-9d %-13d\n", $num, $worker->name, $worker->arch, $worker->worker_mask, \
-          $worker->devid, $worker->bindid, $worker->workerid, $worker->worker_is_running, $worker->worker_is_initialized
+    if $worker->status == STATUS_INVALID
+      set $status="INVALID"
+    end
+    if $worker->status == STATUS_UNKNOWN
+      set $status="UNKNOWN"
+    end
+    if $worker->status == STATUS_INITIALIZING
+      set $status="INITIALIZING"
+    end
+    if $worker->status == STATUS_EXECUTING
+      set $status="EXECUTING"
+    end
+    if $worker->status == STATUS_CALLBACK
+      set $status="CALLBACK"
+    end
+    if $worker->status == STATUS_SCHEDULING
+      set $status="SCHEDULING"
+    end
+    if $worker->status == STATUS_SLEEPING
+      set $status="SLEEPING"
+    end
+    if $worker->status == STATUS_WAKING_UP
+      set $status="WAKING_UP"
+    end
+    printf "[%2d] %-40s %-4d %-4d %-5d %-6d %-8d %-9d %-13d %s\n", $num, $worker->name, $worker->arch, $worker->worker_mask, \
+          $worker->devid, $worker->bindid, $worker->workerid, $worker->worker_is_running, $worker->worker_is_initialized, $status
     set $num = $num + 1
   end
 end