Calculation of worst-case execution time for multicore processors using deterministic execution

Proceedings - 2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2015

Volumn , Issue , 2015, Pages 33-39

  Mushtaq, Hamid ^a   Al Ars, Zaid ^a   Bertels, Koen ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; ITERATIVE METHODS; REAL TIME SYSTEMS;

CALCULATION TIME; DETERMINISTIC EXECUTION; MULTI-CORE PROCESSOR; MULTI-CORE SYSTEMS; NUMBER OF STATE; STATE EXPLOSION PROBLEMS; STATE-OF-THE-ART APPROACH; WORST-CASE EXECUTION TIME;

MODEL CHECKING;

EID: 84959420030     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PATMOS.2015.7347584     Document Type: Conference Paper

References (19)

1. http://spinroot.comlspin/whatispin.html
2. http://www.eembc.org
3. Gerd Behrmann, Re David, Kim G. Larsen. A tutorial on uppaal. pages 200-236. Springer. 2004.
4. Tom Bergan, Joseph Devietti, Nicholas Hunt, Luis Ceze. The deterministic execution hammer: How well does it actually pound nails? In 2nd Workshop on Determinism and Correctness in Parallel Programming, 2011.
5. Sudipta Chattopadhyay, Abhik Roychoudhury, Tulika Mitra. Modeling shared cache and bus in multi-cores for timing analysis. In SCOPES, 2010.
6. Andreas Gustavsson,reas Ermedahl, Bjorn Lisper, Paul Pettersson. Towards wcet analysis of multi core architectures using uppaal. In Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010.
7. Marek Olszewski, Jason Ansel, Saman Amarasinghe. Kendo: efficient deterministic multithreading in software. SIGPLAN Not., 44(3):97-108, March 2009.
8. Hamid Mushtaq, Zaid AI-Ars and Koen Bertels. Detlock: Portable and efficient deterministic execution for shared memory multicore systems. In High Peiformance Computing, Networking, Storage and Analysis (SCC), 2012 SC Companion:. pages 721-730, 2012.
9. Lan Wu and Wei Zhang. A model checking based approach to bounding worst-case execution time for multi core processors. ACM Trans. Embed. Comput. Syst., 1l(S2):56:1-56:19, August 2012.
10. Jun Yan and Wei Zhang. Wcet analysis for multi-core processors with shared 12 instruction caches. In RTAS,2008.
11. Wei Zhang and Jun Yan. Accurately estimating worst-case execution time for multi-core processors with shared direct-mapped instruction caches. In RTCSA, 2009.
12. Hamid Mushtaq, Zaid AI-Ars and Koen Bertels. Accurate and efficient identification of worst-case execution time for multicore processors: A survey. In lDT 2013.
13. S. Bygde. Static WCET Analysis Based on Abstract Interpretation and Counting of Elements. Lic. dissertation, School of Innovation, Design and Engineering, March 2010.
14. Xianfeng Li, Yun Liang, Tulika Mitra, Abhik Roychoudhury. Chronos: A Timing Analyzer for Embedded Software. Science of Computer Programming, Special issue on Experimental Software and Toolkit, 69(1-3), December 2007.
15. Haluk Ozaktas, Christine Rochange, Pascal Sainrat. Automatic WCET Analysis of Real-Time Parallel. In 13th International Workshop on Worst-Case Execution Time Analysis, 2013.
16. Mike Gerdes, Theo Ungerer and Rudolf Knorr. Timing Analysable Synchronisation Techniques for Parallel Programs on Embedded MultiCores. Phd Thesis.
17. Sudipta Chattopadhyay. Time-predictable Execution of Embedded Software on Multi-core Platforms. Phd Thesis.
18. C. Bienia, S. Kumar, J. P. Singh, K. Li. The parsec benchmark suite: characterization and architectural implications. In PACT, 2008.
19. S.c. Woo, M. Ohara, E. Torrie, J.P. Singh, A. Gupta. The SPLASH-2 Programs: Characterization and Methodological Considerations. In lSCA, 1995.