Hey, Op 02-03-15 om 04:20 schreef Mike Galbraith: > On Fri, 2015-02-27 at 17:57 +0100, Sebastian Andrzej Siewior wrote: >> This patch makes it possible to replace the base mutex by a rt_mutex. In >> general one would not do this. > I would argue that the thing should be born as a full fledged primitive, > not a config option, as an rt_ww_mutex is the ww extension of rt_mutex. > We have to do the global substitution in -rt, but why should it not > exist in its own right in mainline? Well I haven't seen any users that specifically need a rt_ww_mutex, but flipping the switch on ww_mutex could be useful for testing. :)
~Maarten -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/