목록mutex (3)

봉황대 in CS

[Chapter 6. 프로세스 동기화] 우선순위 역전 문제와 우선순위 상속 프로토콜

* 본 글은 '운영체제(Operating System: Concepts) 9th edition'의 내용과 2021학년도 1학기에 수강한 '운영체제' 과목 강의 내용을 함께 정리하여 작성하였습니다. 공유 변수의 간섭 문제를 해결하기 위한 상호 배제 및 동기화 프로그래밍 수단으로는 뮤텍스(Mutual Exclusion, Mutex)와 세마포어(Semaphore)가 있다. 하지만 이 둘을 사용할 때는 우선순위 역전 문제가 발생할 가능성이 있다. 우선순위 역전 문제 (Priority Inversion Problem) 우선순위 역전 문제는 높은 우선순위 프로세스가 현재 공유 자원을 사용하고 있는 낮은 우선순위 프로세스를 기다려야 하는 경우에 발생한다. T1, T2, T3 세 개의 프로세스가 있다고 하자. 이때 우..
Computer Science/Operating System 2022. 7. 26. 12:11
[Chapter 6. 프로세스 동기화] Mutex의 SW적 / HW적 구현 (Peterson's Solution, Bakery 알고리즘 등)

* 본 글은 '운영체제(Operating System: Concepts) 9th edition'의 내용과 2021학년도 1학기에 수강한 '운영체제' 과목 강의 내용을 함께 정리하여 작성하였습니다. 공유 변수의 간섭 문제를 해결하기 위한 상호 배제 및 동기화 프로그래밍 수단으로는 뮤텍스(Mutual Exclusion, Mutex)와 세마포어(Semaphore)가 있다. 뮤텍스는 자원에 대한 접근을 동기화하기 위하여 사용되는 상호 배제 기술이다. 프로그램이 시작될 때 고유한 이름으로 생성되며, 프로세스 혹은 스레드는 임계 구역에 들어가기 전에 반드시 뮤텍스 lock을 얻어야 하고, 임계 구역을 빠져나올 때 반환해야 한다. 뮤텍스를 소프트웨어적으로 구현하는 방법과 하드웨어적으로 구현하는 방법에 대하여 알아보자..
Computer Science/Operating System 2022. 7. 23. 18:53
[Chapter 6. 프로세스 동기화] 원소적 실행과 임계 구역

* 본 글은 '운영체제(Operating System: Concepts) 9th edition'의 내용과 2021학년도 1학기에 수강한 '운영체제' 과목 강의 내용을 함께 정리하여 작성하였습니다. 협력적 프로세스(Cooperating Process)가 병행 또는 병렬로 실행될 때 여러 프로세스가 공유하는 데이터의 무결성에 어떤 문제가 일어나는가? * 협력적 프로세스 : 시스템 내에서 실행 주인 다른 프로세스의 실행에 영향을 주거나 받는 프로세스 생산자-소비자 문제를 다시 보자. * 생산자 프로세스 : 정보를 생산하는 프로세스 * 소비자 프로세스 : 생산자 프로세스가 생산한 정보를 소비하는 프로세스 생산자와 소비자 프로세스들이 병행으로 실행되도록 하기 위해서 공유하는 메모리 영역에 원형 공유 버퍼를 생성..
Computer Science/Operating System 2022. 7. 21. 11:24
Prev 1 Next