Rosen Penev
4e0e4c00bf
treewide: replace lock_guard with scoped_lock
...
SonarLint reports the latter to be better:
std::scoped_lock basically provides the same feature as std::lock_guard,
but is more generic: It can lock several mutexes at the same time, with a
deadlock prevention mechanism (see {rule:cpp:S5524}). The equivalent code
to perform simultaneous locking with std::lock_guard is significantly more
complex. Therefore, it is simpler to use std::scoped_lock all the time,
even when locking only one mutex (there will be no performance impact).
Signed-off-by: Rosen Penev <rosenp@gmail.com>
2021-11-11 17:13:03 -08:00
..
2020-10-05 20:33:58 +02:00
2020-04-01 16:09:24 +02:00
2021-08-10 16:16:15 +02:00
2021-10-07 14:44:30 +02:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:59:15 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-11-11 17:13:03 -08:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-10-15 14:26:59 +02:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-03-08 17:27:23 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-11-11 17:13:03 -08:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-03-08 22:20:55 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:59:15 +01:00
2021-02-24 15:11:11 +01:00
2021-01-01 19:59:15 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2018-10-14 23:41:38 +02:00
2020-09-07 20:53:46 +02:00
2018-10-14 23:41:38 +02:00
2019-08-10 10:07:13 +02:00
2021-04-28 13:00:42 +02:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-04-26 23:25:36 +02:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-04-28 13:00:42 +02:00
2019-07-05 09:59:58 +02:00
2019-08-03 13:10:49 +02:00
2020-07-06 21:07:26 +02:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2018-10-16 21:26:04 +02:00
2019-11-04 15:44:06 +01:00
2021-03-05 13:22:34 +01:00
2020-02-01 14:02:43 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00
2021-01-01 19:54:28 +01:00