src/Tuner/basictuner.cc

   1 /*
   2  * To change this license header, choose License Headers in Project Properties.
   3  * To change this template file, choose Tools | Templates
   4  * and open the template in the editor.
   5  */
   6
   7 /*
   8  * File:   basictuner.cc
   9  * Author: hamed
  10  *
  11  * Created on December 17, 2018, 2:02 PM
  12  */
  13
  14 #include "basictuner.h"
  15 #include "common.h"
  16 #include "csolver.h"
  17 #include "searchtuner.h"
  18 #include <stdlib.h>
  19 #include <string.h>
  20 #include <iostream>
  21 #include <fstream>
  22
  23 Problem::Problem(const char *_problem) :
  24         problemnumber(-1),
  25         result(TUNERUNSETVALUE),
  26         besttime(LLONG_MAX)
  27 {
  28         uint len = strlen(_problem);
  29         problem = (char *) ourmalloc(len + 1);
  30         memcpy(problem, _problem, len + 1);
  31 }
  32
  33 Problem::~Problem() {
  34         ourfree(problem);
  35 }
  36
  37 void TunerRecord::setTime(Problem *problem, long long time) {
  38         timetaken.put(problem, time);
  39 }
  40
  41 void TunerRecord::print(){
  42         model_print("*************TUNER NUMBER=%d***********\n", tunernumber);
  43         tuner->print();
  44         model_print("&&&&&&&&&&&&&USED SETTINGS &&&&&&&&&&&&\n");
  45         tuner->printUsed();
  46         model_print("\n");
  47 }
  48
  49 void TunerRecord::printProblemsInfo(){
  50         for (uint j = 0; j < problems.getSize(); j++) {
  51                 Problem *problem = problems.get(j);
  52                 model_print("Problem %s\n", problem->getProblem());
  53                 model_print("Time = %lld\n", getTime(problem));
  54         }
  55 }
  56
  57 long long TunerRecord::getTime(Problem *problem) {
  58         if (timetaken.contains(problem))
  59                 return timetaken.get(problem);
  60         else return -1;
  61 }
  62
  63 TunerRecord *TunerRecord::changeTuner(SearchTuner *_newtuner) {
  64         TunerRecord *tr = new TunerRecord(_newtuner);
  65         for (uint i = 0; i < problems.getSize(); i++) {
  66                 tr->problems.push(problems.get(i));
  67         }
  68         return tr;
  69 }
  70
  71
  72 BasicTuner::BasicTuner(uint _budget, uint _timeout) :
  73         budget(_budget), timeout(_timeout), execnum(0){
  74 }
  75
  76 BasicTuner::~BasicTuner() {
  77         for (uint i = 0; i < problems.getSize(); i++)
  78                 ourfree(problems.get(i));
  79         for (uint i = 0; i < allTuners.getSize(); i++)
  80                 delete allTuners.get(i);
  81 }
  82
  83 void BasicTuner::addProblem(const char *filename) {
  84         Problem *p = new Problem(filename);
  85         p->setProblemNumber(problems.getSize());
  86         problems.push(p);
  87 }
  88
  89 void BasicTuner::printData() {
  90         model_print("*********** DATA DUMP ***********\n");
  91         for (uint i = 0; i < allTuners.getSize(); i++) {
  92                 TunerRecord *tuner = allTuners.get(i);
  93                 SearchTuner *stun = tuner->getTuner();
  94                 model_print("Tuner %u\n", i);
  95                 stun->print();
  96                 model_print("----------------------------------\n\n\n");
  97                 for (uint j = 0; j < tuner->problemsSize(); j++) {
  98                         Problem *problem = tuner->getProblem(j);
  99                         model_print("Problem %s\n", problem->getProblem());
 100                         model_print("Time = %lld\n", tuner->getTime(problem));
 101                 }
 102         }
 103 }
 104
 105 bool BasicTuner::tunerExists(SearchTuner *tuner){
 106         for(uint i=0; i< explored.getSize(); i++){
 107                 if(explored.get(i)->getTuner()->equalUsed(tuner))
 108                         return true;
 109         }
 110         return false;
 111 }
 112
 113 void BasicTuner::addTuner(SearchTuner *tuner) {
 114         TunerRecord *t = new TunerRecord(tuner);
 115         tuners.push(t);
 116         t->setTunerNumber( allTuners.getSize() );
 117         allTuners.push(t);
 118 }
 119
 120 long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
 121         char buffer[512];
 122         {
 123                 snprintf(buffer, sizeof(buffer), "problem%u", execnum);
 124
 125                 ofstream myfile;
 126                 myfile.open (buffer, ios::out);
 127
 128
 129                 if (myfile.is_open()) {
 130                         myfile << problem->getProblem() << endl;
 131                         myfile << problem->getProblemNumber() << endl;
 132                         myfile.close();
 133                 }
 134         }
 135
 136         {
 137                 snprintf(buffer, sizeof(buffer), "tunernum%u", execnum);
 138
 139                 ofstream myfile;
 140                 myfile.open (buffer, ios::out);
 141
 142
 143                 if (myfile.is_open()) {
 144                         myfile << tuner->getTunerNumber() << endl;
 145                         myfile.close();
 146                 }
 147         }
 148
 149         //Write out the tuner
 150         snprintf(buffer, sizeof(buffer), "tuner%u", execnum);
 151         tuner->getTuner()->serialize(buffer);
 152
 153         //compute timeout
 154         uint timeinsecs = problem->getBestTime() / NANOSEC;
 155         uint adaptive = (timeinsecs > 30) ? timeinsecs * 5 : 150;
 156         uint maxtime = (adaptive < timeout) ? adaptive : timeout;
 157
 158         //Do run
 159         snprintf(buffer, sizeof(buffer), "./run.sh deserializerun %s %u tuner%u result%u > log%u", problem->getProblem(), maxtime, execnum, execnum, execnum);
 160         int status = system(buffer);
 161
 162         long long metric = -1;
 163         int sat = IS_INDETER;
 164
 165         if (status == 0) {
 166                 //Read data in from results file
 167                 snprintf(buffer, sizeof(buffer), "result%u", execnum);
 168
 169                 ifstream myfile;
 170                 myfile.open (buffer, ios::in);
 171
 172
 173                 if (myfile.is_open()) {
 174                         myfile >> metric;
 175                         myfile >> sat;
 176                         myfile.close();
 177                 }
 178                 updateTimeout(problem, metric);
 179                 snprintf(buffer, sizeof(buffer), "tuner%uused", execnum);
 180                 tuner->getTuner()->addUsed(buffer);
 181         }
 182         //Increment execution count
 183         execnum++;
 184
 185         if (problem->getResult() == TUNERUNSETVALUE && sat != IS_INDETER) {
 186                 problem->setResult( sat );
 187         } else if (problem->getResult() != sat && sat != IS_INDETER) {
 188                 model_print("******** Result has changed ********\n");
 189         }
 190         if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
 191                 metric = -1;
 192         }
 193         return metric;
 194 }
 195
 196 SearchTuner *BasicTuner::mutateTuner(SearchTuner *oldTuner, uint k) {
 197         SearchTuner *newTuner = oldTuner->copyUsed();
 198         uint numSettings = oldTuner->getSize();
 199         uint settingsToMutate = (uint)(AUTOTUNERFACTOR * (((double)numSettings) * (budget - k)) / (budget));
 200         if (settingsToMutate < 1)
 201                 settingsToMutate = 1;
 202         model_print("Mutating %u settings\n", settingsToMutate);
 203         while (settingsToMutate-- != 0) {
 204                 newTuner->randomMutate();
 205         }
 206         return newTuner;
 207 }
 208
 209 bool BasicTuner::subTunerExist(SearchTuner *newTuner){
 210         for (uint i=0; i< explored.getSize(); i++){
 211                 SearchTuner *tuner = explored.get(i)->getTuner();
 212                 if(tuner->isSubTunerof(newTuner)){
 213                         return true;
 214                 }
 215         }
 216         return false;
 217 }
 218
 219
 220 void BasicTuner::updateTimeout(Problem *problem, long long metric) {
 221         if (metric < problem->getBestTime()) {
 222                 problem->setBestTime( metric );
 223         }
 224 }