Nachos 文件扩展与时间戳OpenFile 类 2 处关键修改与 1 个常见陷阱分析在操作系统课程设计中Nachos 作为一个教学用的操作系统其文件系统的实现是理解操作系统核心机制的重要环节。本文将深入探讨 Nachos 文件系统中 OpenFile 类的关键修改点特别是文件动态扩展和时间戳功能的实现细节帮助读者避免常见的实现陷阱。1. 文件动态扩展的实现原理文件动态扩展是 Nachos 文件系统实验中的一个核心需求。传统的 Nachos 文件系统在创建文件时需要预先指定文件大小这在实际应用中显然不够灵活。我们需要修改 OpenFile 类的 WriteAt 方法使其能够在写入数据时动态扩展文件大小。WriteAt 方法的关键修改在原始的 Nachos 实现中WriteAt 方法会在写入位置超过文件大小时直接返回失败。为了实现动态扩展我们需要在写入前检查文件大小并在必要时调用 ExtendSpace 方法扩展文件。int OpenFile::WriteAt(char *from, int numBytes, int position) { int fileLength hdr-FileLength(); // 检查写入位置是否合法 if ((numBytes 0) || position fileLength) return 0; // 需要扩展文件大小的情况 if ((position numBytes) fileLength) { if (!(hdr-ExtendSpace(position numBytes))) numBytes fileLength - position; // 扩展失败调整写入大小 } // 原始写入逻辑保持不变 // ... // 更新修改时间 hdr-SetModTime((unsigned)std::time(nullptr)); return numBytes; }ExtendSpace 方法的实现细节ExtendSpace 方法负责实际的文件扩展操作需要考虑以下几个关键点计算需要的新扇区数量检查磁盘空间是否足够处理一级索引和二级索引的不同情况更新文件头信息bool FileHeader::ExtendSpace(int newFileSize) { if (newFileSize numBytes) return true; int numSectorsSet divRoundUp(newFileSize, SectorSize); if (numSectorsSet numSectors) { numBytes newFileSize; bHdrChange true; return true; } BitMap *freeMap new BitMap(NumSectors); OpenFile *bitMapFile new OpenFile(0); freeMap-FetchFrom(bitMapFile); // 检查是否超出最大限制或空间不足 if (numSectorsSet MaxFileSectors || freeMap-NumClear() numSectorsSet - numSectors) { delete bitMapFile; delete freeMap; return false; } // 不需要二级索引的情况 if (numSectorsSet NumDirect) { for (int i numSectors; i numSectorsSet; i) { dataSectors[i] freeMap-Find(); } } // 需要二级索引的情况 else { if (numSectors NumDirect) { for (int i numSectors; i NumDirect; i) { dataSectors[i] freeMap-Find(); } numSectors NumDirect; } int dataSectors2[NumDirect2]; synchDisk-ReadSector(dataSectors[NumDirect], (char *)dataSectors2); for (int i 0; i numSectorsSet - numSectors; i) { dataSectors2[i numSectors - NumDirect] freeMap-Find(); } synchDisk-WriteSector(dataSectors[NumDirect], (char *)dataSectors2); } freeMap-WriteBack(bitMapFile); numBytes newFileSize; numSectors numSectorsSet; bHdrChange true; delete bitMapFile; delete freeMap; return true; }2. 时间戳功能的实现与调用时机文件修改时间戳是文件系统的重要元数据Nachos 原始实现中并不包含这一功能。我们需要在 FileHeader 类中添加时间戳字段并在适当的时候更新它。FileHeader 类的时间戳添加首先需要在 FileHeader 类中添加时间戳字段和相关方法class FileHeader { // 原有成员... unsigned lastModTime; // 新增时间戳字段 bool bHdrChange; // 标记文件头是否被修改 public: // 新增时间戳方法 time_t GetModTime() { return (time_t)lastModTime; } void SetModTime(time_t modTime) { lastModTime (unsigned)modTime; bHdrChange true; } };时间戳更新的关键位置时间戳应该在以下操作发生时更新文件创建时构造函数文件读取时Read 方法文件写入时Write 和 WriteAt 方法// OpenFile 构造函数中设置初始时间 OpenFile::OpenFile(int sector) { hdr new FileHeader; hdr-FetchFrom(sector); seekPosition 0; hdr-SetModTime((unsigned)std::time(nullptr)); // 设置创建时间 hdrSector sector; } // Read 方法中更新时间戳 int OpenFile::Read(char *into, int numBytes) { int result ReadAt(into, numBytes, seekPosition); seekPosition result; hdr-SetModTime((unsigned)std::time(nullptr)); // 更新访问时间 return result; } // Write 方法中更新时间戳 int OpenFile::Write(char *from, int numBytes) { int result WriteAt(from, numBytes, seekPosition); seekPosition result; hdr-SetModTime((unsigned)std::time(nullptr)); // 更新修改时间 return result; }3. 文件头结构的 128 字节限制与常见陷阱Nachos 文件系统设计中一个容易被忽视但至关重要的限制是文件头结构必须恰好占用一个扇区128 字节。这一限制会导致在添加新字段时需要仔细计算结构体大小。文件头结构的内存布局FileHeader 类的内存布局大致如下字段类型大小(字节)说明numBytesint4文件字节数numSectorsint4文件占用的扇区数dataSectorsint[NumDirect]4*NumDirect直接索引块lastModTimeunsigned4新增的修改时间bHdrChangebool1新增的修改标志padding-剩余空间填充字节计算 NumDirect 的正确值为了确保整个 FileHeader 结构不超过 128 字节我们需要根据添加的字段重新计算 NumDirect 的值。计算公式如下总大小 sizeof(numBytes) sizeof(numSectors) (NumDirect * sizeof(int)) sizeof(lastModTime) sizeof(bHdrChange) SectorSize假设 SectorSize 为 128 字节计算过程如下// 计算非 dataSectors 部分的大小 int baseSize sizeof(numBytes) sizeof(numSectors) sizeof(lastModTime) sizeof(bHdrChange); // 计算可用的 dataSectors 空间 int availableSpace SectorSize - baseSize; // 计算最大的 NumDirect int maxNumDirect availableSpace / sizeof(int);实际应用中的调整在实际修改中可能需要根据具体需求调整 NumDirect 的值。例如如果添加了多个新字段可能需要减少 NumDirect 的值来保证结构体不超出限制。同时这也意味着可能需要更早地使用二级索引。提示在修改 FileHeader 结构后务必使用 sizeof(FileHeader) 检查实际大小确保不超过 SectorSize 限制。如果超出需要减少 NumDirect 或优化其他字段。4. 二级索引的实现与磁盘状态查看实验五要求在实验四的基础上实现二级索引和磁盘状态查看功能。这部分内容虽然不属于 OpenFile 类的直接修改但与文件扩展功能密切相关。二级索引的实现要点在 FileHeader 中定义二级索引相关常量#define NumDirect ((SectorSize - 13) / sizeof(int)) #define NumDirect2 (SectorSize / sizeof(int))修改 Allocate 方法处理二级索引bool FileHeader::Allocate(BitMap *freeMap, int fileSize) { numBytes fileSize; numSectors divRoundUp(fileSize, SectorSize); if (freeMap-NumClear() numSectors) return FALSE; else if (NumDirect2 NumDirect numSectors) return FALSE; if (numSectors NumDirect) { for (int i 0; i numSectors; i) dataSectors[i] freeMap-Find(); dataSectors[NumDirect] -1; // 标记未使用二级索引 } else { for (int i 0; i NumDirect; i) dataSectors[i] freeMap-Find(); int dataSectors2[NumDirect2]; for (int i 0; i numSectors - NumDirect; i) dataSectors2[i] freeMap-Find(); synchDisk-WriteSector(dataSectors[NumDirect], (char *)dataSectors2); } return true; }磁盘状态查看功能的实现添加 -DI 参数来查看磁盘状态void FileSystem::PrintInfo() { BitMap *freeMap new BitMap(NumSectors); Directory *directory new Directory(NumDirEntries); FileHeader *fileHdr new FileHeader(); printf(\n磁盘尺寸%d个扇区字节数目%d\n, NumSectors, NumSectors * SectorSize); freeMap-FetchFrom(freeMapFile); int nUsedSector NumSectors - freeMap-NumClear(); printf(\n(已经使用)%d个扇区字节数目%d\n, nUsedSector, nUsedSector * SectorSize); printf(\n未使用%d个扇区字节数目%d\n, freeMap-NumClear(), freeMap-NumClear() * SectorSize); // 统计文件信息 // ... delete freeMap; delete directory; delete fileHdr; }