Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

release-24.3.1-rc: optbuilder: always select tombstone index using the index ordinal #137367

Merged

Conversation

blathers-crl[bot]
Copy link

@blathers-crl blathers-crl bot commented Dec 12, 2024

Backport 1/1 commits from #137361 on behalf of @mw5h.

/cc @cockroachdb/release


Previously, the index to which tombstones would be written to enforce uniqueness was chosen using the ordinal of uniqueness constraint, which happens to be the same as the index ordinal if no non-unique indexes precede the unique indexes on a relation. However, if a non-unique index precedes a unique index, we will erroneously apply the uniqueness check to that index. In most cases, this will cause queries to fail on an assertion within the row helper code.

However, a mixture of serializable and non-serializable mutations and some sequences of index additions and non-serializable mutations can cause uniqueness to be violated. This impacts all regional by row tables with uniqueness constraints that do not include the region which are mutated under non-serializable isolations.

This patch plumbs through the index ordinal so that the proper index will be checked for uniqueness in all cases.

Fixes: #137341
Release note (bug fix): Regional by row tables with uniqueness constraints where the region is not part of those uniqueness constraints and which also contain non-unique indices will now have that uniqueness properly enforced when modified at READ-COMMITTED isolation. This bug was introduced in
release 24.3.0.


Release justification: Fix for potential data corruption bug.

Previously, the index to which tombstones would be written to enforce
uniqueness was chosen using the ordinal of uniqueness constraint, which
happens to be the same as the index ordinal if no non-unique indexes
precede the unique indexes on a relation. However, if a non-unique index
precedes a unique index, we will erroneously apply the uniqueness check
to that index. In most cases, this will cause queries to fail on an
assertion within the row helper code.

However, a mixture of serializable and non-serializable mutations and
some sequences of index additions and non-serializable mutations can cause
uniqueness to be violated. This impacts all regional by row tables with
uniqueness constraints that do not include the region which are mutated
under non-serializable isolations.

This patch plumbs through the index ordinal so that the proper index
will be checked for uniqueness in all cases.

Fixes: #137341
Release note (bug fix): Regional by row tables with uniqueness constraints
where the region is not part of those uniqueness constraints and which also
contain non-unique indices will now have that uniqueness properly enforced
when modified at READ-COMMITTED isolation. This bug was introduced in
release 24.3.0.
@blathers-crl blathers-crl bot requested a review from a team as a code owner December 12, 2024 23:11
@blathers-crl blathers-crl bot force-pushed the blathers/backport-release-24.3.1-rc-137361 branch from 04f695c to 6a4d19f Compare December 12, 2024 23:11
@blathers-crl blathers-crl bot requested review from mgartner and removed request for a team December 12, 2024 23:11
@blathers-crl blathers-crl bot added blathers-backport This is a backport that Blathers created automatically. O-robot Originated from a bot. labels Dec 12, 2024
@blathers-crl blathers-crl bot requested review from michae2, mw5h and rytaft December 12, 2024 23:11
Copy link
Author

blathers-crl bot commented Dec 12, 2024

Thanks for opening a backport.

Please check the backport criteria before merging:

  • Backports should only be created for serious
    issues
    or test-only changes.
  • Backports should not break backwards-compatibility.
  • Backports should change as little code as possible.
  • Backports should not change on-disk formats or node communication protocols.
  • Backports should not add new functionality (except as defined
    here).
  • Backports must not add, edit, or otherwise modify cluster versions; or add version gates.
  • All backports must be reviewed by the owning areas TL. For more information as to how that review should be conducted, please consult the backport
    policy
    .
If your backport adds new functionality, please ensure that the following additional criteria are satisfied:
  • There is a high priority need for the functionality that cannot wait until the next release and is difficult to address in another way.
  • The new functionality is additive-only and only runs for clusters which have specifically “opted in” to it (e.g. by a cluster setting).
  • New code is protected by a conditional check that is trivial to verify and ensures that it only runs for opt-in clusters. State changes must be further protected such that nodes running old binaries will not be negatively impacted by the new state (with a mixed version test added).
  • The PM and TL on the team that owns the changed code have signed off that the change obeys the above rules.
  • Your backport must be accompanied by a post to the appropriate Slack
    channel (#db-backports-point-releases or #db-backports-XX-X-release) for awareness and discussion.

Also, please add a brief release justification to the body of your PR to justify this
backport.

@blathers-crl blathers-crl bot added the backport Label PR's that are backports to older release branches label Dec 12, 2024
@cockroach-teamcity
Copy link
Member

This change is Reviewable

Copy link
Collaborator

@michae2 michae2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm: Nice!

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: :shipit: complete! 1 of 0 LGTMs obtained (waiting on @mgartner, @mw5h, and @rytaft)

Copy link
Collaborator

@mgartner mgartner left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

:lgtm: Don't forget to add a release justification to the PR description.

Reviewed 5 of 5 files at r1, all commit messages.
Reviewable status: :shipit: complete! 2 of 0 LGTMs obtained (waiting on @mw5h and @rytaft)

@celiala celiala merged commit 950be28 into release-24.3.1-rc Dec 13, 2024
20 of 21 checks passed
@celiala celiala deleted the blathers/backport-release-24.3.1-rc-137361 branch December 13, 2024 16:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport Label PR's that are backports to older release branches blathers-backport This is a backport that Blathers created automatically. O-robot Originated from a bot.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants