From owner-freebsd-arm@FreeBSD.ORG  Mon May  6 13:41:55 2013
Return-Path: <owner-freebsd-arm@FreeBSD.ORG>
Delivered-To: freebsd-arm@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id 33F6D52D
 for <freebsd-arm@freebsd.org>; Mon,  6 May 2013 13:41:55 +0000 (UTC)
 (envelope-from cognet@ci0.org)
Received: from kanar.ci0.org (unknown
 [IPv6:2a01:e0b:1:150:ca0a:a9ff:fef1:a4c9])
 by mx1.freebsd.org (Postfix) with ESMTP id CB76068E
 for <freebsd-arm@freebsd.org>; Mon,  6 May 2013 13:41:54 +0000 (UTC)
Received: from kanar.ci0.org (pluxor@localhost [127.0.0.1])
 by kanar.ci0.org (8.14.5/8.14.5) with ESMTP id r46DfUxK060163;
 Mon, 6 May 2013 15:41:30 +0200 (CEST) (envelope-from cognet@ci0.org)
Received: (from doginou@localhost)
 by kanar.ci0.org (8.14.5/8.14.5/Submit) id r46DfTgk060162;
 Mon, 6 May 2013 15:41:29 +0200 (CEST) (envelope-from cognet@ci0.org)
X-Authentication-Warning: kanar.ci0.org: doginou set sender to cognet@ci0.org
 using -f
Date: Mon, 6 May 2013 15:41:29 +0200
From: Olivier Houchard <cognet@ci0.org>
To: Grzegorz Bernacki <gjb@semihalf.com>
Subject: Re: RFC: Patches with AXP support and pmap&smp fixes.
Message-ID: <20130506134129.GA60131@ci0.org>
References: <517E8610.5050204@semihalf.com>
 <20130430142701.5bbfec2b@bender.lan>
 <20130430143311.GA71966@ci0.org> <518775B4.1010308@semihalf.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <518775B4.1010308@semihalf.com>
User-Agent: Mutt/1.5.21 (2010-09-15)
Cc: freebsd-arm@freebsd.org
X-BeenThere: freebsd-arm@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: Porting FreeBSD to the StrongARM Processor <freebsd-arm.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arm>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Help: <mailto:freebsd-arm-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 06 May 2013 13:41:55 -0000

On Mon, May 06, 2013 at 11:19:48AM +0200, Grzegorz Bernacki wrote:
> 
> Hi,
> 
> Our patch fixes only initialization of pcpu in pcpu_init(). In 4 cores 
> setup it is possible the at least two cores simultaneously updating 
> queue of pcpus which causes corruption.
> I am not aware of any other problems with SMP. Let us try setup with 
> WITNESS enabled and we'll see if we have the same problem.
> Olivier, could you share your patch? In case we have the problem we 
> would like to have it.
> 

Hi,

Sure I will dust it off, and send it. Maybe not before Sunday though, I'll be
mostly MIA for the week. I'm quite interested in you guys having a look at it.

Regards,

Olivier