Avi Kivity
095c2f2920
Merge "Fixes for partition_range model" from Tomasz
...
"range::is_wrap_around() will not work with current ring_position, because it
relies on total ordering. Same for range::contains(). Currently ring_position
is weakly ordered. This series fixes this problem by making ring_position
totally ordered.
Another problem fixed by this series is handling of wrap-around ranges. In
Origin, ]x; x] is treated as a wrap around range covering whole ring."
2015-07-25 17:47:40 +03:00
..
2015-07-08 10:02:31 +02:00
2015-07-24 16:08:41 +02:00
2015-07-16 16:23:03 +02:00
2015-07-24 22:55:12 -04:00
2015-07-24 10:21:11 +02:00
2015-07-24 10:21:11 +02:00
2015-05-12 16:32:56 +03:00
2015-07-24 10:21:11 +02:00
2015-07-24 10:21:11 +02:00
2015-07-10 10:49:30 +03:00
2015-07-10 10:49:30 +03:00
2015-04-29 15:40:38 +03:00
2015-05-12 16:41:12 +03:00
2015-07-24 10:21:11 +02:00
2015-07-24 10:21:11 +02:00
2015-07-25 17:34:56 +03:00
2015-07-06 23:36:48 +02:00
2015-07-08 10:38:33 +02:00
2015-07-21 14:46:34 +02:00
2015-07-21 14:46:34 +02:00
2015-07-06 08:21:15 +02:00
2015-07-21 14:46:34 +02:00
2015-07-10 10:42:10 +03:00
2015-07-10 10:42:10 +03:00
2015-07-10 10:31:56 +03:00
2015-07-10 10:31:56 +03:00
2015-07-22 15:30:13 +02:00
2015-07-22 15:30:13 +02:00
2015-07-22 15:30:13 +02:00
2015-07-22 15:30:13 +02:00
2015-04-20 16:15:34 +03:00
2015-04-29 15:40:38 +03:00
2015-05-12 16:41:12 +03:00
2015-04-14 15:36:42 +02:00
2015-07-09 00:12:08 -04:00
2015-07-06 08:21:16 +02:00
2015-07-14 17:18:11 +03:00
2015-07-09 00:12:08 -04:00
2015-03-24 12:03:00 +01:00
2015-07-08 10:02:31 +02:00
2015-07-22 15:30:13 +02:00
2015-07-22 15:30:13 +02:00
2015-04-29 15:40:38 +03:00
2015-04-29 15:40:38 +03:00
2015-05-12 16:32:56 +03:00
2015-07-08 10:02:31 +02:00
2015-07-08 10:02:31 +02:00
2015-04-29 15:40:38 +03:00
2015-04-20 16:15:34 +03:00
2015-07-06 08:21:16 +02:00
2015-07-07 11:38:22 -04:00
2015-04-15 20:44:50 +02:00
2015-05-12 16:32:56 +03:00
2015-04-29 15:40:38 +03:00
2015-07-24 10:21:11 +02:00
2015-07-24 10:21:11 +02:00
2015-05-12 16:32:56 +03:00