CS/OS

Deadlock 발생 필요 조건은 다음 4가지를 전부 만족시켜야한다. Exclusive use of resources Non preemptible resources Hold and wait (Partial allocation) Circular wait 이 중에서 하나라도 만족시키지 않으면 Deadlock이 발생하지 않는다. Deadlock을 해결하는 다음 3가지 방법이 있다. Deadlock 해결 방법 Deadlock prevention methods (교착상태 예방) Deadlock avoidance method (교착상태 회피) Deadlock detection and deadlock recovery methods (교착상태 탐지 및 복구) Deadlock Prevention 4 개의 deadlock..

각 방향의 자동차들은 서로 다른 곳으로 이동하고 싶지만 꽉 막혀 있기에 이동하지 못한다. 프로세스도 마찬가지로 자신들이 원하는 자원을 가져가고싶은데 그러지 못하는 상태가 된다. 이를 Deadlock (교착상태)이(가) 된다. Deadlock의 개념 Blocked state 프로세스가 특정 이벤트를 기다리는 상태 Asleep state 프로세스가 필요한 자원을 기다리는 상태 Deadlock state 프로세스가 발생 가능성이 없는 이벤트를 기다리는 경우 => 프로세스가 deadlock 상태에 있음 (원하는 자원을 받지 못하는데 계속 기다리기 때문) 시스템 내에 deadlock 에 빠진 프로세스가 있는 경우 => 시스템이 deadlock 상태에 있음 앞서 프로세스 스케줄링 알고리즘(5단원)에서 배웠듯이 de..

어떻게 하면 상호배제가 잘 작동하는 알고리즘을 만들 수 있을까? Mutual Exclusion Solutions 더보기 SW solutions Dekker’s algorithm (Peterson’s algorithm) Dijkstra’s algorithm , Knuth’s algorithm, Eisenberg and McGuire’s algorithm, Lamport’s algorithm HW solution TestAndSet (TAS) instruction OS supported SW solution Spinlock Semaphore Eventcount /sequencer Language Level solution Monitor 다양하게 적용가능하다 그러나 복잡하다. 복잡하기도 하고 에러의 발생확률이..

어떻게 하면 상호배제가 잘 작동하는 알고리즘을 만들 수 있을까? Mutual Exclusion Solutions 더보기 SW solutions Dekker’s algorithm (Peterson’s algorithm) Dijkstra’s algorithm , Knuth’s algorithm, Eisenberg and McGuire’s algorithm, Lamport’s algorithm HW solution TestAndSet (TAS) instruction OS supported SW solution Spinlock Semaphore Eventcount /sequencer Language Level solution Monitor Eventcount / Sequencer 은행의 번호표와 비슷한 개념 앞..

어떻게 하면 상호배제가 잘 작동하는 알고리즘을 만들 수 있을까? Mutual Exclusion Solutions 더보기 SW solutions Dekker’s algorithm (Peterson’s algorithm) Dijkstra’s algorithm , Knuth’s algorithm, Eisenberg and McGuire’s algorithm, Lamport’s algorithm HW solution TestAndSet (TAS) instruction OS supported SW solution Spinlock Semaphore Eventcount /sequencer Language Level solution Monitor (비 효율적인 SW, HW의 솔루션 과정들을 통해 OS에서 해결하는 과정..

어떻게 하면 상호배제가 잘 작동하는 알고리즘을 만들 수 있을까? Mutual Exclusion Solutions 더보기 SW solutions Dekker’s algorithm (Peterson’s algorithm) Dijkstra’s algorithm , Knuth’s algorithm, Eisenberg and McGuire’s algorithm, Lamport’s algorithm HW solution TestAndSet (TAS) instruction OS supported SW solution Spinlock Semaphore Eventcount /sequencer Language Level solution Monitor 앞서 소프트웨어를 통한 ME 솔루션은 비효율적이고 구현이 복잡하다는 단점..

어떻게 하면 상호배제가 잘 작동하는 알고리즘을 만들 수 있을까? Mutual Exclusion Solutions 더보기 SW solutions Dekker’s algorithm (Peterson’s algorithm) Dijkstra’s algorithm , Knuth’s algorithm, Eisenberg and McGuire’s algorithm, Lamport’s algorithm HW solution TestAndSet (TAS) instruction OS supported SW solution Spinlock Semaphore Eventcount /sequencer Language Level solution Monitor Dekker’s Algorithm Two process일 때 ME(상호배..

Process Synchronization (동기화) 다중 프로그래밍 시스템 운영체제에는 여러 개의 프로세스들이 존재 => 이러한 시스템을 다중 프로그래밍 시스템이다. 프로세스들은 서로 독립적으로 동작 (동시에 동작함) 공유 자원 또는 데이터가 있을 때 문제 발생 가능 예를들어 A가 어떠한 행동을 하려고 할 때 B가 A가 하려던 행동을 하면 서도 충돌이 발생함 이를 맞추기 위해 동기화 라는 것이 필요함. 동기화 (Synchronization) 프로세스 들이 서로 동작을 맞추는 것 프로세스 들이 서로 정보를 공유 하는 것 비동기적 (Asyncjronous) 프로세스들이 서로에 대해 모름 병행적 (Concurrent) 여러 개의 프로세스들이 동시에 시스템에 존재 병행 수행중인 비동기적 프로세스들이 공유 자원..

목차 더보기 스케줄링의 목적 스케줄링 기준 및 단계 스케줄링 정책 기본 스케줄링 알고리즘들 Case study Basic Scheduling algorithms 공평성을 고려한 방식 FCFS (First Come First Service) RR (Round Robin) 효율성을 고려한 방식 SPN (Shortest Process Next) SRTN (Shortest Remaining Time Next) HRRN (High Response Ratio Next) BT 예측문제를 개선한 방식 MLQ (Multi level Queue) MFQ (Multi level Feedback Queue) 앞서 효율성을 고려한 방식의 문제점은 BT를 예측해야 하는데 힘들다 그래서 효율성을 고려한 방식과 비슷한 효과를 내면서..

목차 더보기 스케줄링의 목적 스케줄링 기준 및 단계 스케줄링 정책 기본 스케줄링 알고리즘들 Case study Basic Scheduling algorithms 공평성을 고려한 방식 FCFS (First Come First Service) RR (Round Robin) 효율성을 고려한 방식 SPN (Shortest Process Next) SRTN (Shortest Remaining Time Next) HRRN (High Response Ratio Next) BT예측문제를 개선한 방식 MLQ (Multi level Queue) MFQ (Multi level Feedback Queue) SPN (Shortest Process Next) FCFS에서 실행시간이 긴 프로세스로 인해 짧은 시간의 프로세스들이 오..