Also give names to SCC workers

src/drivers/mic/driver_mic_source.c

@@ -634,13 +634,10 @@ void *_starpu_mic_src_worker(void *arg)
 	struct _starpu_machine_config *config = baseworker->config;
 	unsigned baseworkerid = baseworker - config->workers;
 	unsigned mp_nodeid = baseworker->mp_nodeid;
+	unsigned i;
 
 	unsigned memnode = baseworker->memory_node;
 
-	int devid = baseworker->devid;
-
-	unsigned i;
-
 	_starpu_worker_init(baseworker, _STARPU_FUT_MIC_KEY);
 
 	// Current task for a thread managing a worker set has no sense.

src/drivers/scc/driver_scc_source.c

@@ -327,6 +327,9 @@ void *_starpu_scc_src_worker(void *arg)
 	int devid = args->devid;
 	int workerid = args->workerid;
 	unsigned memnode = args->memory_node;
+	unsigned baseworkerid = baseworker - config->workers;
+	unsigned mp_nodeid = baseworker->mp_nodeid;
+	unsigned i;
 
 	_starpu_worker_init(args, _STARPU_FUT_SCC_KEY);
 
@@ -334,6 +337,12 @@ void *_starpu_scc_src_worker(void *arg)
 
 	args->status = STATUS_UNKNOWN;
 
+	for (i = 0; i < config->topology.nmiccores[mp_nodeid]; i++)
+	{
+		struct _starpu_worker *worker = &config->workers[baseworkerid+i];
+		snprintf(worker->name, sizeof(worker->name), "MIC %d core %u", mp_nodeid, i);
+	}
+
 	_STARPU_TRACE_WORKER_INIT_END;
 
 	/* tell the main thread that this one is ready */