GNU bug report logs - #11597
df calculus wrong?

Previous Next

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 11597 in the body.
You can then email your comments to 11597 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: system <system <at> wody2001.de>
To: bug-coreutils <at> gnu.org
Subject: df calculus wrong?
Date: Fri, 01 Jun 2012 00:26:01 +0200

Hello everybody, 

first of all let me say a big thank you -and all the others- for
spending time and life donation to the GPL, FSF, ....  world of Linux. 


I am not an developer but mathematics is one of my favs so how can the
following explained? 

Command issued 
df -h

response 
----paste start -----
Dateisystem            Größe Benut  Verf Ben% Eingehängt auf
/dev/sda1              36G   25G  9,1G  73% /
....
----paste end -----

Circumstances and conditions: 
Ubuntu 10.04 lts server
SDA is a physical SATA connected drive 
Installation language de
Execution is done via ssh due to headless server system

If size (Größe) is 36GB and occupied space (Benut) is 25GB -guess-
remaining space (Verf) is below 10GB there must be  a bug in calculation
or in the way the first two values were derived from the system. 
If there would be a diff of +-1 digit nobody would think about but in
this case there is a mismatch in the msd (most signifikant digit) 


I would really appreciate feedback that the mail is recieved and if
there will be actions taken upon. 

Sincerely 
Sterzenbach

Message #10 received at 11597-done <at> debbugs.gnu.org (full text, mbox):

From: Pádraig Brady <P <at> draigBrady.com>
To: system <at> wody2001.de
Cc: 11597-done <at> debbugs.gnu.org
Subject: Re: bug#11597: df calculus wrong?
Date: Fri, 01 Jun 2012 00:08:00 +0100

tags 11597 notabug

On 05/31/2012 11:26 PM, system wrote:
> Hello everybody, 
> 
> first of all let me say a big thank you -and all the others- for
> spending time and life donation to the GPL, FSF, ....  world of Linux. 
> 
> 
> I am not an developer but mathematics is one of my favs so how can the
> following explained? 
> 
> Command issued 
> df -h
> 
> response 
> ----paste start -----
> Dateisystem            Größe Benut  Verf Ben% Eingehängt auf
> /dev/sda1              36G   25G  9,1G  73% /
> ....
> ----paste end -----
> 
> Circumstances and conditions: 
> Ubuntu 10.04 lts server
> SDA is a physical SATA connected drive 
> Installation language de
> Execution is done via ssh due to headless server system
> 
> If size (Größe) is 36GB and occupied space (Benut) is 25GB -guess-
> remaining space (Verf) is below 10GB there must be  a bug in calculation
> or in the way the first two values were derived from the system. 
> If there would be a diff of +-1 digit nobody would think about but in
> this case there is a mismatch in the msd (most signifikant digit) 
> 
> I would really appreciate feedback that the mail is recieved and if
> there will be actions taken upon. 

There can be less available space due to reservations for example.
I think the specific issue here is that 5% of the / file system
is reserved for the root user and thus is not included in the
generally available count returned by the file system.

cheers,
Pádraig.

Message #13 received at 11597 <at> debbugs.gnu.org (full text, mbox):

From: Bob Proulx <bob <at> proulx.com>
To: system <system <at> wody2001.de>
Cc: 11597 <at> debbugs.gnu.org
Subject: Re: bug#11597: df calculus wrong?
Date: Thu, 31 May 2012 18:00:51 -0600

system wrote:
> I am not an developer but mathematics is one of my favs so how can the
> following explained? 
> 
> Command issued 
> df -h
> 
> response 
> ----paste start -----
> Dateisystem            Größe Benut  Verf Ben% Eingehängt auf
> /dev/sda1              36G   25G  9,1G  73% /

As Pádraig noted this is minfree at work.

  36G * 0.95 = 34.20
  25G / 34.2G = 73%

Please see this reference for more information.

  http://www.gnu.org/software/coreutils/faq/#df-Size-and-Used-and-Available-do-not-add-up

Bob

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.