Avi Kivity
97694d26c4
Merge 'reader_permit: minor improvements to resource consume/release safety' from Botond Dénes
...
This PR contains some small improvements to the safety of consuming/releasing resources to/from the semaphore:
* reader_permit: make the low-level `consume()/signal()` API private, making the only user (an RAII class) friend.
* reader_resources: split `reset()` into `noexcept` and potentially throwing variant.
* reader_resources::reset_to(): try harder to avoid calling `consume()` (when the new resource amount is smaller then the previous one)
Closes #13678
* github.com:scylladb/scylladb:
reader_permit: resource_units::reset_to(): try harder to avoid calling consume()
reader_permit: split resource_units::reset()
reader_permit: make consume()/signal() API private
2023-05-14 14:14:23 +03:00
..
2023-03-07 17:54:53 +08:00
2023-05-02 11:04:05 +03:00
2023-04-07 20:32:28 +08:00
2023-02-28 21:56:53 +08:00
2023-02-01 20:14:51 -03:00
2023-03-22 13:48:50 +02:00
2023-02-01 20:14:51 -03:00
2023-02-15 11:01:50 +02:00
2023-03-21 13:15:12 +02:00
2023-02-15 11:01:50 +02:00
2023-02-14 11:19:03 +02:00
2023-02-01 20:14:51 -03:00
2023-05-07 17:17:36 +03:00
2023-02-15 11:01:50 +02:00
2023-03-21 13:15:12 +02:00
2023-02-19 12:58:22 +08:00
2023-02-01 20:14:51 -03:00
2023-05-09 13:56:06 +04:00
2023-02-01 20:14:51 -03:00
2023-03-22 04:58:01 -04:00
2023-02-15 11:01:50 +02:00
2023-02-01 20:14:51 -03:00
2023-04-19 05:20:42 -04:00
2023-02-15 11:01:50 +02:00
2023-02-01 20:14:51 -03:00
2023-05-07 17:17:36 +03:00
2023-02-15 11:01:50 +02:00
2023-05-07 17:17:36 +03:00
2023-02-15 11:01:50 +02:00
2023-05-07 17:17:36 +03:00
2022-11-16 16:30:38 +02:00
2023-04-17 14:08:37 +03:00
2023-04-24 09:31:08 +03:00
2023-02-01 20:14:51 -03:00
2023-04-27 10:24:46 +03:00
2023-02-15 11:09:04 +02:00
2023-02-28 21:56:53 +08:00
2023-02-01 20:14:51 -03:00
2023-04-29 13:11:31 +02:00
2023-02-28 21:56:53 +08:00
2023-02-01 20:14:51 -03:00
2023-05-02 07:58:34 +03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-15 11:01:50 +02:00
2023-02-28 21:56:53 +08:00
2023-05-07 17:17:36 +03:00
2023-02-01 20:14:51 -03:00
2023-04-24 14:06:43 +03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-19 21:05:45 +02:00
2023-02-19 21:05:45 +02:00
2023-02-01 20:14:51 -03:00
2023-03-21 13:15:12 +02:00
2023-02-01 20:14:51 -03:00
2023-04-20 23:39:18 +02:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-04-17 14:08:37 +03:00
2023-03-21 13:15:12 +02:00
2023-02-15 11:01:50 +02:00
2023-04-05 10:32:58 +02:00
2023-05-02 09:42:41 -04:00
2023-02-15 11:01:50 +02:00
2023-05-02 16:19:32 +03:00
2023-05-03 04:19:42 -04:00
2023-02-28 21:56:53 +08:00
2023-02-28 21:56:53 +08:00
2023-04-24 10:49:37 +02:00
2023-02-15 11:01:50 +02:00
2023-04-24 10:49:37 +02:00
2023-02-14 11:19:03 +02:00
2023-04-26 07:41:57 -04:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-15 11:01:50 +02:00
2023-02-14 11:19:03 +02:00
2023-04-26 09:00:25 +03:00
2023-02-28 21:56:53 +08:00
2023-05-14 14:14:23 +03:00
2023-02-03 19:04:32 +01:00
2023-02-28 21:56:53 +08:00
2023-02-01 20:14:51 -03:00
2023-02-28 21:56:53 +08:00
2023-04-26 22:09:17 +02:00
2023-02-01 20:14:51 -03:00
2023-05-02 07:58:34 +03:00
2023-05-07 19:51:10 -03:00
2023-04-27 09:40:18 +02:00
2023-03-22 13:59:47 +02:00
2023-02-01 20:14:51 -03:00
2023-02-15 11:01:50 +02:00
2023-03-07 17:54:53 +08:00
2023-04-21 09:43:53 +03:00
2023-02-01 20:14:51 -03:00
2023-04-27 10:24:46 +03:00
2023-04-27 10:24:46 +03:00
2023-02-28 21:56:53 +08:00
2023-05-11 12:32:21 +08:00
2023-05-09 07:30:54 +03:00
2023-02-01 20:14:51 -03:00
2023-05-11 12:32:22 +08:00
2023-05-06 18:24:45 +08:00
2023-05-11 12:32:22 +08:00
2023-05-11 12:32:22 +08:00
2023-02-17 17:58:26 +03:00
2023-05-06 18:24:48 +08:00
2023-05-02 07:58:34 +03:00
2023-05-11 12:32:22 +08:00
2023-03-22 13:59:47 +02:00
2023-04-23 21:34:02 +03:00
2023-04-29 13:11:31 +02:00
2023-04-24 10:49:36 +02:00
2023-05-02 10:48:46 +03:00
2023-03-27 01:44:00 -04:00
2023-04-24 10:49:37 +02:00
2023-05-09 18:42:03 +04:00
2023-04-17 14:08:37 +03:00
2023-02-15 11:09:04 +02:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-19 21:05:45 +02:00
2023-03-09 17:51:15 +01:00
2023-02-28 21:56:53 +08:00
2023-04-26 14:09:58 +08:00
2023-05-02 07:58:34 +03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-02-01 20:14:51 -03:00
2023-03-16 20:34:18 +08:00
2023-03-06 13:17:21 +03:00
2023-02-15 11:01:50 +02:00
2023-02-01 20:14:51 -03:00
2023-03-28 18:18:48 +02:00
2023-03-28 18:18:48 +02:00