X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/546aeb463c884feaec5e59ae877087aebcfbb98a..42a19da0afa7d15b2aa87dea813ea427a21a4db5:/src/smpi/smpirun.in diff --git a/src/smpi/smpirun.in b/src/smpi/smpirun.in index 2f38ee63da..9ba0724359 100755 --- a/src/smpi/smpirun.in +++ b/src/smpi/smpirun.in @@ -1,5 +1,11 @@ #! /bin/sh +# Copyright (c) 2007-2014. The SimGrid Team. +# All rights reserved. + +# This program is free software; you can redistribute it and/or modify it +# under the terms of the license (GNU LGPL) which comes with this package. + @CMAKE_SMPI_COMMAND@ DEFAULT_LOOPBACK_BANDWIDTH="498000000" @@ -33,7 +39,7 @@ Options: -trace-comment-file # put file contents on the top of the trace file as comment -trace-grouped # group MPI processes by location -trace-resource # trace resource utilization - -trace-viva # generate configuration for Viva's GraphView + -trace-viva # generate configuration for Viva's GraphView -trace-file # name of the tracefile (simgrid_smpi.trace) -ext # additional parameter (reserved) @@ -85,6 +91,15 @@ while true; do shift 2 ;; + "-machinefile") + HOSTFILE="$2" + if [ ! -f "${HOSTFILE}" ]; then + echo "[$0] ** error: the file '${HOSTFILE}' does not exist. Aborting." + exit 1 + fi + shift 2 + ;; + "-ext") EXTOPT="$2" shift 2 @@ -191,12 +206,6 @@ done ##----------------------------------- -# Basic checks on the provided arguments -if [ -z "${EXEC}" ] ; then - echo "You must provide a program to execute." - usage - exit 1 -fi if [ -z "${HOSTFILE}" ] && [ -z "${PLATFORM}" ] ; then echo "No hostfile nor platform specified." @@ -210,6 +219,21 @@ if [ -z "${HOSTFILE}" ] ; then HOSTFILE="$(mktemp tmphostXXXXXX)" perl -ne 'print "$1\n" if /.*.*/' ${PLATFORM} > ${HOSTFILE} fi +UNROLLEDHOSTFILETMP=0 + +#parse if our lines are terminated by :num_process +multiple_processes=`grep -c ":" $HOSTFILE` +if [ "${multiple_processes}" -gt 0 ] ; then + UNROLLEDHOSTFILETMP=1 + UNROLLEDHOSTFILE="$(mktemp tmphostXXXXXX)" + perl -ne ' do{ for ( 1 .. $2 ) { print "$1\n" } } if /(.*?):(\d+).*/' ${HOSTFILE} > ${UNROLLEDHOSTFILE} + if [ ${HOSTFILETMP} = 1 ] ; then + rm ${HOSTFILE} + HOSTFILETMP=0 + fi + HOSTFILE=$UNROLLEDHOSTFILE +fi + # Don't use wc -l to compute it to avoid issues with trailing \n at EOF hostfile_procs=`grep -c "[a-zA-Z0-9]" $HOSTFILE` @@ -235,20 +259,26 @@ if [ -z "${PLATFORM}" ]; then PLATFORMHEAD -for i in $(echo "for (i=${NUMPROCS};i>0;i--) i"|bc); do +i=${NUMPROCS} +while [ $i -gt 0 ]; do echo " " >> ${PLATFORMTMP} echo " " >> ${PLATFORMTMP} echo " " >> ${PLATFORMTMP} + i=$((i - 1)) done -for i in $(echo "for (i=${NUMPROCS};i>0;i--) i"|bc); do - for j in $(echo "for (i=${NUMPROCS};i>0;i--) i"|bc); do +i=${NUMPROCS} +while [ $i -gt 0 ]; do + j=${NUMPROCS} + while [ $j -gt 0 ]; do if [ $i -eq $j ]; then echo " " >> ${PLATFORMTMP} else echo " " >> ${PLATFORMTMP} fi + j=$((j - 1)) done + i=$((i - 1)) done cat >> ${PLATFORMTMP} <