From: Adhemerval Zanella <adhemerval.zanella@linaro.org>
To: Szabolcs Nagy <szabolcs.nagy@arm.com>, libc-alpha@sourceware.org
Subject: Re: [PATCH 04/15] Add a DTV setup test [BZ #27136]
Date: Fri, 2 Apr 2021 16:35:10 -0300 [thread overview]
Message-ID: <2490502c-9631-eca2-61a8-afdb488fc825@linaro.org> (raw)
In-Reply-To: <c4bb27dd4ab7d53e1eb937ac1eeeff86063da5fb.1613390045.git.szabolcs.nagy@arm.com>
On 15/02/2021 08:59, Szabolcs Nagy via Libc-alpha wrote:
> The test relies on reusing slotinfo entries after dlclose which
> can result in non-monotonic increasing generation counters in
> the slotinfo list. It can trigger bug 27136.
>
> The test requires large number of modules with TLS so the
> modules of tst-tls7 are used instead of duplicating them.
This patch need to be moved after the one that actually fixes
BZ #27136.
I am getting consistently the error:
| mod[57]: &x = 0x7f1a340013f0
| mod[58]: &x = 0x7f1a340012b0
| mod[59]: &x = 0x7f1a340011f0
| mod[60]: &x = 0x7f1a340010b0
| mod[61]: &x = 0x7f1a340010f0
| mod[62]: &x = (nil)
| error: tst-tls8.c:62: dlsym failed: (null)
On multiple platforms (x86_64, arm, aarch64, and powerpc64le) and I
think this is the expected result on a platform without BZ#27136
fixed.
Patch looks ok in general, some comments below.
> ---
> nptl/Makefile | 10 ++++-
> nptl/tst-tls8.c | 96 ++++++++++++++++++++++++++++++++++++++++++
> nptl/tst-tls8mod-bad.c | 2 +
> 3 files changed, 106 insertions(+), 2 deletions(-)
> create mode 100644 nptl/tst-tls8.c
> create mode 100644 nptl/tst-tls8mod-bad.c
>
> diff --git a/nptl/Makefile b/nptl/Makefile
> index 208629876d..a11b598efd 100644
> --- a/nptl/Makefile
> +++ b/nptl/Makefile
> @@ -354,7 +354,7 @@ LDFLAGS-pthread.so = -Wl,--enable-new-dtags,-z,nodelete,-z,initfirst
> tests += tst-cancelx7 tst-cancelx17 tst-cleanupx4
>
> ifeq ($(build-shared),yes)
> -tests += tst-compat-forwarder tst-audit-threads
> +tests += tst-compat-forwarder tst-audit-threads tst-tls8
> tests-internal += tst-tls3 tst-tls3-malloc tst-tls5 tst-stackguard1 tst-tls7
> ifeq ($(have-z-execstack),yes)
> tests += tst-execstack
Ok.
> @@ -371,7 +371,7 @@ modules-names = tst-tls3mod \
> tst-execstack-mod \
> tst-compat-forwarder-mod tst-audit-threads-mod1 \
> tst-audit-threads-mod2 \
> - tst-tls7mod tst-tls7mod-dep
> + tst-tls7mod tst-tls7mod-dep tst-tls8mod-bad
> extra-test-objs += $(addsuffix .os,$(strip $(modules-names))) \
> tst-cleanup4aux.o tst-cleanupx4aux.o $(tst-tls7mod-deps)
> test-extras += tst-cleanup4aux tst-cleanupx4aux
Ok.
> @@ -528,6 +528,12 @@ $(objpfx)tst-tls7mod.so: $(tst-tls7mod-deps:%=$(objpfx)%)
> $(tst-tls7mod-deps:%=$(objpfx)%): $(objpfx)tst-tls7mod-dep.so
> cp -f $< $@
>
> +# Reuse tst-tls7mod-dep*.so.
> +tst-tls8mod-bad.so-no-z-defs = yes
> +$(objpfx)tst-tls8: $(libdl) $(shared-thread-library)
> +$(objpfx)tst-tls8.out: $(objpfx)tst-tls8mod-bad.so \
> + $(tst-tls7mod-deps:%=$(objpfx)%)
> +
> $(objpfx)tst-dlsym1: $(libdl) $(shared-thread-library)
>
> ifeq (yes,$(build-shared))
> diff --git a/nptl/tst-tls8.c b/nptl/tst-tls8.c
> new file mode 100644
> index 0000000000..be7b64c9be
> --- /dev/null
> +++ b/nptl/tst-tls8.c
> @@ -0,0 +1,96 @@
> +/* Test dtv setup if entries don't have monoton increasing generation.
s/monoton/monotonic
> + Copyright (C) 2021 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 Lesser General Public
> + License as published by the Free Software Foundation; either
> + version 2.1 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
> + Lesser General Public License for more details.
> +
> + You should have received a copy of the GNU Lesser General Public
> + License along with the GNU C Library; if not, see
> + <http://www.gnu.org/licenses/>. */
> +
> +#include <dlfcn.h>
> +#include <pthread.h>
> +#include <stdio.h>
> +#include <stdlib.h>
> +#include <support/check.h>
> +#include <support/xdlfcn.h>
> +#include <support/xthread.h>
> +
> +#define NMOD 100
> +static void *mod[NMOD];
> +
> +static void
> +load_fail (void)
> +{
> + /* Expected to fail because of a missing symbol. */
> + void *m = dlopen ("tst-tls8mod-bad.so", RTLD_NOW);
> + if (m != NULL)
> + FAIL_EXIT1 ("dlopen of tst-tls8mod-bad.so succeeded\n");
> +}
Ok.
> +
> +static void
> +load_mod (int i)
> +{
> + char buf[100];
> + sprintf (buf, "tst-tls7mod-dep-%02d.so", i);
Maybe use snprintf or xasprintf here?
> + mod[i] = xdlopen (buf, RTLD_LAZY);
> +}
> +
> +static void
> +unload_mod (int i)
> +{
> + if (mod[i])
No implicit check.
> + xdlclose (mod[i]);
> + mod[i] = 0;
Use NULL here.
> +}
> +
> +static void
> +access (int i)
> +{
> + dlerror ();
> + int *p = dlsym (mod[i], "x");
> + printf ("mod[%d]: &x = %p\n", i, p);
> + if (p == NULL)
> + FAIL_EXIT1 ("dlsym failed: %s\n", dlerror ());
> + ++*p;
> +}
> +
Ok.
> +static void *
> +start (void *a)
> +{
> + for (int i = 0; i < NMOD; i++)
> + if (mod[i])
No implicit check.
> + access (i);
> + return 0;
> +}
> +
> +static int
> +do_test (void)
> +{
> + int i;
> +
> + for (i = 0; i < NMOD; i++)
> + {
> + load_mod (i);
> + /* Bump the generation of mod[0] without using new dtv slot. */
> + unload_mod (0);
> + load_fail (); /* Ensure GL(dl_tls_dtv_gaps) is true: see bug 27135. */
> + load_mod (0);
> + /* Access TLS in all loaded modules. */
> + pthread_t t = xpthread_create (0, start, 0);
> + xpthread_join (t);
> + }
> + for (i = 0; i < NMOD; i++)
> + unload_mod (i);
> + return 0;
> +}
> +
> +#include <support/test-driver.c>
Ok.
> diff --git a/nptl/tst-tls8mod-bad.c b/nptl/tst-tls8mod-bad.c
> new file mode 100644
> index 0000000000..c1aed8ea7d
> --- /dev/null
> +++ b/nptl/tst-tls8mod-bad.c
> @@ -0,0 +1,2 @@
> +void missing_symbol (void);
> +void f (void) {missing_symbol ();}
Use the usual format:
void f (void)
{
missing_symbol ();
}
next prev parent reply other threads:[~2021-04-02 19:35 UTC|newest]
Thread overview: 40+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-15 11:56 [PATCH 00/15] Dynamic TLS related data race fixes Szabolcs Nagy
2021-02-15 11:56 ` [PATCH 01/15] aarch64: free tlsdesc data on dlclose [BZ #27403] Szabolcs Nagy
2021-04-01 12:57 ` Adhemerval Zanella
2021-04-06 13:43 ` Szabolcs Nagy
2021-04-06 16:52 ` Adhemerval Zanella
2021-02-15 11:56 ` [PATCH 02/15] elf: Fix data race in _dl_name_match_p [BZ #21349] Szabolcs Nagy
2021-04-01 14:01 ` Adhemerval Zanella
2021-04-06 16:41 ` Szabolcs Nagy
2021-02-15 11:57 ` [PATCH 03/15] Add test case for [BZ #19329] Szabolcs Nagy
2021-04-02 19:10 ` Adhemerval Zanella
2021-02-15 11:59 ` [PATCH 04/15] Add a DTV setup test [BZ #27136] Szabolcs Nagy
2021-04-02 19:35 ` Adhemerval Zanella [this message]
2021-02-15 11:59 ` [PATCH 05/15] elf: Fix a DTV setup issue " Szabolcs Nagy
2021-04-02 19:46 ` Adhemerval Zanella
2021-02-15 11:59 ` [PATCH 06/15] elf: Fix comments and logic in _dl_add_to_slotinfo Szabolcs Nagy
2021-04-02 20:50 ` Adhemerval Zanella
2021-04-06 15:48 ` Szabolcs Nagy
2021-04-06 17:47 ` Adhemerval Zanella
2021-04-07 7:57 ` Szabolcs Nagy
2021-04-07 14:20 ` Adhemerval Zanella
2021-02-15 12:00 ` [PATCH 07/15] elf: Refactor _dl_update_slotinfo to avoid use after free Szabolcs Nagy
2021-04-06 19:40 ` Adhemerval Zanella
2021-04-07 8:01 ` Szabolcs Nagy
2021-04-07 14:28 ` Adhemerval Zanella
2021-04-07 14:36 ` Adhemerval Zanella
2021-04-07 17:05 ` Adhemerval Zanella
2021-02-15 12:01 ` [PATCH 08/15] elf: Fix data races in pthread_create and TLS access [BZ #19329] Szabolcs Nagy
2021-02-15 12:01 ` [PATCH 09/15] elf: Use relaxed atomics for racy accesses " Szabolcs Nagy
2021-02-15 12:01 ` [PATCH 10/15] elf: Fix DTV gap reuse logic [BZ #27135] Szabolcs Nagy
2021-02-15 12:02 ` [PATCH 11/15] x86_64: Avoid lazy relocation of tlsdesc [BZ #27137] Szabolcs Nagy
2021-04-09 0:14 ` Ben Woodard
2021-04-09 13:38 ` Szabolcs Nagy
2021-04-09 14:55 ` Ben Woodard
2021-02-15 12:02 ` [PATCH 12/15] i386: " Szabolcs Nagy
2021-02-15 12:02 ` [PATCH 13/15] x86_64: Remove lazy tlsdesc relocation related code Szabolcs Nagy
2021-02-15 12:03 ` [PATCH 14/15] i386: " Szabolcs Nagy
2021-02-15 12:03 ` [PATCH 15/15] elf: " Szabolcs Nagy
2021-02-15 12:08 ` [PATCH 03/15] Add test case for [BZ #19329] Szabolcs Nagy
2021-02-15 12:08 ` [PATCH 06/15] elf: Fix comments and logic in _dl_add_to_slotinfo Szabolcs Nagy
[not found] ` <CGME20210215115731epcas5p45614957debad2f679230d0bd1efbd57f@epcms5p7>
2021-02-15 12:11 ` [PATCH 02/15] elf: Fix data race in _dl_name_match_p [BZ #21349] Maninder Singh
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=2490502c-9631-eca2-61a8-afdb488fc825@linaro.org \
--to=adhemerval.zanella@linaro.org \
--cc=libc-alpha@sourceware.org \
--cc=szabolcs.nagy@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).