Meta TPP: Transparent Page Placement protocol and Chameleon memory tracking

MS zNUMA: First-generation Memory Disaggregation for Cloud Platforms

KAIST DirectCXL: Direct Access, High-Performance Memory Disaggregation with DirectCXL

CXL-SSD: Hello bytes, bye blocks- PCIe storage meets compute express link for memory expansion

Compute Express Link Overview

ARM: Synchronization Overview and Case Study on Arm Architecture

Cache Coherence: Rethinking Software Runtimes for Disaggregated Memory.

Spark on Disaggreagated Memory: Optimizing Performance and Computing Resource Management of in-memory Big Data Analytics with Disaggregated Persistent Memory

Persistence Semantics for Weak Memory

A Primer on Memory Consistency and Cache Coherence

Shared Memory Synchronization

Quorum Systems With Applications to Storage and Consensus

Database Replication

Open Source SSD/NVM etc. simulators. http://camelab.org/pmwiki.php?n=Main.Tools

Arch Concurrency Test. http://diy.inria.fr/doc/litmus.html

A working example of how to use the herd7 Memory Model Tool. https://community.arm.com/arm-community-blogs/b/architectures-and-processorsblog/posts/how-to-use-the-memory-model-tool

How to generate litmus tests automatically with the diy7 tool. https://community.arm.com/arm-community-blogs/b/architectures-and-processorsblog/posts/generate-litmus-tests-automatically-diy7-tool http://diy.inria.fr/doc/gen.html

Running litmus tests on hardware using litmus7. https://community.arm.com/arm-community-blogs/b/architectures-and-processorsblog/posts/running-litmus-tests-on-hardware-litmus7 https://github.com/Compute-Express-Link/litmustestgen

Murphi for Modeling. http://mclab.di.uniroma1.it/site/index.php/software/18-cmurphi

Alloy, Express axiomatic specifications of consistency models. http://alloy.mit.edu

Express axiomatic specifications of consistency models Cat, associated with the Herd tool. http://diy.inria.fr/herd/ .

The spec domain specific language allows for pipeline and coherence protocol implementations to be specified axiomatically http://check.cs.princeton.edu/#tools .

The ppcmem tool (https://www.cl.cam.ac.uk/~pes20/ppcmem/help.html) does something similar but is specialized for POWER and ARM memory models

CppMem tool (http://svr- pes20-cppmem.cl.cam.ac.uk/cppmem/) is geared toward the C/C++ language-level memory model.

As far as operational models are concerned, the RMEM tool (https://www.cl.cam. ac.uk/~sf502/regressions/rmem/) has built-in operational models for ARM (multiple vari- ants), POWER (multiple variants), x86-TSO and RISC-V, and also allows for their behaviors to be explored.

MemSynth (http: //memsynth.uwplse.org/) shows how a complete memory model satisfying the litmus tests can be synthesized.