- if (not MC_is_active()) {
- global_timer = xbt_os_timer_new();
- xbt_os_walltimer_start(global_timer);
- }
-
- std::string filename = simgrid::config::get_value<std::string>("smpi/comp-adjustment-file");
- if (not filename.empty()) {
- std::ifstream fstream(filename);
- if (not fstream.is_open()) {
- xbt_die("Could not open file %s. Does it exist?", filename.c_str());
- }
-
- std::string line;
- typedef boost::tokenizer< boost::escaped_list_separator<char>> Tokenizer;
- std::getline(fstream, line); // Skip the header line
- while (std::getline(fstream, line)) {
- Tokenizer tok(line);
- Tokenizer::iterator it = tok.begin();
- Tokenizer::iterator end = std::next(tok.begin());
-
- std::string location = *it;
- boost::trim(location);
- location2speedup.insert(std::pair<std::string, double>(location, std::stod(*end)));
- }
- }
-