source: mainline/uspace/lib/c/generic/thread/tls.c@ ffccdff0

lfn serial ticket/834-toolchain-update topic/msim-upgrade topic/simplify-dev-export
Last change on this file since ffccdff0 was ffccdff0, checked in by Martin Decky <martin@…>, 5 years ago

Unify alignment handling

Use the C11 alignof() operator. Make sure the allocation alignment is
sufficient.

  • Property mode set to 100644
File size: 6.6 KB
Line 
1/*
2 * Copyright (c) 2006 Jakub Jermar
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * - Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 * - Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
14 * - The name of the author may not be used to endorse or promote products
15 * derived from this software without specific prior written permission.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/** @addtogroup libc
30 * @{
31 */
32/** @file
33 *
34 * Support for thread-local storage, as described in:
35 * Drepper U.: ELF Handling For Thread-Local Storage, 2005
36 */
37
38#include <assert.h>
39#include <stdalign.h>
40#include <stddef.h>
41#include <align.h>
42#include <tls.h>
43#include <stdlib.h>
44#include <str.h>
45#include <macros.h>
46#include <elf/elf.h>
47#include <as.h>
48
49#include <libarch/config.h>
50
51#ifdef CONFIG_RTLD
52#include <rtld/rtld.h>
53#endif
54
55#include "../private/libc.h"
56
57#if !defined(CONFIG_TLS_VARIANT_1) && !defined(CONFIG_TLS_VARIANT_2)
58#error Unknown TLS variant.
59#endif
60
61static ptrdiff_t _tcb_data_offset(void)
62{
63 const elf_segment_header_t *tls =
64 elf_get_phdr(__progsymbols.elfstart, PT_TLS);
65
66 size_t tls_align = tls ? tls->p_align : 1;
67
68#ifdef CONFIG_TLS_VARIANT_1
69 return ALIGN_UP((ptrdiff_t) sizeof(tcb_t), tls_align);
70#else
71 size_t tls_size = tls ? tls->p_memsz : 0;
72 return -ALIGN_UP((ptrdiff_t) tls_size, max(tls_align, alignof(tcb_t)));
73#endif
74}
75
76/** Get address of static TLS block */
77void *tls_get(void)
78{
79#ifdef CONFIG_RTLD
80 assert(runtime_env == NULL);
81#endif
82 return (uint8_t *)__tcb_get() + _tcb_data_offset();
83}
84
85static tcb_t *tls_make_generic(const void *elf, void *(*alloc)(size_t, size_t))
86{
87 assert(!elf_get_phdr(elf, PT_DYNAMIC));
88#ifdef CONFIG_RTLD
89 assert(runtime_env == NULL);
90#endif
91
92 const elf_segment_header_t *tls = elf_get_phdr(elf, PT_TLS);
93 size_t tls_size = tls ? tls->p_memsz : 0;
94 size_t tls_align = tls ? tls->p_align : 1;
95
96 /*
97 * We don't currently support alignment this big,
98 * and neither should we need to.
99 */
100 assert(tls_align <= PAGE_SIZE);
101
102#ifdef CONFIG_TLS_VARIANT_1
103 size_t alloc_size =
104 ALIGN_UP(sizeof(tcb_t), tls_align) + tls_size;
105#else
106 size_t alloc_size =
107 ALIGN_UP(tls_size, max(tls_align, alignof(tcb_t))) + sizeof(tcb_t);
108#endif
109
110 void *area = alloc(max(tls_align, alignof(tcb_t)), alloc_size);
111 if (!area)
112 return NULL;
113
114#ifdef CONFIG_TLS_VARIANT_1
115 tcb_t *tcb = area;
116 uint8_t *data = (uint8_t *)tcb + _tcb_data_offset();
117 memset(tcb, 0, sizeof(*tcb));
118#else
119 uint8_t *data = area;
120 tcb_t *tcb = (tcb_t *) (data - _tcb_data_offset());
121 memset(tcb, 0, sizeof(tcb_t));
122 tcb->self = tcb;
123#endif
124
125 if (!tls)
126 return tcb;
127
128 uintptr_t bias = elf_get_bias(elf);
129
130 /* Copy thread local data from the initialization image. */
131 memcpy(data, (void *)(tls->p_vaddr + bias), tls->p_filesz);
132 /* Zero out the thread local uninitialized data. */
133 memset(data + tls->p_filesz, 0, tls->p_memsz - tls->p_filesz);
134
135 return tcb;
136}
137
138static void *early_alloc(size_t align, size_t alloc_size)
139{
140 assert(align <= PAGE_SIZE);
141 alloc_size = ALIGN_UP(alloc_size, PAGE_SIZE);
142
143 void *area = as_area_create(AS_AREA_ANY, alloc_size,
144 AS_AREA_READ | AS_AREA_WRITE | AS_AREA_CACHEABLE, AS_AREA_UNPAGED);
145 if (area == AS_MAP_FAILED)
146 return NULL;
147 return area;
148}
149
150/** Same as tls_make(), but uses as_area_create() instead of memalign().
151 * Only used in __libc_main() if the program was created by the kernel.
152 */
153tcb_t *tls_make_initial(const void *elf)
154{
155 return tls_make_generic(elf, early_alloc);
156}
157
158/** Create TLS (Thread Local Storage) data structures.
159 *
160 * @return Pointer to TCB.
161 */
162tcb_t *tls_make(const void *elf)
163{
164 // TODO: Always use rtld.
165
166#ifdef CONFIG_RTLD
167 if (runtime_env != NULL)
168 return rtld_tls_make(runtime_env);
169#endif
170
171 return tls_make_generic(elf, memalign);
172}
173
174void tls_free(tcb_t *tcb)
175{
176#ifdef CONFIG_RTLD
177 free(tcb->dtv);
178
179 if (runtime_env != NULL) {
180 tls_free_arch(tcb, runtime_env->tls_size, runtime_env->tls_align);
181 return;
182 }
183#endif
184 const elf_segment_header_t *tls =
185 elf_get_phdr(__progsymbols.elfstart, PT_TLS);
186
187 assert(tls != NULL);
188 tls_free_arch(tcb,
189 ALIGN_UP(tls->p_memsz, tls->p_align) + sizeof(tcb_t),
190 max(tls->p_align, alignof(tcb_t)));
191}
192
193#ifdef CONFIG_TLS_VARIANT_1
194/** Allocate TLS variant 1 data structures.
195 *
196 * @param data Start of TLS section. This is an output argument.
197 * @param size Size of tdata + tbss section.
198 * @return Pointer to tcb_t structure.
199 */
200tcb_t *tls_alloc_variant_1(size_t size, size_t align)
201{
202 tcb_t *tcb = memalign(align, size);
203 if (!tcb)
204 return NULL;
205 memset(tcb, 0, sizeof(tcb_t));
206 return tcb;
207}
208
209/** Free TLS variant I data structures.
210 *
211 * @param tcb Pointer to TCB structure.
212 * @param size This argument is ignored.
213 */
214void tls_free_variant_1(tcb_t *tcb, size_t size, size_t align)
215{
216 free(tcb);
217}
218#endif
219
220#ifdef CONFIG_TLS_VARIANT_2
221/** Allocate TLS variant II data structures.
222 *
223 * @param data Pointer to pointer to thread local data. This is
224 * actually an output argument.
225 * @param size Size of thread local data.
226 * @param align Alignment of thread local data.
227 * @return Pointer to TCB structure.
228 */
229tcb_t *tls_alloc_variant_2(size_t size, size_t align)
230{
231 void *data = memalign(align, size);
232 if (data == NULL)
233 return NULL;
234
235 tcb_t *tcb = (tcb_t *) (data + size - sizeof(tcb_t));
236 memset(tcb, 0, sizeof(tcb_t));
237 tcb->self = tcb;
238 return tcb;
239}
240
241/** Free TLS variant II data structures.
242 *
243 * @param tcb Pointer to TCB structure.
244 * @param size Size of thread local data.
245 * @param align Alignment of thread local data.
246 */
247void tls_free_variant_2(tcb_t *tcb, size_t size, size_t align)
248{
249 if (tcb != NULL) {
250 void *start = ((void *) tcb) + sizeof(tcb_t) - size;
251 free(start);
252 }
253}
254#endif
255
256/** @}
257 */
Note: See TracBrowser for help on using the repository browser.