Out-of-Order Execution in Sequentially Consistent Shared-Memory Systems:Theory and Experiments

被引：0
|
作者：
胡伟武
water.chpc.ict.ac.cn
夏培肃
机构：
来源：
JournalofComputerScienceandTechnology | 1998年 / 02期
关键词：
Shared memory; sequential consistency; event ordering; write atomic; out-of-order execution; simulation;
D O I：
暂无
中图分类号：
TP333 [存贮器];
学科分类号：
081201 ;
摘要：
Thaditional implementation of sequential consistency in shared-memory systems requires memory accesses to be globally performed in program order. Based on an event ordering model for correct executions in shared-memory systems, this paper proposes and proves that out-of-order execution does not influence the correctness of an execution providing certain condition is met. Simulation results show that out-of-order execution proposed in this paper is an effective way to improve the performance of a sequentially consistent shared-memory system.
引用
收藏
页码：125 / 140
页数：16
相关论文
共 34 条
  • [21] The CLAM approach to multithreaded communication on shared-memory multiprocessors: Design and experiments
    Gomez, JC
    Mascarenhas, E
    Rego, V
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1998, 9 (01) : 36 - 49
  • [22] TURBULENCE: Complexity-effective Out-of-order Execution on GPU with Distance-based ISA
    Matsuo, Reoma
    Koizumi, Toru
    Irie, Hidetsugu
    Sakai, Shuichi
    Shioya, Ryota
    2023 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2023,
  • [23] Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
    Guo, Shengjian
    Chen, Yueqi
    Yu, Jiyong
    Wu, Meng
    Zuo, Zhiqiang
    Li, Peng
    Cheng, Yueqiang
    Wang, Huibo
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (04):
  • [24] TURBULENCE: Complexity-Effective Out-of-Order Execution on GPU With Distance-Based ISA
    Matsuo, Reoma
    Koizumi, Toru
    Irie, Hidetsugu
    Sakai, Shuichi
    Shioya, Ryota
    IEEE COMPUTER ARCHITECTURE LETTERS, 2024, 23 (02) : 175 - 178
  • [25] Predicting the performance of reconfigurable optical interconnects in distributed shared-memory systems
    Wim Heirman
    Joni Dambre
    Iñigo Artundo
    Christof Debaes
    Hugo Thienpont
    Dirk Stroobandt
    Jan Van Campenhout
    Photonic Network Communications, 2008, 15 : 25 - 40
  • [26] Predicting the performance of reconfigurable optical interconnects in distributed shared-memory systems
    Heirman, Wim
    Dambre, Joni
    Artundo, Inigo
    Debaes, Christof
    Thienpont, Hugo
    Stroobandt, Dirk
    Van Campenhout, Jan
    PHOTONIC NETWORK COMMUNICATIONS, 2008, 15 (01) : 25 - 40
  • [27] Microarchitecture and Circuits for a 200 MHz Out-of-Order Soft Processor Memory System
    Wong, Henry
    Betz, Vaughn
    Rose, Jonathan
    ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2016, 10 (01)
  • [28] Evict+Spec+Time: Exploiting Out-of-Order Execution to Improve Cache-Timing Attacks
    Cheng, Shing Hing William
    Chuengsatiansup, Chitchanok
    Genkin, Daniel
    McNeil, Dallas
    Murray, Toby
    Yarom, Yuval
    Zhang, Zhiyuan
    IACR Transactions on Cryptographic Hardware and Embedded Systems, 2024, 2024 (03): : 224 - 248
  • [29] Parallel Iterative Mistake Minimization (IMM) clustering algorithm for shared-memory systems
    Kwedlo, Wojciech
    53RD INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, ICPP 2024, 2024, : 1 - 10
  • [30] Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability
    Jun Sawada
    Warren A. Hunt
    Formal Methods in System Design, 2002, 20 : 187 - 222
1234