From 9320380efdb49d8689bcf2ee01f527764ebfe215 Mon Sep 17 00:00:00 2001 From: Michael Mueller Date: Wed, 10 Aug 2022 16:30:47 +0200 Subject: [PATCH] blinktree: Removed unnecessary mutexes. Console output is already synchronized internally. --- repos/mml/src/app/blinktree/benchmark/workload_set.h | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/repos/mml/src/app/blinktree/benchmark/workload_set.h b/repos/mml/src/app/blinktree/benchmark/workload_set.h index c2cd68274e..c800b79591 100644 --- a/repos/mml/src/app/blinktree/benchmark/workload_set.h +++ b/repos/mml/src/app/blinktree/benchmark/workload_set.h @@ -97,9 +97,9 @@ class Fill_thread : public Genode::Thread if (fill_file.good()) { parse(fill_file, _workload_set._data_sets[static_cast(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(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 \ No newline at end of file +} // namespace benchmark