Thanks Jonathan,

I agree with your point that having just the check against one of the 
overloaded versions is not very robust and having multiple checks against 
different versions would be better.

Unfortunately - while asking the clang folk about this I realised that clang 
doesn't expose the resolved versions (e.g. the existing versions like 
`__atomic_load_2` etc) to the user.
Instead they allow using SFINAE on these overloaded builtins.
https://discourse.llvm.org/t/atomic-floating-point-operations-and-libstdc/81461

I spent some time looking at this and it seems that enabling SFINAE in GCC for 
these builtins is not too problematic (idea being to pass in a 
`error_on_noresolve` boolean to `resolve_overloaded_builtin` based on the 
context in the C++ frontend, then only emit errors if that boolean is set).

To Jonathon:

  *
Would you be OK with using SFINAE to choose whether to use the 
__atomic_fetch_add builtin for floating point types in libstdc++?

At C++ frontend maintainers I Cc'd in:

  *
Are you happy with the idea of enabling SFINAE on overloaded builtins resolved 
via resolve_overloaded_builtin?

To global maintainers I Cc'd in:

  *
Is there any reason you know of not to enable SFINAE on the overloaded builtins?
  *
Would it be OK to enable SFINAE on the generic overloaded builtins and add the 
parameter so that targets can do the same for their target-specific builtins 
(i.e. without changing the behaviour of the existing target specific builtins)?

________________________________
From: Jonathan Wakely <jwak...@redhat.com>
Sent: 19 September 2024 3:47 PM
To: Matthew Malcomson <mmalcom...@nvidia.com>
Cc: gcc-patches@gcc.gnu.org <gcc-patches@gcc.gnu.org>; Joseph Myers 
<josmy...@redhat.com>; Richard Biener <rguent...@suse.de>
Subject: Re: [PATCH 0/8] [RFC] Introduce floating point fetch_add builtins

External email: Use caution opening links or attachments


On Thu, 19 Sept 2024 at 14:12, <mmalcom...@nvidia.com> wrote:
>
> From: Matthew Malcomson <mmalcom...@nvidia.com>
>
> Hello, this is an RFC for adding an atomic floating point fetch_add builtin
> (and variants) to GCC.  The atomic fetch_add operation is defined to work
> on the base floating point types in the C++20 standard chapter 31.7.3, and
> extended to work for all cv-unqualified floating point types in C++23
> chapter 33.5.7.4.
>
> Honestly not sure who to Cc, please do point me to someone else if that's
> better.
>
> This is nowhere near complete (for one thing even the tests I've added
> don't fully pass), but I think I have a complete enough idea that it's
> worth checking if this is something that could be agreed on.
>
> As it stands no target except the nvptx backend would natively support
> these operations.
>
> Main questions that I'm looking to resolve with this RFC:
> 1) Would GCC be OK accepting this implementation even though no backend
>    would be implementing these yet?
>    - AIUI only the nvptx backend could theoretically implement this.
>    - Even without a backend implementing it natively, the ability to use
>      this in code (especially libstdc++) enables other compilers to
>      generate better code for GPU's using standard C++.
> 2) Would libstdc++ be OK relying on `__has_builtin(__atomic_fetch_add_fp)`
>    (i.e. a check on the resolved builtin rather than the more user-facing
>    one) in order to determine whether floating point atomic fetch_add is
>    available.

Yes, if that name is what other compilers will also use (have you
discussed this with Clang?)

It looks like PATCH 5/8 only uses the _fp name for fetch_add though,
and just uses fetch_sub etc. for the other functions, is that a
mistake?

>    - N.b. this builtin is actually the builtin working on the "double"

OK, so the library code just calls the generic __atomic_fetch_add that
accepts any types, but then that gets expanded to a more specific form
for float, double etc.?
And the more specific form has to exist at some level, because we need
an extern symbol from libatomic, so either we include the type as an
explicit suffix on the name, or we use some kind of name mangling like
_Z18__atomic_fetch_addPdS_S_, which is obviously nasty.

>      type, one would have to rely on any compilers implementing that
>      particular resolved builtin to also implement the other floating point
>      atomic fetch_add builtins that they would want to support in libstdc++
>      `atomic<[floating_point_type]>::fetch_add`.

This seems a bit concerning. I can imagine somebody implementing these
for float and double first, but leaving long double, _Float64,
_Float32, _Float128 etc. for later. In that case, libstdc++ would not
work if somebody tries to use std::atomic<long double>, or whichever
types aren't supported yet. It's OK if we can be *sure* that won't
happen i.e. that Clang will either implement the new built-in for
*all* FP types, or none.

>
> More specific questions about the choice of which builtins to implement and
> whether the types are OK:
> 1) Is it OK to not implement the `__sync_*` versions?
>    Since these are deprecated and the `__atomic_*` versions are there to
>    match the C/C++ code atomic operations (which is a large part of the
>    reason for the new floating point operations).
> 2) Is it OK to not implement all the `fetch_*` operations?
>    None of the bitwise operations are specified for C++ and bitwise
>    operations are (AIUI) rarely used on floating point values.

That seems OK (entirely correct even) to me.


> 3) Wanting to be able to farm out to libatomic meant that we need constant 
> names
>    for the specialised functions.
>    - This led to the naming convention based on floating point type.
>    - That naming convention *could* be updated to include the special backend
>      floating point types if needed.  I have not done this mostly because I
>      thought it would not add much, though I have not looked into this very
>      closely.
> 4) Wanting to name the functions based on floating point type rather than size
>    meant that the mapping from type passed to the overloaded version to
>    specialised builtin was less direct than for the integral versions.
>    - Ended up with a hard-coded table in the source to check this.
>    - Would very much like some better approach, not certain what better 
> approach
>      I could find.
>    - Will eventually at least share the hard-coded tables (which isn't
>      happening yet because this is at RFC level).
> 5) Are there any other types that I should use?
>    Similarly are there any types that I'm trying to use that I shouldn't?
>    I *believe* I've implemented all the types that make sense and are
>    general builtin types.  Could easily have missed some (e.g. left
>    `_Float128x` alone because AIUI it's larger than 128bits which means we
>    don't have any other atomic operations on such data), could also easily

That seems like a problem though - it means that GCC could be in
exactly the concerning position described above: there could be a FP
type (_Float128x) for which we have no __atomic_fetch_add built-in,
but the __has_builtin(__atomic_fetch_add) check would work, because
the built-in for double exists. So std::atomic<_Float128x> would not
work.

I don't think that's a problem today, because we don't have a
_Float128x type AFAIK. But that suggests to me that the rule for
whether to define the built-in for a FP type needs to be based on
whether the type exists at all, not whether we have other atomic ops
for it.

Maybe the libstdc++ code should have a separate __has_builtin check
for each type, e.g.

         bool __use_builtin = false;
+#if __has_builtin(__atomic_fetch_add_fp)
+       if constexpr (is_same_v<_Tp, double>)
+         __use_builtin = true;
+##endif
+#if __has_builtin(__atomic_fetch_add_fpf)
+       if constexpr (is_same_v<_Tp, float>)
+         __use_builtin = true;
+##endif
+#if __has_builtin(__atomic_fetch_add_fpl)
+       if constexpr (is_same_v<_Tp, long double>)
+         __use_builtin = true;
+##endif
// ...

        if (__use_builtin)
         return __atomic_fatch_add(...);
       // .. current CAS-based implementation

And so on with __has_builtin checks for the function for each type.
This would be a lot more tedious, but would handle the case where the
new built-in is only supported for some types.


>    be misunderstanding the mention in the C++ standards of "extended" types
>    (which I believe is the `_Float*` and `bfloat16` types).

Yes. The C++ standard says there's a typedef std::float32_t which
denotes some implementation-defined type, which is _Float32 in our
implementation. But the _Float32 name is not in the C++ standard.


> 6) Anything special about floating point maths that I'm tripping up on?
>    (Especially around CAS loop where we expand the operation directly,
>    sometimes convert a PLUS into a MINUS of a negative value ...).
>    Don't know of anything myself, but also a bit wary of floating point
>    maths.
>
> N.b. I know that there's a reasonable amount of work left in:
> 1) Ensuring that all the places which use atomic types are updated
>    (e.g. asan),
> 2) Ensuring that all frontends can use these to the level that they could
>    use the integral atomics.
> 3) Ensuring the major backends can still compile libatomic (I had to do
>    something in AArch64 libatomic backend to make it compile, seems like
>    there might be more to do for others).
>
>
> Matthew Malcomson (8):
>   Define new floating point builtin fetch_add functions
>   Add FP types for atomic builtin overload resolution
>   Tie the new atomic builtins to the backend
>   Have libatomic working as first draft
>   Use new builtins in libstdc++
>   First attempt at testsuite
>   Mention floating point atomic fetch_add etc in docs
>   Add demo implementation of one of the operations
>
>  gcc/builtin-types.def                         |   20 +
>  gcc/builtins.cc                               |  153 ++-
>  gcc/c-family/c-common.cc                      |   88 +-
>  gcc/config/aarch64/aarch64.h                  |    2 +
>  gcc/config/aarch64/aarch64.opt                |    5 +
>  gcc/config/aarch64/atomics.md                 |   15 +
>  gcc/doc/extend.texi                           |   12 +
>  gcc/fortran/types.def                         |   48 +
>  gcc/optabs.cc                                 |  101 +-
>  gcc/optabs.def                                |    6 +-
>  gcc/optabs.h                                  |    2 +-
>  gcc/sync-builtins.def                         |   40 +
>  gcc/testsuite/gcc.dg/atomic-op-fp.c           |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf.c          |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf128.c       |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf16.c        |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf16b.c       |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf32.c        |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf32x.c       |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf64.c        |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpf64x.c       |  204 +++
>  gcc/testsuite/gcc.dg/atomic-op-fpl.c          |  204 +++
>  gcc/testsuite/lib/target-supports.exp         |  463 ++++++-
>  libatomic/Makefile.am                         |    6 +-
>  libatomic/Makefile.in                         |   12 +-
>  libatomic/acinclude.m4                        |   49 +
>  libatomic/auto-config.h.in                    |   84 +-
>  libatomic/config/linux/aarch64/host-config.h  |    2 +
>  libatomic/configure                           | 1153 ++++++++++++++++-
>  libatomic/configure.ac                        |    4 +
>  libatomic/fadd_n.c                            |   23 +
>  libatomic/fop_n.c                             |    5 +-
>  libatomic/fsub_n.c                            |   23 +
>  libatomic/libatomic.map                       |   44 +
>  libatomic/libatomic_i.h                       |   58 +
>  libatomic/testsuite/Makefile.in               |    1 +
>  .../testsuite/libatomic.c/atomic-op-fp.c      |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf.c     |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf128.c  |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf16.c   |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf16b.c  |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf32.c   |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf32x.c  |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf64.c   |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpf64x.c  |  203 +++
>  .../testsuite/libatomic.c/atomic-op-fpl.c     |  203 +++
>  libstdc++-v3/include/bits/atomic_base.h       |   16 +
>  47 files changed, 6393 insertions(+), 112 deletions(-)
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fp.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf128.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf16.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf16b.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf32.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf32x.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf64.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpf64x.c
>  create mode 100644 gcc/testsuite/gcc.dg/atomic-op-fpl.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fp.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf128.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf16.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf16b.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf32.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf32x.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf64.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpf64x.c
>  create mode 100644 libatomic/testsuite/libatomic.c/atomic-op-fpl.c
>
> --
> 2.43.0
>

Reply via email to