rpl/src/instructions_d5.c - diff

Return to instructions_d5.c CVS log

Up to [local] / rpl / src

Diff for /rpl/src/instructions_d5.c between versions 1.24 and 1.49.2.3

version 1.24, 2010/06/02 10:28:45	version 1.49.2.3, 2011/05/09 13:52:15
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.16	RPL/2 (R) version 4.0.24
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 838 instruction_detach(struct_processus *s_e	Line 838 instruction_detach(struct_processus *s_e
ssize_t longueur_ecriture;	ssize_t longueur_ecriture;

struct_descripteur_thread *s_argument_thread;	struct_descripteur_thread *s_argument_thread;
	struct_descripteur_thread *s_argument_thread2;

struct_liste_chainee *l_element_courant;	struct_liste_chainee *l_element_courant;
struct_liste_chainee *l_element_precedent;	struct_liste_chainee *l_element_precedent;
Line 1171 instruction_detach(struct_processus *s_e	Line 1172 instruction_detach(struct_processus *s_e
pthread_mutex_init(&((*s_argument_thread).mutex), &attributs_mutex);	pthread_mutex_init(&((*s_argument_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(&((*s_argument_thread).mutex_nombre_references),
	&attributs_mutex);
	pthread_mutexattr_destroy(&attributs_mutex);

if ((*s_argument_thread).pid > 0)	if ((*s_argument_thread).pid > 0)
{	{
/*	/*
Line 1182 instruction_detach(struct_processus *s_e	Line 1189 instruction_detach(struct_processus *s_e
liberation(s_etat_processus, s_copie);	liberation(s_etat_processus, s_copie);
}	}

if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)	liberation(s_etat_processus, s_objet);

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

if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)	(((struct_processus_fils ) (*s_objet).objet)).thread =
	s_argument_thread;
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.nombre_objets_dans_pipe = 0;
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.nombre_interruptions_dans_pipe = 0;
	((((struct_processus_fils ) (s_objet).objet)).thread)
	.nombre_references = 1;

	/*
	* On copie l'objet plutôt que le pointeur car cet objet peut être
	* accédé depuis deux threads distincts et aboutir à un blocage lors
	* d'une copie.
	*/

	if ((s_objet_systeme = copie_objet(s_etat_processus, s_objet, 'O'))
	== NULL)
{	{
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
return;	return;
}	}

Line 1256 instruction_detach(struct_processus *s_e	Line 1281 instruction_detach(struct_processus *s_e
return;	return;
}	}

	# ifndef OS2
	# ifndef Cygwin
if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)	if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0)
{	{
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_processus;
Line 1274 instruction_detach(struct_processus *s_e	Line 1301 instruction_detach(struct_processus *s_e
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_processus;
return;	return;
}	}
	# endif
	# endif

(*s_argument_thread).s_etat_processus = s_etat_processus;	(*s_argument_thread).s_etat_processus = s_etat_processus;

Line 1296 instruction_detach(struct_processus *s_e	Line 1325 instruction_detach(struct_processus *s_e
* Processus fils	* Processus fils
*/	*/

	# ifdef _BROKEN_SIGINFO
	liberation_fifos_signaux(s_etat_processus);
	creation_fifos_signaux(s_etat_processus);
	# endif

	if ((*s_etat_processus).debug == d_vrai)
	if (((*s_etat_processus).type_debug &
	d_debug_processus) != 0)
	{
	if ((*s_etat_processus).langue == 'F')
	{
	printf("[%d] Lancement du processus fils %d de %d\n",
	(int) getpid(), (int) getpid(), (int) ppid);
	}
	else
	{
	printf("[%d] Start child process %d from %d\n", (int) getpid(),
	(int) getpid(), (int) ppid);
	}

	fflush(stdout);
	}

# ifndef SEMAPHORES_NOMMES	# ifndef SEMAPHORES_NOMMES
sem_post(&semaphore_gestionnaires_signaux);	sem_post(&semaphore_gestionnaires_signaux);
sem_destroy(&semaphore_gestionnaires_signaux);	sem_destroy(&semaphore_gestionnaires_signaux);
Line 1389 instruction_detach(struct_processus *s_e	Line 1441 instruction_detach(struct_processus *s_e
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_processus;
}	}

	if ((*s_etat_processus).debug == d_vrai)
	if (((*s_etat_processus).type_debug &
	d_debug_processus) != 0)
	{
	if ((*s_etat_processus).langue == 'F')
	{
	printf("[%d] Libération des objets du processus père\n",
	(int) getpid());
	}
	else
	{
	printf("[%d] Freeing parent process memory\n", getpid());
	}

	fflush(stdout);
	}

l_element_courant = (*s_etat_processus).liste_mutexes;	l_element_courant = (*s_etat_processus).liste_mutexes;
while(l_element_courant != NULL)	while(l_element_courant != NULL)
{	{
Line 1450 instruction_detach(struct_processus *s_e	Line 1519 instruction_detach(struct_processus *s_e
}	}
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}

Line 1479 instruction_detach(struct_processus *s_e	Line 1553 instruction_detach(struct_processus *s_e
}	}
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}

	pthread_mutex_trylock(&((*s_etat_processus).protection_liste_mutexes));

if (pthread_mutex_unlock(&((*s_etat_processus)	if (pthread_mutex_unlock(&((*s_etat_processus)
.protection_liste_mutexes)) != 0)	.protection_liste_mutexes)) != 0)
{	{
Line 1509 instruction_detach(struct_processus *s_e	Line 1590 instruction_detach(struct_processus *s_e
}	}
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}

Line 1519 instruction_detach(struct_processus *s_e	Line 1605 instruction_detach(struct_processus *s_e
}	}

(*s_etat_processus).var_volatile_processus_pere = 0;	(*s_etat_processus).var_volatile_processus_pere = 0;
	(*s_etat_processus).var_volatile_processus_racine = 0;

// On réinitialise toutes les interruptions.	// On réinitialise toutes les interruptions.

Line 1530 instruction_detach(struct_processus *s_e	Line 1617 instruction_detach(struct_processus *s_e

liberation(s_etat_processus, (*s_etat_processus).at_exit);	liberation(s_etat_processus, (*s_etat_processus).at_exit);
(*s_etat_processus).at_exit = NULL;	(*s_etat_processus).at_exit = NULL;
	liberation(s_etat_processus, (*s_etat_processus).at_poke);
	(*s_etat_processus).at_poke = NULL;
	(*s_etat_processus).traitement_at_poke = 'N';

for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)	for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
{	{
Line 1554 instruction_detach(struct_processus *s_e	Line 1644 instruction_detach(struct_processus *s_e
(*s_etat_processus).pile_origine_interruptions[i] = NULL;	(*s_etat_processus).pile_origine_interruptions[i] = NULL;
}	}

if ((*s_etat_processus).debug == d_vrai)
if (((*s_etat_processus).type_debug &
d_debug_processus) != 0)
{
if ((*s_etat_processus).langue == 'F')
{
printf("[%d] Lancement du processus fils %d de %d\n",
(int) getpid(), (int) getpid(), (int) ppid);
}
else
{
printf("[%d] Start child process %d from %d\n", (int) getpid(),
(int) getpid(), (int) ppid);
}

fflush(stdout);
}

/*	/*
* On bloque l'exécution du processus fils jusqu'à ce que	* On bloque l'exécution du processus fils jusqu'à ce que
* le père ait renseigné correctement la pile des processus.	* le père ait renseigné correctement la pile des processus.
Line 1641 instruction_detach(struct_processus *s_e	Line 1713 instruction_detach(struct_processus *s_e
}	}

/*	/*
* Initialisation de la pile des processus	* Initialisation de la pile des processus. Cette pile est effacée
	* par liberation_threads().
*/	*/

	if (pthread_mutex_lock(&((*s_etat_processus).mutex)) != 0)
	{
	(*s_etat_processus).erreur_systeme = d_es;

	pid_final = -2;

	while((longueur_ecriture = write_atomic(s_etat_processus,
	(*s_argument_thread).pipe_nombre_interruptions_attente[1],
	&pid_final, sizeof(pid_final))) != sizeof(pid_final))
	{
	if (longueur_ecriture == -1)
	{
	break;
	}
	}

	while((longueur_ecriture = write_atomic(s_etat_processus,
	(*s_argument_thread).pipe_nombre_objets_attente[1],
	&pid_final, sizeof(pid_final))) != sizeof(pid_final))
	{
	if (longueur_ecriture == -1)
	{
	break;
	}
	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
	exit(EXIT_FAILURE);
	}

l_element_courant = (struct_liste_chainee *)	l_element_courant = (struct_liste_chainee *)
(*s_etat_processus).l_base_pile_processus;	(*s_etat_processus).l_base_pile_processus;

while(l_element_courant != NULL)	while(l_element_courant != NULL)
{	{
l_element_suivant = (*l_element_courant).suivant;	s_argument_thread2 = (struct_descripteur_thread *)
	(((struct_processus_fils ) ((l_element_courant).donnee)
	.objet)).thread;

	(*s_argument_thread2).nombre_references--;

	BUG((*s_argument_thread2).nombre_references < 0,
	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus),
	# endif
	printf("(*s_argument_thread2).nombre_references = %d\n",
	(int) (*s_argument_thread2).nombre_references));

	if ((*s_argument_thread2).nombre_references == 0)
	{
	close((*s_argument_thread2).pipe_objets[0]);
	close((*s_argument_thread2).pipe_acquittement[1]);
	close((*s_argument_thread2).pipe_injections[1]);
	close((*s_argument_thread2).pipe_nombre_injections[1]);
	close((*s_argument_thread2).pipe_nombre_objets_attente[0]);
	close((*s_argument_thread2).pipe_interruptions[0]);
	close((*s_argument_thread2)
	.pipe_nombre_interruptions_attente[0]);

if (((((struct_processus_fils ) ((*l_element_courant).donnee)	pthread_mutex_destroy(&((*s_argument_thread2).mutex));
.objet)).thread).processus_detache == d_faux)
{
liberation(s_etat_processus, ((((struct_processus_fils *)
((l_element_courant).donnee).objet)).thread)
.argument);
}

free(((l_element_courant).donnee).objet);	if ((*s_argument_thread2).processus_detache == d_faux)
free((*l_element_courant).donnee);	{
free(l_element_courant);	if ((*s_argument_thread2).destruction_objet == d_vrai)
	{
	liberation(s_etat_processus,
	(*s_argument_thread2).argument);
	}
	}

	free(s_argument_thread2);
	free(((l_element_courant).donnee).objet);
	free((*l_element_courant).donnee);
	}

	l_element_suivant = (*l_element_courant).suivant;
	free((struct_liste_chainee *) l_element_courant);
l_element_courant = l_element_suivant;	l_element_courant = l_element_suivant;
}	}

(*s_etat_processus).l_base_pile_processus = NULL;	(*s_etat_processus).l_base_pile_processus = NULL;

	if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
	{
	(*s_etat_processus).erreur_systeme = d_es;

	pid_final = -2;

	while((longueur_ecriture = write_atomic(s_etat_processus,
	(*s_argument_thread).pipe_nombre_interruptions_attente[1],
	&pid_final, sizeof(pid_final))) != sizeof(pid_final))
	{
	if (longueur_ecriture == -1)
	{
	break;
	}
	}

	while((longueur_ecriture = write_atomic(s_etat_processus,
	(*s_argument_thread).pipe_nombre_objets_attente[1],
	&pid_final, sizeof(pid_final))) != sizeof(pid_final))
	{
	if (longueur_ecriture == -1)
	{
	break;
	}
	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
	exit(EXIT_FAILURE);
	}

/*	/*
* Initialisation de la pile système	* Initialisation de la pile système
*/	*/
Line 1728 instruction_detach(struct_processus *s_e	Line 1897 instruction_detach(struct_processus *s_e
}	}
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}

Line 1779 instruction_detach(struct_processus *s_e	Line 1953 instruction_detach(struct_processus *s_e
}	}
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

	BUG(1, uprintf("Process management error line %d\n", __LINE__));
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}

Line 1885 instruction_detach(struct_processus *s_e	Line 2064 instruction_detach(struct_processus *s_e

sigpending(&set);	sigpending(&set);

	if ((*s_etat_processus).debug == d_vrai)
	{
	if (((*s_etat_processus).type_debug & d_debug_processus)
	!= 0)
	{
	if ((*s_etat_processus).langue == 'F')
	{
	printf("[%d] Évaluation de l'objet détaché\n", getpid());
	}
	else
	{
	printf("[%d] Évaluation of detached object\n", getpid());
	}
	}
	}

if ((*s_etat_processus).erreur_systeme == d_es)	if ((*s_etat_processus).erreur_systeme == d_es)
{	{
if (variable_partagee == d_faux)	if (variable_partagee == d_faux)
Line 1946 instruction_detach(struct_processus *s_e	Line 2141 instruction_detach(struct_processus *s_e
}	}

liberation(s_etat_processus, (*s_etat_processus).at_exit);	liberation(s_etat_processus, (*s_etat_processus).at_exit);
	liberation(s_etat_processus, (*s_etat_processus).at_poke);

l_element_courant = (*s_etat_processus).liste_mutexes;	l_element_courant = (*s_etat_processus).liste_mutexes;
while(l_element_courant != NULL)	while(l_element_courant != NULL)
Line 2309 instruction_detach(struct_processus *s_e	Line 2505 instruction_detach(struct_processus *s_e
registre_stop;	registre_stop;
}	}

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

(*s_etat_processus).erreur_systeme = d_es_signal;	(*s_etat_processus).erreur_systeme = d_es_signal;
exit(EXIT_FAILURE);	exit(EXIT_FAILURE);
}	}
Line 2343 instruction_detach(struct_processus *s_e	Line 2543 instruction_detach(struct_processus *s_e

if (sigaction(SIGPIPE, &registre, NULL) != 0)	if (sigaction(SIGPIPE, &registre, NULL) != 0)
{	{
	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

pthread_mutex_unlock(&((*s_etat_processus).mutex));	pthread_mutex_unlock(&((*s_etat_processus).mutex));

(*s_etat_processus).erreur_systeme = d_es_signal;	(*s_etat_processus).erreur_systeme = d_es_signal;
Line 2659 instruction_detach(struct_processus *s_e	Line 2863 instruction_detach(struct_processus *s_e

liberation(s_etat_processus, s_objet);	liberation(s_etat_processus, s_objet);

# ifndef Cygwin
(*s_etat_processus).pile_signal.ss_flags = SS_DISABLE;
sigaltstack(&((*s_etat_processus).pile_signal), NULL);
free((*s_etat_processus).pile_signal.ss_sp);
# endif

free((*s_etat_processus).definitions_chainees);	free((*s_etat_processus).definitions_chainees);
free((*s_etat_processus).nom_fichier_historique);	free((*s_etat_processus).nom_fichier_historique);

Line 2704 instruction_detach(struct_processus *s_e	Line 2902 instruction_detach(struct_processus *s_e
retrait_thread(s_etat_processus);	retrait_thread(s_etat_processus);

pthread_mutex_destroy(&((*s_etat_processus).mutex));	pthread_mutex_destroy(&((*s_etat_processus).mutex));
	pthread_mutex_destroy(&((*s_etat_processus).mutex_allocation));
pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));	pthread_mutex_destroy(&((*s_etat_processus).protection_liste_mutexes));

pthread_key_delete(semaphore_fork_processus_courant);	pthread_key_delete(semaphore_fork_processus_courant);
Line 2735 instruction_detach(struct_processus *s_e	Line 2934 instruction_detach(struct_processus *s_e

clear_history();	clear_history();

	# ifdef _BROKEN_SIGINFO
	destruction_fifos_signaux(s_etat_processus);
	# endif

free(s_etat_processus);	free(s_etat_processus);

# ifdef DEBUG_MEMOIRE	# ifdef DEBUG_MEMOIRE
Line 2750 instruction_detach(struct_processus *s_e	Line 2953 instruction_detach(struct_processus *s_e
return;	return;
}	}

liberation(s_etat_processus, s_objet);

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

(((struct_processus_fils ) (*s_objet).objet)).thread = s_argument_thread;
((((struct_processus_fils ) (s_objet).objet)).thread)
.nombre_objets_dans_pipe = 0;
((((struct_processus_fils ) (s_objet).objet)).thread)
.nombre_interruptions_dans_pipe = 0;
((((struct_processus_fils ) (s_objet).objet)).thread)
.nombre_references = 1;

/*
* On copie l'objet plutôt que le pointeur car cet objet peut être
* accédé depuis deux threads distincts et aboutir à un blocage lors d'une
* copie.
*/

if ((s_objet_systeme = copie_objet(s_etat_processus, s_objet, 'O')) == NULL)
{
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
return;
}

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

// Si le pid existe déjà dans la pile des processus, il s'agit forcement	// Si le pid existe déjà dans la pile des processus, il s'agit forcement
// d'un processus moribond. On attend donc qu'il soit effectivement	// d'un processus moribond. On attend donc qu'il soit effectivement
// libéré.	// libéré.
Line 2848 instruction_detach(struct_processus *s_e	Line 3017 instruction_detach(struct_processus *s_e

// Être sûr que le processus fils soit déjà présent...	// Être sûr que le processus fils soit déjà présent...

	attente.tv_sec = 0;
	attente.tv_nsec = GRANULARITE_us * 1000;

while(kill((*s_argument_thread).pid, 0) != 0)	while(kill((*s_argument_thread).pid, 0) != 0)
{	{
//if ((errno != ESRCH) && (errno != EAGAIN))	//if ((errno != ESRCH) && (errno != EAGAIN))
Line 2859 instruction_detach(struct_processus *s_e	Line 3031 instruction_detach(struct_processus *s_e
}	}

nanosleep(&attente, NULL);	nanosleep(&attente, NULL);
	INCR_GRANULARITE(attente.tv_nsec);
}	}

// Le fils peut être présent sans être en attente du signal de départ.	// Le fils peut être présent sans être en attente du signal de départ.

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.24
changed lines
	Added in v.1.49.2.3