Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1758407AbbBFWQ1 (ORCPT ); Fri, 6 Feb 2015 17:16:27 -0500 Received: from mail.efficios.com ([78.47.125.74]:37831 "EHLO mail.efficios.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1758308AbbBFWQU (ORCPT ); Fri, 6 Feb 2015 17:16:20 -0500 Date: Fri, 6 Feb 2015 22:16:25 +0000 (UTC) From: Mathieu Desnoyers To: Greg Kroah-Hartman Cc: Pranith Kumar , Huang Ying , LKML , Paul McKenney , David Howells Message-ID: <717786959.88160.1423260985651.JavaMail.zimbra@efficios.com> In-Reply-To: <20150206150359.GA31207@kroah.com> References: <1423192017-16735-1-git-send-email-mathieu.desnoyers@efficios.com> <625236311.87350.1423231952716.JavaMail.zimbra@efficios.com> <20150206150359.GA31207@kroah.com> Subject: Re: [PATCH] llist: Fix missing memory barrier MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit X-Originating-IP: [173.246.22.116] X-Mailer: Zimbra 8.0.7_GA_6021 (ZimbraWebClient - FF35 (Linux)/8.0.7_GA_6021) Thread-Topic: llist: Fix missing memory barrier Thread-Index: QWhBzW+Ay5epSlkqTm+nWH4aOk3/ww== Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 2968 Lines: 78 ----- Original Message ----- > From: "Greg Kroah-Hartman" > To: "Mathieu Desnoyers" > Cc: "Pranith Kumar" , "Huang Ying" , "LKML" > , "Paul McKenney" , "David Howells" > Sent: Friday, February 6, 2015 10:03:59 AM > Subject: Re: [PATCH] llist: Fix missing memory barrier > > On Fri, Feb 06, 2015 at 02:12:32PM +0000, Mathieu Desnoyers wrote: > > ----- Original Message ----- > > > From: "Pranith Kumar" > > > To: "Mathieu Desnoyers" > > > Cc: "Huang Ying" , "LKML" > > > , "Paul McKenney" > > > , "David Howells" > > > Sent: Thursday, February 5, 2015 10:44:07 PM > > > Subject: Re: [PATCH] llist: Fix missing memory barrier > > > > > > Hi Mathieu, > > > > > > On Thu, Feb 5, 2015 at 10:06 PM, Mathieu Desnoyers > > > wrote: > > > > A smp_read_barrier_depends() appears to be missing in > > > > llist_del_first(). > > > > It should only matter for Alpha in practice. Adding it after the check > > > > of entry against NULL allows skipping the barrier in a common case. > > > > > > We recently decided on using lockless_dereference() instead of > > > hard-coding smp_read_barrier_depends()[1]. The advantage is that > > > lockless_dereference() clearly shows what loads are being ordered. > > > Could you resend the patch using that API? > > > > Since llist.h has been introduced prior to 3.18, I'm wondering if > > it would be worthwhile to submit 2 patches for the purpose of > > backporting to stable branches: > > > > 1) Fix introducing smp_read_barrier_depends() (for master and > > stable branches) > > 2) Move master from smp_read_barrier_depends() to > > lockless_dereference(), > > > > Thoughts ? > > Yes, why? What code needs these new apis? The subsystems using llist.h in master: IRQ, smp core code, vmalloc, scsi, the block layer, some filesystems... and more. grep for "llist.h" to see the complete list of users. My question was mainly on how to do the fix process-wise: post-3.18, it implies using the new lockless_dereference() API. pre-3.18, we need to use smp_read_barrier_depends(). As Peter Hurley suggested, using the new API for master and 3.18 seems like the right approach. Then the backports to stable branches can, if needed, use smp_read_barrier_depends() instead. Is that OK with you ? Thanks, Mathieu > > confused, > > greg k-h > -- Mathieu Desnoyers EfficiOS Inc. http://www.efficios.com -- 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/