Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
From:   Florian Weimer <fweimer@redhat.com>
To:     Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Cc:     Carlos O'Donell <carlos@redhat.com>,
        Joseph Myers <joseph@codesourcery.com>,
        Szabolcs Nagy <szabolcs.nagy@arm.com>,
        libc-alpha@sourceware.org, Thomas Gleixner <tglx@linutronix.de>,
        Ben Maurer <bmaurer@fb.com>,
        Peter Zijlstra <peterz@infradead.org>,
        "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>,
        Boqun Feng <boqun.feng@gmail.com>,
        Will Deacon <will.deacon@arm.com>,
        Dave Watson <davejwatson@fb.com>, Paul Turner <pjt@google.com>,
        Rich Felker <dalias@libc.org>, linux-kernel@vger.kernel.org,
        linux-api@vger.kernel.org
Subject: Re: [PATCH glibc 1/3] glibc: Perform rseq registration at C startup and thread creation (v20)
References: <20200527185130.5604-1-mathieu.desnoyers@efficios.com>
        <20200527185130.5604-2-mathieu.desnoyers@efficios.com>
Date:   Wed, 03 Jun 2020 14:05:21 +0200
In-Reply-To: <20200527185130.5604-2-mathieu.desnoyers@efficios.com> (Mathieu
        Desnoyers's message of "Wed, 27 May 2020 14:51:28 -0400")
Message-ID: <87d06gxsla.fsf@oldenburg2.str.redhat.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

* Mathieu Desnoyers:

> +#ifdef __cplusplus
> +# if  __cplusplus >=3D 201103L
> +#  define __rseq_static_assert(expr, diagnostic) static_assert (expr, di=
agnostic)
> +#  define __rseq_alignof(type)                   alignof (type)
> +#  define __rseq_alignas(x)                      alignas (x)
> +#  define __rseq_tls_storage_class               thread_local
> +# endif
> +#elif (defined __STDC_VERSION__ ? __STDC_VERSION__ : 0) >=3D 201112L
> +# define __rseq_static_assert(expr, diagnostic)  _Static_assert (expr, d=
iagnostic)
> +# define __rseq_alignof(type)                    _Alignof (type)
> +# define __rseq_alignas(x)                       _Alignas (x)
> +# define __rseq_tls_storage_class                _Thread_local
> +#endif

This does not seem to work.  I get this with GCC 9:

In file included from /tmp/cih_test_gsrKbC.cc:8:0:
../sysdeps/unix/sysv/linux/sys/rseq.h:42:50: error: attribute ignored [-Wer=
ror=3Dattributes]
 #  define __rseq_alignas(x)                      alignas (x)
                                                  ^
../sysdeps/unix/sysv/linux/sys/rseq.h:122:14: note: in expansion of macro =
=E2=80=98__rseq_alignas=E2=80=99
     uint32_t __rseq_alignas (32) version;
              ^

In any case, these changes really have to go into the UAPI header first.
Only the __thread handling should remain.  Otherwise, we'll have a tough
situation on our hands changing the UAPI header, without introducing
macro definition conflicts.  I'd suggest to stick to the aligned
attribute for the time being, like the current UAPI headers.

The resut looks okay to me.

I'm still waiting for feedback from other maintainers whether the level
of documentation and testing is appropriate.

Thanks,
Florian