version 1.41, 2010/06/09 12:19:13
|
version 1.46, 2010/06/28 14:30:33
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.0.16 |
RPL/2 (R) version 4.0.17 |
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 1132 typedef struct descripteur_thread
|
Line 1132 typedef struct descripteur_thread
|
pthread_t thread_pere; |
pthread_t thread_pere; |
|
|
pthread_mutex_t mutex; |
pthread_mutex_t mutex; |
|
|
volatile logical1 thread_actif; |
volatile logical1 thread_actif; |
|
|
int pipe_erreurs[2]; |
int pipe_erreurs[2]; |
Line 1852 typedef struct processus
|
Line 1853 typedef struct processus
|
|
|
// Mutex spécifique au processus et donnant accès à la pile des processus |
// Mutex spécifique au processus et donnant accès à la pile des processus |
pthread_mutex_t mutex; |
pthread_mutex_t mutex; |
|
pthread_mutex_t mutex_allocation; |
|
|
// Sémaphore autorisant les fork() |
// Sémaphore autorisant les fork() |
sem_t |
sem_t |
Line 2612 void scrutation_injection(struct_process
|
Line 2614 void scrutation_injection(struct_process
|
void sf(struct_processus *s_etat_processus, unsigned char indice_drapeau); |
void sf(struct_processus *s_etat_processus, unsigned char indice_drapeau); |
void *surveillance_processus(void *argument); |
void *surveillance_processus(void *argument); |
void swap(void *variable_1, void *variable_2, unsigned long taille_octets); |
void swap(void *variable_1, void *variable_2, unsigned long taille_octets); |
|
void trace(struct_processus *s_etat_processus, FILE *flux); |
void traitement_asynchrone_exceptions_gsl(struct_processus *s_etat_processus); |
void traitement_asynchrone_exceptions_gsl(struct_processus *s_etat_processus); |
void traitement_exceptions_gsl(const char *reason, const char *file, |
void traitement_exceptions_gsl(const char *reason, const char *file, |
int line, int gsl_errno); |
int line, int gsl_errno); |