Commit 3f9a0cd0 authored by Jan Kiene's avatar Jan Kiene
Browse files

add scripts and resources for compelxity measurements

parent b1ab6c1a
Loading
Loading
Loading
Loading
+1 −0

File added.

Preview size limit exceeded, changes collapsed.

+191 −0
Original line number Diff line number Diff line
#!/bin/tcsh

set maxValues = 40

if (${#argv} != 3) then
  echo usage: $0 \<input log\> \<output js file\> \<graph name\>
  exit
endif

set srcFile1    = $1

set file_final = $2
set file       = ${file_final}_new_$$

set graphName  = $3

set tmpBase    = `basename $0`
set tmpFile1   = /tmp/${tmpBase}1_$$
rm -f ${tmpFile1}
cat ${srcFile1} | tail -n ${maxValues} > ${tmpFile1}
set nLines1 = `cat ${tmpFile1} | wc -l`
set maxNumWordsLine = 7

rm -f $file
touch $file

echo "var $graphName = {"                      >> $file
echo '  prom_worstcase: {'                     >> $file
echo '    description: "Worst Case PROM",'     >> $file
echo '    direction: -1,'                      >> $file
echo '    runs: ['                             >> $file


@ i = 0
foreach line ( "`cat ${tmpFile1}`" )
  @ i++
  set separator = ","
  if ( $i == $nLines1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set revision           = $tmp[1]
  set shortDate          = `echo $tmp[2] | sed -e "s/_/\ /g"`
  set fullDate           = `echo $tmp[3] | sed -e "s/_/\ /g"`
  set logFileFlc         = $tmp[5]
  set logFileBasop       = $tmp[7]

  echo '      {'                                            >> $file
  echo '        fullDate: "'${fullDate}'",'                 >> $file 
  echo '        shortDate: "'${shortDate}'",'               >> $file 
  echo '        revision: "'${revision}'",'                 >> $file 
  echo '        logFileFlc: "'${logFileFlc}'",'             >> $file 
  echo '        logFileBasop: "'${logFileBasop}'",'     >> $file 
  echo '      }'${separator}                                >> $file

end
echo '    ],'                                        >> $file

# begin displays
echo '    displays: ['                         >> $file

# requirement PROM		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#000000",'               >> $file
echo '        id: "requirementProm",'          >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile1}`" )
  set separator = ","
  if ( $i == $nLines1 - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = 54260

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# requirement ROM

# measured ops FLC	
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#FF8000",'               >> $file
echo '        id: "promOpsFlc",'               >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile1}`" )
  set separator = ","
  if ( $i == $nLines1 - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[4]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# measured ops FLC

# measured ops BASOP	
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#0080FF",'               >> $file
echo '        id: "promOpsBasop",'             >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile1}`" )
  set separator = ","
  if ( $i == $nLines1 - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[6]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      }'                                 >> $file

echo '    ]'                                   >> $file 
       
echo '  }'                                     >> $file
echo '};'                                      >> $file

mv -f $file $file_final
rm -f ${tmpFile1}
+475 −0
Original line number Diff line number Diff line
#!/bin/tcsh

set maxValues = 40

if (${#argv} != 3) then
  echo usage: $0 \<input log\> \<output js file\> \<graph name\>
  exit
endif

set srcFile    = $1
set file_final = $2
set file       = ${file_final}_new_$$
set graphName  = $3


set tmpBase    = `basename $0`
set tmpFile    = /tmp/${tmpBase}_$$
rm -f ${tmpFile}
cat ${srcFile} | tail -n ${maxValues} > ${tmpFile}
set nLines = `cat ${tmpFile} | wc -l`
set maxNumWordsLine = 19

rm -f $file
touch $file

echo "var $graphName = {"                      >> $file
echo '  ram_worstcase: {'                      >> $file
echo '    description: "Worst Case RAM",'      >> $file
echo '    direction: -1,'                      >> $file
echo '    runs: ['                             >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  @ i++
  set separator = ","
  if ( $i == $nLines ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set revision           = $tmp[1]
  set shortDate          = `echo $tmp[2] | sed -e "s/_/\ /g"`
  set fullDate           = `echo $tmp[3] | sed -e "s/_/\ /g"`
  set maxTotalRamEnc     = $tmp[5]
  set maxTotalRamDec     = $tmp[7]
  set maxDynamicRamEnc   = $tmp[10]
  set maxDynamicRamDec   = $tmp[12]
  set maxStaticRamEnc    = $tmp[15]
  set maxStaticRamDec    = $tmp[17]
  set logFile            = $tmp[19]

  echo '      {'                                            >> $file
  echo '        fullDate: "'${fullDate}'",'                 >> $file 
  echo '        shortDate: "'${shortDate}'",'               >> $file 
  echo '        revision: "'${revision}'",'                 >> $file 
  echo '        maxTotalRamEnc: "'${maxTotalRamEnc}'",'     >> $file 
  echo '        maxTotalRamDec: "'${maxTotalRamDec}'",'     >> $file
  echo '        maxDynamicRamEnc: "'${maxDynamicRamEnc}'",' >> $file 
  echo '        maxDynamicRamDec: "'${maxDynamicRamDec}'",' >> $file
  echo '        maxStaticRamEnc: "'${maxStaticRamEnc}'",'   >> $file 
  echo '        maxStaticRamDec: "'${maxStaticRamDec}'",'   >> $file
  echo '        logFile: "'${logFile}'"'                    >> $file 
  echo '      }'${separator}                                >> $file

end
echo '    ],'                                        >> $file

# begin displays
echo '    displays: ['                         >> $file

# requirement RAM	
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#000000",'               >> $file
echo '        id: "requirementRam",'           >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = 200000

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# requirement RAM

# maxTotalRamCodecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#FF0000",'               >> $file
echo '        id: "maxTotalRamCodecScore",'    >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[4]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxTotalRamCodecScore

# maxTotalRamEncScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#FF8000",'               >> $file
echo '        id: "maxTotalRamEncScore",'      >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[6]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxTotalRamEncScore

# maxTotalRamDecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#FFFF00",'               >> $file
echo '        id: "maxTotalRamDecScore",'      >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[8]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxTotalRamDecScore

# maxDynamicRamCodecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#004000",'               >> $file
echo '        id: "maxDynamicRamCodecScore",'  >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[9]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxDynamicRamCodecScore


# maxDynamicRamEncScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#008000",'               >> $file
echo '        id: "maxDynamicRamEncScore",'    >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[11]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxDynamicRamEncScore

# maxDynamicRamDecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#00FF00",'               >> $file
echo '        id: "maxDynamicRamDecScore",'    >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[13]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxDynamicRamDecScore

# maxStaticRamCodecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#800080",'               >> $file
echo '        id: "maxStaticRamCodecScore",'   >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[14]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxStaticRamCodecScore

# maxStaticRamEncScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#0000FF",'               >> $file
echo '        id: "maxStaticRamEncScore",'     >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[16]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      },'                                >> $file
# maxStaticRamEncScore

# maxStaticRamDecScore		
echo '      {'                                 >> $file
echo '        lines: { show: true },'          >> $file
echo '        points: { show: true, fillColor: "#ffffff" },' >> $file
echo '        borderWidth: 1.5,'               >> $file
echo '        borderColor: "#BEBEBE",'         >> $file
echo '        markingsLineWidth: .75,'         >> $file
echo '        hoverable: true,'                >> $file
echo '        clickable: true,'                >> $file
echo '        shadowSize: 0,'                  >> $file
echo '        color: "#0080C0",'               >> $file
echo '        id: "maxStaticRamDecScore",'     >> $file
echo '        data: ['                         >> $file

@ i = 0
foreach line ( "`cat ${tmpFile}`" )
  set separator = ","
  if ( $i == $nLines - 1 ) then
    set separator = "" 
  endif

  set tmp = ( $line )

  set numWords = `echo $tmp | wc -w`
  if ( $numWords < $maxNumWordsLine ) then
    continue
  endif

  set score = $tmp[18]

  echo '          ['"${i}, ${score}"']'${separator}  >> $file
  @ i++

end

echo '        ]'                               >> $file
echo '      }'                                 >> $file
# maxStaticRamDecScore

echo '    ]'                                   >> $file 
# end displays
       
echo '  }'                                     >> $file
echo '};'                                      >> $file

mv -f $file $file_final
rm -f $tmpFile
+153 −0

File added.

Preview size limit exceeded, changes collapsed.

+469 −0

File added.

Preview size limit exceeded, changes collapsed.

Loading