-
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
-
Pond: CXL-Based Memory Pooling Systems for Cloud Platforms
-
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.