Skip to content

fix race conditions in git progress pool#225

Merged
elcritch merged 2 commits into
masterfrom
fix-gitprogresspool-race
May 27, 2026
Merged

fix race conditions in git progress pool#225
elcritch merged 2 commits into
masterfrom
fix-gitprogresspool-race

Conversation

@elcritch

Copy link
Copy Markdown
Collaborator

Fix intermittent git progress pool crashes

Adds useMalloc by default for cleaner sanitizer runs, and serializes subprocess start/close in gitprogresspool to avoid intermittent Bad file descriptor failures seen under concurrent worker load on macOS.

Also converts worker exceptions into failed job results so the pool does not hang if process setup or output reading fails.

Tested:

  • nim c -r tests/tgitprogresspool.nim
  • TSan stress harness with repeated runs

@elcritch elcritch merged commit c0c0126 into master May 27, 2026
15 checks passed
@elcritch elcritch deleted the fix-gitprogresspool-race branch May 27, 2026 23:14
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