version 1.12, 2010/08/06 15:32:59
|
version 1.41, 2012/12/13 16:59:41
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.18 |
RPL/2 (R) version 4.1.11 |
Copyright (C) 1989-2010 Dr. BERTRAND Joël |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 74 instruction_cycle(struct_processus *s_et
|
Line 74 instruction_cycle(struct_processus *s_et
|
printf(" ...\n"); |
printf(" ...\n"); |
printf(" NEXT/STEP\n\n"); |
printf(" NEXT/STEP\n\n"); |
|
|
|
printf(" FORALL (variable)\n"); |
|
printf(" ...\n"); |
|
printf(" CYCLE\n"); |
|
printf(" ...\n"); |
|
printf(" NEXT\n\n"); |
|
|
printf(" START\n"); |
printf(" START\n"); |
printf(" ...\n"); |
printf(" ...\n"); |
printf(" CYCLE\n"); |
printf(" CYCLE\n"); |
Line 98 instruction_cycle(struct_processus *s_et
|
Line 104 instruction_cycle(struct_processus *s_et
|
while((l_element_pile_systeme != NULL) && (presence_boucle == d_faux)) |
while((l_element_pile_systeme != NULL) && (presence_boucle == d_faux)) |
{ |
{ |
if (((*l_element_pile_systeme).type_cloture == 'S') || |
if (((*l_element_pile_systeme).type_cloture == 'S') || |
((*l_element_pile_systeme).type_cloture == 'F')) |
((*l_element_pile_systeme).type_cloture == 'F') || |
|
((*l_element_pile_systeme).type_cloture == 'A')) |
{ |
{ |
presence_boucle = d_vrai; |
presence_boucle = d_vrai; |
} |
} |
Line 132 instruction_cycle(struct_processus *s_et
|
Line 139 instruction_cycle(struct_processus *s_et
|
return; |
return; |
} |
} |
|
|
if (recherche_variable(s_etat_processus, |
instruction_majuscule = conversion_majuscule( |
(*s_etat_processus).instruction_courante) == d_vrai) |
(*s_etat_processus).instruction_courante); |
|
|
|
if (instruction_majuscule == NULL) |
{ |
{ |
instruction_majuscule = conversion_majuscule(""); |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
|
return; |
|
} |
|
|
if (((*s_etat_processus).s_liste_variables |
/* |
[(*s_etat_processus).position_variable_courante]).objet |
* Traitement de la pile système par les |
== NULL) |
* différentes instructions. |
|
*/ |
|
|
|
if ((strcmp(instruction_majuscule, "IF") == 0) || |
|
(strcmp(instruction_majuscule, "IFERR") == 0) || |
|
(strcmp(instruction_majuscule, "DO") == 0) || |
|
(strcmp(instruction_majuscule, "WHILE") == 0) || |
|
(strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "FORALL") == 0) || |
|
(strcmp(instruction_majuscule, "START") == 0) || |
|
(strcmp(instruction_majuscule, "SELECT") == 0) |
|
|| (strcmp(instruction_majuscule, "CRITICAL") == 0) |
|
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|
|| (strcmp(instruction_majuscule, "<<") == 0)) |
|
{ |
|
if (strcmp(instruction_majuscule, "<<") == 0) |
{ |
{ |
// Variable partagée |
analyse(s_etat_processus, NULL); |
|
|
if (pthread_mutex_lock(&((*(*s_etat_processus) |
|
.s_liste_variables_partagees).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
if (recherche_variable_partagee(s_etat_processus, |
|
((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante]) |
|
.nom, ((*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante]) |
|
.variable_partagee, 'E') == d_vrai) |
|
{ |
|
if ((*((*(*s_etat_processus) |
|
.s_liste_variables_partagees).table |
|
[(*(*s_etat_processus) |
|
.s_liste_variables_partagees) |
|
.position_variable]) |
|
.objet).type == ADR) |
|
{ |
|
empilement_pile_systeme(s_etat_processus); |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.s_liste_variables_partagees).mutex)) |
|
!= 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return; |
|
} |
|
|
|
return; |
|
} |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.adresse_retour = |
|
(*s_etat_processus).position_courante; |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.retour_definition = 'Y'; |
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.niveau_courant = |
|
(*s_etat_processus).niveau_courant; |
|
|
|
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) ((*((*s_etat_processus) |
|
.s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].objet)) |
|
.objet))); |
|
|
|
(*s_etat_processus) |
|
.autorisation_empilement_programme = 'N'; |
|
} |
|
} |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.s_liste_variables_partagees).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
else |
else |
{ |
{ |
// Variable privée |
if ((strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "FORALL") == 0) || |
if ((*((*s_etat_processus).s_liste_variables |
(strcmp(instruction_majuscule, "START") == 0)) |
[(*s_etat_processus).position_variable_courante]) |
|
.objet).type == ADR) |
|
{ |
{ |
empilement_pile_systeme(s_etat_processus); |
niveau++; |
|
} |
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return; |
|
} |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
empilement_pile_systeme(s_etat_processus); |
.adresse_retour = |
|
(*s_etat_processus).position_courante; |
|
|
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.retour_definition = 'Y'; |
|
(*(*s_etat_processus).l_base_pile_systeme) |
|
.niveau_courant = |
|
(*s_etat_processus).niveau_courant; |
|
|
|
(*s_etat_processus).position_courante = |
|
(*((unsigned long *) ((*((*s_etat_processus) |
|
.s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].objet)).objet))); |
|
|
|
(*s_etat_processus).autorisation_empilement_programme |
if ((*s_etat_processus).erreur_systeme != d_es) |
= 'N'; |
{ |
|
return; |
} |
} |
} |
} |
} |
} |
else |
else if ((strcmp(instruction_majuscule, "END") == 0) || |
|
(strcmp(instruction_majuscule, "NEXT") == 0) || |
|
(strcmp(instruction_majuscule, "STEP") == 0) || |
|
(strcmp(instruction_majuscule, ">>") == 0)) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es; |
if (strcmp(instruction_majuscule, ">>") == 0) |
instruction_majuscule = conversion_majuscule( |
|
(*s_etat_processus).instruction_courante); |
|
|
|
if (instruction_majuscule == NULL) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = |
analyse(s_etat_processus, NULL); |
d_es_allocation_memoire; |
|
return; |
|
} |
|
|
|
/* |
if ((*s_etat_processus).retour_routine_evaluation |
* Traitement de la pile système par les |
== 'Y') |
* différentes instructions. |
|
*/ |
|
|
|
if ((strcmp(instruction_majuscule, "IF") == 0) || |
|
(strcmp(instruction_majuscule, "IFERR") == 0) || |
|
(strcmp(instruction_majuscule, "DO") == 0) || |
|
(strcmp(instruction_majuscule, "WHILE") == 0) || |
|
(strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "START") == 0) || |
|
(strcmp(instruction_majuscule, "SELECT") == 0) |
|
|| (strcmp(instruction_majuscule, "CASE") == 0) |
|
|| (strcmp(instruction_majuscule, "<<") == 0)) |
|
{ |
|
if (strcmp(instruction_majuscule, "<<") == 0) |
|
{ |
{ |
analyse(s_etat_processus, NULL); |
drapeau_presence_fin_boucle = d_faux; |
} |
free((*s_etat_processus).instruction_courante); |
else |
|
{ |
|
if ((strcmp(instruction_majuscule, "FOR") == 0) || |
|
(strcmp(instruction_majuscule, "START") == 0)) |
|
{ |
|
niveau++; |
|
} |
|
|
|
empilement_pile_systeme(s_etat_processus); |
break; |
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return; |
|
} |
|
} |
} |
} |
} |
else if ((strcmp(instruction_majuscule, "END") == 0) || |
else |
(strcmp(instruction_majuscule, "NEXT") == 0) || |
|
(strcmp(instruction_majuscule, "STEP") == 0) || |
|
(strcmp(instruction_majuscule, ">>") == 0)) |
|
{ |
{ |
if (strcmp(instruction_majuscule, ">>") == 0) |
if ((strcmp(instruction_majuscule, "NEXT") == 0) || |
|
(strcmp(instruction_majuscule, "STEP") == 0)) |
{ |
{ |
analyse(s_etat_processus, NULL); |
niveau--; |
|
|
if ((*s_etat_processus).retour_routine_evaluation |
if (niveau != 0) |
== 'Y') |
|
{ |
{ |
drapeau_presence_fin_boucle = d_faux; |
depilement_pile_systeme(s_etat_processus); |
free((*s_etat_processus).instruction_courante); |
|
|
|
break; |
|
} |
} |
} |
} |
else |
else |
{ |
{ |
if ((strcmp(instruction_majuscule, "NEXT") == 0) || |
if ((*s_etat_processus).l_base_pile_systeme == NULL) |
(strcmp(instruction_majuscule, "STEP") == 0)) |
|
{ |
{ |
niveau--; |
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return; |
|
} |
|
|
if (niveau != 0) |
if ((*(*s_etat_processus).l_base_pile_systeme) |
|
.type_cloture == 'Q') |
|
{ |
|
if (pthread_mutex_unlock( |
|
&mutex_sections_critiques) != 0) |
{ |
{ |
depilement_pile_systeme(s_etat_processus); |
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return; |
} |
} |
} |
|
else |
|
{ |
|
depilement_pile_systeme(s_etat_processus); |
|
} |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
(*s_etat_processus).sections_critiques--; |
{ |
|
return; |
|
} |
} |
|
|
|
depilement_pile_systeme(s_etat_processus); |
|
} |
|
|
|
if ((*s_etat_processus).erreur_systeme != d_es) |
|
{ |
|
return; |
} |
} |
} |
} |
} |
} |
Line 385 instruction_cycle(struct_processus *s_et
|
Line 300 instruction_cycle(struct_processus *s_et
|
(fonction == instruction_do) || |
(fonction == instruction_do) || |
(fonction == instruction_while) || |
(fonction == instruction_while) || |
(fonction == instruction_for) || |
(fonction == instruction_for) || |
|
(fonction == instruction_forall) || |
(fonction == instruction_start) || |
(fonction == instruction_start) || |
(fonction == instruction_select) || |
(fonction == instruction_select) || |
(fonction == instruction_case) || |
(fonction == instruction_case) || |
|
(fonction == instruction_critical) || |
(fonction == instruction_vers_niveau_superieur)) |
(fonction == instruction_vers_niveau_superieur)) |
{ |
{ |
if (fonction == instruction_vers_niveau_superieur) |
if (fonction == instruction_vers_niveau_superieur) |
Line 440 instruction_cycle(struct_processus *s_et
|
Line 357 instruction_cycle(struct_processus *s_et
|
} |
} |
else |
else |
{ |
{ |
|
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 == 'Q') |
|
{ |
|
if (pthread_mutex_unlock(&mutex_sections_critiques) |
|
!= 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = |
|
d_es_processus; |
|
return; |
|
} |
|
|
|
(*s_etat_processus).sections_critiques--; |
|
} |
|
|
depilement_pile_systeme(s_etat_processus); |
depilement_pile_systeme(s_etat_processus); |
} |
} |
|
|
Line 499 instruction_con(struct_processus *s_etat
|
Line 437 instruction_con(struct_processus *s_etat
|
struct_objet *s_objet_resultat; |
struct_objet *s_objet_resultat; |
|
|
logical1 argument_nom; |
logical1 argument_nom; |
|
logical1 variable_partagee; |
|
|
unsigned long i; |
unsigned long i; |
unsigned long j; |
unsigned long j; |
Line 603 instruction_con(struct_processus *s_etat
|
Line 542 instruction_con(struct_processus *s_etat
|
|
|
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
|
|
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 612 instruction_con(struct_processus *s_etat
|
Line 551 instruction_con(struct_processus *s_etat
|
return; |
return; |
} |
} |
|
|
if ((*s_etat_processus).s_liste_variables |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
[(*s_etat_processus).position_variable_courante].objet == NULL) |
|
{ |
{ |
// Variable partagée |
// Variable partagée |
|
|
if (pthread_mutex_lock(&((*(*s_etat_processus) |
variable_partagee = d_vrai; |
.s_liste_variables_partagees).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
if (recherche_variable_partagee(s_etat_processus, |
if (recherche_variable_partagee(s_etat_processus, |
(*s_etat_processus).s_liste_variables |
(*(*s_etat_processus).pointeur_variable_courante).nom, |
[(*s_etat_processus).position_variable_courante].nom, |
(*(*s_etat_processus).pointeur_variable_courante) |
(*s_etat_processus).s_liste_variables |
.variable_partagee, (*(*s_etat_processus) |
[(*s_etat_processus).position_variable_courante] |
.pointeur_variable_courante).origine) |
.variable_partagee, (*s_etat_processus).s_liste_variables |
|
[(*s_etat_processus).position_variable_courante].origine) |
|
== d_faux) |
== d_faux) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_systeme = d_es; |
(*s_etat_processus).erreur_execution = |
(*s_etat_processus).erreur_execution = |
d_ex_variable_non_definie; |
d_ex_variable_non_definie; |
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.s_liste_variables_partagees).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
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); |
|
|
return; |
return; |
} |
} |
|
|
s_objet_2 = (*(*s_etat_processus).s_liste_variables_partagees) |
s_objet_2 = (*(*s_etat_processus) |
.table[(*(*s_etat_processus).s_liste_variables_partagees) |
.pointeur_variable_partagee_courante).objet; |
.position_variable].objet; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.s_liste_variables_partagees).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
else |
else |
{ |
{ |
// Variable privée |
// Variable privée |
|
|
s_objet_2 = (*s_etat_processus).s_liste_variables |
s_objet_2 = (*(*s_etat_processus).pointeur_variable_courante).objet; |
[(*s_etat_processus).position_variable_courante].objet; |
variable_partagee = d_faux; |
} |
} |
} |
} |
else |
else |
Line 699 instruction_con(struct_processus *s_etat
|
Line 615 instruction_con(struct_processus *s_etat
|
{ |
{ |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
} |
} |
|
else |
|
{ |
|
if (variable_partagee == d_vrai) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
} |
|
|
(*s_etat_processus).erreur_execution = d_ex_dimensions_invalides; |
(*s_etat_processus).erreur_execution = d_ex_dimensions_invalides; |
return; |
return; |
Line 719 instruction_con(struct_processus *s_etat
|
Line 647 instruction_con(struct_processus *s_etat
|
{ |
{ |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
} |
} |
|
else |
|
{ |
|
if (variable_partagee == d_vrai) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) |
|
!= 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
} |
|
|
(*s_etat_processus).erreur_execution = |
(*s_etat_processus).erreur_execution = |
d_ex_erreur_type_argument; |
d_ex_erreur_type_argument; |
Line 733 instruction_con(struct_processus *s_etat
|
Line 674 instruction_con(struct_processus *s_etat
|
{ |
{ |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
} |
} |
|
else |
|
{ |
|
if (variable_partagee == d_vrai) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) |
|
!= 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
} |
|
|
(*s_etat_processus).erreur_execution = d_ex_argument_invalide; |
(*s_etat_processus).erreur_execution = d_ex_argument_invalide; |
return; |
return; |
Line 790 instruction_con(struct_processus *s_etat
|
Line 744 instruction_con(struct_processus *s_etat
|
{ |
{ |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
} |
} |
|
else |
|
{ |
|
if (variable_partagee == d_vrai) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
} |
|
|
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 811 instruction_con(struct_processus *s_etat
|
Line 777 instruction_con(struct_processus *s_etat
|
{ |
{ |
liberation(s_etat_processus, s_objet_2); |
liberation(s_etat_processus, s_objet_2); |
} |
} |
|
else |
|
{ |
|
if (variable_partagee == d_vrai) |
|
{ |
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
} |
|
|
liberation(s_etat_processus, s_objet_1); |
liberation(s_etat_processus, s_objet_1); |
|
|
Line 1056 instruction_con(struct_processus *s_etat
|
Line 1034 instruction_con(struct_processus *s_etat
|
} |
} |
else |
else |
{ |
{ |
(*s_etat_processus).s_liste_variables |
if (variable_partagee == d_vrai) |
[(*s_etat_processus).position_variable_courante].objet = |
{ |
s_objet_resultat; |
(*(*s_etat_processus).pointeur_variable_partagee_courante).objet = |
|
s_objet_resultat; |
|
|
|
if (pthread_mutex_unlock(&((*(*s_etat_processus) |
|
.pointeur_variable_partagee_courante).mutex)) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
|
else |
|
{ |
|
(*(*s_etat_processus).pointeur_variable_courante).objet = |
|
s_objet_resultat; |
|
} |
} |
} |
|
|
return; |
return; |