초고교급 희망

식사하는 철학자 문제 동그란 원탁에 5명의 철학자, 식사 5개, 포크 5개 포크 2개 잡을 때만 식사 가능 모든 철학자가 동시에 왼쪽 포크 잡으면 어떤 철학자도 식사 X, 영원히 생각함 →모든 철학자는 다른 철학자가 포크를 내려놓을 때까지 기다림 교착 상태(데드락) 일어나지 않을 사건을 기다리며 진행이 멈춰 버리는 현상 철학자: 프로세스, 스레드 포크: 자원, 한 번에 하나의 프로세스나 스레드만 접근 가능한 임계 구역 생각하는 행위: 자원을 기다림 교착 상태 발생 조건 상호 배제 해당 자원을 한 번에 하나의 프로세스만 이용 가능 점유와 대기 자원을 할당받은 상태에서 다른 자원을 할당받기를 기다림 비선점 어떤 프로세스도 다른 프로세스의 자원을 강제로 빼앗지 못 함 원형 대기 자원 할당 그래프가 원의 형태 ..

동기화 특정 자원에 접근할 때 한 개의 프로세스만 접근하게 하거나 프로세스를 올바른 순서대로 실행하게 하는 것 프로세스 동기화의 의미 프로세스들 사이의 수행시기를 맞추는 것 실행 순서 제어: 프로세스를 올바른 순서대로 실행하기 Reader / Writer 상호 배제: 동시에 접근해서는 안 되는 자원에 하나의 프로세스만 접근하게 하기 계좌 잔액 레이스 컨디션 임계 구역은 두 개 이상의 프로세스가 동시에 실행되면 안 되는 영역이지만, 잘못된 실행으로 인해 여러 프로세스가 동시 다발적으로 임계 구역의 코드를 실행하여 문제가 발생하는 경우 동기화 기법 뮤텍스 락 동시에 접근해서는 안 되는 자원에 동시에 접근하지 않도록 만드는 도구. 상호 배제를 위한 동기화 도구 공유자원 1개 바쁜 대기 세마포 뮤텍스 락과 비슷..