Daniel J. Sorin

Journal article Proceedings of the ACM on Programming Languages · June 1, 2026 Modern processors integrate heterogeneous devices to expose unified shared memory. Yet, the de-facto design pattern used to compose their disparate coherence protocols lacks a formal foundation. This leaves the door open for subtle consistency bugs, in a c ... Full text Cite

Message from the Program Chairs

Journal article Proceedings International Symposium on Computer Architecture · June 21, 2025 Full text Cite

Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology

Journal article IEEE Computer Architecture Letters · January 1, 2025 Traditional schemes for avoiding deadlocks compose techniques for both protocol deadlocks (virtual networks) and network deadlocks (virtual channels). Recent work has shown how to use fewer virtual networks by analyzing protocol stalls instead of just cons ... Full text Cite

HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols

Journal article IEEE Micro · July 1, 2023 We address the two challenges architects face when designing heterogeneous processors with cache-coherent shared memory. First, we introduce HeteroGen, an automated tool for composing clusters of cores, each with its own coherence protocol. Second, we show ... Full text Cite

Reconfigurable Hardware in Postsilicon Microarchitecture

Journal article Computer · March 1, 2021 Computer architects want to design processors that are general purpose yet have the performance of special-purpose hardware tailored to each application. Recently, this goal has led to a proliferation of hardware accelerators for important tasks, including ... Full text Cite

Bayesian Optimization for Efficient Accelerator Synthesis

Journal article ACM Transactions on Architecture and Code Optimization · January 1, 2021 Accelerator design is expensive due to the effort required to understand an algorithm and optimize the design. Architects have embraced two technologies to reduce costs. High-level synthesis automatically generates hardware from code. Reconfigurable fabric ... Full text Cite

Computer Architecture for Orbital Edge Computing

Journal article Computer · April 1, 2020 Full text Cite

A Primer on Memory Consistency and Cache Coherence, Second Edition

Journal article Synthesis Lectures on Computer Architecture · January 1, 2020 Many modern computer systems, including homogeneous and heterogeneous architectures, support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, ... Full text Cite

Extending flash lifetime in embedded processors by expanding analog choice

Journal article IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems · November 1, 2018 We extend the lifetime of Flash memory in embedded processors by exploiting the fact that data from sensors is inherently analog. Prior work in the computer architecture community has assumed that all data is digital and has overlooked the opportunities av ... Full text Cite

Low-Power Content Addressable Memory

Journal article Computer · March 1, 2018 This installment of Computer's series highlighting the work published in IEEE Computer Society journals comes from IEEE Computer Architecture Letters. ... Full text Cite

Persistent Memory

Journal article Computer · March 1, 2017 This installment of Computer's series highlighting the work published in IEEE Computer Society journals comes from Computer Architecture Letters. ... Full text Cite

Top Picks from the 2015 Computer Architecture Conferences

Journal article IEEE Micro · May 1, 2016 Full text Cite

PVCoherence: Designing Flat Coherence Protocols for Scalable Verification

Journal article IEEE Micro · May 1, 2015 The goal of this work is to design cache coherence protocols with many cores such that they can be verified with existing verification methodologies. In particular, the authors focus on flat (nonhierarchical) coherence protocols using a mostly automated me ... Full text Cite

Argus-G: Comprehensive, low-cost error detection for GPGPU cores

Journal article IEEE Computer Architecture Letters · January 1, 2015 We have developed and evaluated Argus-G, an error detection scheme for general purpose GPU (GPGPU) cores. Argus-G is a natural extension of the Argus error detection scheme for CPU cores, and we demonstrate how to modify Argus such that it is compatible wi ... Full text Cite

Nostradamus: Low-cost hardware-only error detection for processor cores

Journal article Proceedings -Design, Automation and Test in Europe, DATE · 2014 Cite

Architecting dynamic power management to be formally verifiable

Journal article Proceedings Design Automation Conference · January 1, 2014 Many computer systems employ dynamic power management (DPM) to maximize power efficiency. DPM offers great opportunities, but deploying it carries significant risks if the DPM scheme is not completely verified. We propose architecting the DPM scheme such t ... Full text Cite

Exploring memory consistency for massively-threaded throughput-oriented processors

Journal article Proceedings International Symposium on Computer Architecture · August 12, 2013 We re-visit the issue of hardware consistency models in the new context of massively-threaded throughput-oriented processors (MTTOPs). A prominent example of an MTTOP is a GPGPU, but other examples include Intel's MIC architecture and some recent academic ... Full text Cite

Coset coding to extend the lifetime of memory

Journal article Proceedings International Symposium on High Performance Computer Architecture · July 23, 2013 Some recent memory technologies, including phase change memory (PCM), have lifetime reliabilities that are affected by write operations. We propose the use of coset coding to extend the lifetimes of these memories. The key idea of coset coding is that it p ... Full text Cite

Applying reduced precision arithmetic to detect errors in floating point multiplication

Journal article Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing Prdc · January 1, 2013 Prior work developed an efficient technique, called reduced precision checking, for detecting errors in floating point addition. In this work, we extend reduced precision checking (RPC) to multiplication. Our results show that RPC can successfully detect e ... Full text Cite

Evaluating cache coherent shared virtual memory for heterogeneous multicore chips

Journal article Ispass 2013 IEEE International Symposium on Performance Analysis of Systems and Software · January 1, 2013 Although current homogeneous chips tightly couple the cores with cache-coherent shared virtual memory (CCSVM), this is not the communication paradigm used by any current heterogeneous chip. In this paper, we present a CCSVM design for a CPU/GPU chip, as we ... Full text Cite

Writing cosets of a convolutional code to increase the Lifetime of Flash memory

Journal article 2012 50th Annual Allerton Conference on Communication Control and Computing Allerton 2012 · December 1, 2012 The goal of this paper is to extend the lifetime of Flash memory by reducing the frequency with which a given page of memory is erased. This is accomplished by increasing the number of writes that are possible before erasure is necessary. Redundancy is int ... Full text Cite

Why on-chip cache coherence is here to stay

Journal article Communications of the ACM · July 1, 2012 The article discusses how on-chip hardware coherence can scale gracefully as the number of cores increases. Cache coherence has come to dominate the market for technical, as well as for legacy, reasons. Technically, hardware cache coherence provides perfor ... Full text Cite

Address translation aware memory consistency

Journal article IEEE Micro · January 1, 2011 Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation systems. Detecting bugs and faults requires a clear specification of correct behavior. A new framework for address translation aware memory ... Full text Cite

Architectures for online error detection and recovery in multicore processors

Journal article Proceedings Design Automation and Test in Europe Date · January 1, 2011 The huge investment in the design and production of multicore processors may be put at risk because the emerging highly miniaturized but unreliable fabrication technologies will impose significant barriers to the life-long reliable operation of future chip ... Cite

An FPGA-based experimental evaluation of microprocessor core error detection with Argus-2

Journal article Performance Evaluation Review · January 1, 2011 Recently, several researchers have proposed schemes for low-cost, low-power error detection in the processor core. In this work, we demonstrate that one particular scheme, an enhanced implementation of the Argus framework called Argus-2, is a viable option ... Full text Cite

A primer on memory consistency and cache coherence

Journal article Synthesis Lectures on Computer Architecture · January 1, 2011 Many modern computer systems and most multicore chips (chip multiprocessors) support shared memory in hardware. In a shared memory system, each of the processor cores may read and write to a single shared address space. For a shared memory machine, the mem ... Full text Cite

Fractal consistency: Architecting the memory system to facilitate verification

Journal article IEEE Computer Architecture Letters · July 1, 2010 One of the most challenging problems in developing a multicore processor is verfiying that the design is correct, and one of the most difficult aspects of pre-silicon verification is verifying that the memory system obeys the architecture’s specified ... Full text Open Access Cite

Reduced precision checking for a floating point adder

Journal article Proceedings IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems · December 1, 2009 We present an error detection technique for a floating point adder which uses a checker adder of reduced precision to determine if the result is correct within some error bound. Our analysis establishes a relationship between the width of the checker adder ... Full text Cite

Analyzing formal verification and testing efforts of different fault tolerance mechanisms

Journal article Proceedings IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems · December 1, 2009 Pre-fabrication design verification and post-fabrication chip testing are two important stages in the product realization process. These two stages consume a large part of resources in the form of time, money, and engineering effort during the process [1]. ... Full text Cite

Dynamic power gating with quality guarantees

Journal article Proceedings of the International Symposium on Low Power Electronics and Design · November 24, 2009 Power gating is usually driven by a predictive control, and frequent mispredictions can counter-productively lead to a large increase in energy consumption. This energy vulnerability could be exploited by malicious applications such as a power virus, or it ... Full text Cite

Multicore power management: Ensuring robustness via early-stage formal verification

Journal article 2009 7th IEEE ACM International Conference on Formal Methods and Models for Co Design Memocode 09 · November 19, 2009 Dynamic power management (DPM) is important for multicore architectures. One important challenge for multicore DPM schemes is verifying that they are both safe (cannot lead to power or thermal catastrophes) and efficient (achieve as much performance as pos ... Full text Cite

Dynamic verification of memory consistency in cache-coherent multithreaded computer architectures

Journal article IEEE Transactions on Dependable and Secure Computing · January 1, 2009 Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the high availability required for these tasks, it is necessary to incorporate mecha ... Full text Cite

Core cannibalization architecture: Improving lifetime chip performance for multicore processors in the presence of hard faults

Journal article Parallel Architectures and Compilation Techniques Conference Proceedings Pact · December 1, 2008 To improve the lifetime performance of a multicore chip with simple cores, we propose the Core Cannibalization Architecture (CCA). A chip with CCA provisions a fraction of the cores as cannibalizable cores (CCs). In the absence of hard faults, the CCs func ... Full text Cite

Reducing the impact of intra-core process variability with criticality-based resource allocation and prefetching

Journal article Conference on Computing Frontiers Proceedings of the 2008 Conference on Computing Frontiers Cf 08 · December 1, 2008 We develop architectural techniques for mitigating the impact of process variability. Our techniques hide the performance effects of slow components-including registers, functional units, and L1I and L1D cache frames-without slowing the clock frequency or ... Full text Cite

The impact of dynamically heterogeneous multicore processors on thread scheduling

Journal article IEEE Micro · May 1, 2008 Although most current multicore processors are homogeneous, microarchitects are now proposing heterogeneous core implementations, including systems in which heterogeneity is introduced at runtime. This article shows that operating system schedulers must co ... Full text Cite

Argus: Low-cost, comprehensive error detection in simple cores

Journal article IEEE Micro · January 1, 2008 Argus, a novel approach for detecting errors in simple processor cores, dynamically verifies the correctness of the four tasks performed by a von Neumann core: control flow, data flow, computation, and memory access. Argus detects transient and permanent e ... Full text Cite

Detouring: Translating software to circumvent hard faults in simple cores

Journal article Proceedings of the International Conference on Dependable Systems and Networks · January 1, 2008 CMOS technology trends are leading to an increasing incidence of hard (permanent) faults in processors. These faults may be introduced at fabrication or occur in the field. Whereas high-performance processor cores have enough redundancy to tolerate many of ... Full text Cite

Low-cost run-time diagnosis of hard delay faults in the functional units of a microprocessor

Journal article 2007 IEEE International Conference on Computer Design Iccd 2007 · December 1, 2007 This paper addresses the run-time diagnosis of delay faults in functional units of microprocessors. Despite the popularity of the stuck-at fault model, it is no longer the only relevant fault model. The delay fault model - which assumes that the faulty cir ... Full text Cite

Reducing the impact of process variability with prefetching and criticality-based resource allocation

Journal article Parallel Architectures and Compilation Techniques Conference Proceedings Pact · December 1, 2007 Full text Cite

Verification-aware microprocessor design

Journal article Parallel Architectures and Compilation Techniques Conference Proceedings Pact · December 1, 2007 The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. However, architects do not quantify the impact of these design decisions on the e ... Full text Cite

Error detection using dynamic dataflow verification

Journal article Parallel Architectures and Compilation Techniques Conference Proceedings Pact · December 1, 2007 A significant fraction of the circuitry in a modern processor is dedicated to converting the linear instruction stream into a representation that allows the execution of instructions in data dependence order, rather than program order, to extract instructi ... Full text Cite

Argus: Low-cost, comprehensive error detection in simple cores

Journal article Proceedings of the Annual International Symposium on Microarchitecture Micro · December 1, 2007 We have developed Argus, a novel approach for providing low-cost, comprehensive error detection for simple cores. The key to Argus is that the operation of a von Neumann core consists of four fundamental tasks - control flow, dataflow, computation, and mem ... Full text Cite

Unified microprocessor core storage

Journal article 2007 Computing Frontiers Conference Proceedings · October 22, 2007 The organization and management of microprocessor storage structures (e.g., L1 caches, TLBs, etc.) is critical to the performance and energy consumption of the microprocessor. We propose and develop the first microprocessor that can dynamically allocate st ... Full text Cite

Online Diagnosis of Hard Faults in Microprocessors

Journal article ACM Transactions on Architecture and Code Optimization · January 1, 2007 We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we must: detect and correct errors, diagnose hard faults at the field deconfigur ... Full text Cite

Error detection via online checking of cache coherence with token coherence signatures

Journal article Proceedings International Symposium on High Performance Computer Architecture · January 1, 2007 To provide high dependability in a multithreaded system despite hardware faults, the system must detect and correct errors in its shared memory system. Recent research has explored dynamic checking of cache coherence as a comprehensive approach to memory s ... Full text Cite

Choosing an error protection scheme for a microprocessor's L1 data cache

Journal article IEEE International Conference on Computer Design Iccd 2006 · December 1, 2006 We deconstruct and compare the two dominant existing approaches for L1 data cache (L1D) error protection, with respect to performance, L2 cache bandwidth, power, and area. The two approaches are: (1) parity on the L1D with write-through to an ECC-protected ... Full text Cite

Applying architectural vulnerability analysis to hard faults in the microprocessor

Journal article Performance Evaluation Review · June 1, 2006 In this paper, we present a new metric, Hard-Fault Architectural Vulnerability Factor (H-AVF), to allow designers to more effectively compare alternate hard-fault tolerance schemes. In order to provide intuition on the use of H-AVF as a metric, we evaluate ... Full text Cite

Spin detection hardware for improved management of multithreaded systems

Journal article IEEE Transactions on Parallel and Distributed Systems · June 1, 2006 Spinning is a synchronization mechanism commonly used in applications and operating systems. Excessive spinning, however, often indicates performance or correctness (e.g., livelock) problems. Detecting if applications and operating systems are spinning is ... Full text Cite

NANA: A nano-scale active network architecture

Journal article ACM Journal on Emerging Technologies in Computing Systems · January 1, 2006 This article explores the architectural challenges introduced by emerging bottom-up fabrication of nanoelectronic circuits. The specific nanotechnology we explore proposes patterned DNA nanostructures as a scaffold for the placement and interconnection of ... Full text Cite

Self-checking and self-diagnosing 32-bit microprocessor multiplier

Journal article Proceedings International Test Conference · January 1, 2006 In this paper, we propose a low-cost fault tolerance technique for microprocessor multipliers, both non-pipelined (NP) and pipelined (P). Our fault tolerant multiplier designs are capable of detecting and correcting errors, diagnosing hard faults, and reco ... Full text Cite

Dynamic verification of memory consistency in cache-coherent multithreaded computer architectures

Journal article Proceedings of the International Conference on Dependable Systems and Networks · January 1, 2006 Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the high availability required for these tasks, it is necessary to incorporate mecha ... Full text Cite

Circuit-level modeling for concurrent testing of operational defects due to gate oxide breakdown

Journal article Proceedings Design Automation and Test in Europe Date 05 · December 1, 2005 As device sizes shrink and current densities increase, the probability of device failures due to gate oxide breakdown (OBD) also increases. To provide designs that are tolerant to such failures, we must investigate and understand the manifestations of this ... Full text Cite

A mechanism for online diagnosis of hard faults in microprocessors

Journal article Proceedings of the Annual International Symposium on Microarchitecture Micro · December 1, 2005 We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we must: detect and correct errors, diagnose hard faults at the field deconfigur ... Full text Cite

Dynamic verification of sequential consistency

Journal article Proceedings International Symposium on Computer Architecture · November 10, 2005 In this paper, we develop the first feasibly implementable scheme for end-to-end dynamic verification of multithreaded memory systems. For multithreaded (including multiprocessor) memory systems, end-to-end correctness is defined by its memory consistency ... Full text Cite

Autonomic microprocessor execution via self-repairing arrays

Journal article IEEE Transactions on Dependable and Secure Computing · January 1, 2005 To achieve high reliability despite hard faults that occur during operation and to achieve high yield despite defects introduced at fabrication, a microprocessor must be able to tolerate hard faults. In this paper, we present a framework for autonomic self ... Full text Cite

Self-assembled architectures and the temporal aspects of computing

Journal article Computer · January 1, 2005 Despite the convenience of clean abstractions, technological trends are blurring the lines between design layers and creating new interactions between previously unrelated architecture layers. For example, virtual machines such as VMWare and Transmeta impl ... Full text Cite

Semi-empirical SPICE models for carbon nanotube FET logic

Journal article 2004 4th IEEE Conference on Nanotechnology · December 1, 2004 To evaluate the potential of carbon nanotube field effect transistors (CNFETs) to replace silicon CMOS technology, we develop a SPICE model of CNFET nanoelectronics. Our model is parameterizable, and it enables composition of models of various aspects of n ... Cite

Using speculation to simplify multiprocessor design

Journal article Proceedings International Parallel and Distributed Processing Symposium IPDPS 2004 Abstracts and Cd Rom · December 1, 2004 Modern multiprocessors are complex systems that often require years to design and verify, A significant factor is that engineers must allocate a disproportionate share of their effort to ensure that rare corner-case events behave correctly. This paper prop ... Cite

Design tools for a DNA-guided self-assembling carbon nanotube technology

Journal article Nanotechnology · September 1, 2004 The shift in technology away from silicon complementary metal-oxide semiconductors (CMOS) to novel nanoscale technologies requires new design tools. In this paper, we explore one particular nanotechnology: carbon nanotube transistors that are self-assemble ... Full text Cite

Tolerating hard faults in microprocessor array structures

Journal article Proceedings of the International Conference on Dependable Systems and Networks · January 1, 2004 In this paper, we present a hardware technique, called Self-Repairing Array Structures (SRAS), for masking hard faults in microprocessor array structures, such as the reorder buffer and branch history table. SRAS masks errors that could otherwise lead to s ... Full text Cite

Analytic evaluation of shared-memory architectures

Journal article IEEE Transactions on Parallel and Distributed Systems · February 1, 2003 This paper develops and validates an efficient analytical model for evaluating the performance of shared memory architectures with ILP processors. First, we instrument the SimOS simulator to measure the parameters for such a model and we find a surprisingl ... Full text Cite

Simulating a $2M commercial server on a $2K PC

Journal article Computer (USA) · 2003 As dependence on database management systems and Web servers increases, so does the need for them to run reliably and efficiently-goals that rigorous simulations can help achieve. Execution-driven simulation models system hardware. These simulations captur ... Full text Link to item Cite

Dynamic Verification of End-to-End Multiprocessor Invariants

Journal article Proceedings of the International Conference on Dependable Systems and Networks · January 1, 2003 As implementations of shared memory multiprocessors become more complicated, hardware faults will increasingly cause errors that are difficult or impossible to detect with low-level, localized mechanisms. In this paper, we argue for dynamic verification (i ... Full text Cite

Using destination-set prediction to improve the latency/bandwidth tradeoff in shared-memory multiprocessors

Journal article Conference Proceedings Annual International Symposium on Computer Architecture ISCA · January 1, 2003 Destination-set prediction can improve the latency/bandwidth tradeoff in shared-memory multiprocessors. The destination set is the collection of processors that receive a particular coherence request. Snooping protocols send requests to the maximal destina ... Full text Cite

Specifying and verifying a broadcast and a multicast snooping cache coherence protocol

Journal article IEEE Transactions on Parallel and Distributed Systems · June 1, 2002 In this paper, we develop a specification methodology that documents and specifies a cache coherence protocol in eight tables: the states, events, actions, and transitions of the cache and memory controllers. We then use this methodology to specify a detai ... Full text Cite

SafetyNet: Improving the availability of shared memory multiprocessors with global checkpoint/recovery

Journal article Conference Proceedings Annual International Symposium on Computer Architecture ISCA · January 1, 2002 We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At an abstract level, SafetyNet logically maintains multiple, globally consisten ... Cite

Correctly implementing value prediction in microprocessors that support multithreading or multiprocessing

Journal article Proceedings of the Annual International Symposium on Microarchitecture · December 1, 2001 This paper explores the interaction of value prediction with thread-level parallelism techniques, including multithreading and multiprocessing, where correctness is defined by a memory consistency model. Value prediction subtly interacts with the memory co ... Full text Cite

Timestamp snooping: An approach for extending SMPs

Journal article International Conference on Architectural Support for Programming Languages and Operating Systems ASPLOS · November 12, 2000 Symmetric multiprocessor (SMP) servers provide superior performance for the commercial workloads that dominate the Internet. Our simulation results show that over one-third of cache misses by these applications result in cache-to-cache transfers, where the ... Full text Cite

AMVA techniques for high service time variability

Journal article Performance Evaluation Review · January 1, 2000 Motivated by experience gained during the validation of a recent Approximate Mean Value Analysis (AMVA) model of modern shared memory architectures, this paper re-examines the "standard" AMVA approximation for non-exponential FCFS queues. We find that this ... Full text Cite

Timestamp snooping: An approach for extending SMPs

Journal article SIGPLAN Notices ACM Special Interest Group on Programming Languages · January 1, 2000 Symmetric multiprocessor (SMP) servers provide superior performance for the commercial workloads that dominate the Internet. Our simulation results show that over one-third of cache misses by these applications result in cache-to-cache transfers, where the ... Full text Cite

Timestamp snooping: An approach for extending SMPs

Journal article Operating Systems Review ACM · January 1, 2000 Symmetric multiprocessor (SMP) servers provide superior performance for the commercial workloads that dominate the Internet. Our simulation results show that over one-third of cache misses by these applications result in cache-to-cache transfers, where the ... Full text Cite

Using Lamport clocks to reason about relaxed memory models

Journal article IEEE High Performance Computer Architecture Symposium Proceedings · January 1, 1999 Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing that multiprocessors can implement sequential consistency (SC) with an SGI Origin 20 ... Full text Cite

System-level specification framework for I/O architectures

Journal article Annual ACM Symposium on Parallel Algorithms and Architectures · January 1, 1999 A computer system is useless unless it can interact with the outside world through input/output (I/O) devices. I/O systems are complex, including aspects such as memory-mapped operations, interrupts, and bus bridges. Often, I/O behavior is described for is ... Cite

Multicast snooping: A new coherence method using a multicast address network

Journal article Conference Proceedings Annual International Symposium on Computer Architecture ISCA · January 1, 1999 This paper proposes a new coherence method called `multicast snooping' that dynamically adapts between broadcast snooping and a directory protocol. Multicast snooping is unique because processors predict which caches should snoop each coherence transaction ... Cite

Analytic evaluation of shared-memory systems with ILP processors

Journal article Conference Proceedings Annual International Symposium on Computer Architecture ISCA · January 1, 1998 This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploit instruction-level parallelism. Compared to simulation, the analytical model ... Cite

Lamport clocks: verifying a directory cache-coherence protocol

Journal article Annual ACM Symposium on Parallel Algorithms and Architectures · January 1, 1998 Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying the correctness of such implementations than in designing the system. In par ... Cite