version 1.5, 2010/03/09 10:18:48
|
version 1.27, 2011/07/25 07:44:58
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.13 |
RPL/2 (R) version 4.1.2 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 20
|
Line 20
|
*/ |
*/ |
|
|
|
|
#include "rpl.conv.h" |
#include "rpl-conv.h" |
|
|
|
|
/* |
/* |
Line 436 instruction_sto_plus(struct_processus *s
|
Line 436 instruction_sto_plus(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 456 instruction_sto_plus(struct_processus *s
|
Line 456 instruction_sto_plus(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 467 instruction_sto_plus(struct_processus *s
|
Line 466 instruction_sto_plus(struct_processus *s
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 536 instruction_sto_plus(struct_processus *s
|
Line 533 instruction_sto_plus(struct_processus *s
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 671 instruction_sto_plus(struct_processus *s
|
Line 667 instruction_sto_plus(struct_processus *s
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 728 instruction_sto_plus(struct_processus *s
|
Line 723 instruction_sto_plus(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 748 instruction_sto_plus(struct_processus *s
|
Line 743 instruction_sto_plus(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 759 instruction_sto_plus(struct_processus *s
|
Line 753 instruction_sto_plus(struct_processus *s
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 828 instruction_sto_plus(struct_processus *s
|
Line 820 instruction_sto_plus(struct_processus *s
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 963 instruction_sto_plus(struct_processus *s
|
Line 954 instruction_sto_plus(struct_processus *s
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 1177 instruction_sto_moins(struct_processus *
|
Line 1167 instruction_sto_moins(struct_processus *
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 1197 instruction_sto_moins(struct_processus *
|
Line 1187 instruction_sto_moins(struct_processus *
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1208 instruction_sto_moins(struct_processus *
|
Line 1197 instruction_sto_moins(struct_processus *
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1277 instruction_sto_moins(struct_processus *
|
Line 1264 instruction_sto_moins(struct_processus *
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 1412 instruction_sto_moins(struct_processus *
|
Line 1398 instruction_sto_moins(struct_processus *
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].objet)) == d_erreur) |
.objet)) == d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 1469 instruction_sto_moins(struct_processus *
|
Line 1454 instruction_sto_moins(struct_processus *
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 1489 instruction_sto_moins(struct_processus *
|
Line 1474 instruction_sto_moins(struct_processus *
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1500 instruction_sto_moins(struct_processus *
|
Line 1484 instruction_sto_moins(struct_processus *
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1569 instruction_sto_moins(struct_processus *
|
Line 1551 instruction_sto_moins(struct_processus *
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 1704 instruction_sto_moins(struct_processus *
|
Line 1685 instruction_sto_moins(struct_processus *
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].objet)) == d_erreur) |
.objet)) == d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 1918 instruction_sto_fois(struct_processus *s
|
Line 1898 instruction_sto_fois(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 1938 instruction_sto_fois(struct_processus *s
|
Line 1918 instruction_sto_fois(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 1949 instruction_sto_fois(struct_processus *s
|
Line 1928 instruction_sto_fois(struct_processus *s
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2018 instruction_sto_fois(struct_processus *s
|
Line 1995 instruction_sto_fois(struct_processus *s
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 2153 instruction_sto_fois(struct_processus *s
|
Line 2129 instruction_sto_fois(struct_processus *s
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 2210 instruction_sto_fois(struct_processus *s
|
Line 2185 instruction_sto_fois(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 2230 instruction_sto_fois(struct_processus *s
|
Line 2205 instruction_sto_fois(struct_processus *s
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2241 instruction_sto_fois(struct_processus *s
|
Line 2215 instruction_sto_fois(struct_processus *s
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2310 instruction_sto_fois(struct_processus *s
|
Line 2282 instruction_sto_fois(struct_processus *s
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 2445 instruction_sto_fois(struct_processus *s
|
Line 2416 instruction_sto_fois(struct_processus *s
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 2659 instruction_sto_division(struct_processu
|
Line 2629 instruction_sto_division(struct_processu
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 2679 instruction_sto_division(struct_processu
|
Line 2649 instruction_sto_division(struct_processu
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2690 instruction_sto_division(struct_processu
|
Line 2659 instruction_sto_division(struct_processu
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2759 instruction_sto_division(struct_processu
|
Line 2726 instruction_sto_division(struct_processu
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 2894 instruction_sto_division(struct_processu
|
Line 2860 instruction_sto_division(struct_processu
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 2951 instruction_sto_division(struct_processu
|
Line 2916 instruction_sto_division(struct_processu
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
Line 2971 instruction_sto_division(struct_processu
|
Line 2936 instruction_sto_division(struct_processu
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 2982 instruction_sto_division(struct_processu
|
Line 2946 instruction_sto_division(struct_processu
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3051 instruction_sto_division(struct_processu
|
Line 3013 instruction_sto_division(struct_processu
|
else |
else |
{ |
{ |
if ((s_objet_3 = copie_objet(s_etat_processus, |
if ((s_objet_3 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 3186 instruction_sto_division(struct_processu
|
Line 3147 instruction_sto_division(struct_processu
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 3362 instruction_sneg(struct_processus *s_eta
|
Line 3322 instruction_sneg(struct_processus *s_eta
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 3381 instruction_sneg(struct_processus *s_eta
|
Line 3341 instruction_sneg(struct_processus *s_eta
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3392 instruction_sneg(struct_processus *s_eta
|
Line 3351 instruction_sneg(struct_processus *s_eta
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3459 instruction_sneg(struct_processus *s_eta
|
Line 3416 instruction_sneg(struct_processus *s_eta
|
else |
else |
{ |
{ |
if ((s_objet_2 = copie_objet(s_etat_processus, |
if ((s_objet_2 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 3576 instruction_sneg(struct_processus *s_eta
|
Line 3532 instruction_sneg(struct_processus *s_eta
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 3750 instruction_sinv(struct_processus *s_eta
|
Line 3705 instruction_sinv(struct_processus *s_eta
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 3769 instruction_sinv(struct_processus *s_eta
|
Line 3724 instruction_sinv(struct_processus *s_eta
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3780 instruction_sinv(struct_processus *s_eta
|
Line 3734 instruction_sinv(struct_processus *s_eta
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 3847 instruction_sinv(struct_processus *s_eta
|
Line 3799 instruction_sinv(struct_processus *s_eta
|
else |
else |
{ |
{ |
if ((s_objet_2 = copie_objet(s_etat_processus, |
if ((s_objet_2 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 3964 instruction_sinv(struct_processus *s_eta
|
Line 3915 instruction_sinv(struct_processus *s_eta
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 4138 instruction_sconj(struct_processus *s_et
|
Line 4088 instruction_sconj(struct_processus *s_et
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].variable_verrouillee == d_vrai) |
.variable_verrouillee == d_vrai) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 4157 instruction_sconj(struct_processus *s_et
|
Line 4107 instruction_sconj(struct_processus *s_et
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
.position_variable_courante].objet == NULL) |
|
{ |
{ |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
if (pthread_mutex_lock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 4168 instruction_sconj(struct_processus *s_et
|
Line 4117 instruction_sconj(struct_processus *s_et
|
} |
} |
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
.position_variable_courante].nom, (*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante) |
.s_liste_variables[(*s_etat_processus) |
.variable_partagee, (*(*s_etat_processus) |
.position_variable_courante].variable_partagee, |
.pointeur_variable_courante).origine) == d_faux) |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].origine) == d_faux) |
|
{ |
{ |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
.s_liste_variables_partagees).mutex)) != 0) |
.s_liste_variables_partagees).mutex)) != 0) |
Line 4235 instruction_sconj(struct_processus *s_et
|
Line 4182 instruction_sconj(struct_processus *s_et
|
else |
else |
{ |
{ |
if ((s_objet_2 = copie_objet(s_etat_processus, |
if ((s_objet_2 = copie_objet(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).objet, |
[(*s_etat_processus).position_variable_courante].objet, |
|
'P')) == NULL) |
'P')) == NULL) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 4352 instruction_sconj(struct_processus *s_et
|
Line 4298 instruction_sconj(struct_processus *s_et
|
else |
else |
{ |
{ |
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet); |
.position_variable_courante].objet); |
|
|
|
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
if (depilement(s_etat_processus, &((*s_etat_processus).l_base_pile), |
&((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
&((*(*s_etat_processus).pointeur_variable_courante).objet)) |
.position_variable_courante].objet)) == d_erreur) |
== d_erreur) |
{ |
{ |
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|