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.1.1.1 and 1.46

version 1.1.1.1, 2010/01/26 15:22:44	version 1.46, 2012/08/22 10:47:17
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.9	RPL/2 (R) version 4.1.10
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 20	Line 20
*/	*/


#include "rpl.conv.h"	#include "rpl-conv.h"


/*	/*
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 846 instruction_poke(struct_processus *s_eta	Line 788 instruction_poke(struct_processus *s_eta
}	}
}	}

if (sem_post(&((*s_etat_processus).semaphore_fork))	# ifndef SEMAPHORES_NOMMES
!= 0)	if (sem_post(&((*s_etat_processus).semaphore_fork))
	!= 0)
	# else
	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;
Line 859 instruction_poke(struct_processus *s_eta	Line 805 instruction_poke(struct_processus *s_eta
.pipe_nombre_injections[1], "-",	.pipe_nombre_injections[1], "-",
sizeof(unsigned char))) != sizeof(unsigned char))	sizeof(unsigned char))) != sizeof(unsigned char))
{	{
while(sem_wait(&((*s_etat_processus)	# ifndef SEMAPHORES_NOMMES
.semaphore_fork)) == -1)	while(sem_wait(
	&((*s_etat_processus).semaphore_fork)) != 0)
	# else
	while(sem_wait(
	(*s_etat_processus).semaphore_fork) != 0)
	# endif
{	{
if (errno != EINTR)	if (errno != EINTR)
{	{
Line 907 instruction_poke(struct_processus *s_eta	Line 858 instruction_poke(struct_processus *s_eta
return;	return;
}	}

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

while(sem_wait(&((*s_etat_processus).semaphore_fork))	# ifndef SEMAPHORES_NOMMES
== -1)	while(sem_wait(&((*s_etat_processus).semaphore_fork))
	!= 0)
	# else
	while(sem_wait((*s_etat_processus).semaphore_fork) != 0)
	# 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 1018 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 1076 instruction_poke(struct_processus *s_eta	Line 1036 instruction_poke(struct_processus *s_eta
}	}
}	}

if (sem_post(&((*s_etat_processus).semaphore_fork))	# ifndef SEMAPHORES_NOMMES
!= 0)	if (sem_post(
	&((*s_etat_processus).semaphore_fork)) != 0)
	# else
	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;
Line 1089 instruction_poke(struct_processus *s_eta	Line 1054 instruction_poke(struct_processus *s_eta
.pipe_nombre_injections[1], "-",	.pipe_nombre_injections[1], "-",
sizeof(unsigned char))) != sizeof(unsigned char))	sizeof(unsigned char))) != sizeof(unsigned char))
{	{
while(sem_wait(&((*s_etat_processus)	# ifndef SEMAPHORES_NOMMES
.semaphore_fork)) == -1)	while(sem_wait(
	&((*s_etat_processus).semaphore_fork)) != 0)
	# else
	while(sem_wait(
	(*s_etat_processus).semaphore_fork) != 0)
	# endif
{	{
if (errno != EINTR)	if (errno != EINTR)
{	{
Line 1137 instruction_poke(struct_processus *s_eta	Line 1107 instruction_poke(struct_processus *s_eta
return;	return;
}	}

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

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

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)
== d_faux)	== d_faux)
{	{
if (pthread_mutex_unlock(&(((s_etat_processus)	if (pthread_mutex_unlock(&(((s_etat_processus)
Line 1331 instruction_private(struct_processus *s_	Line 1310 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).s_liste_variables_partagees).table	((s_etat_processus).s_liste_variables_partagees).table
[((s_etat_processus).s_liste_variables_partagees)	[((s_etat_processus).s_liste_variables_partagees)
.position_variable].objet;	.position_variable].objet;
Line 1342 instruction_private(struct_processus *s_	Line 1320 instruction_private(struct_processus *s_

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)	if (pthread_mutex_unlock(&(((s_etat_processus)
.s_liste_variables_partagees).mutex)) != 0)	.s_liste_variables_partagees).mutex)) != 0)
Line 1356 instruction_private(struct_processus *s_	Line 1334 instruction_private(struct_processus *s_
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)	if (pthread_mutex_unlock(&(((s_etat_processus)
Line 1409 instruction_private(struct_processus *s_	Line 1385 instruction_private(struct_processus *s_
}	}

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
[(*s_etat_processus).position_variable_courante]).origine)
== d_faux)	== d_faux)
{	{
if (pthread_mutex_unlock(&(((s_etat_processus)	if (pthread_mutex_unlock(&(((s_etat_processus)
Line 1431 instruction_private(struct_processus *s_	Line 1405 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).s_liste_variables_partagees).table	((s_etat_processus).s_liste_variables_partagees).table
[((s_etat_processus).s_liste_variables_partagees)	[((s_etat_processus).s_liste_variables_partagees)
.position_variable].objet;	.position_variable].objet;
Line 1440 instruction_private(struct_processus *s_	Line 1413 instruction_private(struct_processus *s_
[((s_etat_processus).s_liste_variables_partagees)	[((s_etat_processus).s_liste_variables_partagees)
.position_variable].objet = NULL;	.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)	if (pthread_mutex_unlock(&(((s_etat_processus)
.s_liste_variables_partagees).mutex)) != 0)	.s_liste_variables_partagees).mutex)) != 0)
Line 1687 instruction_plot(struct_processus *s_eta	Line 1658 instruction_plot(struct_processus *s_eta

return;	return;
}	}


	/*
	================================================================================
	Fonction 'procid'
	================================================================================
	Entrées : pointeur sur une structure struct_processus
	--------------------------------------------------------------------------------
	Sorties :
	--------------------------------------------------------------------------------
	Effets de bord : néant
	================================================================================
	*/

	void
	instruction_procid(struct_processus *s_etat_processus)
	{
	pthread_mutexattr_t attributs_mutex;

	struct_objet *s_objet;

	(*s_etat_processus).erreur_execution = d_ex;

	if ((*s_etat_processus).affichage_arguments == 'Y')
	{
	printf("\n PROCID ");

	if ((*s_etat_processus).langue == 'F')
	{
	printf("(identifiant du processus)\n\n");
	}
	else
	{
	printf("(process identifier)\n\n");
	}

	printf("-> 1: %s\n", d_PRC);

	return;
	}
	else if ((*s_etat_processus).test_instruction == 'Y')
	{
	(*s_etat_processus).nombre_arguments = -1;
	return;
	}

	if (test_cfsf(s_etat_processus, 31) == d_vrai)
	{
	if (empilement_pile_last(s_etat_processus, 0) == d_erreur)
	{
	return;
	}
	}

	if ((s_objet = allocation(s_etat_processus, PRC)) == NULL)
	{
	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
	return;
	}

	if (((((struct_processus_fils ) (*s_objet).objet)).thread =
	malloc(sizeof(struct_descripteur_thread))) == NULL)
	{
	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
	return;
	}

	((((struct_processus_fils ) (s_objet).objet)).thread)
	.nombre_references = 1;
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.pid = getpid();
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.tid = pthread_self();
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.processus_detache = (*s_etat_processus).processus_detache;
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.argument = NULL;

	pthread_mutexattr_init(&attributs_mutex);
	pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
	pthread_mutex_init(&(((((struct_processus_fils *)
	(*s_objet).objet)).thread).mutex), &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),
	s_objet) == d_erreur)
	{
	return;
	}

	return;
	}

// vim: ts=4	// vim: ts=4

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.1.1.1
changed lines
	Added in v.1.46