Leo's Garage

EDF with Practical Environment EDF with deadlines less than the periods$$D_i$$\sum_{j=1}^{n}\frac{e_j+p_j-D_j}{p_j}\leq 1\,\,increase\,\,execution\,\,time$$$$\sum_{j=1}^{n}\frac{e_j}{D_j}\leq 1\,\,\,decrease\,\,period$$ EDF with Non-preemptable Code SectionLow Priority의 NPS(Non-preemptable code section)은 High Priority Task를 Block한다.$$b_i=max_{j=i+1}^{n}NPS\,\,\,D_i1. $\sum_{j=1}^{n}\frac{e_j}{p..

느낀점 Problem Statement어떻게 Voltage Scheduling 기술이 실시간 시스템의 전력소모를 최소화할 수 있는가?Voltage Scheduling 기술은 프로세서의 속도를 줄임으로써 에너지 소비를 최소화한다. 휴대 기기에게 배터리 수명을 연장하는 효과적인 방법이다. 이 기술은 전력 소비율($P$), 공급 전압($V_s$), 클럭 주파수($f$) 간의 관계를 활용한다. 이 관계는 대략 $P = C \cdot V_s^2 \cdot f$로 설명된다. 프로세서 속도와 주파수($f$)는 공급 전압($V_s$)에 거의 비례하기 때문에, 전력 소비율은 공급 전압의 세제곱에 대략 비례하게 된다. ($P = K \cdot V_s^3$, 여기서 $K$는 상수). 따라서 공급 전압을 낮춰 프로세서 속..

느낀점 Problem StatementRealTime Task의 "Parallellization freedom"은 OpenCL 및 OpenMP와 같은 최신 병렬 컴퓨팅 프레임워크에서 Task를 여러 가지 방법으로 병렬화할 수 있게 해주는 개념이다. 예를 들어 한 차선 추적 프로그램은 단일 스레드, 두 개의 스레드, 세 개의 스레드, 네 개의 스레드로 실행될 수 있다. 이러한 프레임워크에서는 각 Task 병렬화되는 스레드의 수인 "Prallelization option"을 신중하게 결정해야 다중 CPU 코어를 더 잘 활용하여 스케줄 가능성을 극대화할 수 있다. 이 논문은 특히 Global EDF(G-EDF) 스케줄링 환경에서 Task 병렬화 옵션을 최적으로 할당하는 방법을 제안한다.병렬화 자유가 G-ED..

느낀점 이 논문은 멀티프로세서 실시간 시스템에서의 응답시간 분석의 복잡성과 한계를 뛰어넘기 위한 정교한 수학적 모델을 제시했다는 점에서 인상 깊었다.간섭과 워크로드를 정량적으로 상한 처리하며 반복적으로 응답시간을 수렴시키는 방식은 논리적이고 적용 가능성도 높다고 느꼈다.특히 slack을 활용해 분석 정확도를 점진적으로 높이는 방식은 단순한 이론을 넘어서 실용적인 해법임을 보여준다. Problem Statement멀티프로세서 하에서 Real Time Scheduling 분석의 근본적인 문제가 무엇일까? (논문 발행 기준으로) 최근 몇 년 동안 일반 및 임베디드 시스템 시장에서 단일 프로세서 칩에서 멀티코어 컴퓨팅 장치로 점진적인 전환이 일루어졌다. 이러한 추세에 따라 실시간 커뮤니티에서는 고전적인 스케줄링..

느낀점이 논문은 실시간 시스템 이론의 초석이 된 고전으로, 이 논문이 출판된 이래로 이 내용은 수많은 실시간 스케줄링 알고리즘의 기반이 되었다. 특히 Rate-Monotonic과 Deadline-Driven Scheduling은 오늘날에도 널리 사용되고 있다. 증명 내용 단계 단계가 간단명료하고 직관적이어서 이해하기에 어렵지 않았다. 잘 쓴 논문이란 이런 것인가 하는 생각과 더불어 도대체 이런 아이디어는 어떻게 생각해내는지 궁금하다. Problem Statement본 논문은 Hard Real-Time Environment에서 단일 프로세서 위에서 동작하는 Multi Programming Task들의 Scheduling 문제를 다룬다. 이 환경에서 모든 Task들이 정해진 Deadline 내에 반드시 완료..