Cache Modeling for Timing Analysis in Real-Time Systems, Fachbücher von Yanhui Li

Das Buch "Cache Modeling for Timing Analysis in Real-Time Systems" von Yanhui Li bietet eine umfassende Untersuchung der Auswirkungen von Caches in eingebetteten Systemen auf die zeitliche Analyse von Software. Es wird erläutert, wie Caches die durchschnittliche Leistung verbessern können, jedoch auch eine Quelle der Unvorhersehbarkeit darstellen, insbesondere bei der Worst Case Execution Time (WCET) Analyse. Das Werk adressiert die Herausforderungen, die sich aus datenabhängigen Zugriffsarten ergeben, und entwickelt ein klassifiziertes Cache-Architekturmodell sowie ein entsprechendes WCET-Analyseframework. Durch die Klassifizierung von vorhersehbaren und unvorhersehbaren Zugriffen wird eine gezielte Zuweisung in die jeweiligen Cache-Typen ermöglicht, was zu einer präziseren zeitlichen Analyse führt. Die vorgestellten Methoden versprechen eine signifikante Verbesserung der WCET-Berechnungen ohne nennenswerte Hardwarekosten oder Leistungseinbussen. Darüber hinaus wird die NP-Vollständigkeit der WCET-Analyse untersucht und Techniken zur Datenallokation zur Leistungssteigerung des Systems erforscht.