On Fri, Aug 10, 2018 at 11:50:58AM +1000, NeilBrown wrote: > You're good at this game! Everybody's got to have a hobby, mine is pathological posix locking cases.... > So, because a locker with the same "owner" gets a free pass, you can > *never* say that any lock which conflicts with A also conflicts with B, > as a lock with the same owner as B will never conflict with B, even > though it conflicts with A. > > I think there is still value in having the tree, but when a waiter is > attached under a new blocker, we need to walk the whole tree beneath the > waiter and detach/wake anything that is not blocked by the new blocker. If you're walking the whole tree every time then it might as well be a flat list, I think? --b.
