version 1.10, 2010/04/17 18:57:35
|
version 1.18, 2010/05/19 09:22:34
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.14 |
RPL/2 (R) version 4.0.15 |
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) |
{ |
{ |
|
BUG((*(*((struct_fichier *) (*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 1208 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 *) |
|
(*s_objet).objet)).format); |
return; |
return; |
} |
} |
|
|
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 1749 copie_objet(struct_processus *s_etat_pro
|
Line 1769 copie_objet(struct_processus *s_etat_pro
|
if (type == 'P') |
if (type == 'P') |
{ |
{ |
incrementation_atomique(s_objet); |
incrementation_atomique(s_objet); |
|
|
|
if (((*((struct_fichier *) ((*s_objet).objet))).format = |
|
copie_objet(s_etat_processus, (*((struct_fichier *) |
|
((*s_objet).objet))).format, 'P')) == NULL) |
|
{ |
|
return(NULL); |
|
} |
|
|
return(s_objet); |
return(s_objet); |
} |
} |
|
|
Line 2265 copie_objet(struct_processus *s_etat_pro
|
Line 2293 copie_objet(struct_processus *s_etat_pro
|
if (type == 'P') |
if (type == 'P') |
{ |
{ |
incrementation_atomique(s_objet); |
incrementation_atomique(s_objet); |
|
|
|
if (((*((struct_socket *) ((*s_objet).objet))) |
|
.format = copie_objet(s_etat_processus, |
|
(*((struct_socket *) ((*s_objet).objet))).format, 'P')) |
|
== NULL) |
|
{ |
|
return(NULL); |
|
} |
|
|
return(s_objet); |
return(s_objet); |
} |
} |
|
|
Line 2762 copie_etat_processus(struct_processus *s
|
Line 2799 copie_etat_processus(struct_processus *s
|
(*s_nouvel_etat_processus).nombre_interruptions_en_queue = 0; |
(*s_nouvel_etat_processus).nombre_interruptions_en_queue = 0; |
(*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; |
|
|
for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++) |
for(i = 0; i < d_NOMBRE_INTERRUPTIONS; i++) |
{ |
{ |
(*s_nouvel_etat_processus).corps_interruptions[i] = NULL; |
(*s_nouvel_etat_processus).corps_interruptions[i] = NULL; |
Line 3041 copie_etat_processus(struct_processus *s
|
Line 3080 copie_etat_processus(struct_processus *s
|
(*s_etat_processus).s_liste_variables[i].niveau; |
(*s_etat_processus).s_liste_variables[i].niveau; |
(*s_nouvel_etat_processus).s_liste_variables[i].variable_statique = |
(*s_nouvel_etat_processus).s_liste_variables[i].variable_statique = |
(*s_etat_processus).s_liste_variables[i].variable_statique; |
(*s_etat_processus).s_liste_variables[i].variable_statique; |
|
(*s_nouvel_etat_processus).s_liste_variables[i].variable_partagee = |
|
(*s_etat_processus).s_liste_variables[i].variable_partagee; |
(*s_nouvel_etat_processus).s_liste_variables[i].variable_verrouillee = |
(*s_nouvel_etat_processus).s_liste_variables[i].variable_verrouillee = |
(*s_etat_processus).s_liste_variables[i].variable_verrouillee; |
(*s_etat_processus).s_liste_variables[i].variable_verrouillee; |
|
|
Line 3531 copie_etat_processus(struct_processus *s
|
Line 3572 copie_etat_processus(struct_processus *s
|
|
|
#undef fprintf |
#undef fprintf |
|
|
|
#ifdef __BACKTRACE |
#define return(a) { if (a == NULL) \ |
#define return(a) { if (a == NULL) \ |
{ BACKTRACE(20); fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \ |
{ BACKTRACE(20); fprintf(stderr, ">>> MEDITATION %d\n", __LINE__); } \ |
return(a); } while(0) |
return(a); } while(0) |
|
#define PROFONDEUR_PILE 64 |
|
#endif |
|
|
typedef struct memoire |
typedef struct memoire |
{ |
{ |
Line 3543 typedef struct memoire
|
Line 3587 typedef struct memoire
|
unsigned long ligne; |
unsigned long ligne; |
size_t taille; |
size_t taille; |
unsigned long long ordre; |
unsigned long long ordre; |
|
# ifdef __BACKTRACE |
|
void *pile[PROFONDEUR_PILE]; |
|
int profondeur; |
|
# endif |
struct memoire *suivant; |
struct memoire *suivant; |
} struct_memoire; |
} struct_memoire; |
|
|
Line 3551 static unsigned long long ordre = 0;
|
Line 3599 static unsigned long long ordre = 0;
|
static pthread_mutex_t mutex_allocation = PTHREAD_MUTEX_INITIALIZER; |
static pthread_mutex_t mutex_allocation = PTHREAD_MUTEX_INITIALIZER; |
|
|
#define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b)) |
#define check(a, b) ((strcmp(#a, fonction) == 0) && (ligne == b)) |
|
#undef CORE_DUMP |
|
|
void * |
void * |
debug_memoire_ajout(size_t taille, const unsigned char *fonction, |
debug_memoire_ajout(size_t taille, const unsigned char *fonction, |
Line 3579 debug_memoire_ajout(size_t taille, const
|
Line 3628 debug_memoire_ajout(size_t taille, const
|
(*debug).taille = taille; |
(*debug).taille = taille; |
(*debug).ordre = ordre; |
(*debug).ordre = ordre; |
|
|
pthread_mutex_unlock(&mutex_allocation); |
# ifdef __BACKTRACE |
|
(*debug).profondeur = backtrace((*debug).pile, PROFONDEUR_PILE); |
|
# endif |
|
|
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); |
|
|
|
pthread_mutex_unlock(&mutex_allocation); |
ordre++; |
ordre++; |
|
|
return((*debug).pointeur); |
return((*debug).pointeur); |
Line 3640 debug_memoire_modification(void *pointeu
|
Line 3694 debug_memoire_modification(void *pointeu
|
return(NULL); |
return(NULL); |
} |
} |
|
|
pthread_mutex_unlock(&mutex_allocation); |
|
|
|
if (((*element_courant).pointeur = realloc(pointeur, taille)) |
if (((*element_courant).pointeur = realloc(pointeur, taille)) |
== NULL) |
== NULL) |
{ |
{ |
|
pthread_mutex_unlock(&mutex_allocation); |
return(NULL); |
return(NULL); |
} |
} |
|
|
Line 3656 debug_memoire_modification(void *pointeu
|
Line 3709 debug_memoire_modification(void *pointeu
|
if (((*element_courant).fonction = malloc((strlen(fonction) + 1) * |
if (((*element_courant).fonction = malloc((strlen(fonction) + 1) * |
sizeof(unsigned char))) == NULL) |
sizeof(unsigned char))) == NULL) |
{ |
{ |
|
pthread_mutex_unlock(&mutex_allocation); |
return(NULL); |
return(NULL); |
} |
} |
|
|
if (((*element_courant).argument = malloc((strlen(argument) + 1) * |
if (((*element_courant).argument = malloc((strlen(argument) + 1) * |
sizeof(unsigned char))) == NULL) |
sizeof(unsigned char))) == NULL) |
{ |
{ |
|
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); |
|
|
return((*element_courant).pointeur); |
return((*element_courant).pointeur); |
} |
} |
} |
} |
Line 3722 debug_memoire_retrait(void *pointeur)
|
Line 3779 debug_memoire_retrait(void *pointeur)
|
} |
} |
|
|
void |
void |
debug_memoire_verification(struct_processus *s_etat_processus) |
debug_memoire_verification() |
{ |
{ |
|
# ifdef __BACKTRACE |
|
char **appels; |
|
|
|
int j; |
|
# endif |
|
|
integer8 i; |
integer8 i; |
|
|
struct_memoire *element_courant; |
struct_memoire *element_courant; |
struct_memoire *element_suivant; |
struct_memoire *element_suivant; |
|
|
fprintf(stderr, "[%d-%llu] MEMORY LEAK\n", |
fprintf(stderr, "[%d-%llu] LIST OF MEMORY LEAKS\n", |
getpid(), (unsigned long long) pthread_self()); |
getpid(), (unsigned long long) pthread_self()); |
|
|
pthread_mutex_lock(&mutex_allocation); |
pthread_mutex_lock(&mutex_allocation); |
Line 3751 debug_memoire_verification(struct_proces
|
Line 3814 debug_memoire_verification(struct_proces
|
(unsigned long long) pthread_self(), |
(unsigned long long) pthread_self(), |
(*element_courant).argument); |
(*element_courant).argument); |
|
|
switch(i) |
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) |
{ |
{ |
// Affichage des méditations |
fprintf(stderr, "[%d-%llu] ", getpid(), |
case 1: |
(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 |
|
appels = backtrace_symbols((*element_courant).pile, |
|
(*element_courant).profondeur); |
|
|
|
fprintf(stderr, "[%d-%llu] BACKTRACE\n", |
|
getpid(), (unsigned long long) pthread_self()); |
|
|
|
if (appels != NULL) |
|
{ |
|
for(j = 0; j < (*element_courant).profondeur; j++) |
{ |
{ |
break; |
fprintf(stderr, "[%d-%llu] %s\n", getpid(), |
|
(unsigned long long) pthread_self(), appels[j]); |
} |
} |
|
|
|
free(appels); |
} |
} |
|
# endif |
|
|
|
fprintf(stderr, "\n"); |
|
|
i++; |
i++; |
|
|
element_suivant = (*element_courant).suivant; |
element_suivant = (*element_courant).suivant; |
|
|
|
# ifndef CORE_DUMP |
free((*element_courant).fonction); |
free((*element_courant).fonction); |
free((*element_courant).argument); |
free((*element_courant).argument); |
free(element_courant); |
free(element_courant); |
|
# endif |
|
|
element_courant = element_suivant; |
element_courant = element_suivant; |
} |
} |
|
|
Line 3776 debug_memoire_verification(struct_proces
|
Line 3882 debug_memoire_verification(struct_proces
|
|
|
return; |
return; |
} |
} |
|
|
|
void |
|
debug_memoire_reinitialisation() |
|
{ |
|
ordre = 0; |
|
debug = NULL; |
|
|
|
pthread_mutex_trylock(&mutex_allocation); |
|
pthread_mutex_unlock(&mutex_allocation); |
|
|
|
return; |
|
} |
|
|
|
void |
|
analyse_post_mortem() |
|
{ |
|
# ifdef CORE_DUMP |
|
BUG(debug != NULL, uprintf("[%d-%llu] CREATE CORE DUMP FILE FOR " |
|
"POST MORTEM ANALYZE\n", getpid(), |
|
(unsigned long long) pthread_self())); |
|
# endif |
|
|
|
return; |
|
} |
|
|
#endif |
#endif |
|
|