lkml.org 
[lkml]   [2009]   [Mar]   [2]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[TIP][RFC 0/7] requeue pi implemenation
The following series is v5 of the requeue_pi patches against
linux-2.6-tip/core/futexes. The current futex implementation doesn't
allow for requeueing of PI futexes, which leads to a thundering herd
during pthread_cond_broadcast (as opposed to a civilized priority
ordered wakeup sequence). The core of the problem is that the
underlying rt_mutex can not be left with waiters and no owner (which
would break the PI logic). This patch series updates the futex requeue
code to allow for requeueing from non-pi to pi futexes in support of PI
aware pthread_cond_* calls along with some needful rt_mutex helper
routines. The credit for the design goes to Thomas Gleixner, while the
bugs and other idiocies present in this implementation should be
attributed to me.

I'd really appreciate feedback on the implementation as well as any
design critiques. Answers to the questions posed in the patch headers
and patches are particularly welcome.

This patch series has a known race condition that I'm currently
debugging (see 5/7), as well as notes, questions and FIXMEs in the
comments. These will be resolved and removed prior to submission

Each patch contains some documentation, but the bulk of the general
approach is outlined in 6/7.

Darren Hart (6):
RFC: futex: add requeue_pi calls
RFC: rt_mutex: add proxy lock routines
RFC: futex: finish_futex_lock_pi()
RFC: futex: futex_lock_pi_atomic()
RFC: futex: futex_top_waiter()
RFC: futex: futex_wait_queue_me()

$ git diff HEAD~6 | diffstat
include/asm-generic/errno.h | 2
include/linux/futex.h | 8
include/linux/thread_info.h | 4
kernel/futex.c | 1205 +++++++++++++++++++++++++++++++++-----------
kernel/rtmutex.c | 192 +++++--
kernel/rtmutex_common.h | 8
6 files changed, 1104 insertions(+), 315 deletions(-)
--
Darren Hart
IBM Linux Technology Center
Real-Time Linux Team




\
 
 \ /
  Last update: 2009-03-03 01:07    [from the cache]
©2003-2011 Jasper Spaans. Advertise on this site