X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTuner%2Fmultituner.cc;h=03bfeec88b363fc68294453b7c05660ceb680fc4;hp=fbf66c7f1b9f9b462d6d1e559a98e3239b963b5e;hb=298685f6683d3a323968cb22810b134472dacdfa;hpb=6e6cd462b9993f07c5e0e34402106b0cbcdad05b diff --git a/src/Tuner/multituner.cc b/src/Tuner/multituner.cc index fbf66c7..03bfeec 100644 --- a/src/Tuner/multituner.cc +++ b/src/Tuner/multituner.cc @@ -59,11 +59,11 @@ void MultiTuner::addTuner(SearchTuner *tuner) { allTuners.push(t); } -long long MultiTuner::evaluate(Problem *problem, SearchTuner *tuner) { +long long MultiTuner::evaluate(Problem *problem, TunerRecord *tuner) { char buffer[512]; //Write out the tuner snprintf(buffer, sizeof(buffer), "tuner%u", execnum); - tuner->serialize(buffer); + tuner->getTuner()->serialize(buffer); //Do run snprintf(buffer, sizeof(buffer), "./run.sh deserializerun %s %u tuner%u result%s%u > log%u", problem->getProblem(), timeout, execnum, problem->getProblem(), execnum, execnum); @@ -71,6 +71,7 @@ long long MultiTuner::evaluate(Problem *problem, SearchTuner *tuner) { long long metric = -1; int sat = IS_INDETER; + if (status == 0) { //Read data in from results file snprintf(buffer, sizeof(buffer), "result%s%u", problem->getProblem(), execnum); @@ -84,6 +85,12 @@ long long MultiTuner::evaluate(Problem *problem, SearchTuner *tuner) { myfile >> sat; myfile.close(); } + + snprintf(buffer, sizeof(buffer), "tuner%uused", execnum); + SearchTuner *usedtuner = new SearchTuner(buffer); + delete tuner->getTuner(); + tuner->updateTuner(usedtuner); + } //Increment execution count execnum++; @@ -113,7 +120,7 @@ void MultiTuner::tuneComp() { TunerRecord *tuner = tunerV->get(j); long long metric = tuner->getTime(problem); if (metric == -1) { - metric = evaluate(problem, tuner->getTuner()); + metric = evaluate(problem, tuner); if (metric != -1) tuner->setTime(problem, metric); } @@ -173,7 +180,7 @@ void MultiTuner::mapProblemsToTuners(Vector *tunerV) { TunerRecord *tuner = tunerV->get(j); long long metric = tuner->getTime(problem); if (metric == -1) { - metric = evaluate(problem, tuner->getTuner()); + metric = evaluate(problem, tuner); if (metric != -1) tuner->setTime(problem, metric); } @@ -227,7 +234,7 @@ double MultiTuner::evaluateAll(TunerRecord *tuner) { Problem *problem = tuner->problems.get(i); long long metric = tuner->getTime(problem); if (metric == -1) { - metric = evaluate(problem, tuner->getTuner()); + metric = evaluate(problem, tuner); if (metric != -1) tuner->setTime(problem, metric); }