Studying multi-threaded behavior with TSViz

被引:2
|
作者
Nunes, Matheus [1 ]
Lalh, Harjeet [2 ]
Sharma, Ashaya [2 ]
Wong, Augustine [2 ]
Miucin, Svetozar [2 ]
Fedorova, Alexandra [2 ]
Beschastnikh, Ivan [3 ]
机构
[1] Univ Fed Minas Gerais, Comp Sci, Belo Horizonte, MG, Brazil
[2] Univ British Columbia, Elect & Comp Engn, Vancouver, BC, Canada
[3] Univ British Columbia, Comp Sci, Vancouver, BC, Canada
关键词
D O I
10.1109/ICSE-C.2017.9
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Modern high-performing systems make extensive use of multiple CPU cores. These multi-threaded systems are complex to design, build, and understand. Debugging performance of these multi-threaded systems is especially challenging. This requires the developer to understand the relative execution of dozens of threads and their inter-dependencies, including data-sharing and synchronization behaviors. We describe TSViz, a visualization tool to help developers study and understand the activity of complex multi-threaded systems. TSviz depicts the partial order of concurrent events in a time-space diagram, and simultaneously scales this diagram according to the physical clock timestamps that tag each event. A developer can then interact with the visualization in several ways, for example by searching for events of interest, studying the distribution of critical sections across threads and zooming the diagram in and out. We overview TSviz design and describe our experience with using it to study a high-performance multi-threaded key-value store based on MongoDB. A video demo of TSViz is online: https://youtu.be/LpuiOZ3PJCk
引用
收藏
页码:35 / 38
页数:4
相关论文
共 50 条
  • [31] Information leakage of multi-threaded programs
    Noroozi, Ali A.
    Karimpour, Jaber
    Isazadeh, Ayaz
    COMPUTERS & ELECTRICAL ENGINEERING, 2019, 78 : 400 - 419
  • [32] Branch prediction in multi-threaded processors
    Gummaraju, J
    Franklin, M
    2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS, 2000, : 179 - 188
  • [33] Causal Termination of Multi-threaded Programs
    Kupriyanov, Andrey
    Finkbeiner, Bernd
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 814 - 830
  • [34] On Multi-threaded Metrical Task Systems
    Feuerstein, Esteban
    Seiden, Steven S.
    de Loma, Alejandro Strejilevich
    JOURNAL OF DISCRETE ALGORITHMS, 2006, 4 (03) : 401 - 413
  • [35] Agents as multi-threaded logical objects
    Clark, Keith
    Robinson, Peter J.
    2002, Springer Verlag (2407):
  • [36] Go! for multi-threaded deliberative agents
    Clark, KL
    McCabe, FG
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 54 - 75
  • [37] Regression Verification for Multi-threaded Programs
    Chaki, Sagar
    Gurfinkel, Arie
    Strichman, Ofer
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2012, 7148 : 119 - 135
  • [38] ON THE MULTI-THREADED NATURE OF SOLAR SPICULES
    Skogsrud, H.
    van der Voort, L. Rouppe
    De Pontieu, B.
    ASTROPHYSICAL JOURNAL LETTERS, 2014, 795 (01)
  • [39] Randomized online multi-threaded paging
    Seiden, SS
    ALGORITHM THEORY - SWAT'98, 1998, 1432 : 264 - 275
  • [40] Multi-threaded microprocessors - Evolution or revolution
    Jesshope, C
    ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 21 - 45