Mentions légales du service

Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
1 result
Blame Permalink
makeRunsIndep.sh 910 B
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19 






#!/bin/bash

pmtool=${PMTOOL_PATH}/pmtool

graphs=./inputs/
output=./data/

for graphDir in $graphs/*; do
    name=$(basename $graphDir);
    echo $name
    rm -f ${output}/res-${name}-Indep.txt
    $pmtool $graphDir/taskGraph*-4.txt --no-dep -b area:hybrid=no -a hetprio -a hetprio:stealLatest=yes -a heft -a indep:indep=dualhp -a indep:indep=balest,balmks:dosort=no  -a zhang -a indep:indep=zhang:sortby=avg,min,accel,none:rev=yes,no --threads=2 | sed -u -e "s/^.*-\([0-9]*\)\.txt/\1/" > ${output}/res-${name}-Indep.txt
    for n in $(seq 8 4 40); do 
	$pmtool $graphDir/taskGraph*-${n}.txt --no-header --no-dep -b area:hybrid=no -a hetprio -a hetprio:stealLatest=yes -a heft -a indep:indep=dualhp -a indep:indep=balest,balmks:dosort=no  -a zhang -a indep:indep=zhang:sortby=avg,min,accel,none:rev=yes,no --threads=2 | sed -u -e "s/^.*-\([0-9]*\)\.txt/\1/" >> ${output}/res-${name}-Indep.txt
    done
done