Convertir des Tio en Kio

Un tébioctet vaut 1 024 gibioctets. L’écart avec le téraoctet grandit à chaque échelon : 2,4 % au kilo, 4,9 % au méga, 7,4 % au giga, 10 % au téra.

Un kibioctet vaut exactement 1 024 octets. Le nom a été introduit en 1998 pour que « kilooctet » puisse de nouveau valoir 1 000 — l’habitude n’a jamais tout à fait cédé.

Dans ce sens, l'opération est une multiplication, et par un nombre entier : un tébioctet fait 1 073 741 824 kibioctets, exactement, et 1 073 741 824 est la définition, pas une mesure tombée juste.

C'est donc une des rares conversions qui valent le coup de tête, et le résultat se vérifie : divisez en sens inverse et vous devez retomber exactement sur le nombre de départ, sans reste à justifier.

Un TiB vaut 1 024 fois l'unité du dessous ; un TB, 1 000. Sur cette page, c'est l'écart entre 1073741824 KiB et 976562500 KiB — 10 % — et il grandit à chaque palier : négligeable sur une photo, visible sur un disque dur.

Le mystère de l'espace disque manquant tient tout entier là-dedans, et sur cette page il vaut 10 %. Un disque vendu en TB contient exactement ce qui est annoncé ; Windows divise ensuite par 1 024 au lieu de 1 000, garde le nom décimal, et affiche 976562500 KiB là où la boîte annonçait 1073741824 KiB. macOS compte ces tailles en unités décimales depuis 10.6, d'où le même disque qui paraît de deux tailles sur deux machines — rien n'a disparu et personne n'arrondit : les mêmes octets portent deux noms.

Trente bits séparent les deux unités, donc un tébioctet devient 1 073 741 824 kibioctets et tout quota réaliste devient un nombre que personne ne peut lire d’un coup d’œil. Deux tébioctets font 2 147 483 648, cinq font 5 368 709 120, dix font 10 737 418 240. Ce sont les valeurs qui entrent dans le champ, et le champ acceptera n’importe quel entier que vous lui donnerez — y compris un avec un chiffre en trop, ce qui est l’erreur qui se produit réellement.

L’habitude qui la rattrape est de compter les chiffres plutôt que de lire le nombre. Un mébioctet est quatre chiffres de kibioctets, un gibioctet sept, un tébioctet dix, un pébioctet treize. Chaque unité ajoute trois, à peu près, donc un quota prévu à un seul chiffre de tébioctets doit avoir dix ou onze chiffres et tout le reste est faux d’un ordre de grandeur avant même de regarder la valeur elle-même.

Les limites de blocs dans setquota, edquota et repquota sont des comptes d’unités de 1 024 octets, quelle que soit la taille de bloc du système de fichiers sous-jacent. Ce découplage est délibéré : un quota posé sur un volume ext4 avec des blocs de 4 Kio et un posé sur un système de fichiers avec des blocs de 64 Kio représentent la même quantité d’espace, et déplacer un répertoire personnel de l’un à l’autre ne change pas silencieusement l’allocation de chacun.

Cela signifie que les chiffres rapportés ne correspondent pas à l’unité comptable du système de fichiers, donc un utilisateur occupant 1 000 blocs de 4 Kio apparaît comme 4 000 blocs de quota. XFS conserve sa propre implémentation de quota avec la même unité et une chaîne d’outils différente — xfs_quota -c 'limit bhard=2t user=alice' accepte un suffixe et fait l’arithmétique lui-même, ce qui est la meilleure voie quand elle est disponible.

La limite souple est un avertissement qui mord. Un utilisateur qui la dépasse continue de travailler pendant qu’une période de grâce s’écoule — sept jours par défaut — et quand la grâce expire la limite souple commence à se comporter comme une limite dure. La limite dure est immédiate : l’écriture renvoie EDQUOT et l’application la signale généralement comme une erreur de disque plein, ce qui envoie l’utilisateur vérifier l’espace libre et en trouver largement assez.

L’écart entre les deux est où se loge la décision de conception. Une limite souple à 1,8 Tio et une limite dure à 2 Tio donnent 214 748 364 kibioctets de marge et une semaine pour l’utiliser, ce qui suffit à quelqu’un pour remarquer un avertissement et faire de la place. Mettre les deux à 2 Tio ne donne aucun avertissement du tout, et la première fois que quiconque en entend parler est un travail qui échoue. Quand les deux chiffres sont égaux dans une table de quotas, c’est en général parce que la personne qui les a fixés a converti un nombre et l’a copié deux fois.

Chaque quota a une seconde paire de limites qui comptent les fichiers plutôt que les kilooctets, et elles sont indépendantes. Un utilisateur bien à l’intérieur d’un quota de 2 Tio peut quand même se voir refuser une écriture parce qu’il a atteint sa limite d’inodes, et l’erreur est le même message de quota dépassé sans indication de quel plafond a été touché. quota -s affiche les deux, et c’est la première chose à vérifier quand un utilisateur jure qu’il a de la place.

La limite d’inodes existe parce que les inodes sont une ressource fixe allouée à la création du système de fichiers et ne peuvent pas être ajoutés ensuite. Un seul compte qui crée des dizaines de millions de petits fichiers peut les épuiser tout en utilisant une part négligeable du quota de blocs, et à ce moment personne sur le volume ne peut créer de fichier. Poser une limite d’inodes est donc protecteur du système de fichiers plutôt que de l’utilisateur, et elle n’a pas besoin d’être convertie depuis quoi que ce soit.

Certains outils dans ce domaine acceptent un suffixe et d’autres non, et savoir lequel vaut davantage que de connaître la conversion. xfs_quota accepte k, m, g et t et les traite comme binaires. Les versions récentes de setquota acceptent la même chose sur la ligne de commande. edquota vous dépose dans un éditeur sur une table d’entiers nus, et toute valeur qui y est écrite est en kibioctets. ZFS contourne la question entièrement — zfs set quota=2T est une propriété de jeu de données avec son propre analyseur.

Là où l’entier nu est inévitable, notez le chiffre en tébioctets à côté. Une table de quotas contenant 2 147 483 648 et 2 147 483 648 est correcte et non vérifiable ; la même table avec un commentaire disant 2 Tio souple, 2 Tio dur invite quelqu’un à remarquer que la limite souple aurait dû être plus basse. L’arithmétique est exacte et instantanée dans les deux cas, donc ce qui est en jeu est de savoir si le prochain lecteur peut deviner ce qui était prévu.

Un quota est un plafond et une réservation est un plancher, et le second est le plus difficile à dimensionner. Les réservations ZFS, les quotas de projet XFS utilisés comme garanties, et les volumes en provisionnement léger avec un minimum garanti mettent tous de côté des blocs qui ne seront donnés à personne d’autre. Une réservation de 2 Tio retire 2 147 483 648 kibioctets du chiffre de disponible du volume au moment où elle est posée, avant qu’un seul octet n’y ait été écrit.

C’est ce qui fait qu’un volume sur-réservé se déclare plein alors qu’il paraît presque vide. La somme des réservations à travers les jeux de données peut approcher la taille du volume avec presque aucune donnée présente, et chaque outil qui rapporte l’espace libre dit vrai de son propre point de vue. Calculer les réservations en kibioctets, les sommer, et comparer cela au total du volume dans la même unité est la vérification qui le rattrape — fait en tébioctets, l’arrondi cache plusieurs centaines de gibioctets d’engagement.

Un quota de blocs contrôle combien un utilisateur stocke et rien de ce qu’il écrit. Quelqu’un qui crée et supprime en boucle de gros fichiers temporaires reste indéfiniment à l’intérieur d’un quota de 2 Tio tout en générant une amplification d’écriture énorme, en usant la mémoire flash et en remplissant les instantanés de churn. Si la préoccupation est le débit ou la durée de vie du périphérique plutôt que la capacité, le champ de quota n’est pas le levier et aucune conversion n’en fera un.

Les instantanés compliquent le plafond dans l’autre sens. Sur un système de fichiers en copie à l’écriture, les données supprimées encore référencées par un instantané sont facturées quelque part, et selon la portée du quota elles peuvent encore être facturées à l’utilisateur qui les a supprimées. Un utilisateur qui a retiré un tébioctet de fichiers et n’a vu aucun changement dans son utilisation regarde en général cela, et la correction est une politique de rétention plutôt qu’un chiffre plus grand dans le champ de blocs.