Automatic Detection of Shared Objects in Multithreaded Java']Java Programs

被引:0
|
作者
Tolubaeva, Munara [1 ]
Can, Aysu Betin [1 ]
机构
[1] Middle E Tech Univ, Inst Informat, TR-06531 Ankara, Turkey
关键词
D O I
10.1109/CIMCA.2008.225
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a simple and efficient automated tool called DoSSO that detects shared objects in multithreaded Java programs. Our main goal is to help programmers see all potentially shared objects that may cause some complications at runtime. This way programmers can implement a concurrent software without considering synchronization issues and then use appropriate locking mechanism based on the DoSSO results. To illustrate the effectiveness of our tool, we have petformed an experiment on a multithreaded system with graphical user intetfaces and remote method invocations and achieved promising results.
引用
收藏
页码:522 / 526
页数:5
相关论文
共 50 条
  • [1] On verifying distributed multithreaded Java']Java programs
    Chen, J
    [J]. SOFTWARE QUALITY JOURNAL, 1999, 8 (04) : 321 - 341
  • [2] Exception analysis for multithreaded Java']Java programs
    Ryu, SY
    Yi, KK
    [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 23 - 30
  • [3] Visual debugging of multithreaded Java']Java programs
    Jackson, D
    [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341
  • [4] A thread monitoring system for multithreaded Java']Java programs
    Moon, Sewon
    Chang, Byeong-Mo
    [J]. ACM SIGPLAN NOTICES, 2006, 41 (05) : 21 - 29
  • [5] Multithreaded dependence graphs for concurrent Java']Java programs
    Zhao, JJ
    [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 13 - 23
  • [6] Interprocedural slicing of multithreaded programs with applications to Java']Java
    Nanda, Mangala Gowri
    Ramesh, S.
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (06): : 1088 - 1144
  • [7] A generic static analyzer for multithreaded Java']Java programs
    Ferrara, P.
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
  • [8] Towards the automated verification of multithreaded Java']Java programs
    Delzanno, G
    Raskin, JF
    Van Begin, L
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
  • [9] Modeling Time in Java']Java Programs for Automatic Error Detection
    Liva, Giovanni
    Khan, Muhammad Taimoor
    Spegni, Francesco
    Spalazzi, Luca
    Bollin, Andreas
    Pinzger, Martin
    [J]. 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 50 - 59
  • [10] Checkmate: a Generic Static Analyzer of Java']Java Multithreaded Programs
    Ferrara, Pietro
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 169 - 178