fix(redox): incorrect values for PTHREAD_MUTEX_{NORMAL, RECURSIVE} by Andy-Python-Programmer · Pull Request #4943 · rust-lang/libc (original) (raw)

Skip to content

Navigation Menu

• Pricing

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Conversation

Description

• Fixes incorrect values for PTHREAD_MUTEX_{NORMAL, RECURSIVE} on Redox.
• Adds other missing PTHREAD_MUTEX_* constants.

Sources

See https://gitlab.redox-os.org/redox-os/relibc/-/blob/5cadc9ebbd36f5294e08f67233928e5ad6f05670/src/header/pthread/mod.rs#L60

Checklist

• Relevant tests in libc-test/semver have been updated. PTHREAD_MUTEX_ERRORCHECK, PTHREAD_MUTEX_ROBUST, PTHREAD_MUTEX_STALLED, PTHREAD_MUTEX_DEFAULT were added. These are not defined in libc-test/semver/unix.txt
• No placeholder or unstable values like *LAST or *MAX are
  included (see #3131)
• Tested locally (cd libc-test && cargo test --target mytarget);
  especially relevant for platforms that may not be checked in CI

Choose a reason for hiding this comment

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

Looks correct, thanks!

@jackpot51 could you double-check this PR when you have some time? Thanks in advance!

Merged via the queue into rust-lang:main with commit 3482c80

Jan 27, 2026

50 of 51 checks passed

Can a 0.2 rollup be done soon?

Can a 0.2 rollup be done soon?

Short answer is yes™! We have an issue around the time64 change (#4939) and I'd like to cut a new release as soon as it's resolved.

tgross35 pushed a commit to tgross35/rust-libc that referenced this pull request

Feb 9, 2026

tgross35 added stable-applied

This PR has been cherry-picked to libc's stable release branch

and removed stable-nominated

This PR should be considered for cherry-pick to libc's stable release branch

labels

Feb 9, 2026

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})

Labels