[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <87muj2k4ov.fsf@oldenburg2.str.redhat.com>
Date: Fri, 31 May 2019 17:46:08 +0200
From: Florian Weimer <fweimer@...hat.com>
To: Mathieu Desnoyers <mathieu.desnoyers@...icios.com>
Cc: carlos <carlos@...hat.com>, Joseph Myers <joseph@...esourcery.com>,
Szabolcs Nagy <szabolcs.nagy@....com>,
libc-alpha <libc-alpha@...rceware.org>,
Thomas Gleixner <tglx@...utronix.de>,
Ben Maurer <bmaurer@...com>,
Peter Zijlstra <peterz@...radead.org>,
"Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>,
Boqun Feng <boqun.feng@...il.com>,
Will Deacon <will.deacon@....com>,
Dave Watson <davejwatson@...com>, Paul Turner <pjt@...gle.com>,
Rich Felker <dalias@...c.org>,
linux-kernel <linux-kernel@...r.kernel.org>,
linux-api <linux-api@...r.kernel.org>
Subject: Re: [PATCH 1/5] glibc: Perform rseq(2) registration at C startup and thread creation (v10)
* Mathieu Desnoyers:
> Let's break this down into the various sub-issues involved:
>
> 1) How early do we need to setup rseq ? Should it be setup before:
> - LD_PRELOAD .so constructors ?
> - Without circular dependency,
> - With circular dependency,
> - audit libraries initialization ?
> - IFUNC resolvers ?
> - other callbacks ?
> - memory allocator calls ?
>
> We may end up in a situation where we need memory allocation to be setup
> in order to initialize TLS before rseq can be registered for the main
> thread. I suspect we will end up needing a fallbacks which always work
> for the few cases that would try to use rseq too early in dl/libc startup.
I think the answer to that depends on whether it's okay to have an
observable transition from “no rseq kernel support” to “kernel supports
rseq”.
> 2) Do we need to setup __rseq_handled and __rseq_abi at the same stage of
> startup, or is it OK to setup __rseq_handled before __rseq_abi ?
I think we should be able to set __rseq_handle early, even if we can
perform the rseq area registration later. (The distinction does not
matter if the registration needs to be performed early as well.)
Setting __rseq_handle in ld.so is easy if the variable is defined in
ld.so, which is not a problem at all.
> 3) Which shared object owns __rseq_handled and __rseq_abi ?
> - libc.so ?
> - ld-linux-*.so.2 ?
> - Should both symbols be owned by the same .so ?
I think we can pick whatever works, based on the requirements from (1).
It's an implementation detail (altough it currently becomes part of the
ABI for weird reasons, but the choice itself is arbitrary).
> - What about the !SHARED case ? I think this would end up in libc.a
> in all cases.
Correct.
> 4) Inability to touch a TLS variable (__rseq_abi) from ld-linux-*.so.2
> - Should we extend the dynamic linker to allow such TLS variable to be
> accessed ? If so, how much effort is required ?
> - Can we find an alternative way to initialize rseq early during
> dl init stages while still performing the TLS access from a function
> implemented within libc.so ?
This is again related to the answer for (1). There are various hacks we
could implement to make the initialization invisible (e.g., computing
the address of the variable using the equivalent of dlsym, after loading
all the initial objects and before starting relocation). If it's not
too hard to add TLS support to ld.so, we can consider that as well.
(The allocation side should be pretty easy, relocation support it could
be more tricky.)
> So far, I got rseq to be initialized before LD_PRELOADed library
> constructors by doing the initialization in a constructor within
> libc.so. I don't particularly like this approach, because the
> constructor order is not guaranteed.
Right.
> One possible solution would be to somehow expose a rseq initialization
> function symbol from libc.so, look it up from ld-linux-*.so.2, and
> invoke it after libc.so has been loaded. It would end up being similar
> to a constructor, but with a fixed invocation order.
This would still expose lack of rseq support to IFUNC resolvers
initially. I don't know if this is a problem (again, it comes down to
(1) above). There is a school of thought that you can't reference
__rseq_abi from an IFUNC resolver because it needs a relocation.
Thanks,
Florian
Powered by blists - more mailing lists