Received: by 2002:a05:6a10:f347:0:0:0:0 with SMTP id d7csp2246347pxu; Mon, 7 Dec 2020 01:05:44 -0800 (PST) X-Google-Smtp-Source: ABdhPJxQC0sPm2+lUpoZBNVHzLB7BwcwS82OHSjarPkyII/ptwH1LAdpb4r/Dg1vbnIYP+XiwxS0 X-Received: by 2002:a17:906:25e:: with SMTP id 30mr17518369ejl.544.1607331944146; Mon, 07 Dec 2020 01:05:44 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1607331944; cv=none; d=google.com; s=arc-20160816; b=E46tEQ03Ifd5mIHPKsQ5YxIF93CYPsXRicIBDukEQtalKqBDFBUqE65ee3iLRm+71h EK/8WM2SbJHlaAYxQZlXpbzGCT3vbk4cEx+7af7OwO50KXRsJAyiSEhftNO8w+HuDusU VS4AR9vQS+Qsl52Oaqrng/A+0fazlywoIOv3CexaOqgfuQ8ySTA1z1DDTZ56H9JmEJW+ 9V0q7oIO9KUDmwT9rHvM+1Ikpy0tQIa01e5sGg5pZ9+ASjZG0NR/akK7n648RA5pyU8X noTnYiJhPpQNIqFomd0fQ+rz7bDXWdQi72+9Wly2Z058VM7yvyClqVeWijW1glf8YLTa Ktyw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=y7X/VOkUREDqJ+oEOnQ8Y30+R63q4j0Vz5MUgoySF08=; b=BooGKbk9PSvakEY/0uponXzkjMJJPjQsJW1RtFmPB4lagKXEzpstoNvMIg+w0GUN6c FUBMyB9ybFRoq8IAUtvHiXRRuLmgOLN1txzQmTVh9D1FuSqgBQmovZqw4m/S7vgRSXj1 RoBrIZ2/KyN0eU3N1vEgrXBGQVLCcl+xRj08r31+7k7jpnX8KqoujWfYdsThvo66qDl9 Ue22X0rxhORzwviDHFCJKNET2bXG+LZO5ZF0OA7yeNZtE1CDjubYccHr2ES7ARnr8ZGg jLT4BJMWBZSWWZaI1ISar7mtepmkx4SYQkyJ5rsnKVc/q5WX0nrhjuLMdA9yUs6JKGVj Gmiw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=hTq6ZDv6; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id c95si9894170edf.197.2020.12.07.01.05.21; Mon, 07 Dec 2020 01:05:44 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=hTq6ZDv6; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726636AbgLGJDj (ORCPT + 99 others); Mon, 7 Dec 2020 04:03:39 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:45812 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726423AbgLGJDi (ORCPT ); Mon, 7 Dec 2020 04:03:38 -0500 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id D47D7C0613D0 for ; Mon, 7 Dec 2020 01:03:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=y7X/VOkUREDqJ+oEOnQ8Y30+R63q4j0Vz5MUgoySF08=; b=hTq6ZDv6l5PMJzJNzZMoechW6K UtKqAUIeQFtJbJ68ZRWZfGLaNUFDihqlmBR/QBaIgoK+8SfPjD4A3RrtK7l0IRDmfSB7cUmQIb2a2 GxYVaVwE3D4kfTMr+2ZJ4oZyis/6Z32vOjEGMybT20E6aQyErNX3vnSvpVp0QXTsUnNdiXRNJj6t6 tpaFfJHnfRZAW5Ez+oL9wU+7zn/sh5h+Trsf596Zjvw/G7mihy8QvJKZmYPXLzqGxAx+z2C64ROoc vW1eqAbCsDyg0f+YTSt+scuHSLKUkopIkdBGGlERxqkGXQ3E/OfqinPJvUhvmb7Dx95LX5NR19v6J fQWKRtPg==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by casper.infradead.org with esmtpsa (Exim 4.92.3 #3 (Red Hat Linux)) id 1kmCPu-0005Db-My; Mon, 07 Dec 2020 09:02:46 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id 68FB2301478; Mon, 7 Dec 2020 10:02:43 +0100 (CET) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id 51A3F213CFB85; Mon, 7 Dec 2020 10:02:43 +0100 (CET) Date: Mon, 7 Dec 2020 10:02:43 +0100 From: Peter Zijlstra To: Waiman Long Cc: "Eric W. Biederman" , linux-kernel@vger.kernel.org, Linus Torvalds , Ingo Molnar , Will Deacon , Jann Horn , Vasiliy Kulikov , Al Viro , Bernd Edlinger , Oleg Nesterov , Christopher Yeoh , Cyrill Gorcunov , Sargun Dhillon , Christian Brauner , Arnd Bergmann , Arnaldo Carvalho de Melo Subject: Re: [PATCH 2/3] rwsem: Implement down_read_interruptible Message-ID: <20201207090243.GE3040@hirez.programming.kicks-ass.net> References: <87tut2bqik.fsf@x220.int.ebiederm.org> <87k0tybqfy.fsf@x220.int.ebiederm.org> <620f0908-c70a-9e54-e1b5-71d086b20756@redhat.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <620f0908-c70a-9e54-e1b5-71d086b20756@redhat.com> Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu, Dec 03, 2020 at 08:59:13PM -0500, Waiman Long wrote: > On 12/3/20 3:11 PM, Eric W. Biederman wrote: > > +static inline int __down_read_interruptible(struct rw_semaphore *sem) > > +{ > > + if (!rwsem_read_trylock(sem)) { > > + if (IS_ERR(rwsem_down_read_slowpath(sem, TASK_INTERRUPTIBLE))) > > + return -EINTR; > > + DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem); > > + } else { > > + rwsem_set_reader_owned(sem); > > + } > > + return 0; > > +} > > + > > static inline int __down_read_killable(struct rw_semaphore *sem) > > { > > if (!rwsem_read_trylock(sem)) { > > @@ -1495,6 +1507,20 @@ void __sched down_read(struct rw_semaphore *sem) > > } > > EXPORT_SYMBOL(down_read); > > +int __sched down_read_interruptible(struct rw_semaphore *sem) > > +{ > > + might_sleep(); > > + rwsem_acquire_read(&sem->dep_map, 0, 0, _RET_IP_); > > + > > + if (LOCK_CONTENDED_RETURN(sem, __down_read_trylock, __down_read_interruptible)) { > > + rwsem_release(&sem->dep_map, _RET_IP_); > > + return -EINTR; > > + } > > + > > + return 0; > > +} > > +EXPORT_SYMBOL(down_read_interruptible); > > + > > int __sched down_read_killable(struct rw_semaphore *sem) > > { > > might_sleep(); > > Acked-by: Waiman Long Yeah, that seems correct.. There's an unfortunate amount of copy-paste there though. Do we want to follow that up with something like this? --- --- a/kernel/locking/rwsem.c +++ b/kernel/locking/rwsem.c @@ -275,7 +275,25 @@ static inline bool rwsem_read_trylock(st long cnt = atomic_long_add_return_acquire(RWSEM_READER_BIAS, &sem->count); if (WARN_ON_ONCE(cnt < 0)) rwsem_set_nonspinnable(sem); - return !(cnt & RWSEM_READ_FAILED_MASK); + + if (!(cnt & RWSEM_READ_FAILED_MASK)) { + rwsem_set_reader_owned(sem); + return true; + } + + return false; +} + +static inline bool rwsem_write_trylock(struct rw_semaphore *sem) +{ + long tmp = RWSEM_UNLOCKED_VALUE; + + if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, RWSEM_WRITER_LOCKED)) { + rwsem_set_owner(sem); + return true; + } + + return false; } /* @@ -1335,38 +1353,29 @@ static struct rw_semaphore *rwsem_downgr /* * lock for reading */ -static inline void __down_read(struct rw_semaphore *sem) +static inline int __down_read_common(struct rw_semaphore *sem, int state) { if (!rwsem_read_trylock(sem)) { - rwsem_down_read_slowpath(sem, TASK_UNINTERRUPTIBLE); + if (IS_ERR(rwsem_down_read_slowpath(sem, state))) + return -EINTR; DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem); - } else { - rwsem_set_reader_owned(sem); } + return 0; } -static inline int __down_read_interruptible(struct rw_semaphore *sem) +static __always_inline void __down_read(struct rw_semaphore *sem) { - if (!rwsem_read_trylock(sem)) { - if (IS_ERR(rwsem_down_read_slowpath(sem, TASK_INTERRUPTIBLE))) - return -EINTR; - DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem); - } else { - rwsem_set_reader_owned(sem); - } - return 0; + __down_read_common(sem, TASK_UNINTERRUPTIBLE); } -static inline int __down_read_killable(struct rw_semaphore *sem) +static __always_inline int __down_read_interruptible(struct rw_semaphore *sem) { - if (!rwsem_read_trylock(sem)) { - if (IS_ERR(rwsem_down_read_slowpath(sem, TASK_KILLABLE))) - return -EINTR; - DEBUG_RWSEMS_WARN_ON(!is_rwsem_reader_owned(sem), sem); - } else { - rwsem_set_reader_owned(sem); - } - return 0; + return __down_read_common(sem, TASK_INTERRUPTIBLE); +} + +static __always_inline int __down_read_killable(struct rw_semaphore *sem) +{ + return __down_read_common(sem, TASK_KILLABLE); } static inline int __down_read_trylock(struct rw_semaphore *sem) @@ -1392,44 +1401,29 @@ static inline int __down_read_trylock(st /* * lock for writing */ -static inline void __down_write(struct rw_semaphore *sem) +static inline int __down_write_common(struct rw_semaphore *sem, int state) { - long tmp = RWSEM_UNLOCKED_VALUE; - - if (unlikely(!atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, - RWSEM_WRITER_LOCKED))) - rwsem_down_write_slowpath(sem, TASK_UNINTERRUPTIBLE); - else - rwsem_set_owner(sem); + if (unlikely(!rwsem_write_trylock(sem))) { + if (IS_ERR(rwsem_down_write_slowpath(sem, state))) + return -EINTR; + } + return 0; } -static inline int __down_write_killable(struct rw_semaphore *sem) +static __always_inline void __down_write(struct rw_semaphore *sem) { - long tmp = RWSEM_UNLOCKED_VALUE; + __down_write_common(sem, TASK_UNINTERRUPTIBLE); +} - if (unlikely(!atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, - RWSEM_WRITER_LOCKED))) { - if (IS_ERR(rwsem_down_write_slowpath(sem, TASK_KILLABLE))) - return -EINTR; - } else { - rwsem_set_owner(sem); - } - return 0; +static __always_inline int __down_write_killable(struct rw_semaphore *sem) +{ + return __down_write_common(sem, TASK_KILLABLE); } static inline int __down_write_trylock(struct rw_semaphore *sem) { - long tmp; - DEBUG_RWSEMS_WARN_ON(sem->magic != sem, sem); - - tmp = RWSEM_UNLOCKED_VALUE; - if (atomic_long_try_cmpxchg_acquire(&sem->count, &tmp, - RWSEM_WRITER_LOCKED)) { - rwsem_set_owner(sem); - return true; - } - return false; + return rwsem_write_trylock(sem); } /*