version 1.17.2.2, 2011/04/14 08:46:41
|
version 1.41, 2013/02/26 19:56:14
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.23 |
RPL/2 (R) version 4.1.12 |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
Copyright (C) 1989-2013 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 229 instruction_end(struct_processus *s_etat
|
Line 229 instruction_end(struct_processus *s_etat
|
printf(" (expression 2)]\n"); |
printf(" (expression 2)]\n"); |
printf(" END\n\n"); |
printf(" END\n\n"); |
|
|
|
printf(" CRITICAL\n"); |
|
printf(" (expression)\n"); |
|
printf(" END\n\n"); |
|
|
printf(" DO\n"); |
printf(" DO\n"); |
printf(" (expression)\n"); |
printf(" (expression)\n"); |
printf(" UNTIL\n"); |
printf(" UNTIL\n"); |
Line 264 instruction_end(struct_processus *s_etat
|
Line 268 instruction_end(struct_processus *s_etat
|
return; |
return; |
} |
} |
|
|
|
if ((*s_etat_processus).l_base_pile_systeme == NULL) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I') |
if (((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'I') |
|| ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J')) |
|| ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'J')) |
{ |
{ |
Line 416 instruction_end(struct_processus *s_etat
|
Line 426 instruction_end(struct_processus *s_etat
|
return; |
return; |
} |
} |
} |
} |
else |
else if ((*(*s_etat_processus).l_base_pile_systeme).type_cloture == 'Q') |
|
{ |
|
depilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return; |
|
} |
|
|
|
if (pthread_mutex_unlock(&mutex_sections_critiques) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
(*s_etat_processus).sections_critiques--; |
|
} |
|
else |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_end_incoherent; |
(*s_etat_processus).erreur_systeme = d_es_end_incoherent; |
} |
} |