A replay system for performance analysis of multi-threaded programs

被引：0
|
作者：
Key Laboratory of Services Computing Technology and System, Ministry of Education, Huazhong University of Science and Technology, Wuhan [1 ]
430074, China
机构：
来源：
Jisuanji Yanjiu yu Fazhan | / 1卷 / 45-55期
关键词：
D O I：
10.7544/issn1000-1239.2015.20140105
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] AggrePlay: Efficient Record and Replay of Multi-threaded Programs
    Pobee, Ernest
    Chan, W. K.
    [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 567 - 577
  • [2] Execution replay and debugging of distributed multi-threaded parallel programs
    de Kergommeaux, JC
    Ronsse, M
    De Bosschere, K
    [J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (06): : 511 - 526
  • [3] Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs
    Pobee, Ernest
    Mei, Xiupei
    Chan, W. K.
    [J]. 34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 772 - 783
  • [4] Quantitative Analysis of Leakage for Multi-threaded Programs
    Chen, Han
    Malacaria, Pasquale
    [J]. PLAS'07: PROCEEDINGS OF THE 2007 ACM SIGPLAN WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2007, : 31 - 40
  • [5] Quantitative Security Analysis for Multi-threaded Programs
    Ngo, Tri Minh
    Huisman, Marieke
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (117): : 34 - 48
  • [6] Dynamic deadlock analysis of multi-threaded programs
    Bensalem, Saddek
    Havelund, Klaus
    [J]. HARDWARE AND SOFTWARE VERIFICATION AND TESTING, 2006, 3875 : 208 - 223
  • [7] Data Race Detection and Replay of Multi-threaded Programs Based on Petri Net Unfolding
    Lu, Fa-Ming
    Huang, Ying
    Zeng, Qing-Tian
    Bao, Yun-Xia
    Tang, Meng-Fan
    [J]. Ruan Jian Xue Bao/Journal of Software, 2023, 34 (08): : 3726 - 3744
  • [8] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Huisman, Marieke
    [J]. EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, 2017, 226 (10): : 2375 - 2392
  • [9] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Marieke Huisman
    [J]. The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
  • [10] Security Check for Multi-threaded Programs
    Tri Minh Ngo
    Tuan Van Nguyen
    [J]. 2016 IEEE SIXTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2016, : 465 - 470
12345