Skip to content

locks_leader api additions - #44

Merged
uwiger merged 3 commits into
masterfrom
uw-leader-api
Jul 30, 2026
Merged

locks_leader api additions#44
uwiger merged 3 commits into
masterfrom
uw-leader-api

Conversation

@uwiger

@uwiger uwiger commented Jul 30, 2026

Copy link
Copy Markdown
Owner

Add some functions that exist in the gen_leader API.
Fix some bugs discovered while running distributed gproc on locks_leader.

uwiger added 3 commits July 30, 2026 11:40
- broadcast/3 was inverted and did not wrap from_leader payloads
- handle_DOWN only ran when self was leader, so leader death skipped
  callback cleanup (breaks gproc_dist global reclamation)
@uwiger
uwiger merged commit ed69e18 into master Jul 30, 2026
6 checks passed
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