Fișierele eliminate sunt încă menționate de instantaneele anterioare, așa că ceea ce descrieți este comportamentul așteptat.
După cum ați observat deja, spațiul rămâne folosit datorită instantaneelor; numai după ștergerea ultimului instantaneu care face referire la fișierele șterse, spațiul corespunzător va fi disponibil din nou pentru fișierele noi.
Rețineți că df nu oferă valori precise pentru spațiul liber în sistemele de fișiere ZFS. ZFS utilizează unul sau mai multe discuri (sau partiții) pentru a stoca pool-uri care pot conține unul sau mai multe seturi de date (interpretate de df ca sisteme de fișiere), toate acestea partajând spațiul liber al pool-ului. Instantaneele umplu, de asemenea, pool-ul (ca parte a setului de date), afectând și mai mult „Dimensiunea” df rapoarte pentru un sistem de fișiere individual. ZFS este atât un sistem de fișiere, un manager de volum și, opțional, gestionează matrice RAID; ar fi analog cu, de exemplu, ext4 pe LVM opțional pe RAID.
Pentru a vedea cum pool-urile corespund discurilor sau partițiilor, puteți utiliza starea zpool. În Ubuntu, puteți găsi discurile sau partițiile enumerate sub /dev/disk/by-uuid/ și /dev/disk/by-partuuid/ respectiv. Pentru a vedea spațiul liber din piscine, puteți lista toate piscinele prin lista zpool. Puteți lista toate seturile de date ZFS ("sisteme de fișiere") prin lista zfs, unde FOLOSIT coloana indică spațiul utilizat de setul de date, care include fișierele, seturile de date copil și instantaneele aparținând unui anumit set de date; DISPONIBIL indică spațiul rămas în piscină și REFER indică dimensiunea fișierelor specifice acestui sistem de fișiere, adică nu instantanee sau sisteme de fișiere copil.