Commit 28d1ae52 authored by Carlos Galindo's avatar Carlos Galindo
Browse files

benchmarks: swap labels (were incorrect)

parent f0e62838
Loading
Loading
Loading
Loading
+2 −4
Original line number Diff line number Diff line
@@ -27,18 +27,16 @@ public class InterprocSummaryRecursiveComparerBenchmark extends InterproceduralT

    @Override
    public void benchmarkProgram(File programFile) {
        System.getLogger("bench").log(System.Logger.Level.INFO, "Started benching " + setName + "#" + programFile.getName());
        String setName = this.setName;

        algorithm = NO_SUBSUMPTION;
        algorithm = SUBSUMPTION;
        this.setName = setName + "_subsumption";
        super.benchmarkProgram(programFile);
        algorithm = SUBSUMPTION;
        algorithm = NO_SUBSUMPTION;
        this.setName = setName + "_tabular";
        super.benchmarkProgram(programFile);

        this.setName = setName;
        System.getLogger("bench").log(System.Logger.Level.INFO, "Finished benching " + setName + "#" + programFile.getName());
    }


+5 −6
Original line number Diff line number Diff line
@@ -116,9 +116,8 @@ analyze_results() {
  ## Timing analysis
  if [[ $has_times_slices -eq 0 ]]; then
    # Type of slicing algorithm
    # The two categories were inverted when running benchmarks
    sed -i 's/^/t,/' -- */Times/Slices/*_subsumption_*/*.txt
    sed -i 's/^/s,/' -- */Times/Slices/*_tabular_*/*.txt
    sed -i 's/^/s,/' -- */Times/Slices/*_subsumption_*/*.txt
    sed -i 's/^/t,/' -- */Times/Slices/*_tabular_*/*.txt
    # Cache state
    sed -i 's/^/Y,/' -- */Times/Slices/*_cached/*.txt
    sed -i 's/^/N,/' -- */Times/Slices/*_computed/*.txt
@@ -162,9 +161,9 @@ EOF
      erl -pa "$pwd" -noshell -eval "astCounter:enterDeepestDir(\"{}/\", \"tabular\"), init:stop()" \;
    # Remove redundant information
    sed -i -e 's/^[^0-9]\+//' -e 's/[_;]/,/g' -e 's/,bench/,/' Results/tabular/*.txt
    # Shorten algorithm labels (swap them, they are switched in the code)
    sed -i 's/,tabular,/,s,/'     Results/tabular/*.txt
    sed -i 's/,subsumption,/,t,/' Results/tabular/*.txt
    # Shorten algorithm labels
    sed -i 's/,tabular,/,t,/'     Results/tabular/*.txt
    sed -i 's/,subsumption,/,s,/' Results/tabular/*.txt
    # Shorten cache labels
    sed -i 's/,cached,/,Y,/'   Results/tabular/*.txt
    sed -i 's/,computed,/,N,/' Results/tabular/*.txt