Closed GPMueller closed 3 years ago
Merging #558 into develop will increase coverage by
0.05%
. The diff coverage is63.63%
.
@@ Coverage Diff @@
## develop #558 +/- ##
===========================================
+ Coverage 50.06% 50.12% +0.05%
===========================================
Files 88 89 +1
Lines 10136 10144 +8
===========================================
+ Hits 5075 5085 +10
+ Misses 5061 5059 -2
Note: there was a bug in this FIFO lock implementation, which has been fixed with fba2fb515af9ddc3de083bc1fbf422abedd5e4bc.
Switch from
std::mutex
to customOrdered_Lock
, which is a kind of "fair" or "fifo" mutex. Closes #436.Note: implemented according to https://stackoverflow.com/a/14792685/4069571