mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2025-12-17 19:30:38 -08:00
Code Issues Projects Releases Wiki Activity

Fixing basic restructuredtext syntax and reference errors found by tool/checkrst.

Browse source
This commit is contained in:
Richard Brooksby 2023-01-14 00:52:44 +00:00
parent e994fe3f57
commit 446ba2afcc
5 changed files with 7 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
mps/design/poolawl.txt
View file

@ -246,7 +246,7 @@ segment sizes are rounded up to the arena grain size.
_`.fun.awlsegcreate.where`: The segment is allocated using a _`.fun.awlsegcreate.where`: The segment is allocated using a
generation preference, using the generation number stored in the generation preference, using the generation number stored in the
``AWLStruct`` (the ``gen`` field), see `.poolstruct.gen`_ above. ``AWLStruct`` (the ``gen`` field), see `.poolstruct`_ above.
``Res awlSegInit(Seg seg, Pool pool, Addr base, Size size, ArgList args)`` ``Res awlSegInit(Seg seg, Pool pool, Addr base, Size size, ArgList args)``

9
mps/design/protix.txt
View file

@ -88,12 +88,9 @@ okay), the protection is set to ``PROT_READ|PROT_WRITE|PROT_EXEC``.
.. _design.mps.prot.if.set: prot#.if.set .. _design.mps.prot.if.set: prot#.if.set
_`.fun.set.assume.mprotect`: We assume that the call to ``mprotect()`` _`.fun.set.assume.mprotect`: We assume that the call to ``mprotect()``
always succeeds. always succeeds. We should always call the function with valid
arguments (aligned, references to mapped pages, and with an access
_`.fun.set.assume.mprotect`: This is because we should always call the that is compatible with the access of the underlying object).
function with valid arguments (aligned, references to mapped pages,
and with an access that is compatible with the access of the
underlying object).
_`.fun.sync`: ``ProtSync()`` does nothing in this implementation as _`.fun.sync`: ``ProtSync()`` does nothing in this implementation as
``ProtSet()`` sets the protection without any delay. ``ProtSet()`` sets the protection without any delay.

2
mps/design/protocol.txt
View file

@ -569,7 +569,7 @@ following:
A function called by ``SomeClassGet()``. All the class A function called by ``SomeClassGet()``. All the class
initialization code is actually in this function. initialization code is actually in this function.
_`.impl.subclass`: The subclass test `.if.subclass`_ is implemented _`.impl.subclass`: The subclass test `.if.is-subclass`_ is implemented
using an array of superclasses [Cohen_1991]_ giving a fast using an array of superclasses [Cohen_1991]_ giving a fast
constant-time test. (RB_ tried an approach using prime factors constant-time test. (RB_ tried an approach using prime factors
[Gibbs_2004]_ but found that they overflowed in 32-bits too easily to [Gibbs_2004]_ but found that they overflowed in 32-bits too easily to

2
mps/design/shield.txt
View file

@ -257,7 +257,7 @@ _`.proof.sync`: As the depth of a segment cannot be negative
| ⇒ all segments are synced (by `.inv.unsynced.depth`_) | ⇒ all segments are synced (by `.inv.unsynced.depth`_)
_`.proof.access`: If the mutator is running then all segments must be _`.proof.access`: If the mutator is running then all segments must be
synced (`.inv.unsynced.suspend`_). Which means that the hardware synced (`.inv.unsynced.suspended`_). Which means that the hardware
protection (protection mode) must reflect the software protection protection (protection mode) must reflect the software protection
(shield mode). Hence all shielded memory will be hardware protected (shield mode). Hence all shielded memory will be hardware protected
while the mutator is running. This ensures `.prop.mutator.access`_. while the mutator is running. This ensures `.prop.mutator.access`_.

2
mps/procedure/release-build.rst
View file

@ -280,7 +280,7 @@ B. Document History
.. _NB: mailto:nb@ravenbrook.com .. _NB: mailto:nb@ravenbrook.com
.. _RHSK: mailto:rhsk@ravenbrook.com .. _RHSK: mailto:rhsk@ravenbrook.com
.. _GDR: mailto:gdr@ravenbrook.com .. _GDR: mailto:gdr@ravenbrook.com
.. _PNJ mailto:pnj@ravenbrook.com .. _PNJ: mailto:pnj@ravenbrook.com
C. Copyright and License C. Copyright and License
------------------------ ------------------------