mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-27 08:43:40 -07:00
Code Issues Projects Releases Wiki Activity

Copy cautions from mps_formatted_objects_stepper_t to mps_amc_apply_stepper_t.

Browse source 
Copied from Perforce
 Change: 180341
 ServerID: perforce.ravenbrook.com
This commit is contained in:
Gareth Rees 2012-11-05 17:45:35 +00:00
parent 5478157880
commit 9e6c5facdb
1 changed files with 10 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

14
mps/manual/source/pool/amc.rst
View file

@ -167,17 +167,23 @@ AMC introspection
debugging, not for frequent use in production.
.. c:type:: void (*mps_amc_apply_stepper_t)(mps_addr_t object, void *p, size_t s)
.. c:type:: void (*mps_amc_apply_stepper_t)(mps_addr_t addr, void *p, size_t s)
The type of a :term:`stepper function` for :term:`formatted
objects` in an AMC pool.
``object`` is the address of an object in the pool.
``addr`` is the address of an object in the pool.
``p`` and ``s`` are the corresponding arguments that were passed
to :c:func:`mps_amc_apply`.
A function of this type may not allocate memory or access any
automatically managed memory except within ``object``.
The function may not call any function in the MPS. It may access:
a. memory inside the object or block pointed to by ``addr``;
b. memory managed by the MPS that is in pools that do not protect
their contents;
c. memory not managed by the MPS;
It must not access other memory managed by the MPS.