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

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.

Data structures and algorithms used in building software machines.

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.

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 deterministic model checker that explores every meaningfully different interleaving of a concurrent program

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

Embedded System Design Project