Nachos machine

각 nachos 파일은 File Header 구조로 연관되어 있다. File Header는 파일의 현재 크기, 물리적인 디스크블럭에 포인트와 같은 파일에 대한 필수적인 모든 정보를 가지고 있는 Unix inode와 유사하다. 명확하게 nachos의 FileHeader은 바이트로된 파일의 현재 크기를 포함하고, 파일에 할당되어진 섹터의 숫자와 블록된 파일 데이터의 위치를 특정한 디스크 섹터숫자의 섹터배열로 표현한다. 파일이 처음 생성될때를 생각하면 호출자는 피일의 크기를 지정한다. 파일 생성 시간에 nachos는 요구된 크기에 적합하도록 충분한 섹터를 할당한다. 그래서 파일에 데이터가 추가됨으로써, 섹터는 할당이 필요하지 않게 된다. 현재 필드의 크기는 파일이 현재 얼마나 많은 의미있는 데이터를 포함하는 지를 나타낸다.
FileHeader는 다음의 동작들에 의해 지원된다.