왜 일관성인가?
- 파일 시스템 평가에 있어서 중요한 요소
- 사용자가 파일을 보는 시점을 지정
- 프로세스 동기 알고리즘과 직접 연관
유닉스에서의 일관성
열린 파일에 대한 한 사용자의 쓰기는 동일 파일을 연 다른 사용자에게 즉시 보일 수 있다.
사용자들은 파일에 대한 현재 위치 포인터를 공유하는 공유 모드를 통해, 한 명이 포인터를 바꾸면 나머지 모두의 포인터도 바뀌게 된다. 여기서 파일은 작업 수행자와 상관없이 모든 접근이 서로 엇갈려 수행되는 단일 이미지이다.
파일은 하나, 즉 배타적인 자원.
이에 대한 경쟁은 사용자 프로세스 간의 지연으로 이어짐.
세션에서의 일관성
열린 파일에 대한 한 사용자의 쓰기는, 다른 사용자에게 보이지 않는다.
파일이 닫힌 후, 파일에 대한 변경이 그 후 시작되는 세션에서만 보임. 이미 열린 파일의 인스턴스들은 이러한 변경을 반영하지 않음
한 파일은 동시에 몇 가지 이미지들과 일시적으로 연관 가능
다중 사용자들은 지연 없이 파일 이미지를 병행적으로 접근.
불변 공유 파일
- 일단 하나의 파일이 공유되면, 더는 변경할 수 없음
- 파일명은 재사용할 수 없고, 그 내용도 변경할 수 없음.