liu.seSearch for publications in DiVA
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
MESS: Memory Performance Debugging on Embedded Multi-core Systems
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
2015 (English)In: Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings / [ed] Bernd Fischer; Jaco Geldenhuys, Springer, 2015, Vol. 9232, 105-125 p.Conference paper, Published paper (Refereed)
Abstract [en]

Multi-core processors have penetrated the modern computing platforms in several dimensions. Such systems aim to achieve high-performance via running computations in parallel. However, the performance of such systems is often limited due to the congestion in shared resources, such as shared caches and shared buses. In this paper, we propose MESS, a performance debugging framework for embedded, multi-core systems. MESS systematically discovers the order of memory-access operations that expose performance bugs due to shared caches. We leverage both on single-core performance profiling and symbolic constraint solving to reveal the interleaved memory-access-pattern that leads to a performance bug. Our baseline framework does not generate any false positive. Besides, its failure to find a solution highlights the absence of performance bugs due to shared caches, for a given input. Finally, we propose an approximate solution that dramatically reduces debugging time, at the cost of a reasonable amount of false positives. Our experiments with several embedded software and a real-life robot controller suggest that we can discover performance bugs in a reasonable time. The implementation of MESS and our experiments are available at https://​bitbucket.​org/​sudiptac/​mess.

Place, publisher, year, edition, pages
Springer, 2015. Vol. 9232, 105-125 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 (print), 1611-3349 (online) ; 9232
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-123744DOI: 10.1007/978-3-319-23404-5_8ISBN: 978-3-319-23403-8 (print)ISBN: 978-3-319-23404-5 (print)OAI: oai:DiVA.org:liu-123744DiVA: diva2:892823
Conference
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015
Available from: 2016-01-11 Created: 2016-01-11 Last updated: 2016-01-18

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Chattopadhyay, Sudipta
By organisation
Software and SystemsFaculty of Science & Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 26 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf