expede/surelock

Fork 1

Code Issues 2 Pull requests 1 Activity

RwLock #4

Open

expede wants to merge 16 commits from rwlock into main

pull from: rwlock

merge into: expede:main

expede:main

expede:lockkey

Conversation 0 Commits 16 Files changed 81 +6158 -358

expede commented

2026年06月01日 08:13:58 +02:00

Owner

Copy link

No description provided.

expede added 2 commits

2026年06月01日 08:13:58 +02:00

Better organisation f115fbe456

QA f1699dd0a6

expede added 3 commits

2026年06月01日 09:25:33 +02:00

Nonblocking RwLocks 0d1a554d25

Rollback completeness 27bf43b3e4

Better message if same lock acquired 2x in same lockset 11c0069841

expede added 2 commits

2026年06月01日 09:51:03 +02:00

Break out errors, start on prelude 9fd68df9b4

Fix docs a5fb0d0f70

expede added 1 commit

2026年06月01日 10:04:36 +02:00

Round out docs ff6b8b7e8d

expede added 1 commit

2026年06月01日 10:14:31 +02:00

Round out test suite 2f3f69e373

expede added 1 commit

2026年06月01日 10:16:12 +02:00

Fix test descriptions 5e739d8e49

expede added 1 commit

2026年06月08日 01:22:48 +02:00

Cleanup c486bdec10

expede added 1 commit

2026年06月08日 01:41:17 +02:00

More tests 17d8fa1b57

expede added 1 commit

2026年06月08日 03:04:12 +02:00

docs af4a14c312

expede added 1 commit

2026年06月08日 06:18:56 +02:00

Add mutation tests d825375c72

expede added 1 commit

2026年06月14日 02:35:28 +02:00

Cleanup ac05ae5b87

expede added 1 commit

2026年06月18日 00:12:26 +02:00

Cleaning up 230ba70f27

This pull request can be merged automatically.

You are not authorized to merge this pull request.

View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.

git fetch -u origin rwlock:rwlock

git switch rwlock

Merge

Merge the changes and update on Forgejo.

git switch main

git merge --no-ff rwlock

git switch rwlock

git rebase main

git switch main

git merge --ff-only rwlock

git switch rwlock

git rebase main

git switch main

git merge --no-ff rwlock

git switch main

git merge --squash rwlock

git switch main

git merge --ff-only rwlock

git switch main

git merge rwlock

git push origin main

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

expede/surelock!4

No description provided.

Delete branch "rwlock"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?