본문 바로가기

⭐ Group_Study/Operating System37

[4주차] Deadlock: Deadlock Model Deadlock: Deadlock Model Deadlock 발생의 예 ✔ 2개의 프로세스(P1, P2) ✔ 2개의 자원(R1, R2) ✔ P1은 P2가 가지고 있는 R1을, P2는 P1이 가지고 있는 R2를 요청하고 있다 -> 서로 발생 가능성이 없는 이벤트를 기다리고 있으므로 deadlock! Deadlock Model(표현법) Graph Model State Transition Model Graph Model ✔ Node 프로세스 노드(P1, P2), 자원 노드(R1, R2) ✔ Edge $R_j$ -> $P_i$: 자원 $R_j$이 프로세스 $P_i$에 할당 됨 $P_i$ -> $R_j$: 프로세스 $P_i$가 자원 $R_j$을 요청(대기 중) ✔ Cycle 생성 시 Deadlock! State .. 2022. 12. 23.

[4주차] Deadlock: Deadlock and Resource types Deadlock: Deadlock and Resource types Deadlock의 개념 ✔ Blocked/Asleep state 프로세스가 특정 이벤트를 기다리는 상태 프로세스가 필요한 자원을 기다리는 상태 ✔ Deadlock state 프로세스가 발생 가능성이 없는 이벤트를 기다리는 경우 프로세스가 deadlock 상태에 있음 시스템 내에 deadlock에 빠진 프로세스가 있는 경우 시스템이 deadlock이 상태에 있음 ✔ starvation은 '운이 없어서' 프로세서를 할당받지 못한 상태일 뿐 발생 가능성이 없는 것은 아니다!! 자원의 분류 ✔ 일반적 분류: Hardware resources vs Software resources ✔ 다른 분류법(deadlock의 관점) 선점 가능 여부에 따른 .. 2022. 12. 22.

[3주차] Mutual Exclusion Solutions (Language-Level solution) Mutual Exclusion Solutions (Language-Level solution) High-level Mechanism ✔ Monitor ✔ Path expressions ✔ Serializers ✔ Critical region, conditional critical region ✔ Language-level constructs ✔ Object-Oriented concept과 유사 ✔ 사용이 쉬움 Monitor ✔ 공유 데이터와 Critical section의 집합 ✔ Conditional variable - wait(), signal(), operations Monitor의 구조 ✔ Entry queue(진입 큐) 모니터 내의 proceure 수만큼 존재 ✔ Mutual exclusion .. 2022. 12. 21.

[3주차] Mutual Exclusion Solutions (OS supported SW solution) Mutual Exclusion Solutions (OS supported SW solution) Spinlock ✔ 정수 변수 ✔ 초기화, P(), V() 연산으로만 접근 가능 위 연산들은 indivisible (or atomic) 연산 OS support 전체가 한 instruction cycle에 수행됨 ✔ P, V 연산을 통해 active 상태를 확인하고 임계영역에 진입한다 특징 ✔ 멀티 프로세스 시스템에서만 사용 가능 ✔ Busy waiting lock을 대기하는 동안 loop를 돌면서 busy waiting 상태로 대기 Semaphore ✔ 1965년 Dijkstra가 제안 ✔ Busy waiting 문제 해결 ✔ 음이 아닌 정수형 변수(S) 초기화 연산, P(), V()로만 접근 가능 P: P.. 2022. 12. 18.

[3주차] Mutual Exclusion Solutions (SW & HW) Mutual Exclusion Solutions (SW & HW) SW Solutions Dekker's Algorithm ✔ Two process ME를 보장하는 최초의 알고리즘 ✔ flag와 turn 둘다 활용 Petersen's Algorithm ✔ dekker's algorithm 보다 간단하게 구현 N-Process Mutual Exclusion ✔ 다익스트라(Dijkstra) 최초로 프로세스 n개의 상호배제 문제를 소프트웨어적으로 해결 실행시간이 가장 짧은 프로세스에 프로세서 할당하는 세마포 방법, 가장 짧은 평균 대기시간 제공 ✔ 크누스(Knuth) ✔ 램포트(lamport) ✔ 핸슨(brinch Hansen) Dijkstra's Algorithm ✔ Dijkstra 알고리즘의 flag[] .. 2022. 12. 17.

[3주차] Process Synchronization and Mutual Exclusion 프로세스 동기화 & 상호배제 (Process Synchronization and Mutual Exclusion) Process Synchronization ✔ 다중 프로그래밍 시스템 여러 개의 프로세스 존재 프로세스들은 서로 독립적으로 동작 공유 자원 또는 데이터가 있을 때, 문제 발생 가능 ✔ 동기화(Synchronization) 프로세스들이 서로 동작을 맞추는 것 프로세스들이 서로 정보를 공유하는 것 Asynchronous and Concurrent P's ✔ 비동기적(Asynchronous) 프로세스들이 서로에 대해 모름 ✔ 병행적 (Concurrent) 여러 개의 프로세스 들이 동시에 시스템에 존재 ✔ 병행 수행중인 비동기적 프로세스들이 공유 자원에 동시 접근할 때 문제가 발생할 수 있음 Term.. 2022. 12. 16.

이전 1 2 3 4 5 6 7 다음

티스토리툴바