세마포어를 쓰레드 대상으로 구현하고 제시된 동기화 문제를 해결하기(숭실대 운영체제 hw3)

목차

1. 소개
2. 관련연구(세마포어 및 동기화 기법 / Pthread API 함수 조사 포함)
3. 추가 기능 구현 방법

본문내용

1.소개
이번 과제는 세마포어의 tsem_try_wait() 함수를 구현한 후, 세마포어 함수들을 활용하여 식사하는 철학자들의 문제점을 해결하는 것 이였다. 여기서 말하는 문제점은 wait(), signal()함수만을 사용할 경우 타이밍상의 문제로 어느 순간 deadlock 발생하는 것을 말한다. (서로 젓가락을 하나씩 들고서 그 상태로 계속 기다리는 상태, 어느 누구도 식사를 시작하여 끝날 때까지 젓가락을 놓지 않을 것이므로 결국 deadlock이 걸림) 이를 해결하기 위해 보통 모니터 방식을 사용한다.

2.관련연구(세마포어 및 동기화 기법 / Pthread API 함수 조사 포함)
* 세마포어 및 동기화 기법
동기화(Synchronization)는 Orderly Execution을 의미한다. 동기화가 필요한 이유는 critical section(임계 구역)에 다수의 쓰레드가 동시에 접근하게 될 경우 의도치 않은 결과 값(logic error)을 만들어낼 수 있으므로 필요하다.
동기화를 위한 방법으로 쓰이는 것이 Mutex / Semaphore 이다.

참고 자료

없음

압축파일 내 파일목록

test.c
보고서2.hwp
dining.c
Makefile
sem.c
sem.h