rpl/src/gestion_objets.c - diff

Return to gestion_objets.c CVS log

Up to [local] / rpl / src

Diff for /rpl/src/gestion_objets.c between versions 1.18 and 1.39

version 1.18, 2010/05/19 09:22:34	version 1.39, 2010/08/30 14:14:07
Line 1	Line 1
/*	/*
================================================================================	================================================================================
RPL/2 (R) version 4.0.15	RPL/2 (R) version 4.0.19
Copyright (C) 1989-2010 Dr. BERTRAND Joël	Copyright (C) 1989-2010 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 266 liberation_maillon(struct_processus *s_e	Line 266 liberation_maillon(struct_processus *s_e
================================================================================	================================================================================
Routine d'allocation d'une structure *s_objet	Routine d'allocation d'une structure *s_objet
================================================================================	================================================================================
Entrées : structure sur l'état du processus et objet à afficher	Entrées : structure sur l'état du processus et objet à allouer
--------------------------------------------------------------------------------	--------------------------------------------------------------------------------
Sorties : chaine de caractères	Sorties : chaine de caractères
--------------------------------------------------------------------------------	--------------------------------------------------------------------------------
Line 279 allocation(struct_processus *s_etat_proc	Line 279 allocation(struct_processus *s_etat_proc
{	{
struct_objet *s_objet;	struct_objet *s_objet;

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

if ((*s_etat_processus).pile_objets == NULL)	if ((*s_etat_processus).pile_objets == NULL)
{	{
	if (pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation)) != 0)
	{
	(*s_etat_processus).erreur_systeme = d_es_processus;
	return(NULL);
	}

// Il n'existe aucune structure struct_objet disponible dans le cache.	// Il n'existe aucune structure struct_objet disponible dans le cache.

if ((s_objet = malloc(sizeof(struct_objet))) == NULL)	if ((s_objet = malloc(sizeof(struct_objet))) == NULL)
Line 299 allocation(struct_processus *s_etat_proc	Line 311 allocation(struct_processus *s_etat_proc
(*s_etat_processus).taille_pile_objets--;	(*s_etat_processus).taille_pile_objets--;

(*s_objet).nombre_occurrences = 1;	(*s_objet).nombre_occurrences = 1;

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

(*s_objet).type = type;	(*s_objet).type = type;
Line 1104 liberation(struct_processus *s_etat_proc	Line 1122 liberation(struct_processus *s_etat_proc
return;	return;
}	}

free(s_objet);
break;	break;
}	}

Line 1121 liberation(struct_processus *s_etat_proc	Line 1138 liberation(struct_processus *s_etat_proc
.nombre_references--;	.nombre_references--;

BUG(((((struct_processus_fils ) (s_objet).objet)).thread)	BUG(((((struct_processus_fils ) (s_objet).objet)).thread)
.nombre_references < 0, printf("((((struct_processus_fils"	.nombre_references < 0, uprintf(
	"((((struct_processus_fils"
" ) (s_objet).objet)).thread).nombre_references = %d\n",	" ) (s_objet).objet)).thread).nombre_references = %d\n",
(int) ((((struct_processus_fils ) (s_objet).objet))	(int) ((((struct_processus_fils ) (s_objet).objet))
.thread).nombre_references));	.thread).nombre_references));
Line 1148 liberation(struct_processus *s_etat_proc	Line 1166 liberation(struct_processus *s_etat_proc
pthread_mutex_destroy(&(((((struct_processus_fils *)	pthread_mutex_destroy(&(((((struct_processus_fils *)
(*s_objet).objet)).thread).mutex));	(*s_objet).objet)).thread).mutex));
free((((struct_processus_fils ) (*s_objet).objet)).thread);	free((((struct_processus_fils ) (*s_objet).objet)).thread);

}	}

if (decrementation_atomique(s_objet) > 0)	if (decrementation_atomique(s_objet) > 0)
{	{
	BUG(drapeau == d_vrai, uprintf("((((struct_processus_fils"
	" ) (s_objet).objet)).thread).nombre_references "
	"= 0 with nombre_occurrences > 0\n"));
return;	return;
}	}

Line 1416 liberation(struct_processus *s_etat_proc	Line 1438 liberation(struct_processus *s_etat_proc
return;	return;
}	}

if (s_etat_processus != NULL)	if (pthread_mutex_lock(&((*s_etat_processus).mutex_allocation)) != 0)
{	{
if ((*s_etat_processus).taille_pile_objets < TAILLE_CACHE)	(*s_etat_processus).erreur_systeme = d_es_processus;
{	return;
(s_objet).objet = (s_etat_processus).pile_objets;	}
(*s_etat_processus).pile_objets = s_objet;
(*s_etat_processus).taille_pile_objets++;
}
else
{
if (pthread_mutex_destroy(&((*s_objet).mutex)) != 0)
{
(*s_etat_processus).erreur_systeme = d_es_processus;
return;
}

free(s_objet);	if ((*s_etat_processus).taille_pile_objets < TAILLE_CACHE)
}	{
	(s_objet).objet = (s_etat_processus).pile_objets;
	(*s_etat_processus).pile_objets = s_objet;
	(*s_etat_processus).taille_pile_objets++;
}	}
else	else
{	{
	if (pthread_mutex_destroy(&((*s_objet).mutex)) != 0)
	{
	pthread_mutex_unlock(&((*s_etat_processus).mutex_allocation));
	(*s_etat_processus).erreur_systeme = d_es_processus;
	return;
	}

free(s_objet);	free(s_objet);
}	}

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

return;	return;
}	}

Line 2267 copie_objet(struct_processus *s_etat_pro	Line 2295 copie_objet(struct_processus *s_etat_pro

(((struct_processus_fils ) (*s_nouvel_objet).objet)) =	(((struct_processus_fils ) (*s_nouvel_objet).objet)) =
(((struct_processus_fils ) (*s_objet).objet));	(((struct_processus_fils ) (*s_objet).objet));

break;	break;
}	}

Line 2770 copie_etat_processus(struct_processus *s	Line 2799 copie_etat_processus(struct_processus *s
# endif	# endif

(*s_nouvel_etat_processus).var_volatile_processus_pere = 0;	(*s_nouvel_etat_processus).var_volatile_processus_pere = 0;
	(*s_nouvel_etat_processus).var_volatile_processus_racine = 0;
(*s_nouvel_etat_processus).fichiers_graphiques = NULL;	(*s_nouvel_etat_processus).fichiers_graphiques = NULL;
(*s_nouvel_etat_processus).entree_standard = NULL;	(*s_nouvel_etat_processus).entree_standard = NULL;
(*s_nouvel_etat_processus).s_marques = NULL;	(*s_nouvel_etat_processus).s_marques = NULL;
Line 2800 copie_etat_processus(struct_processus *s	Line 2830 copie_etat_processus(struct_processus *s
(*s_nouvel_etat_processus).nombre_interruptions_non_affectees = 0;	(*s_nouvel_etat_processus).nombre_interruptions_non_affectees = 0;

(*s_nouvel_etat_processus).at_exit = NULL;	(*s_nouvel_etat_processus).at_exit = NULL;
	(*s_nouvel_etat_processus).at_poke = NULL;
	(*s_nouvel_etat_processus).traitement_at_poke = 'N';

for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)	for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++)
{	{
Line 2811 copie_etat_processus(struct_processus *s	Line 2843 copie_etat_processus(struct_processus *s

if ((*s_nouvel_etat_processus).generateur_aleatoire != NULL)	if ((*s_nouvel_etat_processus).generateur_aleatoire != NULL)
{	{
(*s_nouvel_etat_processus).generateur_aleatoire = NULL;	if (((*s_nouvel_etat_processus).generateur_aleatoire =
}	gsl_rng_clone((*s_etat_processus).generateur_aleatoire))
	== NULL)
	{
	(*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
	return(NULL);
	}

(*s_nouvel_etat_processus).type_generateur_aleatoire = NULL;	gsl_rng_set((*s_nouvel_etat_processus).generateur_aleatoire,
	gsl_rng_get((*s_etat_processus).generateur_aleatoire));
	}

// Copie de la localisation	// Copie de la localisation

Line 3536 copie_etat_processus(struct_processus *s	Line 3575 copie_etat_processus(struct_processus *s
pthread_mutex_init(&((*s_nouvel_etat_processus).mutex), &attributs_mutex);	pthread_mutex_init(&((*s_nouvel_etat_processus).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_NORMAL);
	pthread_mutex_init(&((*s_nouvel_etat_processus).mutex_allocation),
	&attributs_mutex);
	pthread_mutexattr_destroy(&attributs_mutex);

if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)	if (pthread_mutex_unlock(&((*s_etat_processus).mutex)) != 0)
{	{
(*s_etat_processus).erreur_systeme = d_es_processus;	(*s_etat_processus).erreur_systeme = d_es_processus;
Line 3565 copie_etat_processus(struct_processus *s	Line 3610 copie_etat_processus(struct_processus *s
#undef malloc	#undef malloc
#undef realloc	#undef realloc
#undef free	#undef free
	#undef fork

#ifdef return	#ifdef return
# undef return	# undef return
#endif	#endif

#undef fprintf

#ifdef __BACKTRACE	#ifdef __BACKTRACE
	#define PROFONDEUR_PILE 64
#define return(a) { if (a == NULL) \	#define return(a) { if (a == NULL) \
{ BACKTRACE(20); fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \	{ BACKTRACE(PROFONDEUR_PILE); \
	fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \
return(a); } while(0)	return(a); } while(0)
#define PROFONDEUR_PILE 64
#endif	#endif

	#undef fprintf
	#define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b))
	#undef CORE_DUMP

typedef struct memoire	typedef struct memoire
{	{
void *pointeur;	void *pointeur;
Line 3596 typedef struct memoire	Line 3645 typedef struct memoire

static struct_memoire *debug = NULL;	static struct_memoire *debug = NULL;
static unsigned long long ordre = 0;	static unsigned long long ordre = 0;
static pthread_mutex_t mutex_allocation = PTHREAD_MUTEX_INITIALIZER;	static pthread_mutex_t mutex_allocation;

#define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b))	void
#undef CORE_DUMP	debug_memoire_initialisation()
	{
	pthread_mutexattr_t attributs_mutex;

	pthread_mutexattr_init(&attributs_mutex);
	pthread_mutexattr_settype(&attributs_mutex, PTHREAD_MUTEX_RECURSIVE);
	pthread_mutex_init(&mutex_allocation, &attributs_mutex);
	pthread_mutexattr_destroy(&attributs_mutex);

	return;
	}

void *	void *
debug_memoire_ajout(size_t taille, const unsigned char *fonction,	debug_memoire_ajout(size_t taille, const unsigned char *fonction,
Line 3607 debug_memoire_ajout(size_t taille, const	Line 3666 debug_memoire_ajout(size_t taille, const
{	{
struct_memoire *ancienne_base;	struct_memoire *ancienne_base;

	void *pointeur;

pthread_mutex_lock(&mutex_allocation);	pthread_mutex_lock(&mutex_allocation);

ancienne_base = debug;	ancienne_base = debug;
Line 3628 debug_memoire_ajout(size_t taille, const	Line 3689 debug_memoire_ajout(size_t taille, const
(*debug).taille = taille;	(*debug).taille = taille;
(*debug).ordre = ordre;	(*debug).ordre = ordre;

	pointeur = (*debug).pointeur;

# ifdef __BACKTRACE	# ifdef __BACKTRACE
(debug).profondeur = backtrace((debug).pile, PROFONDEUR_PILE);	(debug).profondeur = backtrace((debug).pile, PROFONDEUR_PILE);
# endif	# endif
Line 3649 debug_memoire_ajout(size_t taille, const	Line 3712 debug_memoire_ajout(size_t taille, const
strcpy((*debug).fonction, fonction);	strcpy((*debug).fonction, fonction);
strcpy((*debug).argument, argument);	strcpy((*debug).argument, argument);

	memset((debug).pointeur, 0, (debug).taille);

pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);
ordre++;	ordre++;

return((*debug).pointeur);	return(pointeur);
}	}

void *	void *
Line 3666 debug_memoire_modification(void *pointeu	Line 3731 debug_memoire_modification(void *pointeu
{	{
if (taille == 0)	if (taille == 0)
{	{
// Revient à free()	// Revient à free(). Il n'y a pas de parenthèses car on ne veut
	// pas utiliser la macro return().

debug_memoire_retrait(pointeur);	debug_memoire_retrait(pointeur);
return(NULL);	return NULL ;
}	}
else	else
{	{
Line 3691 debug_memoire_modification(void *pointeu	Line 3758 debug_memoire_modification(void *pointeu
if (element_courant == NULL)	if (element_courant == NULL)
{	{
pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);
return(NULL);
}

if (((*element_courant).pointeur = realloc(pointeur, taille))	uprintf("[%d-%llu] ILLEGAL POINTER (realloc)\n",
== NULL)	getpid(), (unsigned long long) pthread_self());
{	# ifdef __BACKTRACE
pthread_mutex_unlock(&mutex_allocation);	BACKTRACE(PROFONDEUR_PILE);
return(NULL);	# endif

	return(realloc(pointeur, taille));
}	}
	else
	{
	if (((*element_courant).pointeur = realloc(pointeur, taille))
	== NULL)
	{
	pthread_mutex_unlock(&mutex_allocation);
	return(NULL);
	}

(*element_courant).ligne = ligne;	(*element_courant).ligne = ligne;
(*element_courant).taille = taille;	(*element_courant).taille = taille;
free((*element_courant).fonction);	free((*element_courant).fonction);
free((*element_courant).argument);	free((*element_courant).argument);

if (((element_courant).fonction = malloc((strlen(fonction) + 1)	if (((*element_courant).fonction = malloc((strlen(fonction)
sizeof(unsigned char))) == NULL)	+ 1) * sizeof(unsigned char))) == NULL)
{	{
pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);
return(NULL);	return(NULL);
}	}

if (((element_courant).argument = malloc((strlen(argument) + 1)	if (((*element_courant).argument = malloc((strlen(argument)
sizeof(unsigned char))) == NULL)	+ 1) * sizeof(unsigned char))) == NULL)
{	{
pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);
return(NULL);	return(NULL);
}	}

strcpy((*element_courant).fonction, fonction);	strcpy((*element_courant).fonction, fonction);
strcpy((*element_courant).argument, argument);	strcpy((*element_courant).argument, argument);

pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);

return((*element_courant).pointeur);	return((*element_courant).pointeur);
	}
}	}
}	}
else	else
Line 3760 debug_memoire_retrait(void *pointeur)	Line 3836 debug_memoire_retrait(void *pointeur)
(element_precedent).suivant = (element_courant).suivant;	(element_precedent).suivant = (element_courant).suivant;
}	}

	if (pointeur != NULL)
	{
	memset(pointeur, 0, (*element_courant).taille);
	}

free((*element_courant).fonction);	free((*element_courant).fonction);
free((*element_courant).argument);	free((*element_courant).argument);
free(element_courant);	free(element_courant);
Line 3773 debug_memoire_retrait(void *pointeur)	Line 3854 debug_memoire_retrait(void *pointeur)

pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);

free(pointeur);	if (element_courant == NULL)
	{
	uprintf("[%d-%llu] ILLEGAL POINTER (free)\n",
	getpid(), (unsigned long long) pthread_self());
	# ifdef __BACKTRACE
	BACKTRACE(PROFONDEUR_PILE);
	# endif
	}

	free(pointeur);
return;	return;
}	}

Line 3876 debug_memoire_verification()	Line 3965 debug_memoire_verification()
}	}

pthread_mutex_unlock(&mutex_allocation);	pthread_mutex_unlock(&mutex_allocation);
	pthread_mutex_destroy(&mutex_allocation);

fprintf(stderr, "[%d-%llu] END OF LIST\n", getpid(),	fprintf(stderr, "[%d-%llu] END OF LIST\n", getpid(),
(unsigned long long) pthread_self());	(unsigned long long) pthread_self());
Line 3883 debug_memoire_verification()	Line 3973 debug_memoire_verification()
return;	return;
}	}

void	pid_t
debug_memoire_reinitialisation()	debug_fork()
{	{
ordre = 0;	pid_t pid;
debug = NULL;

pthread_mutex_trylock(&mutex_allocation);	pthread_mutex_lock(&mutex_allocation);
pthread_mutex_unlock(&mutex_allocation);	pid = fork();

return;	# ifdef OS2
	if (pid == 0)
	{
	sem_init(&semaphore_liste_threads, 0, 1);
	sem_init(&semaphore_gestionnaires_signaux, 0, 0);
	sem_init(&semaphore_gestionnaires_signaux_atomique, 0, 1);
	sem_init(&((*s_etat_processus).semaphore_fork), 0, 0);
	}
	# endif

	if (pid == 0)
	{
	# ifdef _BROKEN_SIGINFO
	liberation_fifos_signaux(s_etat_processus);
	creation_fifos_signaux(s_etat_processus);
	# endif

	pthread_mutex_destroy(&mutex_allocation);
	debug_memoire_initialisation();
	}
	else
	{
	pthread_mutex_unlock(&mutex_allocation);
	}

	// Pas de parenthèses pour ne pas remplacer return par sa macro.
	return pid;
}	}

void	void

CVSweb interface <joel.bertrand@systella.fr>

Removed from v.1.18
changed lines
	Added in v.1.39