Delphi XE3中已释放TFileStream仍无法在Windows XP弹出USB驱动器的原因

实现代码 #

procedure TForm1.Button1Click(Sender: TObject);
var
  Data: Byte;
  FileStream: TFileStream;
begin
  if SaveDialog1.Execute then
  begin
    FileStream := TFileStream.Create(SaveDialog1.FileName, fmCreate or fmOpenWrite or fmShareExclusive);
    try
      FileStream.Write(Data, SizeOf(Data));
    finally
      FreeAndNil(FileStream);
    end;
  end;
end;

实际运行现象 #

• 代码执行流程中已通过FreeAndNil正确释放TFileStream实例
• 写入USB驱动器内的文件后，不同Windows版本表现不一致：
  • Windows XP环境：无法正常弹出USB驱动器，系统提示驱动器处于被占用状态，必须完全关闭当前程序才能完成弹出操作
  • Windows 7环境：无上述占用问题，文件写入完成后可正常弹出USB驱动器
• 目标：明确两个系统下行为差异的根本原因

差异产生的根本原因 #

可移动存储占用判定机制差异 #

• Windows XP内置的可移动存储管理器（RSM）采用老旧、非严格的占用判定逻辑：只要进程曾经访问过目标USB卷上的文件，且进程与卷绑定的内核I/O引用没有完全清零，就会判定卷处于占用状态。该判定不严格以“文件句柄是否完全释放”为唯一依据，存在判定滞后的问题。
• Windows 7及后续版本重构了可移动介质的占用判定规则：只要内核层的所有文件句柄正式关闭、关联的系统写缓存全部冲刷完成、卷的引用计数归零，就会立刻解除占用标记，允许介质弹出。

文件缓存处理逻辑差异 #

• Windows XP的磁盘缓存机制对USB可移动介质采用延迟写策略：当应用程序写入文件、关闭文件句柄后，系统不会立刻把缓存中的数据刷入物理磁盘，这部分缓存会与当前进程的地址空间保持绑定。即便是Delphi层面已经释放了流对象，内核缓存层的绑定关系依然会被XP的占用检测逻辑判定为“进程仍在使用卷”。
• Windows 7之后优化了可移动介质的缓存处理流程：内核文件句柄关闭时，缓存管理器会自动完成与可移动卷的绑定解绑，不需要应用程序主动触发冲刷操作，因此不会触发残留的占用判定。

USB存储驱动逻辑差异 #

• XP配套的USB大容量存储驱动采用延迟解绑逻辑：检测到文件句柄关闭后，会等待一段无操作的窗口期才会解除卷对应的设备栈关联，给弹出操作返回“占用”的状态。
• Windows 7配套的USB存储驱动会在文件句柄关闭的第一时间完成设备栈解绑，直接响应弹出请求的状态查询。

内容的提问来源于stack exchange，提问作者alancc