}
void TunableSetting::print() {
+ model_print("Param %s = %u \t range=[%u,%u]", tunableParameterToString( (Tunables)param), selectedValue, lowValue, highValue);
if (hasVar) {
- model_print("VarType1 %" PRIu64 ", ", type1);
+ model_print("\tVarType1 %" PRIu64 ", ", type1);
model_print("VarType2 %" PRIu64 ", ", type2);
}
- model_print("Param %s = %u \t range=[%u,%u]\n", tunableParameterToString( (Tunables)param), selectedValue, lowValue, highValue);
+ model_print("\n");
}
-unsigned int tunableSettingHash(TunableSetting *setting) {
- return setting->hasVar ^ setting->type1 ^ setting->type2 ^ setting->param;
+
+ostream &operator<<(ostream &os, const TunableSetting &ts)
+{
+ os << ts.hasVar << " " << ts.type1 << " " << ts.type2 << " " << ts.param << " " << ts.lowValue << " "
+ << ts.highValue << " " << ts.defaultValue << " " << ts.selectedValue;
+ return os;
}
-bool tunableSettingEquals(TunableSetting *setting1, TunableSetting *setting2) {
- return setting1->hasVar == setting2->hasVar &&
- setting1->type1 == setting2->type1 &&
- setting1->type2 == setting2->type2 &&
- setting1->param == setting2->param;
+
+SearchTuner::SearchTuner() {
}
-ostream& operator<<(ostream& os, const TunableSetting& ts)
-{
- os << ts.hasVar <<" " << ts.type1 <<" " << ts.type2 << " " << ts.param << " " << ts.lowValue <<" "
- << ts.highValue << " " << ts.defaultValue << " " << ts.selectedValue;
- return os;
-}
+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);
+ }
+}
-SearchTuner::SearchTuner() {
+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);
- if(myfile.is_open()){
+ myfile.open (filename, ios::in);
+ if (myfile.is_open()) {
bool hasVar;
VarType type1;
VarType type2;
int highValue;
int defaultValue;
int selectedValue;
- while(myfile >> hasVar >> type1 >> type2 >> param >> lowValue >> highValue >> defaultValue >> selectedValue){
+ while (myfile >> hasVar >> type1 >> type2 >> param >> lowValue >> highValue >> defaultValue >> selectedValue) {
TunableSetting *setting;
-
- if(hasVar){
+
+ if (hasVar) {
setting = new TunableSetting(type1, type2, param);
- }else{
+ } else {
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();
+
+ SetIteratorTunableSetting *iterator = !usedSettings.isEmpty()? usedSettings.iterator():settings.iterator();
while (iterator->hasNext()) {
TunableSetting *setting = iterator->next();
TunableSetting *copy = new TunableSetting(setting);
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);
randomSetting->selectedValue = randomchoice;
else
randomSetting->selectedValue = randomchoice + 1;
+ model_print("&&&&&&&&Mutating&&&&&&&\n");
+ randomSetting->print();
+ model_print("&&&&&&&&&&&&&&&&&&&&&&&\n");
}
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();
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()) {
projects / satune.git / blobdiff