DMP: DETERMINISTIC SHARED-MEMORY MULTIPROCESSING

被引：13
|
作者：
Devietti, Joseph [1 ]
Lucia, Brandon [1 ]
Ceze, Luis [1 ]
Oskin, Mark [1 ]
机构：
[1] Univ Washington, Dept Comp Sci & Engn, Seattle, WA 98195 USA
来源：
IEEE MICRO | 2010年 / 30卷 / 01期
关键词：
Debugging; Determinism; Multiprocessors; Reliability;
D O I：
10.1109/MM.2010.14
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Shared-memory multicore and multiprocessor systems are nondeterministic, which frustrates debugging and complicates testing of multithreaded code, impeding parallel programming's widespread adoption. The authors propose fully deterministic shared-memory multiprocessing that not only enhances debugging by offering repeatability by default, but also improves the quality of testing and the deployment of production code. They show that determinism can be provided with little performance cost on future hardware
引用
收藏
页码：40 / 49
页数：10
相关论文
共 50 条
  • [1] DMP: Deterministic Shared Memory Multiprocessing
    Devietti, Joseph
    Lucia, Brandon
    Ceze, Luis
    Oskin, Mark
    ACM SIGPLAN NOTICES, 2009, 44 (03) : 85 - 96
  • [2] CONTENTION IS NO OBSTACLE TO SHARED-MEMORY MULTIPROCESSING
    RETTBERG, R
    THOMAS, R
    COMMUNICATIONS OF THE ACM, 1986, 29 (12) : 1202 - 1228
  • [3] Shared-Memory Multiprocessing for Interactive Theorem Proving
    Wenzel, Makarius
    INTERACTIVE THEOREM PROVING, ITP 2013, 2013, 7998 : 418 - 434
  • [4] Shared-memory multiprocessing:: Current state and future directions
    Stenström, P
    Hagersten, E
    Lilja, DJ
    Martonosi, M
    Venugopal, M
    ADVANCES IN COMPUTERS, VOL 53: EMPHASIZING DISTRIBUTED SYSTEMS, 2000, 53 : 1 - 53
  • [5] Exploiting parallelism in deterministic shared memory multiprocessing
    Zhou, Xu
    Lu, Kai
    Wang, Xiaoping
    Li, Xu
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2012, 72 (05) : 716 - 727
  • [6] Cache affinity and resequencing in a shared-memory multiprocessing system
    Karatza, HD
    JOURNAL OF SYSTEMS AND SOFTWARE, 2000, 51 (01) : 7 - 18
  • [7] Semantics of deterministic shared-memory systems
    Morin, Remi
    CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
  • [8] Toward platform node-microprocessors for distributed shared-memory multiprocessing
    (Publ by IOS Press, Amsterdam, Neth):
  • [9] Practical constructive schemes for deterministic shared-memory access
    A. Pietracaprina
    F. P. Preparata
    Theory of Computing Systems, 1997, 30 : 3 - 37
  • [10] Practical constructive schemes for deterministic shared-memory access
    Pietracaprina, A
    Preparata, FP
    THEORY OF COMPUTING SYSTEMS, 1997, 30 (01) : 3 - 37
12345