From 5dabab212439d4d1dc6b7906bee28b89f47e711e Mon Sep 17 00:00:00 2001
From: Daniela Genius <genius@debussy.soc.lip6.fr>
Date: Thu, 11 May 2017 16:22:18 +0200
Subject: [PATCH] bugfix
---
MPSoC/src/request_manager.c | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/MPSoC/src/request_manager.c b/MPSoC/src/request_manager.c
index 1d59fe88e3..78d11cc658 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 {
--
GitLab