mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-20 11:33:09 -08:00
Code Issues Projects Releases Wiki Activity

Merge branch 'branch/2020-08-23/walk-docs'

Browse source
This commit is contained in:
Gareth Rees 2020-08-30 08:43:38 +01:00
commit d2db8ae090
1 changed files with 20 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

31
mps/manual/source/topic/format.rst
View file

@ -510,22 +510,27 @@ Object format introspection
class's discretion: the stepper function must handle this
case.
.. note::
This function is intended for heap analysis, tuning, and
debugging, not for frequent use in production.
.. warning::
The callback function must obey the restrictions documented
under :c:type:`mps_formatted_objects_stepper_t`.
If a garbage collection is currently in progress (that is, if
the arena is in the :term:`clamped <clamped state>` or
:term:`unclamped state`), then only objects that are known to
be currently valid are visited.
For the most reliable results, ensure the arena is in the
:term:`parked state` by calling :c:func:`mps_arena_park`
before calling this function (and release it by calling
:c:func:`mps_arena_release` afterwards, if desired).
If you need to be certain that all objects are visited, or if
the callback function needs to follow references from the
object to automatically managed memory, you must ensure that
the arena is in the :term:`parked state` by calling
:c:func:`mps_arena_park` before calling this function (and
release it by calling :c:func:`mps_arena_release` afterwards,
if desired).
If your application has requirements for introspection that
can't be met under these restrictions, :ref:`contact us
<contact>`.
.. c:type:: void (*mps_formatted_objects_stepper_t)(mps_addr_t addr, mps_fmt_t fmt, mps_pool_t pool, void *p, size_t s)
@ -554,6 +559,10 @@ Object format introspection
b. memory managed by the MPS that is in pools that do not protect
their contents;
c. memory not managed by the MPS;
c. memory not managed by the MPS.
It must not access other memory managed by the MPS.
It must not:
d. access other memory managed by the MPS;
e. modify any of the references in the object.