summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
ddfab1b)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
other = 1 - process;
flags[process] = TRUE;
turn = process;
other = 1 - process;
flags[process] = TRUE;
turn = process;
- while (turn == process && flags[other] == TRUE) ;
+ while (turn == process && flags[other] == TRUE);
}
static void leave_region(int process) { // sortie de SC
}
static void leave_region(int process) { // sortie de SC