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 条
  • [31] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Huisman, Marieke
    EUROPEAN PHYSICAL JOURNAL-SPECIAL TOPICS, 2017, 226 (10): : 2375 - 2392
  • [32] Distributed Verification of Multi-threaded C++ Programs
    Edelkamp, Stefan
    Jabbar, Shahid
    Sulewski, Damian
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 198 (01) : 33 - 46
  • [33] Interactive visualization environment of multi-threaded parallel programs
    Stein, B
    de Kergommeaux, JC
    PARALLEL COMPUTING: FUNDAMENTALS, APPLICATIONS AND NEW DIRECTIONS, 1998, 12 : 311 - 318
  • [34] Threader: A Verifier for Multi-threaded Programs (Competition Contribution)
    Popeea, Corneliu
    Rybalchenko, Andrey
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 633 - 636
  • [35] Logic of multi-threaded programs for non-interference
    Li, Qin
    Zeng, Qing-Kai
    Yuan, Zhi-Xiang
    Ruan Jian Xue Bao/Journal of Software, 2014, 25 (06): : 1143 - 1153
  • [36] Handling information release and erasure in multi-threaded programs
    Jiang, Li
    Ping, Lingdi
    Pan, Xuezeng
    CIS: 2007 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PROCEEDINGS, 2007, : 824 - 828
  • [37] Information Flow Security of Multi-Threaded Distributed Programs
    Focardi, Riccardo
    Centenaro, Matteo
    PLAS'08: PROCEEDINGS OF THE ACM SIGPLAN THIRD WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY, 2008, : 113 - 124
  • [38] Safe and Timely Dynamic Updates for Multi-threaded Programs
    Neamtiu, Iulian
    Hicks, Michael
    ACM SIGPLAN NOTICES, 2009, 44 (06) : 13 - 24
  • [39] Complexity and information flow analysis for multi-threaded programs
    Tri Minh Ngo
    Marieke Huisman
    The European Physical Journal Special Topics, 2017, 226 : 2375 - 2392
  • [40] Deterministic Synchronization of Multi-Threaded Programs with Operational Transformation
    Boelmann, Christopher
    Schwittmann, Lorenz
    Weis, Torben
    PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 381 - 390
12345