Add formal API-level memory consistency model - #570

Open

joalsop wants to merge 16 commits into

openshmem-org:mainfrom

joalsop:joalsop/formal_mcm

Commits on Jan 26, 2026

Add formal API-level memory consistency model
joalsop
committed
9f1e8d1

Commits on Feb 5, 2026

formal api model: minor fixes
joalsop
committed
74b3f29

Commits on Feb 12, 2026

formal api model: update data race definition
joalsop
committed
d48a22d

Commits on Feb 13, 2026

formal api model: minor fixes and clarifications
joalsop
committed
27a272f

Commits on Feb 19, 2026

formal api model: minor fixes and edits for clarity
joalsop
committed
b8b4233

Commits on Feb 27, 2026

formal api model: C++ -> C11
joalsop
committed
3aadcbd
formal api memory model: minor fixes, formatting updates
joalsop
committed
d00c0f0

Commits on Apr 21, 2026

formal api model: formatting improvements for consistency
joalsop
committed
f5d6c4d

Commits on Apr 30, 2026

Commits on May 4, 2026

api_mem_model: add API relations summary table in subsubsec:api_relations

joalsop
and
claude
committed
bb7a4a8

Commits on May 13, 2026

formal mcm: update fence/quiet/barrier, fix relation ordering
joalsop
committed
0205408

Commits on May 15, 2026

api_mem_model: minor fixes
joalsop
committed
4baa8db

Commits on Aug 11, 2026

api_mem_model: minor fixes
joalsop
committed
7fb21b1

Commits on Aug 28, 2026

Fixes to address errors identified by HPE (naveen), NVIDIA (ferrol/jeff) and GTech (akihiro)
joalsop
committed
a4794be