about summary refs log tree commit diff
path: root/elf/dl-fini.c
blob: 61dedd5168997b934ecc0baa494769cd47770a11 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
/* Call the termination functions of loaded shared objects.
   Copyright (C) 1995,96,98,99,2000 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
   modify it under the terms of the GNU Library General Public License as
   published by the Free Software Foundation; either version 2 of the
   License, or (at your option) any later version.

   The GNU C Library is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Library General Public License for more details.

   You should have received a copy of the GNU Library General Public
   License along with the GNU C Library; see the file COPYING.LIB.  If not,
   write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

#include <assert.h>
#include <string.h>
#include <ldsodefs.h>


/* Type of the constructor functions.  */
typedef void (*fini_t) (void);


void
internal_function
_dl_fini (void)
{
  /* Lots of fun ahead.  We have to call the destructors for all still
     loaded objects.  The problem is that the ELF specification now
     demands that dependencies between the modules are taken into account.
     I.e., the destructor for a module is called before the ones for any
     of its dependencies.

     To make things more complicated, we cannot simply use the reverse
     order of the constructors.  Since the user might have loaded objects
     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.  */
  unsigned int nloaded = 0;
  unsigned int i;
  struct link_map *l;
  struct link_map **maps;

  /* First count how many objects are there.  */
  for (l = _dl_loaded; l != NULL; l = l->l_next)
    ++nloaded;

  /* XXX Could it be (in static binaries) that there is no object loaded?  */
  assert (nloaded > 0);

  /* Now we can allocate an array to hold all the pointers and copy
     the pointers in.  */
  maps = (struct link_map **) alloca (nloaded * sizeof (struct link_map *));
  for (l = _dl_loaded, nloaded = 0; l != NULL; l = l->l_next)
    maps[nloaded++] = l;

  /* Now we have to do the sorting.  */
  for (l = _dl_loaded->l_next; l != NULL; l = l->l_next)
    {
      unsigned int j;
      unsigned int k;

      /* Find the place in the `maps' array.  */
      for (j = 1; maps[j] != l; ++j)
	;

      /* Find all object for which the current one is a dependency and
	 move the found object (if necessary) in front.  */
      for (k = j + 1; k < nloaded; ++k)
	{
	  struct link_map **runp;

	  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;
	    }
	}
    }

  /* `maps' now contains the objects in the right order.  Now call the
     destructors.  We have the process this array from the front.  */
  for (i = 0; i < nloaded; ++i)
    {
      l = maps[i];

      if (l->l_init_called)
	{
	  /* Make sure nothing happens if we are called twice.  */
	  l->l_init_called = 0;

	  /* Don't call the destructors for objects we are not supposed to.  */
	  if (l->l_name[0] == '\0' && l->l_type == lt_executable)
	    continue;

	  /* Is there a destructor function?  */
	  if (l->l_info[DT_FINI_ARRAY] == NULL && l->l_info[DT_FINI] == NULL)
	    continue;

	  /* When debugging print a message first.  */
	  if (_dl_debug_impcalls)
	    _dl_debug_message (1, "\ncalling fini: ",
			       l->l_name[0] ? l->l_name : _dl_argv[0],
			       "\n\n", NULL);

	  /* 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 sz = (l->l_info[DT_FINI_ARRAYSZ]->d_un.d_val
				 / sizeof (ElfW(Addr)));
	      unsigned int cnt;

	      for (cnt = 0; cnt < sz; ++cnt)
		((fini_t) (l->l_addr + array[cnt])) ();
	    }

	  /* Next try the old-style destructor.  */
	  if (l->l_info[DT_FINI] != NULL)
	    ((fini_t) (l->l_addr + l->l_info[DT_FINI]->d_un.d_ptr)) ();
	}
    }
}