We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 10aac3e commit ee130adCopy full SHA for ee130ad
1 file changed
usertest/src/futex2.rs
@@ -567,9 +567,9 @@ register_test!(test_futex2_wake_no_waiters);
567
568
fn test_futex2_requeue_to_self() {
569
// Requeueing a futex onto itself (uaddr1 == uaddr2) is rejected with
570
- // EINVAL on Linux. moss currently short-circuits this to a plain wake and
571
- // returns success, silently dropping nr_requeue -- this test encodes the
572
- // Linux contract and is expected to fail until that is fixed.
+ // EINVAL, matching Linux. moss detects key1 == key2 before requeueing
+ // (this also catches distinct virtual addresses aliasing one shared
+ // frame); this test guards against that reject regressing.
573
let f = Arc::new(AtomicU32::new(0));
574
let woken = Arc::new(AtomicU32::new(0));
575
0 commit comments