X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTuner%2Fsearchtuner.cc;h=9ab6d45d8821318d7726a371f5ebb4acf85f7f6c;hb=b0f6ab9a232beae1ddad1ec0a38e040e2d6187cb;hp=4e963554bb50c2c4d2991fbda9ddcc3f1f92ef0b;hpb=e331c9425d7b54d686ef7ff2af413683515991b1;p=satune.git

diff --git a/src/Tuner/searchtuner.cc b/src/Tuner/searchtuner.cc
index 4e96355..9ab6d45 100644
--- a/src/Tuner/searchtuner.cc
+++ b/src/Tuner/searchtuner.cc
@@ -1,26 +1,8 @@
 #include "searchtuner.h"
-#include "tunabledependent.h"
 #include <iostream>
 #include <fstream>
-#include <valarray>
 using namespace std;
 
-HashsetTunableDep initializeTunableDependencies()
-{
-  HashsetTunableDep dep;
-  dep.add(new TunableDependent(MUSTREACHGLOBAL, DECOMPOSEORDER));
-  dep.add(new TunableDependent(MUSTREACHLOCAL, DECOMPOSEORDER));
-  dep.add(new TunableDependent(MUSTREACHPRUNE, DECOMPOSEORDER));
-  dep.add(new TunableDependent(MUSTEDGEPRUNE, DECOMPOSEORDER));
-  dep.add(new TunableDependent(NODEENCODING, ENCODINGGRAPHOPT));
-  dep.add(new TunableDependent(EDGEENCODING, ENCODINGGRAPHOPT));
-  dep.add(new TunableDependent(ELEMENTOPTSETS, ELEMENTOPT));
-  return dep;
-}
-
-
-HashsetTunableDep SearchTuner::tunableDependency = initializeTunableDependencies();
-
 TunableSetting::TunableSetting(VarType _type, TunableParam _param) :
 	hasVar(true),
 	type1(_type),
@@ -70,16 +52,6 @@ void TunableSetting::print() {
 	model_print("\n");
 }
 
-unsigned int tunableSettingHash(TunableSetting *setting) {
-	return setting->hasVar ^ setting->type1 ^ setting->type2 ^ setting->param;
-}
-
-bool tunableSettingEquals(TunableSetting *setting1, TunableSetting *setting2) {
-	return setting1->hasVar == setting2->hasVar &&
-				 setting1->type1 == setting2->type1 &&
-				 setting1->type2 == setting2->type2 &&
-				 setting1->param == setting2->param;
-}
 
 ostream &operator<<(ostream &os, const TunableSetting &ts)
 {
@@ -90,12 +62,66 @@ ostream &operator<<(ostream &os, const TunableSetting &ts)
 
 
 SearchTuner::SearchTuner() {
-#ifdef STATICENCGEN
-        graphEncoding =false;
-        naiveEncoding = ELEM_UNASSIGNED;
-#endif
+}
+
+SearchTuner::SearchTuner(const char *filename, bool addused) {
+	ifstream myfile;
+	myfile.open (filename, ios::in);
+	if (myfile.is_open()) {
+		bool hasVar;
+		VarType type1;
+		VarType type2;
+		TunableParam param;
+		int lowValue;
+		int highValue;
+		int defaultValue;
+		int selectedValue;
+		while (myfile >> hasVar >> type1 >> type2 >> param >> lowValue >> highValue >> defaultValue >> selectedValue) {
+			TunableSetting *setting;
+
+			if (hasVar) {
+				setting = new TunableSetting(type1, type2, param);
+			} else {
+				setting = new TunableSetting(param);
+			}
+			setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
+			settings.add(setting);
+			if (addused) {
+				usedSettings.add(setting);
+			}
+		}
+		myfile.close();
+	} else {
+		model_print("Warning: Tuner %s couldn't be loaded ... Using default tuner instead ....\n", filename);
+	}
+}
+
+bool SearchTuner::equalUsed(SearchTuner *tuner) {
+	if (tuner->usedSettings.getSize() != usedSettings.getSize()) {
+		return false;
+	}
+	bool result = true;
+	SetIteratorTunableSetting *iterator = usedSettings.iterator();
+	while (iterator->hasNext()) {
+		TunableSetting *setting = iterator->next();
+		if (!tuner->usedSettings.contains(setting)) {
+			result = false;
+			break;
+		} else {
+			TunableSetting *tunerSetting = tuner->usedSettings.get(setting);
+			if (tunerSetting->selectedValue != setting->selectedValue) {
+				result = false;
+				break;
+			}
+		}
+	}
+	delete iterator;
+	return result;
+}
+
+void SearchTuner::addUsed(const char *filename) {
 	ifstream myfile;
-	myfile.open (TUNEFILE, ios::in);
+	myfile.open (filename, ios::in);
 	if (myfile.is_open()) {
 		bool hasVar;
 		VarType type1;
@@ -114,12 +140,39 @@ SearchTuner::SearchTuner() {
 				setting = new TunableSetting(param);
 			}
 			setting->setDecision(lowValue, highValue, defaultValue, selectedValue);
-			usedSettings.add(setting);
+			if (!settings.contains(setting)) {
+				settings.add(setting);
+				usedSettings.add(setting);
+			} else {
+				TunableSetting *tmp = settings.get(setting);
+				settings.remove(tmp);
+				usedSettings.remove(tmp);
+				delete tmp;
+				settings.add(setting);
+				usedSettings.add(setting);
+			}
 		}
 		myfile.close();
 	}
 }
 
+bool SearchTuner::isSubTunerof(SearchTuner *newTuner) {
+	SetIteratorTunableSetting *iterator = usedSettings.iterator();
+	while (iterator->hasNext()) {
+		TunableSetting *setting = iterator->next();
+		if (!newTuner->settings.contains(setting)) {
+			return false;
+		} else {
+			TunableSetting *newSetting = newTuner->settings.get(setting);
+			if (newSetting->selectedValue != setting->selectedValue) {
+				return false;
+			}
+		}
+	}
+	delete iterator;
+	return true;
+}
+
 SearchTuner *SearchTuner::copyUsed() {
 	SearchTuner *tuner = new SearchTuner();
 	SetIteratorTunableSetting *iterator = usedSettings.iterator();
@@ -128,12 +181,6 @@ SearchTuner *SearchTuner::copyUsed() {
 		TunableSetting *copy = new TunableSetting(setting);
 		tuner->settings.add(copy);
 	}
-#ifdef STATICENCGEN
-	if(naiveEncoding != ELEM_UNASSIGNED){
-		tuner->graphEncoding = graphEncoding;
-		tuner->naiveEncoding = naiveEncoding;
-	}
-#endif
 	delete iterator;
 	return tuner;
 }
@@ -147,6 +194,24 @@ SearchTuner::~SearchTuner() {
 	delete iterator;
 }
 
+void SearchTuner::setTunable(TunableParam param, TunableDesc *descriptor, uint value) {
+	TunableSetting *result = new TunableSetting(param);
+	result->setDecision(descriptor->lowValue, descriptor->highValue, descriptor->defaultValue, value);
+	settings.add(result);
+	usedSettings.add(result);
+}
+
+void SearchTuner::setVarTunable(VarType vartype, TunableParam param, TunableDesc *descriptor, uint value) {
+	setVarTunable(vartype, 0, param, descriptor, value);
+}
+
+void SearchTuner::setVarTunable(VarType vartype1, VarType vartype2, TunableParam param, TunableDesc *descriptor, uint value) {
+	TunableSetting *result = new TunableSetting(vartype1, vartype2, param);
+	result->setDecision(descriptor->lowValue, descriptor->highValue, descriptor->defaultValue, value);
+	settings.add(result);
+	usedSettings.add(result);
+}
+
 int SearchTuner::getTunable(TunableParam param, TunableDesc *descriptor) {
 	TunableSetting setting(param);
 	TunableSetting *result = usedSettings.get(&setting);
@@ -184,35 +249,8 @@ int SearchTuner::getVarTunable(VarType vartype1, VarType vartype2, TunableParam
 	return result->selectedValue;
 }
 
-bool SearchTuner::validTunableSetting(TunableSetting* setting){
-	TunableDependent tuneDep((Tunables)setting->param);
-	bool result = true;
-	while(tunableDependency.contains(&tuneDep)){
-		TunableDependent *dependent = tunableDependency.get(&tuneDep);
-		TunableSetting p(dependent->parent);
-		if(!settings.contains(&p)){
-			SetIteratorTunableSetting *iter = settings.iterator();
-			while(iter->hasNext()){
-				model_print("*******************\n");
-				iter->next()->print();
-			}
-			delete iter;
-		}
-		ASSERT(settings.contains(&p));
-		TunableSetting *parent = settings.get(&p);
-		if(!(bool)parent->selectedValue){ //Check parent config is already off
-			return false;
-		}
-		tuneDep.dependent = dependent->parent;
-	}
-	return result;
-}
-
 void SearchTuner::randomMutate() {
-	TunableSetting *randomSetting;
-	do{
-		randomSetting= settings.getRandomElement();
-	}while(!validTunableSetting(randomSetting));
+	TunableSetting *randomSetting = settings.getRandomElement();
 	int range = randomSetting->highValue - randomSetting->lowValue;
 	int randomchoice = (random() % range) + randomSetting->lowValue;
 	if (randomchoice < randomSetting->selectedValue)
@@ -224,50 +262,6 @@ void SearchTuner::randomMutate() {
 	model_print("&&&&&&&&&&&&&&&&&&&&&&&\n");
 }
 
-#ifdef STATICENCGEN
-int SearchTuner::nextStaticTuner() {
-	if(naiveEncoding == ELEM_UNASSIGNED){
-		naiveEncoding = ONEHOT;
-		SetIteratorTunableSetting *iter = settings.iterator();
-		while(iter->hasNext()){
-			TunableSetting *setting = iter->next();
-			if (setting->param == NAIVEENCODER){
-				setting->selectedValue = ONEHOT;
-			} else if(setting->param == ENCODINGGRAPHOPT){
-				setting->selectedValue = false;
-			}
-		}
-		delete iter;
-		return EXIT_FAILURE;
-	}
-	int result=EXIT_FAILURE;
-	if(naiveEncoding == BINARYINDEX && graphEncoding){
-		model_print("Best tuner\n");
-		return EXIT_SUCCESS;
-	}else if (naiveEncoding == BINARYINDEX && !graphEncoding){
-		naiveEncoding = ONEHOT;
-		graphEncoding = true;
-	}else {
-		naiveEncoding = (ElementEncodingType)((int)naiveEncoding + 1);
-	}
-	SetIteratorTunableSetting *iter = settings.iterator();
-	uint count = 0;
-	while(iter->hasNext()){
-		TunableSetting * setting = iter->next();
-		if (setting->param == NAIVEENCODER){
-			setting->selectedValue = naiveEncoding;
-			count++;
-		} else if(setting->param == ENCODINGGRAPHOPT){
-			setting->selectedValue = graphEncoding;
-			count++;
-		}
-	}
-	model_print("Mutating %u settings\n", count);
-	delete iter;
-	return result;
-}
-#endif
-
 void SearchTuner::print() {
 	SetIteratorTunableSetting *iterator = settings.iterator();
 	while (iterator->hasNext()) {
@@ -278,9 +272,9 @@ void SearchTuner::print() {
 
 }
 
-void SearchTuner::serialize() {
+void SearchTuner::serialize(const char *filename) {
 	ofstream myfile;
-	myfile.open (TUNEFILE, ios::out | ios::trunc);
+	myfile.open (filename, ios::out | ios::trunc);
 	SetIteratorTunableSetting *iterator = settings.iterator();
 	while (iterator->hasNext()) {
 		TunableSetting *setting = iterator->next();
@@ -290,6 +284,18 @@ void SearchTuner::serialize() {
 	delete iterator;
 }
 
+void SearchTuner::serializeUsed(const char *filename) {
+	ofstream myfile;
+	myfile.open (filename, ios::out | ios::trunc);
+	SetIteratorTunableSetting *iterator = usedSettings.iterator();
+	while (iterator->hasNext()) {
+		TunableSetting *setting = iterator->next();
+		myfile << *setting << endl;
+	}
+	myfile.close();
+	delete iterator;
+}
+
 void SearchTuner::printUsed() {
 	SetIteratorTunableSetting *iterator = usedSettings.iterator();
 	while (iterator->hasNext()) {