Skip to content

fix: deadlock when uv_tcp_accept is under contention#12796

Merged
hargoniX merged 1 commit intomasterfrom
hbv/fix_uv_tcp_accept_deadlock
Mar 4, 2026
Merged

fix: deadlock when uv_tcp_accept is under contention#12796
hargoniX merged 1 commit intomasterfrom
hbv/fix_uv_tcp_accept_deadlock

Conversation

@hargoniX
Copy link
Copy Markdown
Contributor

@hargoniX hargoniX commented Mar 4, 2026

This PR fixes a deadlock when uv_tcp_accept is under contention from multiple threads.

@hargoniX hargoniX added the changelog-compiler Compiler, runtime, and FFI label Mar 4, 2026
@hargoniX hargoniX added this pull request to the merge queue Mar 4, 2026
@github-actions github-actions bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Mar 4, 2026
@mathlib-lean-pr-testing
Copy link
Copy Markdown

Mathlib CI status (docs):

  • ❗ Batteries/Mathlib CI will not be attempted unless your PR branches off the nightly-with-mathlib branch. Try git rebase 10ece4e082ac78e3ded5ad855c3c8fb10073b241 --onto cda84702e9b31165f1f83c657b532f36f34e0bd0. You can force Mathlib CI using the force-mathlib-ci label. (2026-03-04 20:16:58)

@leanprover-bot
Copy link
Copy Markdown
Collaborator

Reference manual CI status:

  • ❗ Reference manual CI will not be attempted unless your PR branches off the nightly-with-manual branch. Try git rebase 10ece4e082ac78e3ded5ad855c3c8fb10073b241 --onto cda84702e9b31165f1f83c657b532f36f34e0bd0. You can force reference manual CI using the force-manual-ci label. (2026-03-04 20:16:59)

Merged via the queue into master with commit 09f8cfc Mar 4, 2026
24 of 25 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-compiler Compiler, runtime, and FFI toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants