Please sign in to comment.
futex: Forbid uaddr == uaddr2 in futex_wait_requeue_pi()
If uaddr == uaddr2, then we have broken the rule of only requeueing from a non-pi futex to a pi futex with this call. If we attempt this, as the trinity test suite manages to do, we miss early wakeups as q.key is equal to key2 (because they are the same uaddr). We will then attempt to dereference the pi_mutex (which would exist had the futex_q been properly requeued to a pi futex) and trigger a NULL pointer dereference. Signed-off-by: Darren Hart <email@example.com> Cc: Dave Jones <firstname.lastname@example.org> Cc: email@example.com Link: http://firstname.lastname@example.org Signed-off-by: Thomas Gleixner <email@example.com>
- Loading branch information...