独立验证 TRIM 确实适用于 SSD

Question 1

你的逻辑并没有错。但只有满足某些条件才有效。

这修剪命令，如指定ATA命令集，可能会也可能不会将其发行的扇区归零。
实际上，该标准关注的是 TRIM 发出后必须返回哪些数据¹：

本标准针对设备修剪的扇区指定了以下行为（参见 7.5.3.3）：

a) 非确定性 - 响应从修剪扇区读取的数据可能会因每次读取而改变，直到主机写入该扇区；
b) 修剪后确定性读取（DRAT）——响应于读取修剪扇区而返回的数据不会改变，但可能与之前返回的数据不同； c
) 修剪后读取零（RZAT）-响应于读取修剪后的扇区而返回的数据为零。

[...] 对于 DRAT 和非确定性存储设备，响应已成功修剪的 LBA 的读取命令而返回的数据：

a) 可以是之前返回的指定LBA的数据；
b) 可以是由存储设备生成的图案； c
) 不是主机先前写入不同LBA的数据。

因此，您的设备返回的内容fstrim取决于它实现的功能。除非它支持 RZAT，否则从修剪设备读取的数据仅为零的假设是不成立的。

您可以使用hdparm以下方法来检查：

sudo hdparm -I /dev/sdX | grep -i trim

我使用两个 SSD 进行了一些测试，sda并且sdb.同一制造商，不同型号，具有不同的 ATA 一致性：

$ sudo hdparm -i /dev/sdb
 ...
 Drive conforms to: Unspecified:  ATA/ATAPI-3,4,5,6,7
 ...

$ sudo hdparm -i /dev/sda
 ...
 Drive conforms to: unknown:  ATA/ATAPI-2,3,4,5,6,7
 ...

两种SSD对TRIM的支持不同：

$ sudo hdparm -I /dev/sda | grep -i trim
           *    Data Set Management TRIM supported (limit 1 block)

$ sudo hdparm -I /dev/sdb | grep -i trim
           *    Data Set Management TRIM supported (limit 8 blocks)
           *    Deterministic read ZEROs after TRIM

我可以确认，在发出后fstrim，支持“TRIM 后确定性读零”(RZAT) 的驱动器似乎实际上几乎完全将相关分区归零。相反，另一个驱动器似乎仅将释放空间的一小部分归零（或以某种高度可压缩的模式替换）。

¹ _{网上来源：INCITS 529：信息技术 - ATA/ATAPI 命令集 - 4 (ACS-4)}

测试注意事项：

正如所指出的弗罗斯特舒茨在注释中，之后的读取fstrim可能会从操作系统缓存返回数据，而不是从修剪的设备返回数据。例如，发生在这个问题。
（我还要指出这个答案对于测试 TRIM 的替代方法的同一问题）。

在后续读取之间fstrim，您可能需要删除缓存，例如：

echo 3 | sudo tee /proc/sys/vm/drop_caches

根据您正在使用的分区的大小，不删除缓存可能足以导致您的测试失败。

注意您的设置：

mountdiscard选项启用连续 TRIM，即任何时候删除文件。它不是所要求的fstrim。事实上，按需 TRIM 和连续 TRIM 是管理 TRIM 操作的两种不同方式。如需更多信息，我会指出固态硬盘Arch Linux Wiki 上有关于此事的详细报道。

Answer

你的逻辑并没有错。但只有满足某些条件才有效。