Received: by 2002:ad5:474a:0:0:0:0:0 with SMTP id i10csp3532708imu; Sun, 11 Nov 2018 17:19:52 -0800 (PST) X-Google-Smtp-Source: AJdET5cbaVEiDO/rgXOZfVclMoHWPrAUgF8dPI+vpkbjU/Ld12MPe9q9ZdcjcHCRQnTwfKpAu9W4 X-Received: by 2002:aa7:8254:: with SMTP id e20-v6mr18322524pfn.164.1541985592715; Sun, 11 Nov 2018 17:19:52 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1541985592; cv=none; d=google.com; s=arc-20160816; b=PXuWUxHQoYHLeULVt3gWUJU/Me8xSSIcHMOaFDxT4/Pm+O80OwJipM1XozSOgPl4e3 xHKLaF6yQm0TInYi6RNVL2hl82D9EuPjqvH9GOnyf8tJhxscd2zHggOATCRbchcbtXtF J+TfZrZtRpF44bQ2dfJ72bfRHCfAniuKl7lMaql22uyWTk/BOiv6ENd6TNH6vGpnJP08 hsj4oCS7/IGRMa2Ji7AYKfVtMSD3jnvOMa1iKLGobIqUWlvQ73l3I0Ibq3sKRAd/cTxc JZDnDHd1cyyJGX5T1/YpvAtp8LLRiIPteGztzYhRZmDviE2ALwS/KMWjEKbjDLgxLE3b qEwA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :user-agent:references:in-reply-to:message-id:cc:subject:date:to :from; bh=MJ5JgX1FDe7m4rJIAlTDIUAlkr7d2GVYGT36DLdG2N0=; b=0vquPHTEyjurMnD2jrRPf3m8qrHVyiuliq7Qqx/ETb2m3Ooybc1jwwqSjVUiPzsOEp B27PMCN3pMx8IDxBvFlZueQmM0igu0lAxOaf/CBfVs6rZXR0u8accO5O7Wk0ka/swgxG b44FN/TKdhW/DnjgXtqJclk8Dc3BJpcdBN6nDPttrrhyoPzXWuP+ue7Vri5hYKsjLnph lt05eH1cKLXENvmASGN80WogX4L5hgQmmX7Th7WF5x1QZy/Fn07Z5iY5iqVEs36d9V7M XDQX/vKP9M0byzPsABGjWMNMoqjwHf1ODbcKSAaBWxylrYtHPtG2Dy0ol+G3fa9mbEo3 gdsA== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id u64si14668235pgd.262.2018.11.11.17.19.38; Sun, 11 Nov 2018 17:19:52 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1730111AbeKLLIN (ORCPT + 99 others); Mon, 12 Nov 2018 06:08:13 -0500 Received: from mx2.suse.de ([195.135.220.15]:56866 "EHLO mx1.suse.de" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1726674AbeKLLIM (ORCPT ); Mon, 12 Nov 2018 06:08:12 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id AE2B4ADE3; Mon, 12 Nov 2018 01:17:28 +0000 (UTC) From: NeilBrown To: Jeff Layton , Alexander Viro Date: Mon, 12 Nov 2018 12:14:49 +1100 Subject: [PATCH 07/12] fs/locks: allow a lock request to block other requests. Cc: "J. Bruce Fields" , Martin Wilck , linux-fsdevel@vger.kernel.org, Frank Filz , linux-kernel@vger.kernel.org Message-ID: <154198528913.14364.2790262012801596354.stgit@noble> In-Reply-To: <154198490921.14364.13726904731989686092.stgit@noble> References: <154198490921.14364.13726904731989686092.stgit@noble> User-Agent: StGit/0.17.1-dirty MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Currently, a lock can block pending requests, but all pending requests are equal. If lots of pending requests are mutually exclusive, this means they will all be woken up and all but one will fail. This can hurt performance. So we will allow pending requests to block other requests. Only the first request will be woken, and it will wake the others. This patch doesn't implement this fully, but prepares the way. - It acknowledges that a request might be blocking other requests, and when the request is converted to a lock, those blocked requests are moved across. - When a request is requeued or discarded, all blocked requests are woken. - When deadlock-detection looks for the lock which blocks a given request, we follow the chain of ->fl_blocker all the way to the top. Signed-off-by: NeilBrown --- fs/locks.c | 36 ++++++++++++++++++++++++++++++------ 1 file changed, 30 insertions(+), 6 deletions(-) diff --git a/fs/locks.c b/fs/locks.c index 492d970c67d7..c1b79293007b 100644 --- a/fs/locks.c +++ b/fs/locks.c @@ -402,6 +402,17 @@ void locks_copy_lock(struct file_lock *new, struct file_lock *fl) EXPORT_SYMBOL(locks_copy_lock); +static void locks_move_blocks(struct file_lock *new, struct file_lock *fl) +{ + struct file_lock *f; + + spin_lock(&blocked_lock_lock); + list_splice_init(&fl->fl_blocked_requests, &new->fl_blocked_requests); + list_for_each_entry(f, &fl->fl_blocked_requests, fl_blocked_member) + f->fl_blocker = new; + spin_unlock(&blocked_lock_lock); +} + static inline int flock_translate_cmd(int cmd) { if (cmd & LOCK_MAND) return cmd & (LOCK_MAND | LOCK_RW); @@ -693,6 +704,7 @@ static void __locks_wake_up_blocks(struct file_lock *blocker) static void locks_delete_block(struct file_lock *waiter) { spin_lock(&blocked_lock_lock); + __locks_wake_up_blocks(waiter); __locks_delete_block(waiter); spin_unlock(&blocked_lock_lock); } @@ -716,6 +728,12 @@ static void __locks_insert_block(struct file_lock *blocker, list_add_tail(&waiter->fl_blocked_member, &blocker->fl_blocked_requests); if (IS_POSIX(blocker) && !IS_OFDLCK(blocker)) locks_insert_global_blocked(waiter); + + /* The requests in waiter->fl_blocked are known to conflict with + * waiter, but might not conflict with blocker, or the requests + * and lock which block it. So they all need to be woken. + */ + __locks_wake_up_blocks(waiter); } /* Must be called with flc_lock held. */ @@ -888,8 +906,11 @@ static struct file_lock *what_owner_is_waiting_for(struct file_lock *block_fl) struct file_lock *fl; hash_for_each_possible(blocked_hash, fl, fl_link, posix_owner_key(block_fl)) { - if (posix_same_owner(fl, block_fl)) - return fl->fl_blocker; + if (posix_same_owner(fl, block_fl)) { + while (fl->fl_blocker) + fl = fl->fl_blocker; + return fl; + } } return NULL; } @@ -982,6 +1003,7 @@ static int flock_lock_inode(struct inode *inode, struct file_lock *request) if (request->fl_flags & FL_ACCESS) goto out; locks_copy_lock(new_fl, request); + locks_move_blocks(new_fl, request); locks_insert_lock_ctx(new_fl, &ctx->flc_flock); new_fl = NULL; error = 0; @@ -1175,6 +1197,7 @@ static int posix_lock_inode(struct inode *inode, struct file_lock *request, goto out; } locks_copy_lock(new_fl, request); + locks_move_blocks(new_fl, request); locks_insert_lock_ctx(new_fl, &fl->fl_list); fl = new_fl; new_fl = NULL; @@ -2586,13 +2609,14 @@ void locks_remove_file(struct file *filp) int posix_unblock_lock(struct file_lock *waiter) { - int status = 0; + int status = -ENOENT; spin_lock(&blocked_lock_lock); - if (waiter->fl_blocker) + if (waiter->fl_blocker) { + __locks_wake_up_blocks(waiter); __locks_delete_block(waiter); - else - status = -ENOENT; + status = 0; + } spin_unlock(&blocked_lock_lock); return status; }