rpl/src/instructions_p7.c - diff

Return to instructions_p7.c CVS log

Up to [local] / rpl / src

Diff for /rpl/src/instructions_p7.c between versions 1.15 and 1.50

version 1.15, 2010/08/06 15:33:02	version 1.50, 2012/12/18 13:19:37
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.18	RPL/2 (R) version 4.1.12
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 94 instruction_protect(struct_processus *s_	Line 94 instruction_protect(struct_processus *s_
return;	return;
}	}

((s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante]).variable_verrouillee = d_vrai;	.variable_verrouillee = d_vrai;
}	}
else if ((*s_objet).type == LST)	else if ((*s_objet).type == LST)
{	{
Line 122 instruction_protect(struct_processus *s_	Line 122 instruction_protect(struct_processus *s_
return;	return;
}	}

((s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante]).variable_verrouillee = d_vrai;	.variable_verrouillee = d_vrai;

l_element_courant = (*l_element_courant).suivant;	l_element_courant = (*l_element_courant).suivant;
}	}
Line 157 instruction_protect(struct_processus *s_	Line 157 instruction_protect(struct_processus *s_
void	void
instruction_parameter(struct_processus *s_etat_processus)	instruction_parameter(struct_processus *s_etat_processus)
{	{
logical1 presence_variable;

long i;

struct_liste_chainee *l_element_courant;	struct_liste_chainee *l_element_courant;

struct_objet *s_objet;	struct_objet *s_objet;
Line 207 instruction_parameter(struct_processus *	Line 203 instruction_parameter(struct_processus *

if ((*s_objet).type == NOM)	if ((*s_objet).type == NOM)
{	{
if (recherche_variable(s_etat_processus, ((((struct_nom )	if (recherche_variable_globale(s_etat_processus, ((((struct_nom )
(*s_objet).objet)).nom)) == d_faux)	(*s_objet).objet)).nom)) == d_faux)
{	{
liberation(s_etat_processus, s_objet);	liberation(s_etat_processus, s_objet);
Line 217 instruction_parameter(struct_processus *	Line 213 instruction_parameter(struct_processus *
return;	return;
}	}

i = (*s_etat_processus).position_variable_courante;	((s_etat_processus).pointeur_variable_courante)
presence_variable = d_faux;	.variable_verrouillee = d_vrai;

while(i >= 0)
{
if ((strcmp((*s_etat_processus).s_liste_variables[i].nom,
(((struct_nom ) (*s_objet).objet)).nom) == 0)
&& ((*s_etat_processus).s_liste_variables[i].niveau == 1))
{
presence_variable = d_vrai;
break;
}

i--;
}

(*s_etat_processus).position_variable_courante = i;

if (presence_variable == d_faux)
{
liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_execution = d_ex_variable_non_definie;
return;
}

((s_etat_processus).s_liste_variables[(s_etat_processus)
.position_variable_courante]).variable_verrouillee = d_vrai;
}	}
else if ((*s_objet).type == LST)	else if ((*s_objet).type == LST)
{	{
Line 260 instruction_parameter(struct_processus *	Line 230 instruction_parameter(struct_processus *
return;	return;
}	}

if (recherche_variable(s_etat_processus, (((struct_nom )	if (recherche_variable_globale(s_etat_processus, (((struct_nom )
((l_element_courant).donnee).objet)).nom) == d_faux)	((l_element_courant).donnee).objet)).nom) == d_faux)
{	{
liberation(s_etat_processus, s_objet);	liberation(s_etat_processus, s_objet);
Line 271 instruction_parameter(struct_processus *	Line 241 instruction_parameter(struct_processus *
return;	return;
}	}

i = (*s_etat_processus).position_variable_courante;	((s_etat_processus).pointeur_variable_courante)
presence_variable = d_faux;	.variable_verrouillee = d_vrai;

while(i >= 0)
{
if ((strcmp((*s_etat_processus).s_liste_variables[i].nom,
(((struct_nom ) ((l_element_courant).donnee)
.objet)).nom) == 0) && ((*s_etat_processus)
.s_liste_variables[i].niveau == 1))
{
presence_variable = d_vrai;
break;
}

i--;
}

(*s_etat_processus).position_variable_courante = i;

if (presence_variable == d_faux)
{
liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_execution =
d_ex_variable_non_definie;
return;
}

((s_etat_processus).s_liste_variables[(s_etat_processus)
.position_variable_courante]).variable_verrouillee = d_vrai;

l_element_courant = (*l_element_courant).suivant;	l_element_courant = (*l_element_courant).suivant;
}	}
Line 821 instruction_poke(struct_processus *s_eta	Line 763 instruction_poke(struct_processus *s_eta
// débloquer les instructions de type WF* pour les	// débloquer les instructions de type WF* pour les
// lectures bloquantes.	// lectures bloquantes.

if (kill(((((struct_processus_fils *)	if (envoi_signal_processus(((((struct_processus_fils *)
((l_element_courant).donnee).objet))	((l_element_courant).donnee).objet))
.thread).pid, SIGINJECT) != 0)	.thread).pid, rpl_siginject) != 0)
{	{
// Le processus fils peut s'être terminé.	// Le processus fils peut s'être terminé.
break;	break;
Line 847 instruction_poke(struct_processus *s_eta	Line 789 instruction_poke(struct_processus *s_eta
}	}

# 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((longueur_ecriture = write_atomic(s_etat_processus,	while((longueur_ecriture = write_atomic(s_etat_processus,
((((struct_processus_fils *)	((((struct_processus_fils *)
Line 867 instruction_poke(struct_processus *s_eta	Line 806 instruction_poke(struct_processus *s_eta
sizeof(unsigned char))) != sizeof(unsigned char))	sizeof(unsigned char))) != sizeof(unsigned char))
{	{
# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
while(sem_wait(&((*s_etat_processus)	while(sem_wait(
.semaphore_fork)) == -1)	&((*s_etat_processus).semaphore_fork)) != 0)
# else	# else
while(sem_wait((*s_etat_processus)	while(sem_wait(
.semaphore_fork) == -1)	(*s_etat_processus).semaphore_fork) != 0)
# endif	# endif
{	{
if (errno != EINTR)	if (errno != EINTR)
Line 920 instruction_poke(struct_processus *s_eta	Line 859 instruction_poke(struct_processus *s_eta
}	}

# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
if (sem_post(&((*s_etat_processus)	if (sem_post(
.semaphore_fork)) != 0)	&((*s_etat_processus).semaphore_fork)) != 0)
# else	# else
if (sem_post((*s_etat_processus)	if (sem_post(
.semaphore_fork) != 0)	(*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 947 instruction_poke(struct_processus *s_eta	Line 886 instruction_poke(struct_processus *s_eta
}	}

# 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)
{	{
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_processus;
return;	return;
Line 1038 instruction_poke(struct_processus *s_eta	Line 978 instruction_poke(struct_processus *s_eta
((l_element_courant).donnee).objet)).thread)	((l_element_courant).donnee).objet)).thread)
.thread_actif == d_vrai)	.thread_actif == d_vrai)
{	{
if (pthread_kill(((((struct_processus_fils *)	if (envoi_signal_thread(((((struct_processus_fils *)
((l_element_courant).donnee).objet)).thread)	((l_element_courant).donnee).objet)).thread)
.tid, SIGINJECT) != 0)	.tid, rpl_siginject) != 0)
{	{
// Le processus fils peut s'être terminé.	// Le processus fils peut s'être terminé.

Line 1097 instruction_poke(struct_processus *s_eta	Line 1037 instruction_poke(struct_processus *s_eta
}	}

# 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 1113 instruction_poke(struct_processus *s_eta	Line 1055 instruction_poke(struct_processus *s_eta
sizeof(unsigned char))) != sizeof(unsigned char))	sizeof(unsigned char))) != sizeof(unsigned char))
{	{
# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
while(sem_wait(&((*s_etat_processus)	while(sem_wait(
.semaphore_fork)) == -1)	&((*s_etat_processus).semaphore_fork)) != 0)
# else	# else
while(sem_wait((*s_etat_processus)	while(sem_wait(
.semaphore_fork) == -1)	(*s_etat_processus).semaphore_fork) != 0)
# endif	# endif
{	{
if (errno != EINTR)	if (errno != EINTR)
Line 1166 instruction_poke(struct_processus *s_eta	Line 1108 instruction_poke(struct_processus *s_eta
}	}

# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
if (sem_post(&((*s_etat_processus)	if (sem_post(
.semaphore_fork)) != 0)	&((*s_etat_processus).semaphore_fork)) != 0)
# else	# else
if (sem_post((*s_etat_processus)	if (sem_post(
.semaphore_fork) != 0)	(*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 1193 instruction_poke(struct_processus *s_eta	Line 1135 instruction_poke(struct_processus *s_eta
}	}

# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
while(sem_wait(&((*s_etat_processus)	while(sem_wait(
.semaphore_fork)) == -1)	&((*s_etat_processus).semaphore_fork)) != 0)
# else	# else
while(sem_wait((*s_etat_processus)	while(sem_wait(
.semaphore_fork) == -1)	(*s_etat_processus).semaphore_fork) != 0)
# endif	# endif
{	{
if (errno != EINTR)	if (errno != EINTR)
Line 1342 instruction_private(struct_processus *s_	Line 1284 instruction_private(struct_processus *s_
return;	return;
}	}

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, ((((struct_nom )	if (recherche_variable_partagee(s_etat_processus, ((((struct_nom )
(s_objet).objet)).nom), ((s_etat_processus).s_liste_variables	(s_objet).objet)).nom), ((*s_etat_processus)
[(*s_etat_processus).position_variable_courante])	.pointeur_variable_courante).variable_partagee,
.variable_partagee, ((*s_etat_processus).s_liste_variables	((s_etat_processus).pointeur_variable_courante).origine)
[(*s_etat_processus).position_variable_courante]).origine)	== NULL)
== d_faux)
{	{
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);	liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_systeme = d_es;	(*s_etat_processus).erreur_systeme = d_es;
return;	return;
}	}

(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_partagee_courante)
((s_etat_processus).s_liste_variables_partagees).table	.objet;
[((s_etat_processus).s_liste_variables_partagees)	((s_etat_processus).pointeur_variable_partagee_courante).objet = NULL;
.position_variable].objet;
((s_etat_processus).s_liste_variables_partagees).table
[((s_etat_processus).s_liste_variables_partagees)
.position_variable].objet = NULL;

if (retrait_variable_partagee(s_etat_processus,	if (retrait_variable_partagee(s_etat_processus,
(((struct_nom ) (*s_objet).objet)).nom,	(((struct_nom ) (*s_objet).objet)).nom,
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_partagee) == d_erreur)	.variable_partagee) == d_erreur)
{	{
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);	liberation(s_etat_processus, s_objet);
return;	return;
}	}

if ((s_etat_processus).s_liste_variables[(s_etat_processus)	if (((s_etat_processus).pointeur_variable_courante).origine == 'P')
.position_variable_courante].origine == 'P')
{	{
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_partagee.adresse = 0;	.variable_partagee.adresse = 0;
}	}
else	else
{	{
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_partagee.pointeur	.variable_partagee.pointeur = NULL;
= NULL;
}

if (pthread_mutex_unlock(&(((s_etat_processus)
.s_liste_variables_partagees).mutex)) != 0)
{
(*s_etat_processus).erreur_systeme = d_es_processus;
return;
}	}
}	}
else if ((*s_objet).type == LST)	else if ((*s_objet).type == LST)
Line 1439 instruction_private(struct_processus *s_	Line 1346 instruction_private(struct_processus *s_
return;	return;
}	}

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, ((((struct_nom )	if (recherche_variable_partagee(s_etat_processus, ((((struct_nom )
(s_objet).objet)).nom), ((s_etat_processus)	(s_objet).objet)).nom), ((*s_etat_processus)
.s_liste_variables[(*s_etat_processus)	.pointeur_variable_courante).variable_partagee,
.position_variable_courante]).variable_partagee,	((s_etat_processus).pointeur_variable_courante).origine)
((*s_etat_processus).s_liste_variables	== NULL)
[(*s_etat_processus).position_variable_courante]).origine)
== d_faux)
{	{
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);	liberation(s_etat_processus, s_objet);

(*s_etat_processus).erreur_systeme = d_es;	(*s_etat_processus).erreur_systeme = d_es;
Line 1469 instruction_private(struct_processus *s_	Line 1360 instruction_private(struct_processus *s_
return;	return;
}	}

(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_partagee_courante)
((s_etat_processus).s_liste_variables_partagees).table	.objet;
[((s_etat_processus).s_liste_variables_partagees)	((s_etat_processus).pointeur_variable_partagee_courante).objet
.position_variable].objet;	= NULL;
((s_etat_processus).s_liste_variables_partagees).table
[((s_etat_processus).s_liste_variables_partagees)
.position_variable].objet = NULL;

if ((s_etat_processus).s_liste_variables[(s_etat_processus)	if (((s_etat_processus).pointeur_variable_courante).origine
.position_variable_courante].origine == 'P')	== 'P')
{	{
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_partagee.adresse	.variable_partagee.adresse = 0;
= 0;
}	}
else	else
{	{
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_partagee.pointeur	.variable_partagee.pointeur = NULL;
= NULL;
}	}

if (retrait_variable_partagee(s_etat_processus,	if (retrait_variable_partagee(s_etat_processus,
(((struct_nom ) (*s_objet).objet)).nom,	(((struct_nom ) (*s_objet).objet)).nom,
(s_etat_processus).s_liste_variables[(s_etat_processus)	((s_etat_processus).pointeur_variable_courante)
.position_variable_courante].variable_statique) == d_erreur)	.variable_statique) == d_erreur)
{	{
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);	liberation(s_etat_processus, s_objet);
return;	return;
}	}

if (pthread_mutex_unlock(&(((s_etat_processus)
.s_liste_variables_partagees).mutex)) != 0)
{
(*s_etat_processus).erreur_systeme = d_es_processus;
return;
}

l_element_courant = (*l_element_courant).suivant;	l_element_courant = (*l_element_courant).suivant;
}	}
}	}
Line 1809 instruction_procid(struct_processus *s_e	Line 1681 instruction_procid(struct_processus *s_e
(*s_objet).objet)).thread).mutex), &attributs_mutex);	(*s_objet).objet)).thread).mutex), &attributs_mutex);
pthread_mutexattr_destroy(&attributs_mutex);	pthread_mutexattr_destroy(&attributs_mutex);

	pthread_mutexattr_init(&attributs_mutex);
	pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
	pthread_mutex_init(&(((((struct_processus_fils *)
	(*s_objet).objet)).thread).mutex_nombre_references),
	&attributs_mutex);
	pthread_mutexattr_destroy(&attributs_mutex);

if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),	if (empilement(s_etat_processus, &((*s_etat_processus).l_base_pile),
s_objet) == d_erreur)	s_objet) == d_erreur)
{	{

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.15
changed lines
	Added in v.1.50