帮助释放硬盘驱动器空间的是磁盘格式化。