Skip to content

checklocks: guard event broadcaster state - #14332

Closed
tamird wants to merge 1 commit into
google:masterfrom
tamird:checklocks-syncevent-broadcaster
Closed

checklocks: guard event broadcaster state#14332
tamird wants to merge 1 commit into
google:masterfrom
tamird:checklocks-syncevent-broadcaster

Conversation

@tamird

@tamird tamird commented Aug 22, 2026

Copy link
Copy Markdown
Contributor

Enforce the broadcaster mutex contract for its subscription table, load, and ID allocation. Document how the same mutex protects slot contents and insertion into shared backing storage, while unpublished storage can be initialized under exclusive ownership.

Assisted-by: Codex

@tamird

tamird commented Aug 22, 2026

Copy link
Copy Markdown
Contributor Author

r? @EtiennePerot Could you review subscription-table and backing-storage ownership?

Focused local Bazel checks passed. Upstream checks have not reported yet.

Assisted-by: Codex

Enforce the broadcaster mutex contract for its subscription table, load,
ID allocation and self-locking entry points. Document how the same mutex
protects slot contents and insertion into shared backing storage, while
unpublished storage can be initialized under exclusive ownership.

Slots and table slices have no link back to the owning broadcaster, so
their mutex requirements cannot be named by checklocks. Explain that
receiver callbacks run synchronously under the broadcaster mutex and
must not reenter it; the callback interface also loses that owner.

Assisted-by: Codex
@tamird
tamird force-pushed the checklocks-syncevent-broadcaster branch from 1930ead to c964e10 Compare August 22, 2026 16:19
@tamird

tamird commented Aug 23, 2026

Copy link
Copy Markdown
Contributor Author

Closing in favor of consolidated #14289. The expanded replacement commits are prepared locally; the replacement branch has not been pushed yet.

Assisted-by: Codex

@tamird tamird closed this Aug 23, 2026
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