]> git.ipfire.org Git - thirdparty/glibc.git/blobdiff - elf/dl-fini.c
Update copyright dates with scripts/update-copyrights
[thirdparty/glibc.git] / elf / dl-fini.c
index a01b998ef0266fe61d8f9989c80482cb65a02450..db996270de65e86a63e4f6500081b66e07bae914 100644 (file)
@@ -1,5 +1,5 @@
 /* Call the termination functions of loaded shared objects.
-   Copyright (C) 1995,96,1998-2002,2004, 2005 Free Software Foundation, Inc.
+   Copyright (C) 1995-2024 Free Software Foundation, Inc.
    This file is part of the GNU C Library.
 
    The GNU C Library is free software; you can redistribute it and/or
    Lesser General Public License for more details.
 
    You should have received a copy of the GNU Lesser General Public
-   License along with the GNU C Library; if not, write to the Free
-   Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA
-   02111-1307 USA.  */
+   License along with the GNU C Library; if not, see
+   <https://www.gnu.org/licenses/>.  */
 
-#include <alloca.h>
 #include <assert.h>
 #include <string.h>
 #include <ldsodefs.h>
-
-
-/* Type of the constructor functions.  */
-typedef void (*fini_t) (void);
-
+#include <elf-initfini.h>
 
 void
-internal_function
 _dl_fini (void)
 {
   /* Lots of fun ahead.  We have to call the destructors for all still
@@ -42,8 +35,6 @@ _dl_fini (void)
      using `dlopen' there are possibly several other modules with its
      dependencies to be taken into account.  Therefore we have to start
      determining the order of the modules once again from the beginning.  */
-  struct link_map **maps = NULL;
-  size_t maps_size = 0;
 
   /* We run the destructors of the main namespaces last.  As for the
      other namespaces, we pick run the destructors in them in reverse
@@ -52,192 +43,88 @@ _dl_fini (void)
   int do_audit = 0;
  again:
 #endif
-  for (Lmid_t cnt = DL_NNS - 1; cnt >= 0; --cnt)
+  for (Lmid_t ns = GL(dl_nns) - 1; ns >= 0; --ns)
     {
       /* Protect against concurrent loads and unloads.  */
       __rtld_lock_lock_recursive (GL(dl_load_lock));
 
-      unsigned int nmaps = 0;
-      unsigned int nloaded = GL(dl_ns)[cnt]._ns_nloaded;
+      unsigned int nloaded = GL(dl_ns)[ns]._ns_nloaded;
       /* No need to do anything for empty namespaces or those used for
         auditing DSOs.  */
       if (nloaded == 0
 #ifdef SHARED
-         || GL(dl_ns)[cnt]._ns_loaded->l_auditing != do_audit
+         || GL(dl_ns)[ns]._ns_loaded->l_auditing != do_audit
 #endif
          )
-       goto out;
-
-      /* XXX Could it be (in static binaries) that there is no object
-        loaded?  */
-      assert (cnt != LM_ID_BASE || nloaded > 0);
-
-      /* Now we can allocate an array to hold all the pointers and copy
-        the pointers in.  */
-      if (maps_size < nloaded * sizeof (struct link_map *))
+       __rtld_lock_unlock_recursive (GL(dl_load_lock));
+      else
        {
-         if (maps_size == 0)
-           {
-             maps_size = nloaded * sizeof (struct link_map *);
-             maps = (struct link_map **) alloca (maps_size);
-           }
-         else
-           maps = (struct link_map **)
-             extend_alloca (maps, maps_size,
-                            nloaded * sizeof (struct link_map *));
-       }
-
-      unsigned int i;
-      struct link_map *l;
-      assert (nloaded != 0 || GL(dl_ns)[cnt]._ns_loaded == NULL);
-      for (l = GL(dl_ns)[cnt]._ns_loaded, i = 0; l != NULL; l = l->l_next)
-       /* Do not handle ld.so in secondary namespaces.  */
-       if (l == l->l_real)
-         {
-           assert (i < nloaded);
-
-           maps[i++] = l;
+#ifdef SHARED
+         _dl_audit_activity_nsid (ns, LA_ACT_DELETE);
+#endif
 
-           /* Bump l_direct_opencount of all objects so that they are
-              not dlclose()ed from underneath us.  */
-           ++l->l_direct_opencount;
-         }
-      assert (cnt != LM_ID_BASE || i == nloaded);
-      assert (cnt == LM_ID_BASE || i == nloaded || i == nloaded - 1);
-      nmaps = i;
+         /* Now we can allocate an array to hold all the pointers and
+            copy the pointers in.  */
+         struct link_map *maps[nloaded];
 
-      if (nmaps != 0)
-       {
-         /* Now we have to do the sorting.  */
-         l = GL(dl_ns)[cnt]._ns_loaded;
-         if (cnt == LM_ID_BASE)
-           /* The main executable always comes first.  */
-           l = l->l_next;
-         for (; l != NULL; l = l->l_next)
+         unsigned int i;
+         struct link_map *l;
+         assert (nloaded != 0 || GL(dl_ns)[ns]._ns_loaded == NULL);
+         for (l = GL(dl_ns)[ns]._ns_loaded, i = 0; l != NULL; l = l->l_next)
            /* Do not handle ld.so in secondary namespaces.  */
            if (l == l->l_real)
              {
-               /* Find the place in the 'maps' array.  */
-               unsigned int j;
-               for (j = cnt == LM_ID_BASE ? 1 : 0; maps[j] != l; ++j)
-                 assert (j < nmaps);
-
-               /* Find all object for which the current one is a dependency
-                  and move the found object (if necessary) in front.  */
-               for (unsigned int k = j + 1; k < nmaps; ++k)
-                 {
-                   struct link_map **runp = maps[k]->l_initfini;
-                   if (runp != NULL)
-                     {
-                       while (*runp != NULL)
-                         if (*runp == l)
-                           {
-                             struct link_map *here = maps[k];
-
-                             /* Move it now.  */
-                             memmove (&maps[j] + 1,
-                                      &maps[j],
-                                      (k - j) * sizeof (struct link_map *));
-                             maps[j++] = here;
-
-                             break;
-                           }
-                         else
-                           ++runp;
-                     }
-
-                   if (__builtin_expect (maps[k]->l_reldeps != NULL, 0))
-                     {
-                       unsigned int m = maps[k]->l_reldepsact;
-                       struct link_map **relmaps = maps[k]->l_reldeps;
-
-                       while (m-- > 0)
-                         {
-                           if (relmaps[m] == l)
-                             {
-                               struct link_map *here = maps[k];
+               assert (i < nloaded);
 
-                               /* Move it now.  */
-                               memmove (&maps[j] + 1,
-                                        &maps[j],
-                                        (k - j) * sizeof (struct link_map *));
-                               maps[j] = here;
+               maps[i] = l;
+               l->l_idx = i;
+               ++i;
 
-                               break;
-                             }
-                         }
-                     }
-                 }
+               /* Bump l_direct_opencount of all objects so that they
+                  are not dlclose()ed from underneath us.  */
+               ++l->l_direct_opencount;
              }
-       }
-
-      /* We do not rely on the linked list of loaded object anymore from
-        this point on.  We have our own list here (maps).  The various
-        members of this list cannot vanish since the open count is too
-        high and will be decremented in this loop.  So we release the
-        lock so that some code which might be called from a destructor
-        can directly or indirectly access the lock.  */
-    out:
-      __rtld_lock_unlock_recursive (GL(dl_load_lock));
-
-      /* 'maps' now contains the objects in the right order.  Now call the
-        destructors.  We have to process this array from the front.  */
-      for (i = 0; i < nmaps; ++i)
-       {
-         l = maps[i];
-
-         if (l->l_init_called)
+         assert (ns != LM_ID_BASE || i == nloaded);
+         assert (ns == LM_ID_BASE || i == nloaded || i == nloaded - 1);
+         unsigned int nmaps = i;
+
+         /* Now we have to do the sorting.  We can skip looking for the
+            binary itself which is at the front of the search list for
+            the main namespace.  */
+         _dl_sort_maps (maps, nmaps, (ns == LM_ID_BASE), true);
+
+         /* We do not rely on the linked list of loaded object anymore
+            from this point on.  We have our own list here (maps).  The
+            various members of this list cannot vanish since the open
+            count is too high and will be decremented in this loop.  So
+            we release the lock so that some code which might be called
+            from a destructor can directly or indirectly access the
+            lock.  */
+         __rtld_lock_unlock_recursive (GL(dl_load_lock));
+
+         /* 'maps' now contains the objects in the right order.  Now
+            call the destructors.  We have to process this array from
+            the front.  */
+         for (i = 0; i < nmaps; ++i)
            {
-             /* Make sure nothing happens if we are called twice.  */
-             l->l_init_called = 0;
+             struct link_map *l = maps[i];
 
-             /* Is there a destructor function?  */
-             if (l->l_info[DT_FINI_ARRAY] != NULL
-                 || l->l_info[DT_FINI] != NULL)
+             if (l->l_init_called)
                {
-                 /* When debugging print a message first.  */
-                 if (__builtin_expect (GLRO(dl_debug_mask)
-                                       & DL_DEBUG_IMPCALLS, 0))
-                   _dl_debug_printf ("\ncalling fini: %s [%lu]\n\n",
-                                     l->l_name[0] ? l->l_name : rtld_progname,
-                                     cnt);
-
-                 /* First see whether an array is given.  */
-                 if (l->l_info[DT_FINI_ARRAY] != NULL)
-                   {
-                     ElfW(Addr) *array =
-                       (ElfW(Addr) *) (l->l_addr
-                                       + l->l_info[DT_FINI_ARRAY]->d_un.d_ptr);
-                     unsigned int i = (l->l_info[DT_FINI_ARRAYSZ]->d_un.d_val
-                                       / sizeof (ElfW(Addr)));
-                     while (i-- > 0)
-                       ((fini_t) array[i]) ();
-                   }
-
-                 /* Next try the old-style destructor.  */
-                 if (l->l_info[DT_FINI] != NULL)
-                   ((fini_t) DL_DT_FINI_ADDRESS (l, l->l_addr + l->l_info[DT_FINI]->d_un.d_ptr)) ();
-               }
-
+                 _dl_call_fini (l);
 #ifdef SHARED
-             /* Auditing checkpoint: another object closed.  */
-             if (!do_audit && __builtin_expect (GLRO(dl_naudit) > 0, 0))
-               {
-                 struct audit_ifaces *afct = GLRO(dl_audit);
-                 for (unsigned int cnt = 0; cnt < GLRO(dl_naudit); ++cnt)
-                   {
-                     if (afct->objclose != NULL)
-                       /* Return value is ignored.  */
-                       (void) afct->objclose (&l->l_audit[cnt].cookie);
-
-                     afct = afct->next;
-                   }
-               }
+                 /* Auditing checkpoint: another object closed.  */
+                 _dl_audit_objclose (l);
 #endif
+               }
+
+             /* Correct the previous increment.  */
+             --l->l_direct_opencount;
            }
 
-         /* Correct the previous increment.  */
-         --l->l_direct_opencount;
+#ifdef SHARED
+         _dl_audit_activity_nsid (ns, LA_ACT_CONSISTENT);
+#endif
        }
     }
 
@@ -247,12 +134,12 @@ _dl_fini (void)
       do_audit = 1;
       goto again;
     }
-#endif
 
-  if (__builtin_expect (GLRO(dl_debug_mask) & DL_DEBUG_STATISTICS, 0))
+  if (__glibc_unlikely (GLRO(dl_debug_mask) & DL_DEBUG_STATISTICS))
     _dl_debug_printf ("\nruntime linker statistics:\n"
                      "           final number of relocations: %lu\n"
                      "final number of relocations from cache: %lu\n",
                      GL(dl_num_relocations),
                      GL(dl_num_cache_relocations));
+#endif
 }