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(TunerRecord *tunerec){
 106         SearchTuner *tuner = tunerec->getTuner();
 107         for(uint i=0; i< explored.getSize(); i++){
 108                 if(explored.get(i)->getTuner()->equalUsed(tuner)){
 109                         model_print("************Tuner <%d> is replicate of Tuner <%d>\n", tunerec->getTunerNumber(), explored.get(i)->getTunerNumber());
 110                         return true;
 111                 }
 112         }
 113         return false;
 114 }
 115
 116 void BasicTuner::addTuner(SearchTuner *tuner) {
 117         TunerRecord *t = new TunerRecord(tuner);
 118         tuners.push(t);
 119         t->setTunerNumber( allTuners.getSize() );
 120         allTuners.push(t);
 121 }
 122
 123 long long BasicTuner::evaluate(Problem *problem, TunerRecord *tuner) {
 124         char buffer[512];
 125         {
 126                 snprintf(buffer, sizeof(buffer), "problem%u", execnum);
 127
 128                 ofstream myfile;
 129                 myfile.open (buffer, ios::out);
 130
 131
 132                 if (myfile.is_open()) {
 133                         myfile << problem->getProblem() << endl;
 134                         myfile << problem->getProblemNumber() << endl;
 135                         myfile.close();
 136                 }
 137         }
 138
 139         {
 140                 snprintf(buffer, sizeof(buffer), "tunernum%u", execnum);
 141
 142                 ofstream myfile;
 143                 myfile.open (buffer, ios::out);
 144
 145
 146                 if (myfile.is_open()) {
 147                         myfile << tuner->getTunerNumber() << endl;
 148                         myfile.close();
 149                 }
 150         }
 151
 152         //Write out the tuner
 153         snprintf(buffer, sizeof(buffer), "tuner%u", execnum);
 154         tuner->getTuner()->serialize(buffer);
 155
 156         //compute timeout
 157         uint timeinsecs = problem->getBestTime() / NANOSEC;
 158         uint adaptive = (timeinsecs > 30) ? timeinsecs * 5 : 150;
 159         uint maxtime = (adaptive < timeout) ? adaptive : timeout;
 160
 161         //Do run
 162         snprintf(buffer, sizeof(buffer), "./run.sh deserializerun %s %u tuner%u result%u > log%u", problem->getProblem(), maxtime, execnum, execnum, execnum);
 163         int status = system(buffer);
 164
 165         long long metric = -1;
 166         int sat = IS_INDETER;
 167
 168         if (status == 0) {
 169                 //Read data in from results file
 170                 snprintf(buffer, sizeof(buffer), "result%u", execnum);
 171
 172                 ifstream myfile;
 173                 myfile.open (buffer, ios::in);
 174
 175
 176                 if (myfile.is_open()) {
 177                         myfile >> metric;
 178                         myfile >> sat;
 179                         myfile.close();
 180                 }
 181                 updateTimeout(problem, metric);
 182                 snprintf(buffer, sizeof(buffer), "tuner%uused", execnum);
 183                 tuner->getTuner()->addUsed(buffer);
 184         }
 185         //Increment execution count
 186         execnum++;
 187
 188         if (problem->getResult() == TUNERUNSETVALUE && sat != IS_INDETER) {
 189                 problem->setResult( sat );
 190         } else if (problem->getResult() != sat && sat != IS_INDETER) {
 191                 model_print("******** Result has changed ********\n");
 192         }
 193         if (sat == IS_INDETER && metric != -1) {//The case when we have a timeout
 194                 metric = -1;
 195         }
 196         return metric;
 197 }
 198
 199 SearchTuner *BasicTuner::mutateTuner(SearchTuner *oldTuner, uint k) {
 200         SearchTuner *newTuner = oldTuner->copyUsed();
 201         uint numSettings = oldTuner->getSize();
 202         uint settingsToMutate = (uint)(AUTOTUNERFACTOR * (((double)numSettings) * (budget - k)) / (budget));
 203         if (settingsToMutate < 1)
 204                 settingsToMutate = 1;
 205         model_print("Mutating %u settings\n", settingsToMutate);
 206         while (settingsToMutate-- != 0) {
 207                 newTuner->randomMutate();
 208         }
 209         return newTuner;
 210 }
 211
 212 int BasicTuner::subTunerIndex(SearchTuner *newTuner){
 213         for (uint i=0; i< explored.getSize(); i++){
 214                 SearchTuner *tuner = explored.get(i)->getTuner();
 215                 if(tuner->isSubTunerof(newTuner)){
 216                         return i;
 217                 }
 218         }
 219         return -1;
 220 }
 221
 222
 223 void BasicTuner::updateTimeout(Problem *problem, long long metric) {
 224         if (metric < problem->getBestTime()) {
 225                 problem->setBestTime( metric );
 226         }
 227 }