denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

blinktree: Removed unnecessary mutexes. Console output is already synchronized internally.

Browse Source
This commit is contained in:
Michael Mueller
2022-08-10 16:30:47 +02:00
parent 84a79c2168
commit 9320380efd
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
repos/mml/src/app/blinktree/benchmark/workload_set.h
View File

@@ -97,9 +97,9 @@ class Fill_thread : public Genode::Thread
if (fill_file.good()) {
parse(fill_file, _workload_set._data_sets[static_cast<std::size_t>(phase::FILL)]);
} else {
_mutex.acquire();
//_mutex.acquire();
std::cerr << "Could not open workload file '" << _fill_workload_file << "'." << std::endl;
_mutex.release();
//_mutex.release();
}
}
};
@@ -126,10 +126,10 @@ class Mixed_thread : public Genode::Thread
if (mixed_file.good()) {
_workload_set._mixed_phase_contains_update = parse(mixed_file, _workload_set._data_sets[static_cast<std::size_t>(phase::MIXED)]);
} else {
_mutex.acquire();
//_mutex.acquire();
std::cerr << "Could not open workload file '" << _mixed_workload_file << "'." << std::endl;
_mutex.release();
//_mutex.release();
}
}
};
} // namespace benchmark
} // namespace benchmark