version 1.86, 2011/11/18 20:24:40
|
version 1.96, 2012/05/17 17:06:18
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.4 |
RPL/2 (R) version 4.1.8 |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
Copyright (C) 1989-2012 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
|
|
Line 52 typedef struct liste_chainee_volatile
|
Line 52 typedef struct liste_chainee_volatile
|
volatile void *donnee; |
volatile void *donnee; |
} struct_liste_chainee_volatile; |
} struct_liste_chainee_volatile; |
|
|
|
|
static volatile struct_liste_chainee_volatile *liste_threads |
static volatile struct_liste_chainee_volatile *liste_threads |
= NULL; |
= NULL; |
static volatile struct_liste_chainee_volatile *liste_threads_surveillance |
static volatile struct_liste_chainee_volatile *liste_threads_surveillance |
Line 64 unsigned char *racine_segment;
|
Line 63 unsigned char *racine_segment;
|
static pthread_mutex_t mutex_interruptions |
static pthread_mutex_t mutex_interruptions |
= PTHREAD_MUTEX_INITIALIZER; |
= PTHREAD_MUTEX_INITIALIZER; |
|
|
|
static void * |
|
thread_surveillance_signaux(void *argument) |
|
{ |
|
// Cette fonction est lancée dans un thread créé par processus pour |
|
// gérer le cas des appels système qui seraient bloqués lors de l'arrivée du |
|
// signal SIGALRM. Les processus externes n'envoient plus un signal au |
|
// processus ou au thread à signaler mais positionnent les informations |
|
// nécessaires dans la queue des signaux et incrémentent le sémaphore. |
|
// Le sémaphore est décrémenté lorsque le signal est effectivement traité. |
|
|
|
int nombre_signaux_envoyes; |
|
|
|
struct_processus *s_etat_processus; |
|
|
|
struct timespec attente; |
|
|
|
volatile struct_liste_chainee_volatile *l_element_courant; |
|
|
|
s_etat_processus = (struct_processus *) argument; |
|
|
|
for(;;) |
|
{ |
|
attente.tv_sec = 0; |
|
attente.tv_nsec = GRANULARITE_us * 1000; |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
if (sem_wait(&(*s_queue_signaux).signalisation) == 0) |
|
# else |
|
if(sem_wait(semaphore_signalisation) == 0) |
|
# endif |
|
{ |
|
if ((*s_queue_signaux).requete_arret == d_vrai) |
|
{ |
|
break; |
|
} |
|
|
|
nombre_signaux_envoyes = 0; |
|
|
|
// Dans un premier temps, on verrouille la queue des signaux |
|
// affectée au processus courant pour vérifier s'il y a quelque |
|
// chose à traiter. |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&(*s_queue_signaux).semaphore); |
|
# else |
|
sem_wait(semaphore_queue_signaux); |
|
# endif |
|
|
|
if ((*s_queue_signaux).pointeur_lecture != |
|
(*s_queue_signaux).pointeur_ecriture) |
|
{ |
|
nombre_signaux_envoyes++; |
|
raise(SIGALRM); |
|
} |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
sem_post(&(*s_queue_signaux).semaphore); |
|
# else |
|
sem_post(semaphore_queue_signaux); |
|
# endif |
|
|
|
// Dans un second temps, on balaye toutes les queues de signaux |
|
// des threads du processus courant. |
|
|
|
pthread_mutex_lock(&mutex_liste_threads); |
|
l_element_courant = liste_threads; |
|
|
|
while(l_element_courant != NULL) |
|
{ |
|
if ((*((struct_thread *) (*l_element_courant).donnee)).pid |
|
== getpid()) |
|
{ |
|
if ((*(*((struct_thread *) (*l_element_courant).donnee)) |
|
.s_etat_processus).pointeur_signal_ecriture != |
|
(*(*((struct_thread *) (*l_element_courant).donnee)) |
|
.s_etat_processus).pointeur_signal_lecture) |
|
{ |
|
nombre_signaux_envoyes++; |
|
pthread_kill((*((struct_thread *) (*l_element_courant) |
|
.donnee)).tid, SIGALRM); |
|
} |
|
} |
|
|
|
l_element_courant = (*l_element_courant).suivant; |
|
} |
|
|
|
pthread_mutex_unlock(&mutex_liste_threads); |
|
|
|
// Nanosleep |
|
|
|
if (nombre_signaux_envoyes > 0) |
|
{ |
|
nanosleep(&attente, NULL); |
|
} |
|
} |
|
else |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
} |
|
} |
|
|
|
pthread_exit(NULL); |
|
} |
|
|
void |
void |
modification_pid_thread_pere(struct_processus *s_etat_processus) |
modification_pid_thread_pere(struct_processus *s_etat_processus) |
{ |
{ |
Line 1772 interruption3(int signal)
|
Line 1875 interruption3(int signal)
|
kill(pid_processus_pere, SIGUSR1); |
kill(pid_processus_pere, SIGUSR1); |
} |
} |
|
|
|
|
if (signal != SIGUSR2) |
if (signal != SIGUSR2) |
{ |
{ |
write(STDERR_FILENO, message_1, strlen(message_1)); |
write(STDERR_FILENO, message_1, strlen(message_1)); |
Line 1935 signal_stop(struct_processus *s_etat_pro
|
Line 2037 signal_stop(struct_processus *s_etat_pro
|
|
|
if (pid == getpid()) |
if (pid == getpid()) |
{ |
{ |
if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) |
|
== NULL) |
|
{ |
|
deverrouillage_gestionnaire_signaux(s_etat_processus); |
|
return; |
|
} |
|
|
|
if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) |
if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) |
{ |
{ |
printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(), |
printf("[%d] RPL/SIGSTOP (thread %llu)\n", (int) getpid(), |
Line 2033 signal_urg(struct_processus *s_etat_proc
|
Line 2128 signal_urg(struct_processus *s_etat_proc
|
|
|
if (pid == getpid()) |
if (pid == getpid()) |
{ |
{ |
if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) |
|
== NULL) |
|
{ |
|
deverrouillage_gestionnaire_signaux(s_etat_processus); |
|
return; |
|
} |
|
|
|
if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) |
if (((*s_etat_processus).type_debug & d_debug_signaux) != 0) |
{ |
{ |
printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(), |
printf("[%d] RPL/SIGURG (thread %llu)\n", (int) getpid(), |
Line 2089 signal_abort(struct_processus *s_etat_pr
|
Line 2177 signal_abort(struct_processus *s_etat_pr
|
|
|
if (pid == getpid()) |
if (pid == getpid()) |
{ |
{ |
if ((s_etat_processus = recherche_thread(getpid(), pthread_self())) |
|
== NULL) |
|
{ |
|
deverrouillage_gestionnaire_signaux(s_etat_processus); |
|
return; |
|
} |
|
|
|
(*s_etat_processus).arret_depuis_abort = -1; |
(*s_etat_processus).arret_depuis_abort = -1; |
|
|
/* |
/* |
Line 2296 scrutation_interruptions(struct_processu
|
Line 2377 scrutation_interruptions(struct_processu
|
if (sem_trywait(semaphore_queue_signaux) == 0) |
if (sem_trywait(semaphore_queue_signaux) == 0) |
# endif |
# endif |
{ |
{ |
if ((*s_queue_signaux).pointeur_lecture != |
while((*s_queue_signaux).pointeur_lecture != |
(*s_queue_signaux).pointeur_ecriture) |
(*s_queue_signaux).pointeur_ecriture) |
{ |
{ |
// Il y a un signal en attente dans le segment partagé. On le |
// Il y a un signal en attente dans le segment partagé. On le |
Line 2309 scrutation_interruptions(struct_processu
|
Line 2390 scrutation_interruptions(struct_processu
|
(*s_queue_signaux).pointeur_lecture = |
(*s_queue_signaux).pointeur_lecture = |
((*s_queue_signaux).pointeur_lecture + 1) |
((*s_queue_signaux).pointeur_lecture + 1) |
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_queue_signaux).signalisation)); |
|
# else |
|
sem_wait(semaphore_signalisation); |
|
# endif |
} |
} |
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
Line 2322 scrutation_interruptions(struct_processu
|
Line 2409 scrutation_interruptions(struct_processu
|
|
|
if (pthread_mutex_trylock(&mutex_interruptions) == 0) |
if (pthread_mutex_trylock(&mutex_interruptions) == 0) |
{ |
{ |
if ((*s_etat_processus).pointeur_signal_lecture != |
while((*s_etat_processus).pointeur_signal_lecture != |
(*s_etat_processus).pointeur_signal_ecriture) |
(*s_etat_processus).pointeur_signal_ecriture) |
{ |
{ |
// Il y a un signal dans la queue du thread courant. On le traite. |
// Il y a un signal dans la queue du thread courant. On le traite. |
Line 2334 scrutation_interruptions(struct_processu
|
Line 2421 scrutation_interruptions(struct_processu
|
(*s_etat_processus).pointeur_signal_lecture = |
(*s_etat_processus).pointeur_signal_lecture = |
((*s_etat_processus).pointeur_signal_lecture + 1) |
((*s_etat_processus).pointeur_signal_lecture + 1) |
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
sem_wait(&((*s_queue_signaux).signalisation)); |
|
# else |
|
sem_wait(semaphore_signalisation); |
|
# endif |
} |
} |
|
|
pthread_mutex_unlock(&mutex_interruptions); |
pthread_mutex_unlock(&mutex_interruptions); |
Line 2621 envoi_signal_processus(pid_t pid, enum s
|
Line 2714 envoi_signal_processus(pid_t pid, enum s
|
# endif |
# endif |
} |
} |
|
|
|
kill(pid, SIGALRM); |
|
|
return(0); |
return(0); |
} |
} |
|
|
Line 2684 envoi_signal_thread(pthread_t tid, enum
|
Line 2779 envoi_signal_thread(pthread_t tid, enum
|
return(1); |
return(1); |
} |
} |
|
|
|
pthread_kill(tid, SIGALRM); |
|
|
return(0); |
return(0); |
} |
} |
|
|
Line 2700 envoi_signal_contexte(struct_processus *
|
Line 2797 envoi_signal_contexte(struct_processus *
|
% LONGUEUR_QUEUE_SIGNAUX; |
% LONGUEUR_QUEUE_SIGNAUX; |
pthread_mutex_unlock(&mutex_interruptions); |
pthread_mutex_unlock(&mutex_interruptions); |
|
|
|
pthread_kill((*s_etat_processus_a_signaler).tid, SIGALRM); |
|
|
return(0); |
return(0); |
} |
} |
|
|
Line 2720 envoi_signal_contexte(struct_processus *
|
Line 2819 envoi_signal_contexte(struct_processus *
|
void |
void |
creation_queue_signaux(struct_processus *s_etat_processus) |
creation_queue_signaux(struct_processus *s_etat_processus) |
{ |
{ |
|
pthread_attr_t attributs; |
|
|
unsigned char *nom; |
unsigned char *nom; |
|
|
racine_segment = (*s_etat_processus).chemin_fichiers_temporaires; |
racine_segment = (*s_etat_processus).chemin_fichiers_temporaires; |
Line 2768 creation_queue_signaux(struct_processus
|
Line 2869 creation_queue_signaux(struct_processus
|
|
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
|
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
# else |
# else |
if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) |
if ((semaphore_queue_signaux = sem_init2(1, getpid(), SEM_QUEUE)) |
== SEM_FAILED) |
== SEM_FAILED) |
Line 2775 creation_queue_signaux(struct_processus
|
Line 2877 creation_queue_signaux(struct_processus
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
(*s_etat_processus).erreur_systeme = d_es_processus; |
return; |
return; |
} |
} |
|
|
|
if ((semaphore_signalisation = sem_init2(1, getpid(), |
|
SEM_SIGNALISATION)) == SEM_FAILED) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
# endif |
# endif |
|
|
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
|
(*s_queue_signaux).requete_arret = d_faux; |
|
|
if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0)) |
if (msync(s_queue_signaux, sizeof(struct_queue_signaux), 0)) |
{ |
{ |
Line 2842 creation_queue_signaux(struct_processus
|
Line 2952 creation_queue_signaux(struct_processus
|
} |
} |
|
|
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
|
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
|
(*s_queue_signaux).requete_arret = d_faux; |
# else // OS/2 |
# else // OS/2 |
if ((nom = nom_segment(NULL, getpid())) == NULL) |
if ((nom = nom_segment(NULL, getpid())) == NULL) |
{ |
{ |
Line 2863 creation_queue_signaux(struct_processus
|
Line 2975 creation_queue_signaux(struct_processus
|
free(nom); |
free(nom); |
|
|
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
sem_init(&((*s_queue_signaux).semaphore), 1, 1); |
|
sem_init(&((*s_queue_signaux).signalisation), 1, 0); |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_lecture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
(*s_queue_signaux).pointeur_ecriture = 0; |
|
(*s_queue_signaux).requete_arret = d_faux; |
# endif |
# endif |
# endif |
# endif |
|
|
|
// Lancement du thread de récupération des signaux. |
|
|
|
if (pthread_attr_init(&attributs) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
if (pthread_attr_setdetachstate(&attributs, |
|
PTHREAD_CREATE_JOINABLE) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
# ifdef SCHED_OTHER |
|
if (pthread_attr_setschedpolicy(&attributs, SCHED_OTHER) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
# endif |
|
|
|
# ifdef PTHREAD_EXPLICIT_SCHED |
|
if (pthread_attr_setinheritsched(&attributs, PTHREAD_EXPLICIT_SCHED) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
# endif |
|
|
|
# ifdef PTHREAD_SCOPE_SYSTEM |
|
if (pthread_attr_setscope(&attributs, PTHREAD_SCOPE_SYSTEM) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
# endif |
|
|
|
if (pthread_attr_destroy(&attributs) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
if (pthread_create(&((*s_queue_signaux).thread_signaux), &attributs, |
|
thread_surveillance_signaux, s_etat_processus) != 0) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
return; |
return; |
} |
} |
|
|
Line 2888 creation_queue_signaux(struct_processus
|
Line 3054 creation_queue_signaux(struct_processus
|
void |
void |
liberation_queue_signaux(struct_processus *s_etat_processus) |
liberation_queue_signaux(struct_processus *s_etat_processus) |
{ |
{ |
|
// Incrémenter le sémaphore pour être sûr de le débloquer. |
|
|
|
(*s_queue_signaux).requete_arret = d_vrai; |
|
|
|
# ifndef SEMAPHORES_NOMMES |
|
sem_post(&((*s_queue_signaux).signalisation)); |
|
# else |
|
sem_post(semaphore_signalisation); |
|
# endif |
|
|
|
pthread_join((*s_queue_signaux).thread_signaux, NULL); |
|
|
# ifdef IPCS_SYSV // SystemV |
# ifdef IPCS_SYSV // SystemV |
# ifndef OS2 |
# ifndef OS2 |
if (shmdt(s_queue_signaux) == -1) |
if (shmdt(s_queue_signaux) == -1) |
Line 2900 liberation_queue_signaux(struct_processu
|
Line 3078 liberation_queue_signaux(struct_processu
|
# else // POSIX |
# else // POSIX |
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_close(&((*s_queue_signaux).semaphore)); |
sem_close(&((*s_queue_signaux).semaphore)); |
|
sem_close(&((*s_queue_signaux).signalisation)); |
# else |
# else |
sem_close(semaphore_queue_signaux); |
sem_close(semaphore_queue_signaux); |
|
sem_close(semaphore_signalisation); |
# endif |
# endif |
|
|
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
Line 2948 destruction_queue_signaux(struct_process
|
Line 3128 destruction_queue_signaux(struct_process
|
} |
} |
|
|
unlink((*s_queue_signaux).semaphore.path); |
unlink((*s_queue_signaux).semaphore.path); |
|
free((*s_queue_signaux).semaphore.path); |
|
|
|
if (semctl((*s_queue_signaux).signalisation.sem, 0, IPC_RMID) == -1) |
|
{ |
|
(*s_etat_processus).erreur_systeme = d_es_processus; |
|
return; |
|
} |
|
|
|
unlink((*s_queue_signaux).signalisation.path); |
|
free((*s_queue_signaux).signalisation.path); |
|
|
if (shmdt(s_queue_signaux) == -1) |
if (shmdt(s_queue_signaux) == -1) |
{ |
{ |
Line 2974 destruction_queue_signaux(struct_process
|
Line 3164 destruction_queue_signaux(struct_process
|
sem_close(&((*s_queue_signaux).semaphore)); |
sem_close(&((*s_queue_signaux).semaphore)); |
sem_destroy(&((*s_queue_signaux).semaphore)); |
sem_destroy(&((*s_queue_signaux).semaphore)); |
|
|
|
sem_close(&((*s_queue_signaux).signalisation)); |
|
sem_destroy(&((*s_queue_signaux).signalisation)); |
|
|
if (DosFreeMem(s_queue_signaux) != 0) |
if (DosFreeMem(s_queue_signaux) != 0) |
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
(*s_etat_processus).erreur_systeme = d_es_allocation_memoire; |
Line 2984 destruction_queue_signaux(struct_process
|
Line 3177 destruction_queue_signaux(struct_process
|
# ifndef SEMAPHORES_NOMMES |
# ifndef SEMAPHORES_NOMMES |
sem_close(&((*s_queue_signaux).semaphore)); |
sem_close(&((*s_queue_signaux).semaphore)); |
sem_destroy(&((*s_queue_signaux).semaphore)); |
sem_destroy(&((*s_queue_signaux).semaphore)); |
|
|
|
sem_close(&((*s_queue_signaux).signalisation)); |
|
sem_destroy(&((*s_queue_signaux).signalisation)); |
# else |
# else |
sem_close(semaphore_queue_signaux); |
sem_close(semaphore_queue_signaux); |
sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); |
sem_destroy2(semaphore_queue_signaux, getpid(), SEM_QUEUE); |
|
|
|
sem_close(semaphore_signalisation); |
|
sem_destroy2(semaphore_signalisation, getpid(), SEM_SIGNALISATION); |
# endif |
# endif |
|
|
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |
if (munmap(s_queue_signaux, sizeof(struct_queue_signaux)) != 0) |