RE: [Linux-ia64] Linux kernel deadlock caused by spinlock bug

From: David Mosberger <davidm_at_napali.hpl.hp.com>
Date: 2002-07-30 07:48:39
>>>>> On Mon, 29 Jul 2002 16:29:09 -0500, "Van Maren, Kevin" <kevin.vanmaren@unisys.com> said:

  Van> Yes, but that isn't the point: unless you eliminate all rw
  Van> locks, it is conceptually possible to cause a kernel deadlock
  Van> by forcing contention on the locks you didn't remove, if the
  Van> user can force the kernel to acquire a reader lock and if
  Van> something else needs to acquire the writer lock.  Correctness
  Van> is the issue, not performance.

I agree with Kevin here.  There must be some argument as to why
readers cannot indefinitely lock out a writer.  A probabilistic
argument is fine, but just saying "contention doesn't happen"
certainly isn't good enough.

	--david
Received on Mon Jul 29 14:50:52 2002

This archive was generated by hypermail 2.1.8 : 2005-08-02 09:20:09 EST