From owner-freebsd-current@FreeBSD.ORG  Mon Jan 12 12:33:48 2004
Return-Path: <owner-freebsd-current@FreeBSD.ORG>
Delivered-To: freebsd-current@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id F3FF716A4CE
	for <current@freebsd.org>; Mon, 12 Jan 2004 12:33:47 -0800 (PST)
Received: from fledge.watson.org (fledge.watson.org [204.156.12.50])
	by mx1.FreeBSD.org (Postfix) with ESMTP id D0F9F43D6E
	for <current@freebsd.org>; Mon, 12 Jan 2004 12:33:15 -0800 (PST)
	(envelope-from robert@fledge.watson.org)
Received: from fledge.watson.org (localhost [127.0.0.1])
	by fledge.watson.org (8.12.10/8.12.10) with ESMTP id i0CKTTUd077045;
	Mon, 12 Jan 2004 15:29:29 -0500 (EST)
	(envelope-from robert@fledge.watson.org)
Received: from localhost (robert@localhost)i0CKTTEA077042;
	Mon, 12 Jan 2004 15:29:29 -0500 (EST)
	(envelope-from robert@fledge.watson.org)
Date: Mon, 12 Jan 2004 15:29:29 -0500 (EST)
From: Robert Watson <rwatson@freebsd.org>
X-Sender: robert@fledge.watson.org
To: Wilko Bulte <wkb@freebie.xs4all.nl>
In-Reply-To: <20040112195830.GA10287@freebie.xs4all.nl>
Message-ID: <Pine.NEB.3.96L.1040112152827.68391C-100000@fledge.watson.org>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
cc: current@freebsd.org
Subject: Re: fun with df..
X-BeenThere: freebsd-current@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Discussions about the use of FreeBSD-current
	<freebsd-current.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-current>
List-Post: <mailto:freebsd-current@freebsd.org>
List-Help: <mailto:freebsd-current-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-current>,
	<mailto:freebsd-current-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Mon, 12 Jan 2004 20:33:48 -0000

On Mon, 12 Jan 2004, Wilko Bulte wrote:

> My laptop just presented me with a funny one:
> 
> wkb@chuck ~: df
> Filesystem  1M-blocks Used             Avail Capacity  Mounted on
> /dev/ad0s2g      4032 3842 36028797018963835   104%    /usr
> /dev/ad0s2e        62    6                51    12%    /var
> 
> ....
> 
> wkb@chuck ~: df -k
> Filesystem  1K-blocks    Used   Avail Capacity  Mounted on
> /dev/ad0s2g   4129310 3934638 -135672   104%    /usr
> 
> Oldish 5.x- (Dec 17)

Two things come to mind -- Kirk's 64-bit stat change and inconsistent
kernel/userspace, and the soft updates code that keeps track of the
logically available free space during the period where files have been
"deleted" but aren't yet free.  Can you rule out the first of these? 

Robert N M Watson             FreeBSD Core Team, TrustedBSD Projects
robert@fledge.watson.org      Senior Research Scientist, McAfee Research