rename Scheduler_global_EDF_perthread to Scheduler_global_EDF_Per_thread