diff --git a/MPSoC/src/request_manager.c b/MPSoC/src/request_manager.c index 1d59fe88e34edc83aa875330e351a845cc9e99da..78d11cc65818117478504d444755f24d7b79454b 100755 --- a/MPSoC/src/request_manager.c +++ b/MPSoC/src/request_manager.c @@ -335,14 +335,17 @@ int executable(setOfRequests *list, int nb) { //if ((req->syncChannel->inWaitQueue != NULL)&&(req->syncChannel->ok==1)) {// DG 8.2. non c'est correct: il faut un rendez-vous synchrone entre inqueue et outqueue //if (req->syncChannel->outWaitQueue != NULL) {//DG 8.2.?? - if ((req->syncChannel->inWaitQueue != NULL)){ + if ((req->syncChannel->inWaitQueue != NULL)||req->syncChannel->ok){ debugMsg("Send sync executable"); + debugInt("ok=",req->syncChannel->ok); //req->syncChannel->ok==0; req->syncChannel->ok2==0; req->executable = 1; cpt ++; } else { - debugMsg("Send sync not executable"); + + debugMsg("Send sync not executable"); + debugInt("not exe ok=",req->syncChannel->ok); } ////index ++; } @@ -360,7 +363,7 @@ int executable(setOfRequests *list, int nb) { req->executable = 1; debugMsg("Receive sync executable"); //req->syncChannel->ok2==0; - req->syncChannel->ok==0; + req->syncChannel->ok=0; cpt ++; } else {