From owner-freebsd-i386@FreeBSD.ORG  Sat Jan 24 15:41:03 2004
Return-Path: <owner-freebsd-i386@FreeBSD.ORG>
Delivered-To: freebsd-i386@hub.freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 5DE1616A4CE
	for <freebsd-i386@hub.freebsd.org>;
	Sat, 24 Jan 2004 15:41:03 -0800 (PST)
Received: from freefall.freebsd.org (freefall.freebsd.org [216.136.204.21])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 929C443D62
	for <freebsd-i386@hub.freebsd.org>;
	Sat, 24 Jan 2004 15:40:09 -0800 (PST)
	(envelope-from gnats@FreeBSD.org)
Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1])
	i0ONe9FR056596	for <freebsd-i386@freefall.freebsd.org>;
	Sat, 24 Jan 2004 15:40:09 -0800 (PST)
	(envelope-from gnats@freefall.freebsd.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.12.10/8.12.10/Submit) id i0ONe9ct056595;
	Sat, 24 Jan 2004 15:40:09 -0800 (PST)
	(envelope-from gnats)
Resent-Date: Sat, 24 Jan 2004 15:40:09 -0800 (PST)
Resent-Message-Id: <200401242340.i0ONe9ct056595@freefall.freebsd.org>
Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer)
Resent-To: freebsd-i386@FreeBSD.org
Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org,
	Stephan Uphoff <ups@tree.com>
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id B128716A4CE
	for <freebsd-gnats-submit@FreeBSD.org>;
	Sat, 24 Jan 2004 15:38:49 -0800 (PST)
Received: from www.freebsd.org (www.freebsd.org [216.136.204.117])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 0080C43D48
	for <freebsd-gnats-submit@FreeBSD.org>;
	Sat, 24 Jan 2004 15:38:49 -0800 (PST)
	(envelope-from nobody@FreeBSD.org)
Received: from www.freebsd.org (localhost [127.0.0.1])
	by www.freebsd.org (8.12.10/8.12.10) with ESMTP id i0ONcmdL079115
	for <freebsd-gnats-submit@FreeBSD.org>;
	Sat, 24 Jan 2004 15:38:48 -0800 (PST)
	(envelope-from nobody@www.freebsd.org)
Received: (from nobody@localhost)
	by www.freebsd.org (8.12.10/8.12.10/Submit) id i0ONcmfu079114;
	Sat, 24 Jan 2004 15:38:48 -0800 (PST)
	(envelope-from nobody)
Message-Id: <200401242338.i0ONcmfu079114@www.freebsd.org>
Date: Sat, 24 Jan 2004 15:38:48 -0800 (PST)
From: Stephan Uphoff <ups@tree.com>
To: freebsd-gnats-submit@FreeBSD.org
X-Send-Pr-Version: www-2.0
Subject: i386/61852: i386 pmap SMP race condition can cause lost page
	modification.
X-BeenThere: freebsd-i386@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: I386-specific issues for FreeBSD <freebsd-i386.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-i386>,
	<mailto:freebsd-i386-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-i386>
List-Post: <mailto:freebsd-i386@freebsd.org>
List-Help: <mailto:freebsd-i386-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-i386>,
	<mailto:freebsd-i386-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Sat, 24 Jan 2004 23:41:03 -0000


>Number:         61852
>Category:       i386
>Synopsis:       i386 pmap SMP race condition can cause lost page modification.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-i386
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Sat Jan 24 15:40:08 PST 2004
>Closed-Date:
>Last-Modified:
>Originator:     Stephan Uphoff
>Release:        current
>Organization:
>Environment:
N/A 
>Description:
The current i386 pmap does not always atomically change ptes.
( Only clearing a pte is currently atomic)
This causes a window where setting of PG_A or PG_M of the pte
caused by page access of a second CPU can be ignored or overwritten 
and lost.

Lost PG_M bits can cause data loss. 
(Page not written to backing storage)


>How-To-Repeat:
      
>Fix:
Import the pte update logic from the newest NetBSD pmap.
The NetBSD pmap also tries to avoid unnecessary TLB shootdowns.

>Release-Note:
>Audit-Trail:
>Unformatted: