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

Fix race condition in chexify #271

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

copybara-service[bot]
Copy link

@copybara-service copybara-service bot commented May 22, 2023

Fix race condition in chexify

When called with multiple threads in async mode, a chexified function and
block_until_chexify_assertions_complete both access the internal futures queue
without synchronization. This adds a lock around the futures queue to avoid the
circumstance where the popleft method can be called on an empty queue, causing
an uncaught IndexError.

@copybara-service copybara-service bot changed the title Fix race-condition in chexify Fix race condition in chexify May 22, 2023
When called with multiple threads in async mode, a chexified function and
`block_until_chexify_assertions_complete` both access the internal futures queue
without synchronization. This adds a lock around the futures queue to avoid the
circumstance where the `popleft` method can be called on an empty queue, causing
an uncaught `IndexError`.

PiperOrigin-RevId: 534012863
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.

1 participant