Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id ; Fri, 12 Oct 2001 22:40:43 -0400 Received: (majordomo@vger.kernel.org) by vger.kernel.org id ; Fri, 12 Oct 2001 22:40:25 -0400 Received: from [208.129.208.52] ([208.129.208.52]:36113 "EHLO xmailserver.org") by vger.kernel.org with ESMTP id ; Fri, 12 Oct 2001 22:40:07 -0400 Date: Fri, 12 Oct 2001 19:46:14 -0700 (PDT) From: Davide Libenzi X-X-Sender: davide@blue1.dev.mcafeelabs.com To: Linus Torvalds cc: Paul Mackerras , lkml Subject: Re: [Lse-tech] Re: RFC: patch to allow lock-free traversal of lists with insertion In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org X-Mailing-List: linux-kernel@vger.kernel.org On Fri, 12 Oct 2001, Davide Libenzi wrote: > On Fri, 12 Oct 2001, Linus Torvalds wrote: > > > > > On Fri, 12 Oct 2001, Davide Libenzi wrote: > > > > > > The problem is that even if cpu1 schedule the load of p before the > > > load of *p and cpu2 does a = 1; wmb(); p = &a; , it could happen that > > > even if from cpu2 the invalidation stream exit in order, cpu1 could see > > > the value of p before the value of *p due a reordering done by the > > > cache controller delivering the stream to cpu1. > > > > Umm - if that happens, your cache controller isn't honouring the wmb(), > > and you have problems quite regardless of any load ordering on _any_ CPU. > > > > Ehh? > > I'm searching the hp-parisc doc about it but it seems that even Paul > McKenney pointed out this. ops, alpha - Davide - 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/