[혼공컴운] 5주차_Chapter 12 ~ 13

Chapter 12. 프로세스 동기화

12-1. 동기화란

• 동기화 : 특정 자원에 접근할 때 한 개의 프로세스만 접근하게 하거나 프로세스를 올바른 순서대로 실행하게 하는 것
• 공유 자원 : 공동으로 사용하는 자원, 전역 변수/파일/출력장치/보조기억장치 등
• 임계 구역 : 공유 자원에 접근하는 코드 중 동시에 실행하면 문제가 발생하는 코드 영역을 의미, 임계 구역에 진입한 프로세스가 있다면 다른 프로세스는 임계 구역 밖에서 기다려야 함
• 상호 배제 : 한 프로세스가 임계 구역에서 작업 중이면 다른 프로세스가 임계 구역에 들어갈 수 없도록 제어하는 것

12-2. 동기화 기법

• 뮤텍스 락 : 임계 구역을 잠금으로써 프로세스 간의 상호 배제를 이룸
• 세마포 : 공유 자원이 여러 개 있는 임계 구역 문제도 해결할 수 있는 동기화 도구
• 모니터 : 세마포에 비해 사용자가 사용하기 편리한 동기화 도구, 조건 변수를 사용

---

Chapter 13. 교착 상태

13-1. 교착 상태란

• 교착 상태 : 일어나지 않을 사건을 기다리며 무한히 대기하는 현상
• 식사하는 철학자 문제 : 교착 상태의 발생을 보여주는 예시
• 자원 할당 그래프 : 교착 상태를 표현하는 방법
• 교착 상태 발생 조건 : 상호 배제, 점유와 대기, 비선점, 원형 대기

13-2. 교착 상태 해결 방법

• 교착 상태 예방 : 교착 상태의 발생 조건 중 하나를 충족하지 못하게 하는 방법
• 교착 상태 회피 : 안전 상태를 유지할 수 있는 경우에만 자원을 할당하는 방법
• 교착 상태 검출 후 회복 : 교착 상태 발생 여부를 주기적으로 검사하고, 교착 상태가 발생하면 그때그때 회복하는 방식
  • 선점을 통한 회복 : 교착 상태가 해결될 때까지 한 프로세스씩 자원을 몰아주는 방식
  • 프로세스 강제 종료를 통한 회복 : 교착 상태에 놓인 프로세스를 모두 강제 종료하거나, 교착 상태가 없어질 때까지 한 프로세스씩 강제 종료하는 방식

---

기본 숙제

p. 363 확인 문제 1번

뮤텍스 락과 세마포에 대한 설명으로 옳지 않은 것을 고르세요.

1. 뮤텍스 락은 임계 구역을 잠근 뒤 임계 구역에 진입함으로써 상호 배제를 위한 동기화를 이룹니다.
2. 세마포는 공유 자원이 여러 개 있는 상황에서도 이용할 수 있습니다.
3. 세마포를 이용해 프로세스 실행 순서 제어를 위한 동기화도 이룰 수 있습니다.
4. 세마포를 이용하면 반드시 바쁜 대기를 해야 합니다.

• 정답

  4

---

추가 숙제

Ch.12(12-1) 임계 구역, 상호 배제 개념을 정리하기

• 임계 구역 : 공유 자원에 접근하는 코드 중 동시에 실행하면 문제가 발생하는 코드 영역을 의미, 임계 구역에 진입한 프로세스가 있다면 다른 프로세스는 임계 구역 밖에서 기다려야 함
• 상호 배제 : 한 프로세스가 임계 구역에서 작업 중이면 다른 프로세스가 임계 구역에 들어갈 수 없도록 제어하는 것