Skip to content

Add RTS worker sync pause#2815

Merged
plajjan merged 1 commit into
mainfrom
rts-sync-pause
Jun 4, 2026
Merged

Add RTS worker sync pause#2815
plajjan merged 1 commit into
mainfrom
rts-sync-pause

Conversation

@plajjan
Copy link
Copy Markdown
Contributor

@plajjan plajjan commented May 27, 2026

Introduce a cooperative sync-pause primitive for RTS worker threads. A worker can request a pause, wake the other workers, wait until they park at the work-loop safepoint, and release them when the synchronized operation is complete.

Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: cc2d97d635

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread base/rts/rts.c Outdated
@plajjan plajjan force-pushed the rts-sync-pause branch 2 times, most recently from fe2bf5a to c31008f Compare June 1, 2026 19:30
Introduce a cooperative sync-pause primitive for RTS worker threads. A worker
can request a pause, wake its peers, wait until they park at worker-loop pause
checks, and release them when the synchronized operation completes.

Pause requests fail before the worker pool is running or while another pause is
active. Active pause waits time out briefly and re-check rts_exit, so graceful
shutdown cannot leave the owner or parked workers asleep on the pause condition.
@plajjan plajjan enabled auto-merge June 4, 2026 22:17
@plajjan plajjan merged commit 7c4024d into main Jun 4, 2026
111 of 129 checks passed
@plajjan plajjan deleted the rts-sync-pause branch June 4, 2026 22:54
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