|
@@ -2587,6 +2587,10 @@ _starpu_init_workers_binding_and_memory (struct _starpu_machine_config *config,
|
|
|
config->nbindid = STARPU_NMAXWORKERS;
|
|
|
else
|
|
|
config->nbindid = 2 * old_nbindid;
|
|
|
+ if (bindid > config->nbindid)
|
|
|
+ {
|
|
|
+ config->nbindid = bindid+1;
|
|
|
+ }
|
|
|
_STARPU_REALLOC(config->bindid_workers, config->nbindid * sizeof(config->bindid_workers[0]));
|
|
|
memset(&config->bindid_workers[old_nbindid], 0, (config->nbindid - old_nbindid) * sizeof(config->bindid_workers[0]));
|
|
|
}
|