memory-models

Игрушечный, но душный репозиторий около Memory Models

Memory consistency model checking and test generation library.

POP Memory Model in Lean

Reservoir-computing based associative memory and itinerancy for complex dynamical attractors

Coq formalisation of axiomatic memory models

[RU] Статьи и примеры для доклада "Эволюция моделей памяти"

Operational Semantics of a Weak Memory Model with Channel Synchronization

Data structures and algorithms used in building software machines.

CS 766 assignment at IIT Bombay (with Sachin Singh Lodhi): enumerates every execution of small concurrent programs under sequential consistency, discards cyclic ones using rf/ws/fr edges, and checks assertions against the rest. Java.

A C++ concurrency learning repository with implementations of various synchronization primitives and concurrent data structures.

Most identity systems do not fail because they lack data. They fail because they were never designed to preserve continuity under changing contexts.

A deterministic model checker that explores every meaningfully different interleaving of a concurrent program

Empirical Boundaries of Undecidability, Compiler Limit Archaeology & Hardware Memory Models — type-level Turing machines, differential soundness research across 11 compilers, and litmus science on Apple Silicon, Linux x86 & GPU

A simple example of how memory ordering can go wrong on modern hardware

Embedded System Design Project