Page MenuHomeFreeBSD

rtld: Fix i386/amd64 TP offset when p_vaddr % p_align != 0

Authored by on Aug 14 2021, 3:55 AM.



For a Variant II architecture, the TP offset of a TLS symbol is st_value -
tlsoffset + r_addend. tlsoffset is computed by either calculate_tls_offset
or calculate_first_tls_offset.

The return value of calculate_first_tls_offset is the smallest integer satisfying
res >= size and (-res)%p_align = p_vaddr%p_align (= p_offset%p_align).
(The formula is a bit contrived. The basic idea is to subtract the minimum
integer from size+align-1 so that the result has the expected remainder.)

Tested on amd64 by linking x.o and y.o with a patched LLD
( so that p_vaddr%p_align!=0.
calculate_first_tls_offset must match @TPOFF computed by the linker.

// x.s
.globl foo; foo: movl %fs:a@TPOFF, %eax; ret
.section .tdata,"awT"; a: .long 42
.section .tbss,"awT",@nobits; .balign 512

// y.c
#include <stdio.h>
int foo();
int main() { printf("%d\n", foo()); }

# Before the patch: 0 (incorrect)
# With the patch: 42

I use clang -Wl,--reproduce=rep.tar to create a tarball, then
replace with the freshly built amd64.amd64/lib/libc/
and point --dynamic-linker to the freshly built amd64.amd64/libexec/rtld-elf/

You may use: git commit --amend --author='Fangrui Song <>'

Diff Detail

R10 FreeBSD src repository
Automatic diff as part of commit; lint not applicable.
Automatic diff as part of commit; unit tests not applicable.