TRaDe, a topological approach to on-the-fly race detection in Java']Java programs

被引：0
|
作者：
Christiaens, M [1 ]
De Bosschere, K [1 ]
机构：
[1] State Univ Ghent, ELIS, B-9000 Ghent, Belgium
来源：
USENIX ASSOCIATION PROCEEDINGS JAVA(TM) VIRTUAL MACHINE RESEARCH AND TECHNOLOGY SYMPOSIUM | 2001年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Debugging multi-threaded programs is notoriously hard. Probably the worst type of bug occurring in multi-threaded programs is a data race. There is therefore a great need for tools to automatically detect data races during execution. This article presents, TRaDe, a novel approach to detect races in object-oriented languages using a topological approach. An implementation of TRaDe based on the Sun JVM 1.2.1 is compared with existing tools. TRaDe proves to be a factor 1.6 faster than any known race detection tool for Java and has memory requirements similar to the best competing tools.
引用
收藏
页码：105 / 116
页数：12
相关论文
共 50 条
  • [1] TRaDe: Data race detection for Java']Java
    Christiaens, M
    De Bosschere, K
    [J]. COMPUTATIONAL SCIENCE -- ICCS 2001, PROCEEDINGS PT 2, 2001, 2074 : 761 - 770
  • [2] A generational on-the-fly garbage collector for Java']Java
    Domani, T
    Kolodner, EK
    Petrank, E
    [J]. ACM SIGPLAN NOTICES, 2000, 35 (05) : 274 - 284
  • [3] Implementing an on-the-fly garbage collector for Java']Java
    Domani, T
    Kolodner, EK
    Lewis, E
    Salant, EE
    Barabash, K
    Lahan, I
    Levanoni, Y
    Petrank, E
    Yanover, I
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (01) : 155 - 166
  • [4] An on-the-fly reference counting garbage collector for Java']Java
    Levanoni, Y
    Petrank, E
    [J]. ACM SIGPLAN NOTICES, 2001, 36 (11) : 367 - 380
  • [5] Restructuring parallel programs for on-the-fly race detection
    Kim, YC
    Jun, YK
    [J]. PARALLEL COMPUTING TECHNOLOGIES, 1999, 1662 : 446 - 451
  • [6] An on-the-fly reference-counting garbage collector for Java']Java
    Levanoni, Y
    Petrank, E
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (01): : 1 - 69
  • [7] On-the-fly metadata stripping for embedded java']java operating systems
    Rippert, C
    Deville, D
    [J]. SMART CARD RESEARCH AND ADVANCED APPLICATIONS VI, 2004, 153 : 17 - 32
  • [8] A Detection and Measurement Approach for Memory Leaked Objects in Java']Java Programs
    Yu, Qiao
    Jiang, Shujuan
    Liu, Yingqi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (05): : 1053 - 1061
  • [9] Dynamic data race detection in Java']Java-programs using synchronization contracts
    Tsitelov, Dmitry
    Trifanov, Vitaly
    [J]. 2013 TOOLS & METHODS OF PROGRAM ANALYSIS (TMPA 2013), 2013, : 3 - 8
  • [10] VORD: A Versatile On-the-fly Race Detection Tool in OpenMP Programs
    Young-Joo Kim
    Sejun Song
    Yong-Kee Jun
    [J]. International Journal of Parallel Programming, 2014, 42 : 900 - 930
12345