[jira] [Commented] (CASSANDRA-13305) Slice.isEmpty() returns false for some empty slices
[ https://issues.apache.org/jira/browse/CASSANDRA-13305?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15902599#comment-15902599 ] Branimir Lambov commented on CASSANDRA-13305: - Second run is clean, marking ready to commit. > Slice.isEmpty() returns false for some empty slices > --- > > Key: CASSANDRA-13305 > URL: https://issues.apache.org/jira/browse/CASSANDRA-13305 > Project: Cassandra > Issue Type: Bug >Reporter: Sylvain Lebresne >Assignee: Sylvain Lebresne > Fix For: 3.0.x, 3.11.x > > > {{Slice.isEmpty}} is currently defined as {{comparator.compare(end, start) < > 0}} but this shouldn't be a strict inequality. Indeed, the way > {{Slice.Bound}} is defined, having a start equal to an end implies a range > like {{[1, 1)}}, but that range is definitively empty and something we > shouldn't let in as that would break merging and other range tombstone > related code. > In practice, if you can currently insert such empty range (with something > like {{DELETE FROM t WHERE k = 'foo' AND i >= 1 AND i < 1}}), and that can > trigger assertions in {{RangeTomstoneList}} (and possibly other problem). -- This message was sent by Atlassian JIRA (v6.3.15#6346)
[jira] [Commented] (CASSANDRA-13305) Slice.isEmpty() returns false for some empty slices
[ https://issues.apache.org/jira/browse/CASSANDRA-13305?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15901353#comment-15901353 ] Sylvain Lebresne commented on CASSANDRA-13305: -- Yes, saw that, and that's a bit weird. Ran the tests locally quite a few times with no failure, and as importantly, I'm reasonably confident the failing tests do not use {{Slice.isEmpty}} (which is the only method the patch modifies) in any way, since that latter method is only used in {{ModificationStatement}} and {{RangeTombstoneList}}, but the failing tests are low-level Row tests that relatively clearly don't use these. Anyway, I've re-triggered a CI run on 3.0 to make sure this isn't a CI thing, but if it's clean, I'll probably just go ahead and commit unless you have reason to think there is something genuinely going on here. > Slice.isEmpty() returns false for some empty slices > --- > > Key: CASSANDRA-13305 > URL: https://issues.apache.org/jira/browse/CASSANDRA-13305 > Project: Cassandra > Issue Type: Bug >Reporter: Sylvain Lebresne >Assignee: Sylvain Lebresne > Fix For: 3.0.x, 3.11.x > > > {{Slice.isEmpty}} is currently defined as {{comparator.compare(end, start) < > 0}} but this shouldn't be a strict inequality. Indeed, the way > {{Slice.Bound}} is defined, having a start equal to an end implies a range > like {{[1, 1)}}, but that range is definitively empty and something we > shouldn't let in as that would break merging and other range tombstone > related code. > In practice, if you can currently insert such empty range (with something > like {{DELETE FROM t WHERE k = 'foo' AND i >= 1 AND i < 1}}), and that can > trigger assertions in {{RangeTomstoneList}} (and possibly other problem). -- This message was sent by Atlassian JIRA (v6.3.15#6346)
[jira] [Commented] (CASSANDRA-13305) Slice.isEmpty() returns false for some empty slices
[ https://issues.apache.org/jira/browse/CASSANDRA-13305?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15901187#comment-15901187 ] Branimir Lambov commented on CASSANDRA-13305: - The patch looks good, but the failures in {{RowsTest}} on 3.0 appear to be new. Could you verify that they are not genuine regressions? > Slice.isEmpty() returns false for some empty slices > --- > > Key: CASSANDRA-13305 > URL: https://issues.apache.org/jira/browse/CASSANDRA-13305 > Project: Cassandra > Issue Type: Bug >Reporter: Sylvain Lebresne >Assignee: Sylvain Lebresne > Fix For: 3.0.x, 3.11.x > > > {{Slice.isEmpty}} is currently defined as {{comparator.compare(end, start) < > 0}} but this shouldn't be a strict inequality. Indeed, the way > {{Slice.Bound}} is defined, having a start equal to an end implies a range > like {{[1, 1)}}, but that range is definitively empty and something we > shouldn't let in as that would break merging and other range tombstone > related code. > In practice, if you can currently insert such empty range (with something > like {{DELETE FROM t WHERE k = 'foo' AND i >= 1 AND i < 1}}), and that can > trigger assertions in {{RangeTomstoneList}} (and possibly other problem). -- This message was sent by Atlassian JIRA (v6.3.15#6346)
[jira] [Commented] (CASSANDRA-13305) Slice.isEmpty() returns false for some empty slices
[ https://issues.apache.org/jira/browse/CASSANDRA-13305?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=15899786#comment-15899786 ] Joshua McKenzie commented on CASSANDRA-13305: - [~blambov] to review > Slice.isEmpty() returns false for some empty slices > --- > > Key: CASSANDRA-13305 > URL: https://issues.apache.org/jira/browse/CASSANDRA-13305 > Project: Cassandra > Issue Type: Bug >Reporter: Sylvain Lebresne >Assignee: Sylvain Lebresne > Fix For: 3.0.x, 3.11.x > > > {{Slice.isEmpty}} is currently defined as {{comparator.compare(end, start) < > 0}} but this shouldn't be a strict inequality. Indeed, the way > {{Slice.Bound}} is defined, having a start equal to an end implies a range > like {{[1, 1)}}, but that range is definitively empty and something we > shouldn't let in as that would break merging and other range tombstone > related code. > In practice, if you can currently insert such empty range (with something > like {{DELETE FROM t WHERE k = 'foo' AND i >= 1 AND i < 1}}), and that can > trigger assertions in {{RangeTomstoneList}} (and possibly other problem). -- This message was sent by Atlassian JIRA (v6.3.15#6346)