Leo's Garage

Mutually exclusive resource sharing위의 경우 A Resource에 두 Task가 동시에 접근이 가능한 경우인데, 이 경우 A의 값이 정상적으로 업데이트 되지 못한다. 아래의 경우는 Mutually Exclusive가 적용된 케이스로 A가 최종적으로 2로 업데이트 되게 된다.Unbounded Priority Inversion우선순위 반전 개념높은 우선순위 작업이 낮은 우선순위 작업에 의해 지연될 때 발생즉, 높은 우선순위 작업이 낮은 우선순위 작업에 막혀서 실행되지 못하는 현상반전의 발생 조건주로 동기화(Synchronization) 중 발생상호 배제(mutual exclusion)때문에 Job간에 지연 발생 가능 가령 낮은 우선순위 작업이 자원을 갖고 있는 상태에서, 높은 우..

앞 선 장에서는 Fixed Priority 스케줄러 기반의 Server에 대해 알아보았다. 이제는 Dynamic Priority에서 Server를 알아보자.Constant Utilization ServerKey Idea서버는 $u_s$라는 예산을 받게 되는데, 이는 요청된 Request의 Deadline에 따라서 해당 $u_s$만큼 받는 구조이다.초기화$e_s = 0$, $d_s=0$ (서버 예산과 마감시간 초기화)요청 도착 시 (at time $t$)Queue가 비어있지 않으면 -> Queue에 추가$t 아무것도 안함 (Queue에 추가만)그 외의 경우$d_s=t+\frac{e}{u_s}$$e_s=e$(새 요청만큼 서버 예산 설정)현재 시간이 $d_s$가 되었을 때, Queue에 요청이 있다면, 맨 앞..

Types of Aperiodic RequestsSoft aperiodic Task:푸아송 분포와 같이 랜덤하게 요청지수 분포처럼 랜덤한 실행 시간일반적으로 User Request를 모델링한다.Firm aperiodic Tasks(Sporadic Tasks:각각 요청된 Job은 확실한 Deadline 내에 끝나야한다.2개의 연속 요청 사이에는 최소한의 간격이 존재WCET Bound가 있다.일반적으로 위급한 상황을 모델링한다.그렇다면 이런 Aperiodic Task는 어떻게 처리해야 하는가? 1. Interrupt Handling특징: Aperioic Task가 발생 시, 즉시 인터럽트 핸들러에서 처리장점: 매우 짧은 응답 시간단점: Periodic Task가 방해 받아 Deadline Miss 발생 가능..

Why analytical methods?MeasurementWCET 보장 불가: Branch, Loop Count, Cache hit/miss에 따라 시간 변동 -> 모든 경로 실측 불가능시간과 비용소모: 반복 실행과 시뮬레이션이 매우 비싸고 오래걸림Design Phase 적용 불가: 실행 가능한 코드 & 환경 준비 후에 측정 가능Analysis(정적 분석 기법)의 장점WCET 보장: 최악의 실행시간을 안전하게 상한으로 계산 가능 (Safe Bound 제공)자동화 가능: 대부분 분석은 자동화 도구 수행 가능Design Phase 적용 가능: 코드 작성 초기에 분석 가능 Basic Analysis MethodBasic Construct: 단순 대입문 Ex. i=0, a=b+cSequential Con..