Don't deadlock in __dl_iterate_phdr while (un)loading objects.

This commit is contained in:
Andreas Schwab 2010-05-03 08:08:28 -07:00 committed by Ulrich Drepper
parent c739ec3d81
commit 5a2a1d7504
8 changed files with 39 additions and 4 deletions

View File

@ -1,3 +1,16 @@
2010-02-02 Andreas Schwab <schwab@redhat.com>
* sysdeps/generic/ldsodefs.h (struct rtld_global): Add
_dl_load_write_lock.
* elf/rtld.c (_rtld_global): Initialize it.
* elf/dl-support.c (_dl_load_write_lock): Define .
* elf/dl-close.c (_dl_close_worker): Lock GL(dl_load_write_lock)
when modifying the list of loaded objects.
* elf/dl-load.c (lose): Likewise.
* elf/dl-object.c (_dl_new_object): Likewise.
* elf/dl-iteratephdr.c (__dl_iterate_phdr): Lock
GL(dl_load_write_lock) instead of GL(dl_load_lock).
2010-05-03 Ulrich Drepper <drepper@redhat.com> 2010-05-03 Ulrich Drepper <drepper@redhat.com>
* elf/dl-iteratephdr.c (__dl_iterate_phdr): Remove unnecessary * elf/dl-iteratephdr.c (__dl_iterate_phdr): Remove unnecessary

View File

@ -507,6 +507,9 @@ _dl_close_worker (struct link_map *map)
size_t tls_free_end; size_t tls_free_end;
tls_free_start = tls_free_end = NO_TLS_OFFSET; tls_free_start = tls_free_end = NO_TLS_OFFSET;
/* We modify the list of loaded objects. */
__rtld_lock_lock_recursive (GL(dl_load_write_lock));
/* Check each element of the search list to see if all references to /* Check each element of the search list to see if all references to
it are gone. */ it are gone. */
for (unsigned int i = first_loaded; i < nloaded; ++i) for (unsigned int i = first_loaded; i < nloaded; ++i)
@ -665,6 +668,8 @@ _dl_close_worker (struct link_map *map)
} }
} }
__rtld_lock_unlock_recursive (GL(dl_load_write_lock));
/* If we removed any object which uses TLS bump the generation counter. */ /* If we removed any object which uses TLS bump the generation counter. */
if (any_tls) if (any_tls)
{ {

View File

@ -26,7 +26,7 @@
static void static void
cancel_handler (void *arg __attribute__((unused))) cancel_handler (void *arg __attribute__((unused)))
{ {
__rtld_lock_unlock_recursive (GL(dl_load_lock)); __rtld_lock_unlock_recursive (GL(dl_load_write_lock));
} }
hidden_proto (__dl_iterate_phdr) hidden_proto (__dl_iterate_phdr)
@ -38,8 +38,8 @@ __dl_iterate_phdr (int (*callback) (struct dl_phdr_info *info,
struct dl_phdr_info info; struct dl_phdr_info info;
int ret = 0; int ret = 0;
/* Make sure we are alone. */ /* Make sure nobody modifies the list of loaded objects. */
__rtld_lock_lock_recursive (GL(dl_load_lock)); __rtld_lock_lock_recursive (GL(dl_load_write_lock));
__libc_cleanup_push (cancel_handler, 0); __libc_cleanup_push (cancel_handler, 0);
/* We have to determine the namespace of the caller since this determines /* We have to determine the namespace of the caller since this determines
@ -79,7 +79,7 @@ __dl_iterate_phdr (int (*callback) (struct dl_phdr_info *info,
/* Release the lock. */ /* Release the lock. */
__libc_cleanup_pop (0); __libc_cleanup_pop (0);
__rtld_lock_unlock_recursive (GL(dl_load_lock)); __rtld_lock_unlock_recursive (GL(dl_load_write_lock));
return ret; return ret;
} }

View File

@ -803,6 +803,8 @@ lose (int code, int fd, const char *name, char *realname, struct link_map *l,
(void) __close (fd); (void) __close (fd);
if (l != NULL) if (l != NULL)
{ {
/* We modify the list of loaded objects. */
__rtld_lock_lock_recursive (GL(dl_load_write_lock));
/* Remove the stillborn object from the list and free it. */ /* Remove the stillborn object from the list and free it. */
assert (l->l_next == NULL); assert (l->l_next == NULL);
if (l->l_prev == NULL) if (l->l_prev == NULL)
@ -813,6 +815,7 @@ lose (int code, int fd, const char *name, char *realname, struct link_map *l,
l->l_prev->l_next = NULL; l->l_prev->l_next = NULL;
--GL(dl_ns)[l->l_ns]._ns_nloaded; --GL(dl_ns)[l->l_ns]._ns_nloaded;
free (l); free (l);
__rtld_lock_unlock_recursive (GL(dl_load_write_lock));
} }
free (realname); free (realname);

View File

@ -93,6 +93,9 @@ _dl_new_object (char *realname, const char *libname, int type,
new->l_scope = new->l_scope_mem; new->l_scope = new->l_scope_mem;
new->l_scope_max = sizeof (new->l_scope_mem) / sizeof (new->l_scope_mem[0]); new->l_scope_max = sizeof (new->l_scope_mem) / sizeof (new->l_scope_mem[0]);
/* We modify the list of loaded objects. */
__rtld_lock_lock_recursive (GL(dl_load_write_lock));
/* Counter for the scopes we have to handle. */ /* Counter for the scopes we have to handle. */
idx = 0; idx = 0;
@ -114,6 +117,8 @@ _dl_new_object (char *realname, const char *libname, int type,
new->l_serial = GL(dl_load_adds); new->l_serial = GL(dl_load_adds);
++GL(dl_load_adds); ++GL(dl_load_adds);
__rtld_lock_unlock_recursive (GL(dl_load_write_lock));
/* If we have no loader the new object acts as it. */ /* If we have no loader the new object acts as it. */
if (loader == NULL) if (loader == NULL)
loader = new; loader = new;

View File

@ -166,6 +166,10 @@ const ElfW(Ehdr) *_dl_sysinfo_dso;
the loaded object might as well require a call to this function. the loaded object might as well require a call to this function.
At this time it is not anymore a problem to modify the tables. */ At this time it is not anymore a problem to modify the tables. */
__rtld_lock_define_initialized_recursive (, _dl_load_lock) __rtld_lock_define_initialized_recursive (, _dl_load_lock)
/* This lock is used to keep __dl_iterate_phdr from inspecting the
list of loaded objects while an object is added to or removed from
that list. */
__rtld_lock_define_initialized_recursive (, _dl_load_write_lock)
#ifdef HAVE_AUX_VECTOR #ifdef HAVE_AUX_VECTOR

View File

@ -126,6 +126,7 @@ struct rtld_global _rtld_global =
._dl_stack_flags = PF_R|PF_W|PF_X, ._dl_stack_flags = PF_R|PF_W|PF_X,
#ifdef _LIBC_REENTRANT #ifdef _LIBC_REENTRANT
._dl_load_lock = _RTLD_LOCK_RECURSIVE_INITIALIZER, ._dl_load_lock = _RTLD_LOCK_RECURSIVE_INITIALIZER,
._dl_load_write_lock = _RTLD_LOCK_RECURSIVE_INITIALIZER,
#endif #endif
._dl_nns = 1, ._dl_nns = 1,
._dl_ns = ._dl_ns =

View File

@ -416,6 +416,10 @@ struct rtld_global
the loaded object might as well require a call to this function. the loaded object might as well require a call to this function.
At this time it is not anymore a problem to modify the tables. */ At this time it is not anymore a problem to modify the tables. */
__rtld_lock_define_recursive (EXTERN, _dl_load_lock) __rtld_lock_define_recursive (EXTERN, _dl_load_lock)
/* This lock is used to keep __dl_iterate_phdr from inspecting the
list of loaded objects while an object is added to or removed
from that list. */
__rtld_lock_define_recursive (EXTERN, _dl_load_write_lock)
/* Incremented whenever something may have been added to dl_loaded. */ /* Incremented whenever something may have been added to dl_loaded. */
EXTERN unsigned long long _dl_load_adds; EXTERN unsigned long long _dl_load_adds;