Retrospective: memory consistency and event ordering in scalable shared-memory multiprocessors

No abstract is available for this paper.

• Publication year

  1998

• Venue

  International Symposium on Computer Architecture

• Publication date

  1998-08-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/285930.285957
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Memory system characterization of commercial workloads

  1998cited by this paper
• Towards transparent and efficient software distributed shared memory

  1997cited by this paper
• Shared Memory Consistency Models: A Tutorial

  1996cited by this paper
• An evaluation of memory consistency models for shared-memory systems with ILP processors

  1996cited by this paper
• Optimizing parallel programs with explicit synchronization

  1995cited by this paper
• Memory consistency models for shared-memory multiprocessors

  1995cited by this paper
• Designing memory consistency models for shared-memory multiprocessors

  1993cited by this paper
• Evaluation Of Release Consistent Software Distributed Shared Memory On Emerging Network Technology

  1993cited by this paper
• Hiding Memory Latency using Dynamic Scheduling in Shared-Memory Multiprocessors

  1992cited by this paper
• Performance evaluation of memory consistency models for shared-memory multiprocessors

  1991cited by this paper
• Two Techniques to Enhance the Performance of Memory Consistency Models

  1991cited by this paper

• Fine-Grained Re-Execution for Efficient Batched Commit of Distributed Transactions

  2023cites this paper
• TOSTING: Investigating Total Store Ordering on ARM

  2023cites this paper
• Itoyori: Reconciling Global Address Space and Global Fork-Join Task Parallelism

  2023cites this paper
• A Primer on Memory Persistency

  2022cites this paper
• A Memory Access Performance Detection and Optimization Driven by Address Mapping

  2022cites this paper
• Parallel Binary Search Tree Construction Inspired by Thread-Level Speculation

  2022cites this paper
• HDR

  2021cites this paper
• Formal Definitions of Memory Consistency Models

  2021influential citation
• A Primer on Memory Consistency and Cache Coherence, Second Edition

  2020cites this paper
• Kite: efficient and available release consistency for the datacenter

  2020cites this paper
• Efficiently Supporting Dynamic Task Parallelism on Heterogeneous Cache-Coherent Systems

  2020cites this paper
• Random Priority-Based Thrashing Control for Distributed Shared Memory

  2020cites this paper
• ReViCe: Reusing Victim Cache to Prevent Speculative Cache Leakage

  2020cites this paper
• A Modified Parallel Heapsort Algorithm

  2020cites this paper
• Consistency models in distributed systems: A survey on definitions, disciplines, challenges and applications

  2019cites this paper
• Concurrency and Security Verification in Heterogeneous Parallel Systems

  2019cites this paper
• Algorithmes et architectures efficaces pour vision embarquée

  2019cites this paper
• Rethinking Support for Region Conflict Exceptions

  2019cites this paper
• Modelling Memory Consistency Models for Formal Verification

  2019cites this paper
• InvisiSpec: Making Speculative Execution Invisible in the Cache Hierarchy

  2018cites this paper
• Operational Characterization of Weak Memory Consistency Models

  2018cites this paper
• Safe Non-blocking Synchronization in Ada 202x

  2018cites this paper
• To appear in Proceedings of ISCA-24 (June, 1997) The Interaction of Software Prefetching with ILP Processors in Shared-Memory Systems

  2018cites this paper
• Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles. (Verification via Model Checking of Parameterized Concurrent Programs on Weak Memory Models)

  2018cites this paper
• SPMP: A JavaScript Support for Shared Persistent Memory on Node.js

  2018cites this paper
• The Complexity of Weak Consistency

  2018cites this paper
• Constructing a Weak Memory Model

  2018cites this paper
• Safe Non-blocking Synchronization in Ada2x

  2018cites this paper
• Louvre: Light-weight Ordering Using Versioning for Release Consistency

  2017influential citation
• TC-Release++: An Efficient Timestamp-Based Coherence Protocol for Many-Core Architectures

  2017influential citation
• Cohérence dans les systèmes de stockage distribués: fondements théoriques avec applications au cloud storage. (Consistency in distributed storage systems: theoretical foundations with applications to cloud storage)

  2017cites this paper
• Weak Memory Models with Matching Axiomatic and Operational Definitions

  2017cites this paper
• Efficient coherence and consistency for specialized memory hierarchies

  2017cites this paper
• SnuCL: A unified OpenCL framework for heterogeneous clusters

  2017cites this paper
• Integrating External Resources with a Task-Based Programming Model

  2017cites this paper
• LC-Sim: a simulation framework for evaluating location consistency based cache protocols

  2017influential citation
• Chasing Away RAts: Semantics and evaluation for relaxed atomics on heterogeneous systems

  2017cites this paper
• Shared-Memory Parallelism Can be Simple, Fast, and Scalable

  2017cites this paper
• Taming Weak Memory Models

  2016cites this paper
• Inspector: A Data Provenance Library for Multithreaded Programs

  2016cites this paper
• An OpenMP Programming Toolkit for Hybrid CPU/GPU Clusters Based on Software Unified Memory

  2016cites this paper
• Evaluating Gem5 and QEMU Virtual Platforms for ARM Multicore Architectures

  2016cites this paper
• Efficient Timestamp-Based Cache Coherence Protocol for Many-Core Architectures

  2016cites this paper
• Formal Modelling, Testing and Verification of HSA Memory Models using Event-B

  2016cites this paper
• SCsafe: Logging sequential consistency violations continuously and precisely

  2016cites this paper
• WMM : a resilient Weak Memory Model

  2016influential citation
• A Distributed PTX Virtual Machine on Hybrid CPU/GPU Clusters

  2016cites this paper
• Design of the RISC-V Instruction Set Architecture

  2016cites this paper
• INSPECTOR: Data Provenance Using Intel Processor Trace (PT)

  2016cites this paper
• Spécification des objets partagés dans les systèmes répartis sans-attente. (Specification of shared objects in wait-free distributed systems)

  2016cites this paper
• Linearizability of Persistent Memory Objects Under a Full-System-Crash Failure Model

  2016cites this paper
• Static race detection for device drivers: The Goblint approach

  2016cites this paper
• Incremental parallel and distributed systems

  2015cites this paper
• Exploiting Staleness for Approximating Loads on CMPs

  2015cites this paper
• Correctly Synchronised POSIX-threads Benchmark Applications

  2015cites this paper
• Causal Consistent Databases

  2015cites this paper
• DeNovo: rethinking the memory hierarchy for disciplined parallelism

  2015cites this paper
• Winter 1-1-2007 Harnessing Chip-Multiprocessors with Concurrent Threaded Pipelines ; CU-CS-1024-07

  2015cites this paper
• Application-Aware Consistency: An Application to Social Network

  2015cites this paper
• Consistency models in modern distributed systems. An approach to Eventual Consistency.

  2015cites this paper
• Consistency in Non-Transactional Distributed Storage Systems

  2015influential citation
• RC3: Consistency Directed Cache Coherence for x86-64 with RC Extensions

  2015influential citation
• Overcoming Malicious Read Write Requests in Internet File Systems

  2015cites this paper
• Tardis 2.0: Optimized time traveling coherence for relaxed consistency models

  2015cites this paper
• Dynamically Adaptable I/O Semantics for High Performance Computing

  2015cites this paper
• Tardis 2.0: An Optimized Time Traveling Coherence Protocol

  2015cites this paper
• TSO-CC: Consistency directed cache coherence for TSO

  2014cites this paper
• PipeCheck: Specifying and Verifying Microarchitectural Enforcement of Memory Consistency Models

  2014cites this paper
• Programming models for many-core architectures: a co-design approach

  2014cites this paper
• Supporting Applications Involving Dynamic Data Structures and Irregular Memory Access on Emerging Parallel Platforms

  2014cites this paper
• Verificação de consistência e coerência de memória compartilhada para multiprocessamento em chip

  2014cites this paper
• Techniques for low overhead fences and sequential consistency violation recording

  2014cites this paper
• ASPIRE

  2014cites this paper
• The RISC-V Instruction Set Manual

  2014cites this paper
• Consistent Shared Data Types: Beyond Memory

  2014cites this paper
• Database and System Design for Emerging Storage Technologies

  2014influential citation
• Exploiting software information for an efficient memory hierarchy

  2014cites this paper
• Scalability Analysis of Memory Consistency Models in NoC-Based Distributed Shared Memory SoCs

  2013cites this paper
• Ligra: a lightweight graph processing framework for shared memory

  2013cites this paper
• Atomic Consistency (Linearizability)

  2013cites this paper
• Microgrid - The microthreaded many-core architecture

  2013cites this paper
• Techniques to improve performance in requester-wins hardware transactional memory

  2013cites this paper
• Improving Post-silicon Validation Efficiency by Using Pre-generated Data

  2013cites this paper
• TSO_ATOMICITY: efficient hardware primitive for TSO-preserving region optimizations

  2013cites this paper
• On the construction of operating systems for the Microgrid many-core architecture

  2013cites this paper
• Distributed Algorithms for Message-Passing Systems

  2013cites this paper
• Architecture Support and Scalability Analysis of Memory Consistency Models in Network-on-Chip based Systems

  2013cites this paper
• Communication inter-cœurs optimisée pour le parallélisme de flux. (Optimized inter-core communication for pipeline parallelism)

  2013cites this paper
• Regional Consistency: Programmability and Performance for Non-cache-coherent Systems

  2013influential citation
• Program-Centric Cost Models for Locality and Parallelism

  2013cites this paper
• Portable Memory Consistency for Software Managed Distributed Memory in Many-Core SoC

  2013cites this paper
• DSM64: A DISTRIBUTED SHARED MEMORY SYSTEM IN USER-SPACE

  2012influential citation
• Extending relativistic programming to multiple writers

  2012cites this paper
• Balancing Programmability and Silicon Efficiency of Heterogeneous Multicore Architectures

  2012cites this paper
• Internally deterministic parallel algorithms can be fast

  2012cites this paper
• Retrofitting Reliability into Complex Systems

  2012cites this paper
• Memory Architecture and Management in an NoC Platform

  2012cites this paper
• Scalability analysis of release and sequential consistency models in NoC based multicore systems

  2012cites this paper
• Architecture Support and Comparison of Three Memory Consistency Models in NoC Based Systems

  2012cites this paper
• Data centric and adaptive source changing transactional memory with exit functionality

  2012cites this paper