2010. 7. 27. 11:06
OS이야기 - 분산 조정 OS이야기2010. 7. 27. 11:06
2PC 프로토콜의 한 가지 주요 단점은 조정자에 결함이 생기면 T를 확약 또는 철회할지에 대한 결정이 C가 복구될 때까지 지연되는 봉쇄 상태가 발생한다는 것이다.
(T - Transaction , C - Controller , 2PC - twoPhase Commit Protocol)
참여 사이트(S)의 결함
- 로그가 commit T 레코드를 가진다. 이 경우에 해당 사이트는 redo(T)를 수행한다.
- 로그가 <abort T>레코드를 가진다. 이 경우 해당 사이트는 undo(T)를 수행한다.
- 로그그 <ready T>레코드를 가진다. 이 경우 해당 사이트는 T의 운명을 결정하기 위해 C에게 문의한다.
-로그가 T에 대한 어떤 제어 레코드도 가지고 있지 않다. 이러한 제어 레코드들의 부재는 C로부터의 query_status(T) 메세지에 응답하기 전에 S가 고장났음을 의미한다. 따라서 S는 undo(T)를 반드시 수행한다.
교착 상태 처리(Deadlock handling)
교착 상태 방지(prevention), 회피(aboidance),탐지(detection) 알고리즘은 분산 환경으로 확장될 수 있다.
교착 상태 방지와 회피
시스템 자원들 간의 전역 순서화를 정읳마으로써 자원 순서화 교착 방지 기법을 분산환경에 적용할 수 있다.
전체 시스템내의 모든 자원들에게는 고유 번호가 부여된다. 이 때, 임의 프로세스가 i라는 번호를 가진 어떤 자원들을 요청하려면, 그 프로세스는 i보다 큰 번호의 자원을 소유하고 있지 않아야 한다. 그러니깐 프로세스가 요청하고 있는 자원 번호가 그 프로세스가 가지고 있는 자원 중에서 i보다 큰 자원을 가지고 있지 않아야 한다. P = {1,4,6} Request = 8 이어야 한다는 말.
교착 상태 탐지
교착 상태가 발생하지 않았음을 증명하기 위해서는 모든 지역 대기 그래프의 합칩합에 사이클이 없음을 보여줘야 한다.
중앙 집중식 접근
중앙 집중식 접근 방식에서는 전역 대기 그래프가 모든 지역 대기 그래프의 합으로 이루어진다. 전역 대기 그래프는 교착 상태 탐지 조정자 역할을 담당하는 단일 프로세스에 의해 유지된다.
Rate-monotonic 스케쥴링 기법은 CPU를 더 자주 요구하는 테스크에 더 높은 우선순위를 부여한다.
Earliest-deadline-first 스케줄링 기법은 마감 시간에 따라서 우선순위를 부여하는데,마감 시간이 더 빠르면 더 높은 우선순위가 부여된다.
Proportional share 스케줄링 기법은 처리기시간을 여러 개의 지분으로 나누고, 이들 중 일정 개수를 프로세스들에게 부여함으로써 각각의 프로세스가 CPU 시간의 proportional share를 보장받도록 한다.
Pthread API는 실시간 쓰레드를 스케줄하는 여러 기능을 제공한다.
'OS이야기' 카테고리의 다른 글
| 커널 시작 과정 (0) | 2011.09.22 |
|---|---|
| 실시간 CPU 스케줄링 - Proportional Share 스케줄링 (0) | 2010.07.30 |
| OS이야기 - 분산 조정 (0) | 2010.07.26 |
| Operating system concepts - 입출력 시스템 (0) | 2010.07.22 |
| 어버이날 OS 이야기 (0) | 2010.05.08 |
