23 Nov
2016
23 Nov
'16
2:32 p.m.
On Wed, Nov 23, 2016 at 03:25:25PM +0100, Daniel Vetter wrote:
Without thinking it through in detail this is a PI issue, except that we replace boosting with wakeup&back-off. Could we perhaps steal something from rt mutexes to make it fair&efficient?
rt_mutexes order the waiters by 'priority' and wake the top most.