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

[run-benchmark] Avoid race condition when killing the browser subprocess on Linux #1874

Merged
merged 1 commit into from Jun 29, 2022

Conversation

clopez
Copy link
Contributor

@clopez clopez commented Jun 28, 2022

7fd0981

[run-benchmark] Avoid race condition when killing the browser subprocess on Linux
https://bugs.webkit.org/show_bug.cgi?id=242083

Reviewed by Adrian Perez de Castro.

Fix a race condition that happens when the run-benchmark runner attempts to
close the browser (on Linux).

Sometimes the browser subprocess ends in the interval between the is_running()
check and the kill() call, causing an exception on the runner.

* Tools/Scripts/webkitpy/benchmark_runner/browser_driver/linux_browser_driver.py:
(LinuxBrowserDriver.close_browsers):

Canonical link: https://commits.webkit.org/251936@main

@clopez clopez requested a review from JonWBedard as a code owner June 28, 2022 22:31
@clopez clopez added the merge-queue Applied to send a pull request to merge-queue label Jun 28, 2022
…ess on Linux

https://bugs.webkit.org/show_bug.cgi?id=242083

Reviewed by Adrian Perez de Castro.

Fix a race condition that happens when the run-benchmark runner attempts to
close the browser (on Linux).

Sometimes the browser subprocess ends in the interval between the is_running()
check and the kill() call, causing an exception on the runner.

* Tools/Scripts/webkitpy/benchmark_runner/browser_driver/linux_browser_driver.py:
(LinuxBrowserDriver.close_browsers):

Canonical link: https://commits.webkit.org/251936@main
@webkit-commit-queue
Copy link
Collaborator

Committed 251936@main (7fd0981): https://commits.webkit.org/251936@main

Reviewed commits have been landed. Closing PR #1874 and removing active labels.

@webkit-early-warning-system webkit-early-warning-system merged commit 7fd0981 into WebKit:main Jun 29, 2022
@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Jun 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
4 participants