---

filehdr.h

Go to the documentation of this file.

// filehdr.h 
//      Data structures for managing a disk file header.  
//
//      A file header describes where on disk to find the data in a file,
//      along with other information about the file (for instance, its
//      length, owner, etc.)
//
// Copyright (c) 1992-1993 The Regents of the University of California.
// All rights reserved.  See copyright.h for copyright notice and limitation 
// of liability and disclaimer of warranty provisions.

#include "copyright.h"

#ifndef FILEHDR_H
#define FILEHDR_H

#include "disk.h"
#include "bitmap.h"

#define NumDirect       ((SectorSize - 2 * sizeof(int)) / sizeof(int))
#define MaxFileSize     (NumDirect * SectorSize)

// The following class defines the Nachos "file header" (in UNIX terms,  
// the "i-node"), describing where on disk to find all of the data in the file.
// The file header is organized as a simple table of pointers to
// data blocks. 
//
// The file header data structure can be stored in memory or on disk.
// When it is on disk, it is stored in a single sector -- this means
// that we assume the size of this data structure to be the same
// as one disk sector.  Without indirect addressing, this
// limits the maximum file length to just under 4K bytes.
//
// There is no constructor; rather the file header can be initialized
// by allocating blocks for the file (if it is a new file), or by
// reading it from disk.

class FileHeader {
  public:
    bool Allocate(BitMap *bitMap, int fileSize);// Initialize a file header, 
                                                //  including allocating space 
                                                //  on disk for the file data
    void Deallocate(BitMap *bitMap);            // De-allocate this file's 
                                                //  data blocks

    void FetchFrom(int sectorNumber);   // Initialize file header from disk
    void WriteBack(int sectorNumber);   // Write modifications to file header
                                        //  back to disk

    int ByteToSector(int offset);       // Convert a byte offset into the file
                                        // to the disk sector containing
                                        // the byte

    int FileLength();                   // Return the length of the file 
                                        // in bytes

    void Print();                       // Print the contents of the file.

  private:
    int numBytes;                       // Number of bytes in the file
    int numSectors;                     // Number of data sectors in the file
    int dataSectors[NumDirect];         // Disk sector numbers for each data 
                                        // block in the file
};

#endif // FILEHDR_H

---

The University of Southern California does not screen or control the content on this website and thus does not guarantee the accuracy, integrity, or quality of such content. All content on this website is provided by and is the sole responsibility of the person from which such content originated, and such content does not necessarily reflect the opinions of the University administration or the Board of Trustees