lkml.org 
[lkml]   [2019]   [Aug]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    Patch in this message
    /
    From
    Subject[PATCH RFC memory-model 07/31] tools/memory-model: Update parseargs.sh for hardware verification
    Date
    This commit adds a --hw argument to parseargs.sh to specify the CPU
    family for a hardware verification. For example, "--hw AArch64" will
    specify that a C-language litmus test is to be translated to ARMv8 and
    the result verified. This will set the LKMM_HW_MAP_FILE environment
    variable accordingly. If there is no --hw argument, this environment
    variable will be set to the empty string.

    Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
    ---
    tools/memory-model/scripts/parseargs.sh | 9 ++++++++-
    1 file changed, 8 insertions(+), 1 deletion(-)

    diff --git a/tools/memory-model/scripts/parseargs.sh b/tools/memory-model/scripts/parseargs.sh
    index afe7bd23de6b..5f016fc3f3af 100755
    --- a/tools/memory-model/scripts/parseargs.sh
    +++ b/tools/memory-model/scripts/parseargs.sh
    @@ -27,6 +27,7 @@ initparam () {

    initparam LKMM_DESTDIR "."
    initparam LKMM_HERD_OPTIONS "-conf linux-kernel.cfg"
    +initparam LKMM_HW_MAP_FILE ""
    initparam LKMM_JOBS `getconf _NPROCESSORS_ONLN`
    initparam LKMM_PROCS "3"
    initparam LKMM_TIMEOUT "1m"
    @@ -37,10 +38,11 @@ usagehelp () {
    echo "Usage $scriptname [ arguments ]"
    echo " --destdir path (place for .litmus.out, default by .litmus)"
    echo " --herdopts -conf linux-kernel.cfg ..."
    + echo " --hw AArch64"
    echo " --jobs N (number of jobs, default one per CPU)"
    echo " --procs N (litmus tests with at most this many processes)"
    echo " --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')"
    - echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
    + echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
    exit 1
    }

    @@ -95,6 +97,11 @@ do
    LKMM_HERD_OPTIONS="$2"
    shift
    ;;
    + --hw)
    + checkarg --hw "(.map file architecture name)" "$#" "$2" '^[A-Za-z0-9_-]\+' '^--'
    + LKMM_HW_MAP_FILE="$2"
    + shift
    + ;;
    -j[1-9]*)
    njobs="`echo $1 | sed -e 's/^-j//'`"
    trailchars="`echo $njobs | sed -e 's/[0-9]\+\(.*\)$/\1/'`"
    --
    2.17.1
    \
     
     \ /
      Last update: 2019-08-02 00:25    [W:4.097 / U:0.420 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site