Chapter 712. 실시간 스케줄링 이론 (Real-Time Scheduling Theory) Chapter 712. 실시간 스케줄링 이론 (Real-Time Scheduling Theory) 712.1실시간 스케줄링의 개요 712.2스케줄링 문제의 정의 712.3태스크 모델과 표기법 712.4주기적 태스크 모델 712.5산발적 태스크 모델 712.6비주기적 태스크 모델 712.7스케줄링 알고리즘의 분류 712.8온라인 스케줄링과 오프라인 스케줄링 712.9고정 우선순위 스케줄링(Fixed-Priority) 712.10속도 단조 스케줄링(Rate Monotonic, RM) 712.11RM의 최적성 증명 712.12RM의 스케줄 가능성 한계(이용률 한계) 712.13마감 시간 단조 스케줄링(Deadline Monotonic, DM) 712.14DM과 RM의 비교 712.15동적 우선순위 스케줄링 712.16최조 마감 시간 우선 스케줄링(Earliest Deadline First, EDF) 712.17EDF의 최적성과 이용률 한계 712.18최소 여유 시간 우선 스케줄링(Least Laxity First, LLF) 712.19스케줄 가능성 분석(Schedulability Analysis) 712.20이용률 기반 시험(Utilization Bound Test) 712.21응답 시간 분석(Response Time Analysis, RTA) 712.22정확한 응답 시간 계산 712.23반복적 응답 시간 계산 알고리즘 712.24하이퍼피리어드(Hyperperiod) 분석 712.25프로세서 수요 분석(Processor Demand Analysis) 712.26자원 공유와 스케줄링 712.27우선순위 역전 문제 712.28우선순위 상속 프로토콜(PIP) 712.29우선순위 천장 프로토콜(PCP) 712.30즉시 우선순위 천장 프로토콜(IPCP) 712.31스택 리소스 정책(SRP) 712.32차단 시간(Blocking Time) 계산 712.33비주기적 태스크 서버 712.34폴링 서버(Polling Server) 712.35지연 가능 서버(Deferrable Server) 712.36산발적 서버(Sporadic Server) 712.37총 대역폭 서버(Total Bandwidth Server, TBS) 712.38상수 대역폭 서버(Constant Bandwidth Server, CBS) 712.39멀티코어 실시간 스케줄링 712.40파티션 스케줄링(Partitioned Scheduling) 712.41전역 스케줄링(Global Scheduling) 712.42세미파티션 스케줄링 712.43전역 EDF의 특성 712.44멀티코어 이용률 한계 712.45캐시 관련 지연 시간 분석 712.46계층적 스케줄링(Hierarchical Scheduling) 712.47가상화 환경에서의 스케줄링 712.48혼합 임계도 시스템(Mixed-Criticality Systems) 712.49이중 임계도 모델 712.50크리티컬 모드 전환 712.51네트워크 스케줄링 712.52시분할 다중접근(TDMA) 스케줄링 712.53이벤트 기반 스케줄링 712.54로봇 제어 루프의 스케줄링 설계 712.55센서-제어-액추에이터 파이프라인 스케줄링 712.56스케줄링 시뮬레이션 도구 712.57스케줄링 이론의 실무 적용 712.58스케줄링 관련 국제 표준 712.59차세대 실시간 스케줄링 연구 동향