Messages in this thread | | | Date | Mon, 23 Nov 2009 15:54:09 +0100 | From | Nick Piggin <> | Subject | [rfc] "fair" rw spinlocks |
| |
Hi,
Last time this issue came up that I could see, I don't think there were objections to making rwlocks fair, the main difficulty seemed to be that we allow reentrant read locks (so a write lock waiting must not block arbitrary read lockers).
Nowadays our rwlock usage is smaller although still quite a few, so it would make better sense to do a conversion by introducing a new lock type and move them over I guess.
Anyway, I would like to add some kind of fairness or at least anti starvation for writers. We have a customer seeing total livelock on tasklist_lock for write locking on a system as small as 8 core Opteron.
This was basically reproduced by several cores executing wait with WNOHANG.
Of course it would always be nice to improve locking so contention isn't an issue, but so long as we have rwlocks, we could possibly get into a situation where starvation is triggered *somehow*. So I'd really like to fix this.
This particular starvation on tasklist lock I guess is a local DoS vulnerability even if the workload is not particularly realistic.
Anyway, I don't have a patch yet. I'm sure it can be done without extra atomics in fastpaths. Comments?
| |