A concept of portable monitoring of multithreaded programs

被引：0
|
作者：
Balis, B
Bubak, M
Funika, W
Wismüller, R
机构：
[1] AGH Univ Sci & Technol, Inst Comp Sci, PL-30059 Krakow, Poland
[2] CYFRONET, Acad Comp Ctr, PL-30950 Krakow, Poland
[3] Tech Univ Munich, LRR, D-80290 Munich, Germany
来源：
COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS | 2002年 / 2330卷
关键词：
multithreading; monitoring; parallel tools; shared memory;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Multithreading is potentially a powerful way to achieve high performance in parallel programming. However, there are few tools that support multithreaded programs development. This paper presents an analysis which has led to a concept of building an autonomous monitoring system for multithreaded programs on top of which various tools can be based. Many problems specific to monitoring multithreaded programs are presented, as well as the ideas to solve them, specifically we focus on efficiency, scalability and portability of the monitoring system.
引用
收藏
页码：884 / 893
页数：10
相关论文
共 50 条
  • [1] Opportunistic Monitoring of Multithreaded Programs
    Soueidi, Chukri
    El-Hokayem, Antoine
    Falcone, Ylies
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2023, 2023, 13991 : 173 - 194
  • [2] TOM -: Efficient monitoring infrastructure for multithreaded programs
    Balis, B
    Bubak, M
    Funika, W
    Wismüller, R
    Kaplita, G
    [J]. RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 464 - 472
  • [3] A thread monitoring system for multithreaded Java']Java programs
    Moon, Sewon
    Chang, Byeong-Mo
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (05) : 21 - 29
  • [4] Analysis of multithreaded programs
    Rinard, M
    [J]. STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 1 - 19
  • [5] Checkpointing multithreaded programs
    Carothers, Christopher D.
    Szymanski, Boleslaw K.
    [J]. Dr. Dobb's Journal, 2002, 27 (08):
  • [6] Provably correct inline monitoring for multithreaded Java']Java-like programs
    Dam, Mads
    Jacobs, Bart
    Lundblad, Andreas
    Piessens, Frank
    [J]. JOURNAL OF COMPUTER SECURITY, 2010, 18 (01) : 37 - 59
  • [7] Security of multithreaded programs by compilation
    Barthe, Gilles
    Rezk, Tamara
    Russo, Alejandro
    Sabelfeld, Andrei
    [J]. COMPUTER SECURITY - ESORICS 2007, PROCEEDINGS, 2007, 4734 : 2 - +
  • [8] CARET Analysis of Multithreaded Programs
    Huu-Vu Nguyen
    Touili, Tayssir
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2017), 2018, 10855 : 73 - 90
  • [9] File Descriptors And Multithreaded Programs
    Babkin, Sergey
    [J]. DR DOBBS JOURNAL, 2008, 33 (12): : 42 - 45
  • [10] Modular verification of multithreaded programs
    Flanagan, C
    Freund, SN
    Qadeer, S
    Seshia, SA
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 338 (1-3) : 153 - 183
12345