version 1.25, 2011/04/20 08:26:04
|
version 1.45, 2012/01/17 14:44:10
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.0.prerelease.0 |
RPL/2 (R) version 4.1.6 |
Copyright (C) 1989-2011 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 2773 instruction_step(struct_processus *s_eta
|
Line 2773 instruction_step(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); |
liberation(s_etat_processus, s_objet); |
|
|
Line 2782 instruction_step(struct_processus *s_eta
|
Line 2782 instruction_step(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) |
|
{ |
{ |
liberation(s_etat_processus, s_objet); |
liberation(s_etat_processus, s_objet); |
|
|
Line 2792 instruction_step(struct_processus *s_eta
|
Line 2791 instruction_step(struct_processus *s_eta
|
} |
} |
|
|
(*(*s_etat_processus).l_base_pile_systeme).indice_boucle = |
(*(*s_etat_processus).l_base_pile_systeme).indice_boucle = |
((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet; |
.position_variable_courante]).objet; |
|
} |
} |
|
|
/* |
/* |
Line 2834 instruction_step(struct_processus *s_eta
|
Line 2832 instruction_step(struct_processus *s_eta
|
*/ |
*/ |
|
|
(*(*s_etat_processus).l_base_pile_systeme).indice_boucle = NULL; |
(*(*s_etat_processus).l_base_pile_systeme).indice_boucle = NULL; |
((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
(*(*s_etat_processus).pointeur_variable_courante).objet = s_objet; |
.position_variable_courante]).objet = s_objet; |
|
} |
} |
else |
else |
{ |
{ |
Line 3210 instruction_sto(struct_processus *s_etat
|
Line 3207 instruction_sto(struct_processus *s_etat
|
* La variable est accessible. |
* La variable est accessible. |
*/ |
*/ |
|
|
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 3220 instruction_sto(struct_processus *s_etat
|
Line 3217 instruction_sto(struct_processus *s_etat
|
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 3231 instruction_sto(struct_processus *s_etat
|
Line 3227 instruction_sto(struct_processus *s_etat
|
} |
} |
|
|
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).pointeur_variable_courante) |
(*s_etat_processus).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 3308 instruction_sto(struct_processus *s_etat
|
Line 3302 instruction_sto(struct_processus *s_etat
|
{ |
{ |
if ((*s_etat_processus).autorisation_nom_implicite == 'N') |
if ((*s_etat_processus).autorisation_nom_implicite == 'N') |
{ |
{ |
if ((*s_etat_processus).s_liste_variables[(*s_etat_processus) |
if ((*(*s_etat_processus).pointeur_variable_courante) |
.position_variable_courante].niveau == 1) |
.niveau == 1) |
{ |
{ |
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 3321 instruction_sto(struct_processus *s_etat
|
Line 3315 instruction_sto(struct_processus *s_etat
|
} |
} |
|
|
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); |
(*(*s_etat_processus).pointeur_variable_courante).objet = |
|
s_objet_2; |
(*s_etat_processus).s_liste_variables[(*s_etat_processus) |
|
.position_variable_courante].objet = s_objet_2; |
|
} |
} |
} |
} |
else |
else |
Line 3411 instruction_syseval(struct_processus *s_
|
Line 3403 instruction_syseval(struct_processus *s_
|
|
|
pid_t pid; |
pid_t pid; |
|
|
sigset_t oldset; |
|
sigset_t set; |
|
|
|
ssize_t longueur_ecriture; |
ssize_t longueur_ecriture; |
|
|
struct_liste_chainee *l_element_courant; |
struct_liste_chainee *l_element_courant; |
Line 3710 instruction_syseval(struct_processus *s_
|
Line 3699 instruction_syseval(struct_processus *s_
|
|
|
fflush(NULL); |
fflush(NULL); |
|
|
sigfillset(&set); |
|
pthread_sigmask(SIG_BLOCK, &set, &oldset); |
|
|
|
verrouillage_threads_concurrents(s_etat_processus); |
verrouillage_threads_concurrents(s_etat_processus); |
pid = fork(); |
pid = fork(); |
deverrouillage_threads_concurrents(s_etat_processus); |
deverrouillage_threads_concurrents(s_etat_processus); |
|
|
pthread_sigmask(SIG_SETMASK, &oldset, NULL); |
|
sigpending(&set); |
|
|
|
if (pid < 0) |
if (pid < 0) |
{ |
{ |
if (close(pipes_entree[0]) != 0) |
if (close(pipes_entree[0]) != 0) |
Line 3876 instruction_syseval(struct_processus *s_
|
Line 3859 instruction_syseval(struct_processus *s_
|
(*(*l_element_courant).donnee).objet); |
(*(*l_element_courant).donnee).objet); |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) |
|
!= 0) |
# else |
# else |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 3891 instruction_syseval(struct_processus *s_
|
Line 3875 instruction_syseval(struct_processus *s_
|
longueur_ecriture) != longueur_ecriture) |
longueur_ecriture) != longueur_ecriture) |
{ |
{ |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus) |
while(sem_wait(&((*s_etat_processus) |
.semaphore_fork)) == -1) |
.semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus) |
while(sem_wait((*s_etat_processus) |
.semaphore_fork) == -1) |
.semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
(*s_etat_processus).erreur_systeme = |
{ |
d_es_processus; |
(*s_etat_processus).erreur_systeme = |
return; |
d_es_processus; |
|
return; |
|
} |
|
} |
} |
|
|
if (longueur_ecriture == -1) |
if (longueur_ecriture == -1) |
Line 3913 instruction_syseval(struct_processus *s_
|
Line 3894 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus) |
if (sem_post(&((*s_etat_processus) |
.semaphore_fork)) != 0) |
.semaphore_fork)) != 0) |
# else |
# else |
if (sem_post((*s_etat_processus) |
if (sem_post((*s_etat_processus) |
.semaphore_fork) != 0) |
.semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 3929 instruction_syseval(struct_processus *s_
|
Line 3910 instruction_syseval(struct_processus *s_
|
pipes_entree[1], "\n", 1) != 1) |
pipes_entree[1], "\n", 1) != 1) |
{ |
{ |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus) |
while(sem_wait(&((*s_etat_processus) |
.semaphore_fork)) == -1) |
.semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus) |
while(sem_wait((*s_etat_processus) |
.semaphore_fork) == -1) |
.semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |
Line 3951 instruction_syseval(struct_processus *s_
|
Line 3932 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus) |
if (sem_post(&((*s_etat_processus) |
.semaphore_fork)) != 0) |
.semaphore_fork)) != 0) |
# else |
# else |
if (sem_post((*s_etat_processus) |
if (sem_post((*s_etat_processus) |
.semaphore_fork) != 0) |
.semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 3964 instruction_syseval(struct_processus *s_
|
Line 3945 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) |
|
!= 0) |
# else |
# else |
while(sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |
Line 3998 instruction_syseval(struct_processus *s_
|
Line 3980 instruction_syseval(struct_processus *s_
|
*/ |
*/ |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 4010 instruction_syseval(struct_processus *s_
|
Line 3992 instruction_syseval(struct_processus *s_
|
if (waitpid(pid, &status, 0) == -1) |
if (waitpid(pid, &status, 0) == -1) |
{ |
{ |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) |
|
!= 0) |
# else |
# else |
if (sem_wait((*s_etat_processus).semaphore_fork) == -1) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
(*s_etat_processus).erreur_systeme = d_es_processus; |
{ |
return; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
|
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 4027 instruction_syseval(struct_processus *s_
|
Line 4007 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
if (sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |
Line 4052 instruction_syseval(struct_processus *s_
|
Line 4032 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
# else |
# else |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
|
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
return; |
return; |
} |
} |
# endif |
|
|
|
while((ios = read_atomic(s_etat_processus, |
while((ios = read_atomic(s_etat_processus, |
pipes_sortie[0], &(tampon[pointeur]), |
pipes_sortie[0], &(tampon[pointeur]), |
longueur_lecture)) > 0) |
longueur_lecture)) > 0) |
{ |
{ |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
(*s_etat_processus).erreur_systeme = d_es_processus; |
{ |
return; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
} |
} |
|
|
tampon[pointeur + ios] = d_code_fin_chaine; |
tampon[pointeur + ios] = d_code_fin_chaine; |
Line 4096 instruction_syseval(struct_processus *s_
|
Line 4069 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 4107 instruction_syseval(struct_processus *s_
|
Line 4080 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |
Line 4259 instruction_syseval(struct_processus *s_
|
Line 4232 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
if (sem_post(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
if (sem_post((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
Line 4280 instruction_syseval(struct_processus *s_
|
Line 4253 instruction_syseval(struct_processus *s_
|
== d_erreur) |
== d_erreur) |
{ |
{ |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |
Line 4303 instruction_syseval(struct_processus *s_
|
Line 4276 instruction_syseval(struct_processus *s_
|
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) == -1) |
while(sem_wait(&((*s_etat_processus).semaphore_fork)) != 0) |
# else |
# else |
while(sem_wait((*s_etat_processus).semaphore_fork) == -1) |
while(sem_wait((*s_etat_processus).semaphore_fork) != 0) |
# endif |
# endif |
{ |
{ |
if (errno != EINTR) |
if (errno != EINTR) |