No, the problem is that the BKL shouldn't be a semaphore at all.
Performance fixed.
After that, it's *purely* a correctness issue, and then we might as well
be fair and not allow the stealing of semaphores from under waiters at
ALL. Which is what Matthews original code did.
In other words, current -git is fine, and was already confirmed by Sven
to fix the bug (before *any* of your patches were), and was earlier
confirmed to fix the AIM7 performance regression (better than *any* of
your patches were).
So I fixed the problems last night already. Stop wasting everybody's time.
Linus
--