big updating appendices

Author: conrad-watt

document/core/appendix/changes.rst

@@ -7,6 +7,22 @@ Change History
 Since the original release 1.0 of the WebAssembly specification, a number of proposals for extensions have been integrated.
 The following sections provide an overview of what has changed.
 
+Release XX
+~~~~~~~~~~
+
+Threads and Atomics
+....................
+
+Added a new concept of shared memory, denoting a memory which can be accessed by multiple host-created threads, and atomic instructions for synchronising shared memory concurrency [#proposal-threads]_.
+
+* New :ref:`memory type <syntax-memtype>`: |SHARED|
+
+* New :ref:`memory instructions <syntax-instr-memory>`: |ATOMICLOAD|, |ATOMICSTORE|, |ATOMICRMW|, |MEMORYATOMICNOTIFY|, |MEMORYATOMICWAIT|, |MEMORYATOMICFENCE|
+
+.. note::
+   The proposal does not add a mechanism for creating threads from within WebAssembly.
+   Thread creation must be handled by the host.
+
 Release 2.0
 ~~~~~~~~~~~
 
@@ -138,6 +154,9 @@ Added vector type and instructions that manipulate multiple numeric values in pa
 * New injection/projection :ref:`vector instructions <syntax-instr-vec>`: :math:`\K{i}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{f}\!N\!\K{x}\!M\!\K{.splat}`, :math:`\K{i}\!N\!\K{x}\!M\!\K{.bitmask}`
 
 
+.. [#proposal-threads]
+   https://github.com/WebAssembly/spec/tree/main/proposals/threads/
+
 .. [#proposal-signext]
    https://github.com/WebAssembly/spec/tree/main/proposals/sign-extension-ops/
 

document/core/appendix/implementation.rst

@@ -126,6 +126,8 @@ Restrictions on the following dimensions may be imposed during :ref:`execution <
 * the number of allocated :ref:`global instances <syntax-globalinst>`
 * the size of a :ref:`table instance <syntax-tableinst>`
 * the size of a :ref:`memory instance <syntax-meminst>`
+* the number of threads in the :ref:`global configuration <syntax-config>`
+* the number of :ref:`suspended threads <exec-memory.atomic.waitx>` in the :ref:`global configuration <syntax-config>`
 * the number of :ref:`frames <syntax-frame>` on the :ref:`stack <stack>`
 * the number of :ref:`labels <syntax-label>` on the :ref:`stack <stack>`
 * the number of :ref:`values <syntax-val>` on the :ref:`stack <stack>`

document/core/appendix/index-types.rst

@@ -21,6 +21,6 @@ Category                                  Constructor
 (reserved)                                                                             :math:`\hex{5F}` .. :math:`\hex{41}`
 :ref:`Result type <syntax-resulttype>`    :math:`[\epsilon]`                           :math:`\hex{40}` (-64 as |Bs7|)
 :ref:`Table type <syntax-tabletype>`      :math:`\limits~\reftype`                     (none)
-:ref:`Memory type <syntax-memtype>`       :math:`\limits`                              (none)
+:ref:`Memory type <syntax-memtype>`       :math:`\limits~\share`                       (none)
 :ref:`Global type <syntax-globaltype>`    :math:`\mut~\valtype`                        (none)
 ========================================  ===========================================  ===============================================================================