lkml.org 
[lkml]   [2020]   [Jul]   [21]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 8/8] locking/atomics: Use read-write instrumentation for atomic RMWs
On Tue, Jul 21, 2020 at 12:30:16PM +0200, Marco Elver wrote:

> diff --git a/scripts/atomic/gen-atomic-instrumented.sh b/scripts/atomic/gen-atomic-instrumented.sh
> index 6afadf73da17..5cdcce703660 100755
> --- a/scripts/atomic/gen-atomic-instrumented.sh
> +++ b/scripts/atomic/gen-atomic-instrumented.sh
> @@ -5,9 +5,10 @@ ATOMICDIR=$(dirname $0)
>
> . ${ATOMICDIR}/atomic-tbl.sh
>
> -#gen_param_check(arg)
> +#gen_param_check(meta, arg)
> gen_param_check()
> {
> + local meta="$1"; shift
> local arg="$1"; shift
> local type="${arg%%:*}"
> local name="$(gen_param_name "${arg}")"
> @@ -17,17 +18,24 @@ gen_param_check()
> i) return;;
> esac
>
> - # We don't write to constant parameters
> - [ ${type#c} != ${type} ] && rw="read"
> + if [ ${type#c} != ${type} ]; then
> + # We don't write to constant parameters
> + rw="read"
> + elif [ "${meta}" != "s" ]; then
> + # Atomic RMW
> + rw="read_write"
> + fi

If we have meta, should we then not be consistent and use it for read
too? Mark?

>
> printf "\tinstrument_atomic_${rw}(${name}, sizeof(*${name}));\n"
> }
>
> -#gen_param_check(arg...)
> +#gen_params_checks(meta, arg...)
> gen_params_checks()
> {
> + local meta="$1"; shift
> +
> while [ "$#" -gt 0 ]; do
> - gen_param_check "$1"
> + gen_param_check "$meta" "$1"
> shift;
> done
> }
> @@ -77,7 +85,7 @@ gen_proto_order_variant()
>
> local ret="$(gen_ret_type "${meta}" "${int}")"
> local params="$(gen_params "${int}" "${atomic}" "$@")"
> - local checks="$(gen_params_checks "$@")"
> + local checks="$(gen_params_checks "${meta}" "$@")"
> local args="$(gen_args "$@")"
> local retstmt="$(gen_ret_stmt "${meta}")"
>
> --
> 2.28.0.rc0.105.gf9edc3c819-goog
>

\
 
 \ /
  Last update: 2020-07-21 16:20    [W:0.101 / U:0.040 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site