Author : Kaushik Poluri
Publisher :
ISBN 13 :
Total Pages : 112 pages
Book Rating : 4.:/5 (884 download)
Book Synopsis Bounding the Worst-case Response Times of Hard-real-time Tasks Under the Priority Ceiling Protocol in Cache-based Architectures by : Kaushik Poluri
Download or read book Bounding the Worst-case Response Times of Hard-real-time Tasks Under the Priority Ceiling Protocol in Cache-based Architectures written by Kaushik Poluri and published by . This book was released on 2013 with total page 112 pages. Available in PDF, EPUB and Kindle. Book excerpt: Schedulability analysis of hard-real-time systems requires a-priori knowledge of the worst-case execution times (WCET) of all tasks. Static timing analysis is a safe technique used for calculating WCET that attempts to model program complexity, architectural complexity and complexity introduced by interference from other tasks. Modern architectural features such as caches make static timing analysis of a single task challenging due to unpredictability introduced by their reliance on the history of memory accesses and the analysis of a set of tasks even more challenging due to cache-related interference among tasks. Researchers have proposed several static timing analysis techniques that explicitly consider cache-eviction delays for independent hard-real-time tasks executing on cache-based architectures. However, there is little research in this area for resource-sharing tasks. Recently, an analysis technique was proposed for systems using the Priority Inheritance Protocol (PIP) to manage resource-arbitration among tasks. The Priority Ceiling Protocol (PCP) is a resource-arbitration protocol that offers distinct advantages over the PIP, including deadlock avoidance. However, to the best of our knowledge, there is currently no technique to bound the WCET of resource-sharing tasks under PCP with explicit consideration of cache-eviction delays. This thesis presents a technique to bound the WCETs and hence, the Worst-Case Response Times (WCRTs) of resource-sharing hard-real-time tasks executing on cache-based uniprocessor systems, specifically focusing on data cache analysis.
