liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
MESS: Memory Performance Debugging on Embedded Multi-core Systems
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2015 (Engelska)Ingår i: Model Checking Software: 22nd International Symposium, SPIN 2015 / [ed] Bernd Fischer; Jaco Geldenhuys, Springer Berlin/Heidelberg, 2015, Vol. 9232, s. 105-125Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Springer Berlin/Heidelberg, 2015. Vol. 9232, s. 105-125
Serie
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 9232
Nationell ämneskategori
Data- och informationsvetenskap
Identifikatorer
URN: urn:nbn:se:liu:diva-122795DOI: 10.1007/978-3-319-23404-5_8ISI: 000363788300008ISBN: 978-3-319-23404-5 (tryckt)ISBN: 978-3-319-23403-8 (tryckt)OAI: oai:DiVA.org:liu-122795DiVA, id: diva2:873320
Konferens
22nd International SPIN Symposium on Model Checking of Software (SPIN), Stellenbosch, South Africa, August 24-26, 2015
Tillgänglig från: 2015-11-23 Skapad: 2015-11-23 Senast uppdaterad: 2018-02-23

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Chattopadhyay, Sudipta

Sök vidare i DiVA

Av författaren/redaktören
Chattopadhyay, Sudipta
Av organisationen
Programvara och systemTekniska fakulteten
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 34 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf