여러 프로세스/스레드가 동시에 실행되어도 공유 데이터의 일관성을 유지하는 것이다.