Skip to content

fix: clarify synchronization licensing and documentation - #281

Merged
tisonkun merged 3 commits into
mainfrom
codex/clarify-mutex-rwlock-licensing
Sep 4, 2026
Merged

fix: clarify synchronization licensing and documentation#281
tisonkun merged 3 commits into
mainfrom
codex/clarify-mutex-rwlock-licensing

Conversation

@tisonkun

@tisonkun tisonkun commented Sep 4, 2026

Copy link
Copy Markdown
Member

Summary

  • apply the standard ASF source header to the independently developed and substantially modified Mutex implementation while retaining Tokio copyright, MIT terms, and a commit-pinned source URL
  • record the concrete Mutex and RwLock adaptations in LICENSE, while keeping the RwLock files under their existing third-party-derived header treatment
  • revise public synchronization documentation around observable behavior, cancellation, ownership, and guard projection instead of internal semaphore, permit, waiter, and waker mechanics
  • keep guard variance checks as doctest-only compile-fail coverage without exposing implementation-oriented sections on the public API pages
  • standardize trivial Display implementations and empty vector construction for consistency

Validation

  • cargo x test
  • cargo test -p asyncband --all-features --doc
  • cargo +nightly clippy --tests --all-features --all-targets --workspace -- -D warnings
  • cargo +nightly fmt --all --check
  • RUSTDOCFLAGS="-D warnings --cfg docsrs" cargo +nightly doc --workspace --all-features --no-deps
  • hawkeye check
  • typos asyncband/src

cargo x lint completed Clippy and rustfmt, then the local Taplo binary crashed in the macOS system-configuration library while running its format check.

@tisonkun tisonkun changed the title fix: clarify mutex third-party licensing fix: clarify synchronization licensing and documentation Sep 4, 2026
@tisonkun
tisonkun merged commit 58425c5 into main Sep 4, 2026
10 checks passed
@tisonkun
tisonkun deleted the codex/clarify-mutex-rwlock-licensing branch September 4, 2026 07:52
@tisonkun tisonkun mentioned this pull request Sep 4, 2026
33 tasks
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