Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/41929
DC FieldValue
dc.titleAccurate timing analysis by modeling caches, speculation and their interaction
dc.contributor.authorLi, X.
dc.contributor.authorMitra, T.
dc.contributor.authorRoychoudhury, A.
dc.date.accessioned2013-07-04T08:39:13Z
dc.date.available2013-07-04T08:39:13Z
dc.date.issued2003
dc.identifier.citationLi, X.,Mitra, T.,Roychoudhury, A. (2003). Accurate timing analysis by modeling caches, speculation and their interaction. Proceedings - Design Automation Conference : 466-471. ScholarBank@NUS Repository.
dc.identifier.issn0738100X
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/41929
dc.description.abstractSchedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysis, but also modeling the effects of complex micro-architectural features in modern processors. Speculative execution and caching are very common in current processors. Hence one needs to model the effects of these features on the Worst Case Execution Time (WCET) of a program. Even though the individual effects of these features have been studied recently, their combined effects have not been investigated. We do so in this paper. This is a non-trivial task because speculative execution can indirectly affect cache performance (e.g., speculatively executed blocks can cause additional cache misses). Our technique starts from the control flow graph of the embedded program, and uses integer linear programming to estimate the program's WCET. The accuracy of our modeling is illustrated by tight estimates obtained on realistic benchmarks.
dc.sourceScopus
dc.subjectBranch Prediction
dc.subjectCache
dc.subjectWorst Case Execution Time
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleProceedings - Design Automation Conference
dc.description.page466-471
dc.description.codenPDAWD
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple item record
Files in This Item:
There are no files associated with this item.

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.