version 1.17, 2010/05/16 19:36:20
|
version 1.22, 2010/06/02 10:28:45
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.15 |
RPL/2 (R) version 4.0.16 |
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 877 liberation(struct_processus *s_etat_proc
|
Line 877 liberation(struct_processus *s_etat_proc
|
{ |
{ |
if (decrementation_atomique(s_objet) > 0) |
if (decrementation_atomique(s_objet) > 0) |
{ |
{ |
liberation(s_etat_processus, (*((struct_fichier *) |
BUG((*(*((struct_fichier *) (*s_objet).objet)).format) |
(*s_objet).objet)).format); |
.nombre_occurrences <= 1, |
|
pthread_mutex_unlock(&((*s_objet).mutex)), |
|
printf("(*(*((struct_fichier *) (*s_objet).objet))" |
|
".format).nombre_occurrences=%ld\n", |
|
(*(*((struct_fichier *) (*s_objet).objet)).format) |
|
.nombre_occurrences)); |
|
|
|
liberation(s_etat_processus, |
|
(*((struct_fichier *) (*s_objet).objet)).format); |
return; |
return; |
} |
} |
|
|
liberation(s_etat_processus, |
liberation(s_etat_processus, |
(*((struct_fichier *) (*s_objet).objet)).format); |
(*((struct_fichier *) (*s_objet).objet)).format); |
|
|
free((unsigned char *) (*((struct_fichier *) |
free((unsigned char *) (*((struct_fichier *) |
(*s_objet).objet)).nom); |
(*s_objet).objet)).nom); |
free((struct_fichier *) ((*s_objet).objet)); |
free((struct_fichier *) ((*s_objet).objet)); |
Line 1210 liberation(struct_processus *s_etat_proc
|
Line 1217 liberation(struct_processus *s_etat_proc
|
{ |
{ |
if (decrementation_atomique(s_objet) > 0) |
if (decrementation_atomique(s_objet) > 0) |
{ |
{ |
|
BUG((*(*((struct_socket *) (*s_objet).objet)).format) |
|
.nombre_occurrences <= 1, |
|
pthread_mutex_unlock(&((*s_objet).mutex)), |
|
printf("(*(*((struct_socket *) (*s_objet).objet))" |
|
".format).nombre_occurrences=%ld\n", |
|
(*(*((struct_socket *) (*s_objet).objet)).format) |
|
.nombre_occurrences)); |
|
|
liberation(s_etat_processus, (*((struct_socket *) |
liberation(s_etat_processus, (*((struct_socket *) |
(*s_objet).objet)).format); |
(*s_objet).objet)).format); |
return; |
return; |
Line 1217 liberation(struct_processus *s_etat_proc
|
Line 1232 liberation(struct_processus *s_etat_proc
|
|
|
liberation(s_etat_processus, (*((struct_socket *) |
liberation(s_etat_processus, (*((struct_socket *) |
(*s_objet).objet)).format); |
(*s_objet).objet)).format); |
|
|
free((unsigned char *) (*((struct_socket *) (*s_objet).objet)) |
free((unsigned char *) (*((struct_socket *) (*s_objet).objet)) |
.adresse); |
.adresse); |
free((unsigned char *) (*((struct_socket *) (*s_objet).objet)) |
free((unsigned char *) (*((struct_socket *) (*s_objet).objet)) |
Line 2278 copie_objet(struct_processus *s_etat_pro
|
Line 2294 copie_objet(struct_processus *s_etat_pro
|
{ |
{ |
incrementation_atomique(s_objet); |
incrementation_atomique(s_objet); |
|
|
if (((*((struct_socket *) ((*s_nouvel_objet).objet))).format = |
if (((*((struct_socket *) ((*s_objet).objet))) |
copie_objet(s_etat_processus, (*((struct_socket *) |
.format = copie_objet(s_etat_processus, |
((*s_objet).objet))).format, 'P')) == NULL) |
(*((struct_socket *) ((*s_objet).objet))).format, 'P')) |
|
== NULL) |
{ |
{ |
return(NULL); |
return(NULL); |
} |
} |
Line 3548 copie_etat_processus(struct_processus *s
|
Line 3565 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 3579 typedef struct memoire
|
Line 3600 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 |
#define 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 3590 debug_memoire_ajout(size_t taille, const
|
Line 3621 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 3611 debug_memoire_ajout(size_t taille, const
|
Line 3644 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 |
|
|
pthread_mutex_unlock(&mutex_allocation); |
|
|
|
if (((*debug).fonction = malloc((strlen(fonction) + 1) * |
if (((*debug).fonction = malloc((strlen(fonction) + 1) * |
sizeof(unsigned char))) == NULL) |
sizeof(unsigned char))) == NULL) |
{ |
{ |
|
pthread_mutex_unlock(&mutex_allocation); |
return(NULL); |
return(NULL); |
} |
} |
|
|
if (((*debug).argument = malloc((strlen(argument) + 1) * |
if (((*debug).argument = malloc((strlen(argument) + 1) * |
sizeof(unsigned char))) == NULL) |
sizeof(unsigned char))) == NULL) |
{ |
{ |
|
pthread_mutex_unlock(&mutex_allocation); |
return(NULL); |
return(NULL); |
} |
} |
|
|
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); |
ordre++; |
ordre++; |
|
|
return((*debug).pointeur); |
return(pointeur); |
} |
} |
|
|
void * |
void * |
Line 3648 debug_memoire_modification(void *pointeu
|
Line 3686 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 3673 debug_memoire_modification(void *pointeu
|
Line 3713 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); |
|
} |
|
|
|
pthread_mutex_unlock(&mutex_allocation); |
uprintf("[%d-%llu] ILLEGAL POINTER\n", |
|
getpid(), (unsigned long long) pthread_self()); |
|
# ifdef __BACKTRACE |
|
BACKTRACE(PROFONDEUR_PILE); |
|
# endif |
|
|
if (((*element_courant).pointeur = realloc(pointeur, taille)) |
return(realloc(pointeur, taille)); |
== NULL) |
|
{ |
|
return(NULL); |
|
} |
} |
|
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) |
{ |
{ |
return(NULL); |
pthread_mutex_unlock(&mutex_allocation); |
} |
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) |
{ |
{ |
return(NULL); |
pthread_mutex_unlock(&mutex_allocation); |
} |
return(NULL); |
|
} |
|
|
|
strcpy((*element_courant).fonction, fonction); |
|
strcpy((*element_courant).argument, argument); |
|
|
strcpy((*element_courant).fonction, fonction); |
pthread_mutex_unlock(&mutex_allocation); |
strcpy((*element_courant).argument, argument); |
|
|
|
return((*element_courant).pointeur); |
return((*element_courant).pointeur); |
|
} |
} |
} |
} |
} |
else |
else |
Line 3739 debug_memoire_retrait(void *pointeur)
|
Line 3791 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 3752 debug_memoire_retrait(void *pointeur)
|
Line 3809 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\n", |
|
getpid(), (unsigned long long) pthread_self()); |
|
# ifdef __BACKTRACE |
|
BACKTRACE(PROFONDEUR_PILE); |
|
# endif |
|
} |
|
|
|
free(pointeur); |
return; |
return; |
} |
} |
|
|
Line 3793 debug_memoire_verification()
|
Line 3858 debug_memoire_verification()
|
(unsigned long long) pthread_self(), |
(unsigned long long) pthread_self(), |
(*element_courant).argument); |
(*element_courant).argument); |
|
|
|
if (strstr((*element_courant).argument, "sizeof(unsigned char)") |
|
!= NULL) |
|
{ |
|
fprintf(stderr, "[%d-%llu] ", getpid(), |
|
(unsigned long long) pthread_self()); |
|
fprintf(stderr, "O: %s\n", (unsigned char *) |
|
(*element_courant).pointeur); |
|
} |
|
else if (strcmp((*element_courant).argument, "sizeof(struct_objet)") |
|
== 0) |
|
{ |
|
fprintf(stderr, "[%d-%llu] ", getpid(), |
|
(unsigned long long) pthread_self()); |
|
fprintf(stderr, "O: %d\n", (*((struct_objet *) |
|
(*element_courant).pointeur)).type); |
|
} |
|
else if (strcmp((*element_courant).argument, |
|
"sizeof(struct_liste_chainee)") == 0) |
|
{ |
|
fprintf(stderr, "[%d-%llu] ", getpid(), |
|
(unsigned long long) pthread_self()); |
|
fprintf(stderr, "O: data=%p next=%p\n", (*((struct_liste_chainee *) |
|
(*element_courant).pointeur)).donnee, |
|
(*((struct_liste_chainee *) (*element_courant).pointeur)) |
|
.suivant); |
|
} |
|
|
# ifdef __BACKTRACE |
# ifdef __BACKTRACE |
appels = backtrace_symbols((*element_courant).pile, |
appels = backtrace_symbols((*element_courant).pile, |
(*element_courant).profondeur); |
(*element_courant).profondeur); |
Line 3828 debug_memoire_verification()
|
Line 3920 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 3835 debug_memoire_verification()
|
Line 3928 debug_memoire_verification()
|
return; |
return; |
} |
} |
|
|
|
pid_t |
|
debug_fork() |
|
{ |
|
pid_t pid; |
|
|
|
pthread_mutex_lock(&mutex_allocation); |
|
pid = fork(); |
|
|
|
if (pid == 0) |
|
{ |
|
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 |
analyse_post_mortem() |
analyse_post_mortem() |
{ |
{ |