From 0537b293b2ce0b64af3f07cd9c90dab97d4ac330 Mon Sep 17 00:00:00 2001 From: Andrew Waterman Date: Fri, 4 Jun 2021 15:13:00 -0700 Subject: Remove T placeholder chapter --- src/rvwmo.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/rvwmo.tex') diff --git a/src/rvwmo.tex b/src/rvwmo.tex index 228e582..f52ea8c 100644 --- a/src/rvwmo.tex +++ b/src/rvwmo.tex @@ -14,7 +14,7 @@ The standard ISA extension for misaligned atomics ``Zam'' (Chapter~\ref{sec:zam} The appendices to this specification provide both axiomatic and operational formalizations of the memory consistency model as well as additional explanatory material. \begin{commentary} - This chapter defines the memory model for regular main memory operations. The interaction of the memory model with I/O memory, instruction fetches, FENCE.I, page table walks, and SFENCE.VMA is not (yet) formalized. Some or all of the above may be formalized in a future revision of this specification. The RV128 base ISA and future ISA extensions such as the ``V'' vector, ``T'' transactional memory, and ``J'' JIT extensions will need to be incorporated into a future revision as well. + This chapter defines the memory model for regular main memory operations. The interaction of the memory model with I/O memory, instruction fetches, FENCE.I, page table walks, and SFENCE.VMA is not (yet) formalized. Some or all of the above may be formalized in a future revision of this specification. The RV128 base ISA and future ISA extensions such as the ``V'' vector and ``J'' JIT extensions will need to be incorporated into a future revision as well. Memory consistency models supporting overlapping memory accesses of different widths simultaneously remain an active area of academic research and are not yet fully understood. The specifics of how memory accesses of different sizes interact under RVWMO are specified to the best of our current abilities, but they are subject to revision should new issues be uncovered. \end{commentary} -- cgit v1.1