version 1.82, 2011/11/18 21:34:34
|
version 1.85, 2012/01/05 10:19:01
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.4 |
RPL/2 (R) version 4.1.5 |
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 1367 instruction_detach(struct_processus *s_e
|
Line 1367 instruction_detach(struct_processus *s_e
|
l_element_courant = (*s_etat_processus).liste_mutexes; |
l_element_courant = (*s_etat_processus).liste_mutexes; |
while(l_element_courant != NULL) |
while(l_element_courant != NULL) |
{ |
{ |
pthread_mutex_trylock(&((*((struct_mutex *) (*(*l_element_courant) |
|
.donnee).objet)).mutex)); |
|
pthread_mutex_unlock(&((*((struct_mutex *) (*(*l_element_courant) |
|
.donnee).objet)).mutex)); |
|
pthread_mutex_destroy(&((*((struct_mutex *) (*(*l_element_courant) |
|
.donnee).objet)).mutex)); |
|
|
|
liberation(s_etat_processus, (*l_element_courant).donnee); |
liberation(s_etat_processus, (*l_element_courant).donnee); |
l_element_suivant = (*l_element_courant).suivant; |
l_element_suivant = (*l_element_courant).suivant; |
free(l_element_courant); |
free(l_element_courant); |
Line 2040 instruction_detach(struct_processus *s_e
|
Line 2033 instruction_detach(struct_processus *s_e
|
l_element_courant = (*s_etat_processus).liste_mutexes; |
l_element_courant = (*s_etat_processus).liste_mutexes; |
while(l_element_courant != NULL) |
while(l_element_courant != NULL) |
{ |
{ |
pthread_mutex_trylock(&((*((struct_mutex *) |
|
(*(*l_element_courant).donnee).objet)).mutex)); |
|
pthread_mutex_unlock(&((*((struct_mutex *) |
|
(*(*l_element_courant).donnee).objet)).mutex)); |
|
pthread_mutex_destroy(&((*((struct_mutex *) |
|
(*(*l_element_courant).donnee).objet)).mutex)); |
|
|
|
liberation(s_etat_processus, (*l_element_courant).donnee); |
liberation(s_etat_processus, (*l_element_courant).donnee); |
l_element_suivant = (*l_element_courant).suivant; |
l_element_suivant = (*l_element_courant).suivant; |
free(l_element_courant); |
free(l_element_courant); |