about summary refs log tree commit diff
path: root/nptl/tst-tls1.c
blob: 727610bc0ad3ad73aa6862611827289a8fa7fd28 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
/* Copyright (C) 2003-2020 Free Software Foundation, Inc.
   This file is part of the GNU C Library.
   Contributed by Ulrich Drepper <drepper@redhat.com>, 2003.

   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
   <https://www.gnu.org/licenses/>.  */

#include <pthread.h>
#include <stdio.h>
#include <stdlib.h>
#include <stdint.h>
#include <inttypes.h>
#include <support/support.h>
#include <support/check.h>
#include <support/xthread.h>

struct test_s
{
  __attribute__ ((aligned(0x20))) int a;
  __attribute__ ((aligned(0x200))) int b;
};

#define INIT_A 1
#define INIT_B 42
/* Deliberately not static.  */
__thread struct test_s s __attribute__ ((tls_model ("initial-exec"))) =
{
  .a = INIT_A,
  .b = INIT_B
};

/* Use noinline in combination with not static to ensure that the
   alignment check is really done.  Otherwise it was optimized out!  */
__attribute__ ((noinline)) void
check_alignment (const char *thr_name, const char *ptr_name,
		 int *ptr, int alignment)
{
  uintptr_t offset_aligment = ((uintptr_t) ptr) & (alignment - 1);
  if (offset_aligment)
    {
      FAIL_EXIT1 ("%s (%p) is not 0x%x-byte aligned in %s thread\n",
		  ptr_name, ptr, alignment, thr_name);
    }
}

static void
check_s (const char *thr_name)
{
  if (s.a != INIT_A || s.b != INIT_B)
    FAIL_EXIT1 ("initial value of s in %s thread wrong\n", thr_name);

  check_alignment (thr_name, "s.a", &s.a, 0x20);
  check_alignment (thr_name, "s.b", &s.b, 0x200);
}

static void *
tf (void *arg)
{
  check_s ("child");

  ++s.a;

  return NULL;
}


int
do_test (void)
{
  check_s ("main");

  pthread_attr_t a;

  xpthread_attr_init (&a);

#define STACK_SIZE (1 * 1024 * 1024)
  xpthread_attr_setstacksize (&a, STACK_SIZE);

#define N 10
  int i;
  for (i = 0; i < N; ++i)
    {
#define M 10
      pthread_t th[M];
      int j;
      for (j = 0; j < M; ++j, ++s.a)
	th[j] = xpthread_create (&a, tf, NULL);

      for (j = 0; j < M; ++j)
	xpthread_join (th[j]);
    }

  /* Also check the alignment of the tls variables if a misaligned stack is
     specified.  */
  pthread_t th;
  void *thr_stack = NULL;
  thr_stack = xposix_memalign (0x200, STACK_SIZE + 1);
  xpthread_attr_setstack (&a, thr_stack + 1, STACK_SIZE);
  th = xpthread_create (&a, tf, NULL);
  xpthread_join (th);
  free (thr_stack);

  xpthread_attr_destroy (&a);

  return 0;
}

#include <support/test-driver.c>