Skip to content

Conversation

@kpamnany
Copy link
Collaborator

@kpamnany kpamnany commented Jun 5, 2024

PR Description

Backports JuliaLang#54671.

The race here is that svec might be replaced and a new binding introduced into the keyset while we hold a reference to the old svec, which led to a OOB access on the svec with the index a binding introduced at the same time. This now introduces a bounds check which will force taking the lock if we fail the lookup i.e we had a data race.

Checklist

Requirements for merging:

…JuliaLang#54671)

The race here is that svec might be replaced and a new binding
introduced into the keyset while we hold a reference to the old svec,
which led to a OOB access on the svec with the index a binding
introduced at the same time. This now introduces a bounds check which
will force taking the lock if we fail the lookup i.e we had a data race.

Fixes JuliaLang#54285

---------

Co-authored-by: Jameson Nash <[email protected]>
@github-actions github-actions bot added port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Jun 5, 2024
@kpamnany kpamnany removed port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels Jun 5, 2024
@kpamnany kpamnany merged commit 7afe5a0 into v1.10.2+RAI Jun 5, 2024
@kpamnany kpamnany deleted the kp-backport-54671 branch June 5, 2024 13:22
Drvi pushed a commit that referenced this pull request Jun 7, 2024
…JuliaLang#54671) (#158)

The race here is that svec might be replaced and a new binding
introduced into the keyset while we hold a reference to the old svec,
which led to a OOB access on the svec with the index a binding
introduced at the same time. This now introduces a bounds check which
will force taking the lock if we fail the lookup i.e we had a data race.

Fixes JuliaLang#54285

---------

Co-authored-by: Gabriel Baraldi <[email protected]>
Co-authored-by: Jameson Nash <[email protected]>
Drvi pushed a commit that referenced this pull request Jun 7, 2024
…JuliaLang#54671) (#158)

The race here is that svec might be replaced and a new binding
introduced into the keyset while we hold a reference to the old svec,
which led to a OOB access on the svec with the index a binding
introduced at the same time. This now introduces a bounds check which
will force taking the lock if we fail the lookup i.e we had a data race.

Fixes JuliaLang#54285

---------

Co-authored-by: Gabriel Baraldi <[email protected]>
Co-authored-by: Jameson Nash <[email protected]>
@kpamnany kpamnany mentioned this pull request Jun 17, 2024
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants