df -h 顯示 GB 中的錯誤輸出

Question 1

df總是對人類可讀的輸出進行四捨五入（-h和-H）。

從 coreutils 套件中的原始碼來看，它是提供舍入、單位轉換等功能lib/human.h的選項枚舉：human_readable

/* Options for human_readable.  */
enum
{
  /* Unless otherwise specified these options may be ORed together.  */

  /* The following three options are mutually exclusive.  */
  /* Round to plus infinity (default).  */
  human_ceiling = 0,
  /* Round to nearest, ties to even.  */
  human_round_to_nearest = 1,
  /* Round to minus infinity.  */
  human_floor = 2,
...

注意評論：Round to plus infinity (default).

實際的捨入可能發生在中的以下函數中human.c，如果沒有設定上面顯示的其他舍入選項（它不是，僅設定），則添加true（即），導致使用1024 作為單位增量自動縮放並列印SI 樣式後綴，即) 且該值不是整數：1-hhuman_autoscale | human_SI | human_base_1024G

static long double
adjust_value (int inexact_style, long double value)
{
  /* Do not use the floorl or ceill functions, as that would mean
     checking for their presence and possibly linking with the
     standard math library, which is a porting pain.  So leave the
     value alone if it is too large to easily round.  */
  if (inexact_style != human_round_to_nearest && value < UINTMAX_MAX)
    {
      uintmax_t u = value;
      value = u + (inexact_style == human_ceiling && u != value);
    }

  return value;
}

Answer

df總是對人類可讀的輸出進行四捨五入（-h和-H）。

從 coreutils 套件中的原始碼來看，它是提供舍入、單位轉換等功能lib/human.h的選項枚舉：human_readable

/* Options for human_readable.  */
enum
{
  /* Unless otherwise specified these options may be ORed together.  */

  /* The following three options are mutually exclusive.  */
  /* Round to plus infinity (default).  */
  human_ceiling = 0,
  /* Round to nearest, ties to even.  */
  human_round_to_nearest = 1,
  /* Round to minus infinity.  */
  human_floor = 2,
...

注意評論：Round to plus infinity (default).

實際的捨入可能發生在中的以下函數中human.c，如果沒有設定上面顯示的其他舍入選項（它不是，僅設定），則添加true（即），導致使用1024 作為單位增量自動縮放並列印SI 樣式後綴，即) 且該值不是整數：1-hhuman_autoscale | human_SI | human_base_1024G

static long double
adjust_value (int inexact_style, long double value)
{
  /* Do not use the floorl or ceill functions, as that would mean
     checking for their presence and possibly linking with the
     standard math library, which is a porting pain.  So leave the
     value alone if it is too large to easily round.  */
  if (inexact_style != human_round_to_nearest && value < UINTMAX_MAX)
    {
      uintmax_t u = value;
      value = u + (inexact_style == human_ceiling && u != value);
    }

  return value;
}

Question 2

通常，這與格式化系統的低效率有關。例如，一個檔案可能只有 12.2g（您是正確的），但在實體磁碟上它可能佔用 13gb 的空間。這是由於“阻塞「並且是碎片化的結果。

維基百科：由於內部碎片，這會導致空間效率低下，因為檔案長度通常不是區塊大小的整數倍，因此檔案的最後一個區塊將保持部分空。這將建立鬆弛空間，平均每個檔案有半個區塊。一些較新的檔案系統嘗試透過稱為區塊重新分配和尾部合併的技術來解決此問題。

編輯:

手冊頁是這樣說的：

SIZE 可以是（或可是可選地後接的整數）以下之一：kB 1000、K 1024、MB 1000*1000、M 1024*1024，對於 G、T、P、E、Z、Y 依此類推。

這讓我相信它可能使用 MB 而不是 M，因此會顯示 12.796 - 可能會四捨五入到 13。

Answer