xref: /freebsd/lib/libc/stdlib/atexit.c (revision 3416500aef140042c64bc149cb1ec6620483bc44)
1 /*-
2  * Copyright (c) 1990, 1993
3  *	The Regents of the University of California.  All rights reserved.
4  *
5  * This code is derived from software contributed to Berkeley by
6  * Chris Torek.
7  *
8  * Redistribution and use in source and binary forms, with or without
9  * modification, are permitted provided that the following conditions
10  * are met:
11  * 1. Redistributions of source code must retain the above copyright
12  *    notice, this list of conditions and the following disclaimer.
13  * 2. Redistributions in binary form must reproduce the above copyright
14  *    notice, this list of conditions and the following disclaimer in the
15  *    documentation and/or other materials provided with the distribution.
16  * 3. Neither the name of the University nor the names of its contributors
17  *    may be used to endorse or promote products derived from this software
18  *    without specific prior written permission.
19  *
20  * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
21  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
22  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
23  * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
24  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
25  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
26  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
27  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
28  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
29  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
30  * SUCH DAMAGE.
31  */
32 
33 #if defined(LIBC_SCCS) && !defined(lint)
34 static char sccsid[] = "@(#)atexit.c	8.2 (Berkeley) 7/3/94";
35 #endif /* LIBC_SCCS and not lint */
36 #include <sys/cdefs.h>
37 __FBSDID("$FreeBSD$");
38 
39 #include "namespace.h"
40 #include <errno.h>
41 #include <link.h>
42 #include <stddef.h>
43 #include <stdlib.h>
44 #include <unistd.h>
45 #include <pthread.h>
46 #include "atexit.h"
47 #include "un-namespace.h"
48 #include "block_abi.h"
49 
50 #include "libc_private.h"
51 
52 /**
53  * The _Block_copy() function is provided by the block runtime.
54  */
55 __attribute__((weak)) void*
56 _Block_copy(void*);
57 
58 #define	ATEXIT_FN_EMPTY	0
59 #define	ATEXIT_FN_STD	1
60 #define	ATEXIT_FN_CXA	2
61 
62 static pthread_mutex_t atexit_mutex = PTHREAD_MUTEX_INITIALIZER;
63 
64 #define _MUTEX_LOCK(x)		if (__isthreaded) _pthread_mutex_lock(x)
65 #define _MUTEX_UNLOCK(x)	if (__isthreaded) _pthread_mutex_unlock(x)
66 #define _MUTEX_DESTROY(x)	if (__isthreaded) _pthread_mutex_destroy(x)
67 
68 struct atexit {
69 	struct atexit *next;			/* next in list */
70 	int ind;				/* next index in this table */
71 	struct atexit_fn {
72 		int fn_type;			/* ATEXIT_? from above */
73 		union {
74 			void (*std_func)(void);
75 			void (*cxa_func)(void *);
76 		} fn_ptr;			/* function pointer */
77 		void *fn_arg;			/* argument for CXA callback */
78 		void *fn_dso;			/* shared module handle */
79 	} fns[ATEXIT_SIZE];			/* the table itself */
80 };
81 
82 static struct atexit *__atexit;		/* points to head of LIFO stack */
83 typedef DECLARE_BLOCK(void, atexit_block, void);
84 
85 int atexit_b(atexit_block);
86 int __cxa_atexit(void (*)(void *), void *, void *);
87 
88 /*
89  * Register the function described by 'fptr' to be called at application
90  * exit or owning shared object unload time. This is a helper function
91  * for atexit and __cxa_atexit.
92  */
93 static int
94 atexit_register(struct atexit_fn *fptr)
95 {
96 	static struct atexit __atexit0;	/* one guaranteed table */
97 	struct atexit *p;
98 
99 	_MUTEX_LOCK(&atexit_mutex);
100 	if ((p = __atexit) == NULL)
101 		__atexit = p = &__atexit0;
102 	else while (p->ind >= ATEXIT_SIZE) {
103 		struct atexit *old__atexit;
104 		old__atexit = __atexit;
105 	        _MUTEX_UNLOCK(&atexit_mutex);
106 		if ((p = (struct atexit *)malloc(sizeof(*p))) == NULL)
107 			return (-1);
108 		_MUTEX_LOCK(&atexit_mutex);
109 		if (old__atexit != __atexit) {
110 			/* Lost race, retry operation */
111 			_MUTEX_UNLOCK(&atexit_mutex);
112 			free(p);
113 			_MUTEX_LOCK(&atexit_mutex);
114 			p = __atexit;
115 			continue;
116 		}
117 		p->ind = 0;
118 		p->next = __atexit;
119 		__atexit = p;
120 	}
121 	p->fns[p->ind++] = *fptr;
122 	_MUTEX_UNLOCK(&atexit_mutex);
123 	return 0;
124 }
125 
126 /*
127  * Register a function to be performed at exit.
128  */
129 int
130 atexit(void (*func)(void))
131 {
132 	struct atexit_fn fn;
133 	int error;
134 
135 	fn.fn_type = ATEXIT_FN_STD;
136 	fn.fn_ptr.std_func = func;
137 	fn.fn_arg = NULL;
138 	fn.fn_dso = NULL;
139 
140 	error = atexit_register(&fn);
141 	return (error);
142 }
143 
144 /**
145  * Register a block to be performed at exit.
146  */
147 int
148 atexit_b(atexit_block func)
149 {
150 	struct atexit_fn fn;
151 	int error;
152 	if (_Block_copy == 0) {
153 		errno = ENOSYS;
154 		return -1;
155 	}
156 	func = _Block_copy(func);
157 
158 	// Blocks are not C++ destructors, but they have the same signature (a
159 	// single void* parameter), so we can pretend that they are.
160 	fn.fn_type = ATEXIT_FN_CXA;
161 	fn.fn_ptr.cxa_func = (void(*)(void*))GET_BLOCK_FUNCTION(func);
162 	fn.fn_arg = func;
163 	fn.fn_dso = NULL;
164 
165 	error = atexit_register(&fn);
166 	return (error);
167 }
168 
169 /*
170  * Register a function to be performed at exit or when an shared object
171  * with given dso handle is unloaded dynamically.
172  */
173 int
174 __cxa_atexit(void (*func)(void *), void *arg, void *dso)
175 {
176 	struct atexit_fn fn;
177 	int error;
178 
179 	fn.fn_type = ATEXIT_FN_CXA;
180 	fn.fn_ptr.cxa_func = func;
181 	fn.fn_arg = arg;
182 	fn.fn_dso = dso;
183 
184 	error = atexit_register(&fn);
185 	return (error);
186 }
187 
188 #pragma weak __pthread_cxa_finalize
189 void __pthread_cxa_finalize(const struct dl_phdr_info *);
190 
191 static int global_exit;
192 
193 /*
194  * Call all handlers registered with __cxa_atexit for the shared
195  * object owning 'dso'.  Note: if 'dso' is NULL, then all remaining
196  * handlers are called.
197  */
198 void
199 __cxa_finalize(void *dso)
200 {
201 	struct dl_phdr_info phdr_info;
202 	struct atexit *p;
203 	struct atexit_fn fn;
204 	int n, has_phdr;
205 
206 	if (dso != NULL) {
207 		has_phdr = _rtld_addr_phdr(dso, &phdr_info);
208 	} else {
209 		has_phdr = 0;
210 		global_exit = 1;
211 	}
212 
213 	_MUTEX_LOCK(&atexit_mutex);
214 	for (p = __atexit; p; p = p->next) {
215 		for (n = p->ind; --n >= 0;) {
216 			if (p->fns[n].fn_type == ATEXIT_FN_EMPTY)
217 				continue; /* already been called */
218 			fn = p->fns[n];
219 			if (dso != NULL && dso != fn.fn_dso) {
220 				/* wrong DSO ? */
221 				if (!has_phdr || global_exit ||
222 				    !__elf_phdr_match_addr(&phdr_info,
223 				    fn.fn_ptr.cxa_func))
224 					continue;
225 			}
226 			/*
227 			  Mark entry to indicate that this particular handler
228 			  has already been called.
229 			*/
230 			p->fns[n].fn_type = ATEXIT_FN_EMPTY;
231 		        _MUTEX_UNLOCK(&atexit_mutex);
232 
233 			/* Call the function of correct type. */
234 			if (fn.fn_type == ATEXIT_FN_CXA)
235 				fn.fn_ptr.cxa_func(fn.fn_arg);
236 			else if (fn.fn_type == ATEXIT_FN_STD)
237 				fn.fn_ptr.std_func();
238 			_MUTEX_LOCK(&atexit_mutex);
239 		}
240 	}
241 	_MUTEX_UNLOCK(&atexit_mutex);
242 	if (dso == NULL)
243 		_MUTEX_DESTROY(&atexit_mutex);
244 
245 	if (has_phdr && !global_exit && &__pthread_cxa_finalize != NULL)
246 		__pthread_cxa_finalize(&phdr_info);
247 }
248