Nature

Memory Models and Consistency in Concurrent Programming

Memory models offer the formal frameworks that define how operations on memory are executed in environments with concurrent processes. By establishing rules for the ordering and visibility of memory ...
Semiconductor Engineering

Scalable Verification of Memory Consistency (Purdue University)

“Memory consistency model (MCM) issues in out-of-order-issue microprocessor-based shared-memory systems are notoriously non-intuitive and a source of hardware design bugs. Prior hardware verification ...
InfoQ

The OpenJDK Revised Java Memory Model

A monthly overview of things you need to know as an architect or aspiring architect. Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with ...
Design-Reuse

The RISC-V Memory Consistency Model

Memory consistency models (MCMs) are known to flummox even experienced computer architects, so it is perhaps not surprising that recent news articles had some difficulty portraying the nuances behind ...
Electronics Weekly

RISC-V Foundation replies on Princeton bugs

Princeton University found problems with the memory consistency model (MCM) in more complex implementations of the open source RISC-V. The University works with the RISC-V Foundation, so there was no ...
Business Wire

Daniel Lustig, Chairman of the RISC-V Memory Model Task Group, Receives Inaugural 2018 RISC-V Foundation Board of Directors’ Award at the RISC-V Summit

BERKELEY, Calif. & SANTA CLARA, Calif.--(BUSINESS WIRE)--The RISC-V Foundation, the non-profit corporation controlled by its members to drive the adoption and implementation of the free and open ...