공유 자원을 상호 배타적으로 사용해야 한다.

병행 프로세스들 사이에는 협력 또는 동기화가 이루어져야 한다.

병행 프로세스들은 프로그래머가 외부적으로 스케줄링 할 수 없도록 한다.

교착상태를 해결해야 하며 병행 프로세스들의 병렬 처리도를 극대화해야 한다.