lkml.org 
[lkml]   [2006]   [Mar]   [14]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: 2.6.16-rc6-rt1

* Esben Nielsen <simlo@phys.au.dk> wrote:

> Well, I got my TestRTMutex compiled and it was successfull: It found
> bugs.

great!

I forgot to announce Thomas' great new rt-tester framework, which allows
easy testing of the kernel's PI implementation, via userspace scripts.
You can enable it via CONFIG_RT_MUTEX_TESTER, and the userspace scripts
are at:

http://people.redhat.com/mingo/realtime-preempt/testing/rt-tester.tar.bz2

Thomas' testing method has the advantage that it utilizes the kernel's
PI mechanism directly, hence it is easy to keep it uptodate without
having to port the kernel's PI code to userspace. We should add the
testcases for the bugs you just found.

> 1) Boosting nested locks simply doesn't work:

> This is easily fixed by

thanks, applied. [NOTE: had to apply it by hand because the patch was
whitespace damaged, it had all tabs converted to spaces.]

> 2) There is a spinlock deadlock when doing the following test on SMP:
>
> threads: 1 2
> lock 1 +
> + lock 2
> test: lockcount 1 lockcount 1
>
> lock 2 lock 1 <- spin deadlocks here
> - -
> test: lockcount 1 lockcount 1
>
> This happens because both tasks tries to lock both tasks's pi_lock but
> in opposit order. I don't have fix for that one yet.

well, this is a circular dependency deadlock - which is illegal in the
kernel, and which we detect for futex locks too - so it shouldnt happen.
Or did you see it happen for real?

Ingo
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/

\
 
 \ /
  Last update: 2006-03-14 09:16    [W:0.081 / U:0.252 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site