상세정보
학술지
On Scheduling Garbage Collector in Dynamic Real-time Systems with Statistical Timing Assurances
- 저자
- 조현중, Che Woo Na, Binoy Ravindran, E. Douglas Jensen
- 발행일
- 200707
- 출처
- Real-Time Systems, v.36 no.1, pp.23-46
- ISSN
- 0922-6443
- 출판사
- Springer
- 협약과제
- 07MD1700, UHF RF-ID 및 Ubiquitous 네트워킹 기술 개발, 채종석
- 초록
- We consider garbage collection (GC) in dynamic real-time systems. We consider the time-based GC approach of running the collector as a separate, concurrent thread, and focus on real-time scheduling to obtain assurances on mutator timing behavior, while ensuring that memory is never exhausted. We present a scheduling algorithm called GCUA. The algorithm considers mutator activities that are subject to time/utility function time constraints, variable execution time demands, the unimodal arbitrary arrival model that allows a strong adversary, and resource overloads. We establish several properties of GCUA including probabilistically-satisfied utility lower bounds for each mutator activity, a lower bound on the system-wide total accrued utility, bounded sensitivity for the assurances to variations in mutator execution time demand estimates, and no memory exhaustion at all times. Our simulation experiments validate our analytical results and confirm the algorithm's effectiveness and superiority. © Springer Science+Business Media, LLC 2007.
- KSP 제안 키워드
- Function time, Garbage Collector, Garbage collection(GC), Lower bound, Real-Time Scheduling, Scheduling algorithm, Simulation and experiment, Time Based, Timing behavior, analytical results, dynamic real-time