locking/atomics: Add common header generation files
authorMark Rutland <mark.rutland@arm.com>
Tue, 4 Sep 2018 10:48:25 +0000 (11:48 +0100)
committerIngo Molnar <mingo@kernel.org>
Thu, 1 Nov 2018 10:00:36 +0000 (11:00 +0100)
commitace9bad4df2684f31cbfe8c4ce7a0f5d92b27925
treeb3069a412f23b9469d8b7193a723a8de750d275a
parent01a14bda11add9dcd4a59200f13834d634559935
locking/atomics: Add common header generation files

To minimize repetition, to allow for future rework, and to ensure
regularity of the various atomic APIs, we'd like to automatically
generate (the bulk of) a number of headers related to atomics.

This patch adds the infrastructure to do so, leaving actual conversion
of headers to subsequent patches. This infrastructure consists of:

* atomics.tbl - a table describing the functions in the atomics API,
  with names, prototypes, and metadata describing the variants that
  exist (e.g fetch/return, acquire/release/relaxed). Note that the
  return type is dependent on the particular variant.

* atomic-tbl.sh - a library of routines useful for dealing with
  atomics.tbl (e.g. querying which variants exist, or generating
  argument/parameter lists for a given function variant).

* gen-atomic-fallback.sh - a script which generates a header of
  fallbacks, covering cases where architecture omit certain functions
  (e.g. omitting relaxed variants).

* gen-atomic-long.sh - a script which generates wrappers providing the
  atomic_long API atomic of the relevant atomic or atomic64 API,
  ensuring the APIs are consistent.

* gen-atomic-instrumented.sh - a script which generates atomic* wrappers
  atop of arch_atomic* functions, with automatically generated KASAN
  instrumentation.

* fallbacks/* - a set of fallback implementations for atomics, which
  should be used when no implementation of a given atomic is provided.
  These are used by gen-atomic-fallback.sh to generate fallbacks, and
  these are also used by other scripts to determine the set of optional
  atomics (as required to generate preprocessor guards correctly).

  Fallbacks may use the following variables:

  ${atomic}     atomic prefix: atomic/atomic64/atomic_long, which can be
used to derive the atomic type, and to prefix functions

  ${int}        integer type: int/s64/long

  ${pfx}        variant prefix, e.g. fetch_

  ${name}       base function name, e.g. add

  ${sfx}        variant suffix, e.g. _return

  ${order}      order suffix, e.g. _relaxed

  ${atomicname} full name, e.g. atomic64_fetch_add_relaxed

  ${ret}        return type of the function, e.g. void

  ${retstmt}    a return statement (with a trailing space), unless the
                variant returns void

  ${params}     parameter list for the function declaration, e.g.
                "int i, atomic_t *v"

  ${args}       argument list for invoking the function, e.g. "i, v"

  ... for clarity, ${ret}, ${retstmt}, ${params}, and ${args} are
  open-coded for fallbacks where these do not vary, or are critical to
  understanding the logic of the fallback.

The MAINTAINERS entry for the atomic infrastructure is updated to cover
the new scripts.

There should be no functional change as a result of this patch.

Signed-off-by: Mark Rutland <mark.rutland@arm.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Cc: linux-arm-kernel@lists.infradead.org
Cc: catalin.marinas@arm.com
Cc: Will Deacon <will.deacon@arm.com>
Cc: linuxdrivers@attotech.com
Cc: dvyukov@google.com
Cc: Boqun Feng <boqun.feng@gmail.com>
Cc: arnd@arndb.de
Cc: aryabinin@virtuozzo.com
Cc: glider@google.com
Link: http://lkml.kernel.org/r/20180904104830.2975-2-mark.rutland@arm.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
25 files changed:
MAINTAINERS
scripts/atomic/atomic-tbl.sh [new file with mode: 0644]
scripts/atomic/atomics.tbl [new file with mode: 0644]
scripts/atomic/fallbacks/acquire [new file with mode: 0644]
scripts/atomic/fallbacks/add_negative [new file with mode: 0644]
scripts/atomic/fallbacks/add_unless [new file with mode: 0644]
scripts/atomic/fallbacks/andnot [new file with mode: 0644]
scripts/atomic/fallbacks/dec [new file with mode: 0644]
scripts/atomic/fallbacks/dec_and_test [new file with mode: 0644]
scripts/atomic/fallbacks/dec_if_positive [new file with mode: 0644]
scripts/atomic/fallbacks/dec_unless_positive [new file with mode: 0644]
scripts/atomic/fallbacks/fence [new file with mode: 0644]
scripts/atomic/fallbacks/fetch_add_unless [new file with mode: 0644]
scripts/atomic/fallbacks/inc [new file with mode: 0644]
scripts/atomic/fallbacks/inc_and_test [new file with mode: 0644]
scripts/atomic/fallbacks/inc_not_zero [new file with mode: 0644]
scripts/atomic/fallbacks/inc_unless_negative [new file with mode: 0644]
scripts/atomic/fallbacks/read_acquire [new file with mode: 0644]
scripts/atomic/fallbacks/release [new file with mode: 0644]
scripts/atomic/fallbacks/set_release [new file with mode: 0644]
scripts/atomic/fallbacks/sub_and_test [new file with mode: 0644]
scripts/atomic/fallbacks/try_cmpxchg [new file with mode: 0644]
scripts/atomic/gen-atomic-fallback.sh [new file with mode: 0644]
scripts/atomic/gen-atomic-instrumented.sh [new file with mode: 0644]
scripts/atomic/gen-atomic-long.sh [new file with mode: 0644]