Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752233AbaANVvd (ORCPT ); Tue, 14 Jan 2014 16:51:33 -0500 Received: from fieldses.org ([174.143.236.118]:51742 "EHLO fieldses.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751462AbaANVva (ORCPT ); Tue, 14 Jan 2014 16:51:30 -0500 Date: Tue, 14 Jan 2014 16:51:27 -0500 From: "J. Bruce Fields" To: Andy Lutomirski Cc: Frank Filz , Jeff Layton , Linux FS Devel , nfs-ganesha-devel@lists.sourceforge.net, samba-technical@lists.samba.org, "linux-kernel@vger.kernel.org" , Richard Hipp Subject: Re: [PATCH v5 13/14] locks: skip deadlock detection on FL_FILE_PVT locks Message-ID: <20140114215127.GE23999@fieldses.org> References: <1389277187-18211-14-git-send-email-jlayton@redhat.com> <52CF05B5.5080700@amacapital.net> <20140109194930.1692fbbe@tlielax.poochiereds.net> <20140114192713.GA22262@fieldses.org> <20140114211009.GA23999@fieldses.org> <039101cf116e$56c2de80$04489b80$@mindspring.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jan 14, 2014 at 01:26:26PM -0800, Andy Lutomirski wrote: > [grr, gmail -- I didn't actually intend to send that.] > > On Tue, Jan 14, 2014 at 1:24 PM, Andy Lutomirski wrote: > > On Tue, Jan 14, 2014 at 1:19 PM, Frank Filz wrote: > >>> process 2 requests a write lock, gets -EDEADLK, unlocks and > >>> requests a new read lock. That request succeeds because there > >>> is no conflicting lock. (Note the lock manager had no > >>> opportunity to upgrade 1's lock here thanks to the conflict with > >>> 3's lock.) > >> > >> As I understand write lock priority, process 2 requesting a new read lock > >> would block, once there is a write lock waiter, no further read locks would > >> be granted that would conflict with that waiting write lock. > > > > ...which reminds me -- if anyone implements writer priority, please > > make it optional (either w/ a writer-priority-ignoring read lock or a > > non-priority-granting write lock). I have an application for which > > writer priority would be really annoying. > > > > Even better: Have read-lock-and-wait-for-pending-writers be an explicit new operation. > > > > (Writer priority a > > Writer priority can introduce new deadlocks. Suppose that a reader > (holding a read lock) starts a subprocess that takes a new read lock > and waits for that subprocess. Throw an unrelated process in that > tries to take a write lock and you have an instant deadlock. OK, so we definitely can't silently change existing lock behavior to prioritize writes in this way. A remaining interesting question is whether we'd like the new locks to support either behavior or both. I'd still be inclined to stick to the existing (unprioritized) behavior just to minimize the scope of the project. --b. -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/