lkml.org 
[lkml]   [2004]   [Aug]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [RFC/PATCH] FUSYN Realtime & robust mutexes for Linux, v2.3.1
"Perez-Gonzalez, Inaky" <inaky.perez-gonzalez@intel.com> wrote:
>
> Hi All
>
> Fusyn aims to provide primitives to solve a bunch of gaps in POSIX
> compliance related to mutexes, conditional variables and semaphores,
> POSIX Advanced real-time support as well as adding mutex robustness
> (to dying owners) and deep deadlock checking.
>
> All of these primitives are available to both kernel space and user
> space (through a generalization of the mechanism used by futexes),
> allowing for a fast path on most mutex operations.
>
> We strive to solve the POSIX gap of scheduling-policy based
> unlock/wakeup for mutexes, conditional variables, semaphores,
> etc; the lacks in Advanced Real-Time support (priority inversion
> protection through priority inheritance and priority protection),
> robust mutexes (mutex waiters no longer deadlock when a mutex
> owner dies) and deep deadlock checking for mutexes.
>
> The full description of the gaps we solve, rationales behind the
> implementation and explanations on the need for the new features
> is kind of long to fully explain here, so you can find it in the
> linux/Documentation/fusyn-why.txt after applying our patch or at
> our website, in:
>
> http://developer.osdl.org/dev/robustmutexes/index.html#Documentation

This fixes what appear to be some fairly significant shortcomings. What do
the futex and NPTL people have to say about the gravity of the problems
which this solves, and the offered implementation?

> We are not posting it to the list, as it has grown kind of big.

Maybe you should...
-
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: 2005-03-22 14:04    [W:0.078 / U:0.220 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site