Study of common pitfalls in simple multi-threaded programs

被引：12
|
作者：
Choi, Sung-Eun [1 ]
Lewis, E. Christopher [2 ]
机构：
[1] Los Alamos National Laboratory, Advanced Computing Laboratory, MS B287, P.O. Box 1663, Los Alamos, NM, United States
[2] Department of Computer Science and Engineering, University of Washington, Box 352350, Seattle, WA, United States
来源：
SIGCSE Bulletin (Association for Computing Machinery, Special Interest Group on Computer Science Education) | 2000年
关键词：
D O I：
10.1145/331795.331879
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：325 / 329
相关论文
共 50 条
  • [41] Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
    Gupta, Ashutosh
    Popeea, Corneliu
    Rybalchenko, Andrey
    ACM SIGPLAN NOTICES, 2011, 46 (01) : 331 - 344
  • [42] Thread-specific heaps for multi-threaded programs
    Steensgaard, B
    ACM SIGPLAN NOTICES, 2001, 36 (01) : 18 - 24
  • [43] AggrePlay: Efficient Record and Replay of Multi-threaded Programs
    Pobee, Ernest
    Chan, W. K.
    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
  • [44] A replay system for performance analysis of multi-threaded programs
    Key Laboratory of Services Computing Technology and System, Ministry of Education, Huazhong University of Science and Technology, Wuhan
    430074, China
    Jisuanji Yanjiu yu Fazhan, 1 (45-55):
  • [45] On the Existence of Probe Effect in Multi-threaded Embedded Programs
    Song, Young Wn
    Lee, Yann-Hang
    2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [46] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 13 - 24
  • [47] Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs
    Gupta, Ashutosh
    Popeea, Corneliu
    Rybalchenko, Andrey
    POPL 11: PROCEEDINGS OF THE 38TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2011, : 331 - 344
  • [48] Framework for testing multi-threaded Java']Java programs
    Edelstein, O
    Farchi, E
    Goldin, E
    Nir, Y
    Ratsaby, G
    Ur, S
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2003, 15 (3-5): : 485 - 499
  • [49] Extending JML for modular specification and verification of multi-threaded programs
    Rodríguez, E
    Dwyer, M
    Flanagan, C
    Hatcliff, J
    Leavens, GT
    Robby
    ECOOP 2005 - OBJECT-ORIENTED PROGRAMMING, PROCEEDINGS, 2005, 3586 : 551 - 576
  • [50] Reducing energy cost of multi-threaded programs on NUMA architectures
    Fang H.
    Zhu L.
    Li X.
    Zhu, Liang (lemonsprite@qq.com), 2018, Totem Publishers Ltd (14) : 1201 - 1212
12345