mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-18 11:50:38 -08:00
Fixed various tagging and cross-referencing errors.
Copied from Perforce Change: 30455 ServerID: perforce.ravenbrook.com
This commit is contained in:
parent
0e2cfd7e35
commit
32f1a93a6a
24 changed files with 33 additions and 33 deletions
|
|
@ -7,7 +7,7 @@
|
||||||
*
|
*
|
||||||
* .purpose: A FIFO queue substrate for <code/poolmv2.c>
|
* .purpose: A FIFO queue substrate for <code/poolmv2.c>
|
||||||
*
|
*
|
||||||
* .design: See <design/poolmv2/>
|
* .design: See <design/poolmvt/>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#include "meter.h"
|
#include "meter.h"
|
||||||
|
|
|
||||||
|
|
@ -5,7 +5,7 @@
|
||||||
*
|
*
|
||||||
* .purpose: A FIFO queue substrate for <code/poolmv2.c>
|
* .purpose: A FIFO queue substrate for <code/poolmv2.c>
|
||||||
*
|
*
|
||||||
* .source: <design/poolmv2/>
|
* .source: <design/poolmvt/>
|
||||||
*/
|
*/
|
||||||
|
|
||||||
#ifndef abq_h
|
#ifndef abq_h
|
||||||
|
|
|
||||||
|
|
@ -3,7 +3,8 @@
|
||||||
* $Id$
|
* $Id$
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* .source: design.mps.bt. */
|
* .source: <design/bt/>
|
||||||
|
*/
|
||||||
|
|
||||||
#ifndef bt_h
|
#ifndef bt_h
|
||||||
#define bt_h
|
#define bt_h
|
||||||
|
|
@ -11,11 +12,10 @@
|
||||||
#include "mpmtypes.h"
|
#include "mpmtypes.h"
|
||||||
|
|
||||||
|
|
||||||
/* design.mps.bt.if.size */
|
/* <design/bt#if.size> */
|
||||||
extern size_t (BTSize)(unsigned long length);
|
extern size_t (BTSize)(unsigned long length);
|
||||||
#define BTSize(n) (((n) + MPS_WORD_WIDTH-1) / MPS_WORD_WIDTH * sizeof(Word))
|
#define BTSize(n) (((n) + MPS_WORD_WIDTH-1) / MPS_WORD_WIDTH * sizeof(Word))
|
||||||
|
|
||||||
|
|
||||||
/* <design/bt/#if.get> */
|
/* <design/bt/#if.get> */
|
||||||
extern Bool (BTGet)(BT bt, Index index);
|
extern Bool (BTGet)(BT bt, Index index);
|
||||||
#define BTGet(a, i) \
|
#define BTGet(a, i) \
|
||||||
|
|
|
||||||
|
|
@ -160,7 +160,7 @@ static Res DebugPoolInit(Pool pool, va_list args)
|
||||||
/* free-checking init */
|
/* free-checking init */
|
||||||
/* @@@@ This parses a user argument, options, so it should really */
|
/* @@@@ This parses a user argument, options, so it should really */
|
||||||
/* go through the MPS interface. The template needs to be copied */
|
/* go through the MPS interface. The template needs to be copied */
|
||||||
/* into Addr memory, to avoid breaking design.mps.type.addr.use. */
|
/* into Addr memory, to avoid breaking <design/type#addr.use>. */
|
||||||
debug->freeSize = options->freeSize;
|
debug->freeSize = options->freeSize;
|
||||||
if (debug->freeSize != 0) {
|
if (debug->freeSize != 0) {
|
||||||
if (PoolAlignment(pool) % debug->freeSize != 0) {
|
if (PoolAlignment(pool) % debug->freeSize != 0) {
|
||||||
|
|
@ -420,7 +420,7 @@ static Res tagAlloc(PoolDebugMixin debug,
|
||||||
UNUSED(pool);
|
UNUSED(pool);
|
||||||
res = PoolAlloc((Addr*)&tag, debug->tagPool, debug->tagSize, FALSE);
|
res = PoolAlloc((Addr*)&tag, debug->tagPool, debug->tagSize, FALSE);
|
||||||
if (res != ResOK) {
|
if (res != ResOK) {
|
||||||
if (withReservoir) { /* design.mps.object-debug.out-of-space */
|
if (withReservoir) { /* <design/object-debug/#out-of-space */
|
||||||
debug->missingTags++;
|
debug->missingTags++;
|
||||||
return ResOK;
|
return ResOK;
|
||||||
} else {
|
} else {
|
||||||
|
|
|
||||||
|
|
@ -21,7 +21,7 @@ void mps_pool_check_fenceposts(mps_pool_t mps_pool)
|
||||||
Pool pool = (Pool)mps_pool;
|
Pool pool = (Pool)mps_pool;
|
||||||
Arena arena;
|
Arena arena;
|
||||||
|
|
||||||
/* CHECKT not AVERT, see design.mps.interface.c.check.space */
|
/* CHECKT not AVERT, see <design/interface-c/#check.space */
|
||||||
AVER(CHECKT(Pool, pool));
|
AVER(CHECKT(Pool, pool));
|
||||||
arena = PoolArena(pool);
|
arena = PoolArena(pool);
|
||||||
|
|
||||||
|
|
@ -41,7 +41,7 @@ void mps_pool_check_free_space(mps_pool_t mps_pool)
|
||||||
Pool pool = (Pool)mps_pool;
|
Pool pool = (Pool)mps_pool;
|
||||||
Arena arena;
|
Arena arena;
|
||||||
|
|
||||||
/* CHECKT not AVERT, see design.mps.interface.c.check.space */
|
/* CHECKT not AVERT, see <design/interface-c/#check.space */
|
||||||
AVER(CHECKT(Pool, pool));
|
AVER(CHECKT(Pool, pool));
|
||||||
arena = PoolArena(pool);
|
arena = PoolArena(pool);
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -141,7 +141,7 @@ static void *test(void *arg, size_t s)
|
||||||
/* <design/poolmrg/#test.promise.ut.churn> */
|
/* <design/poolmrg/#test.promise.ut.churn> */
|
||||||
while (mps_collections(arena) < collectionCOUNT) {
|
while (mps_collections(arena) < collectionCOUNT) {
|
||||||
churn(ap);
|
churn(ap);
|
||||||
/* design.mps.poolmrg.test.promise.ut.drop */
|
/* <design/poolmrg/#test.promise.ut.drop> */
|
||||||
for (i = 0; i < rootCOUNT; ++i) {
|
for (i = 0; i < rootCOUNT; ++i) {
|
||||||
if (root[i] != NULL && state[i] == rootSTATE) {
|
if (root[i] != NULL && state[i] == rootSTATE) {
|
||||||
if (rnd() % finalizationRATE == 0) {
|
if (rnd() % finalizationRATE == 0) {
|
||||||
|
|
|
||||||
|
|
@ -91,7 +91,7 @@ static void arenaDenounce(Arena arena)
|
||||||
AVERT(Arena, arena);
|
AVERT(Arena, arena);
|
||||||
|
|
||||||
/* Temporarily give up the arena lock to avoid deadlock, */
|
/* Temporarily give up the arena lock to avoid deadlock, */
|
||||||
/* see design.mps.thread-safety.deadlock. */
|
/* see <design/thread-safety/#deadlock>. */
|
||||||
ArenaLeave(arena);
|
ArenaLeave(arena);
|
||||||
|
|
||||||
/* Detach the arena from the global list. */
|
/* Detach the arena from the global list. */
|
||||||
|
|
@ -599,7 +599,7 @@ Res ArenaFinalize(Arena arena, Ref obj)
|
||||||
|
|
||||||
/* ArenaDefinalize -- removes one finalization registration of an object
|
/* ArenaDefinalize -- removes one finalization registration of an object
|
||||||
*
|
*
|
||||||
* See design.mps.finalize. */
|
* See <design/finalize>. */
|
||||||
|
|
||||||
Res ArenaDefinalize(Arena arena, Ref obj)
|
Res ArenaDefinalize(Arena arena, Ref obj)
|
||||||
{
|
{
|
||||||
|
|
|
||||||
|
|
@ -152,7 +152,7 @@ extern size_t StringLength(const char *s);
|
||||||
|
|
||||||
/* Version Determination
|
/* Version Determination
|
||||||
*
|
*
|
||||||
* See <design/version/>-library. */
|
* See <design/version-library/>. */
|
||||||
|
|
||||||
extern char *MPSVersion(void);
|
extern char *MPSVersion(void);
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -252,7 +252,7 @@ typedef void (*FormatPadMethod)(Addr base, Size size);
|
||||||
typedef Addr (*FormatClassMethod)(Addr object);
|
typedef Addr (*FormatClassMethod)(Addr object);
|
||||||
|
|
||||||
|
|
||||||
/* Root*Method -- see <design/root/>-interface */
|
/* Root*Method -- see design.mps.root-interface */
|
||||||
/* .root-methods: These methods must match those defined in the */
|
/* .root-methods: These methods must match those defined in the */
|
||||||
/* MPS C Interface. (See <code/mps.h#root-methods>.) */
|
/* MPS C Interface. (See <code/mps.h#root-methods>.) */
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -1408,7 +1408,7 @@ Res AMCFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
EVENT_0(AMCFix);
|
EVENT_0(AMCFix);
|
||||||
|
|
||||||
/* For the moment, assume that the object was already marked. */
|
/* For the moment, assume that the object was already marked. */
|
||||||
/* (See design.mps.fix.protocol.was-marked.) */
|
/* (See <design/fix/#protocol.was-marked>.) */
|
||||||
ss->wasMarked = TRUE;
|
ss->wasMarked = TRUE;
|
||||||
|
|
||||||
/* If the reference is ambiguous, set up the datastructures for */
|
/* If the reference is ambiguous, set up the datastructures for */
|
||||||
|
|
@ -1467,7 +1467,7 @@ Res AMCFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
/* object is not preserved yet (neither moved, nor nailed) */
|
/* object is not preserved yet (neither moved, nor nailed) */
|
||||||
/* so should be preserved by forwarding */
|
/* so should be preserved by forwarding */
|
||||||
EVENT_A(AMCFixForward, newRef);
|
EVENT_A(AMCFixForward, newRef);
|
||||||
/* design.mps.fix.protocol.was-marked */
|
/* <design/fix/#protocol.was-marked> */
|
||||||
ss->wasMarked = FALSE;
|
ss->wasMarked = FALSE;
|
||||||
|
|
||||||
/* Get the forwarding buffer from the object's generation. */
|
/* Get the forwarding buffer from the object's generation. */
|
||||||
|
|
@ -1555,7 +1555,7 @@ static Res AMCHeaderFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
EVENT_0(AMCFix);
|
EVENT_0(AMCFix);
|
||||||
|
|
||||||
/* For the moment, assume that the object was already marked. */
|
/* For the moment, assume that the object was already marked. */
|
||||||
/* (See design.mps.fix.protocol.was-marked.) */
|
/* (See <design/fix/#protocol.was-marked>.) */
|
||||||
ss->wasMarked = TRUE;
|
ss->wasMarked = TRUE;
|
||||||
|
|
||||||
/* If the reference is ambiguous, set up the datastructures for */
|
/* If the reference is ambiguous, set up the datastructures for */
|
||||||
|
|
@ -1613,7 +1613,7 @@ static Res AMCHeaderFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
/* object is not preserved yet (neither moved, nor nailed) */
|
/* object is not preserved yet (neither moved, nor nailed) */
|
||||||
/* so should be preserved by forwarding */
|
/* so should be preserved by forwarding */
|
||||||
EVENT_A(AMCFixForward, newRef);
|
EVENT_A(AMCFixForward, newRef);
|
||||||
/* design.mps.fix.protocol.was-marked */
|
/* <design/fix/#protocol.was-marked> */
|
||||||
ss->wasMarked = FALSE;
|
ss->wasMarked = FALSE;
|
||||||
|
|
||||||
/* Get the forwarding buffer from the object's generation. */
|
/* Get the forwarding buffer from the object's generation. */
|
||||||
|
|
|
||||||
|
|
@ -713,7 +713,7 @@ static Res LOFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
loseg = SegLOSeg(seg);
|
loseg = SegLOSeg(seg);
|
||||||
AVERT_CRITICAL(LOSeg, loseg);
|
AVERT_CRITICAL(LOSeg, loseg);
|
||||||
|
|
||||||
ss->wasMarked = TRUE; /* design.mps.fix.protocol.was-marked */
|
ss->wasMarked = TRUE; /* <design/fix/#protocol.was-marked> */
|
||||||
|
|
||||||
clientRef = *refIO;
|
clientRef = *refIO;
|
||||||
base = AddrSub((Addr)clientRef, pool->format->headerSize);
|
base = AddrSub((Addr)clientRef, pool->format->headerSize);
|
||||||
|
|
@ -738,7 +738,7 @@ static Res LOFix(Pool pool, ScanState ss, Seg seg, Ref *refIO)
|
||||||
Size i = AddrOffset(SegBase(seg), base) >> lo->alignShift;
|
Size i = AddrOffset(SegBase(seg), base) >> lo->alignShift;
|
||||||
|
|
||||||
if(!BTGet(loseg->mark, i)) {
|
if(!BTGet(loseg->mark, i)) {
|
||||||
ss->wasMarked = FALSE; /* design.mps.fix.protocol.was-marked */
|
ss->wasMarked = FALSE; /* <design/fix/#protocol.was-marked> */
|
||||||
if(ss->rank == RankWEAK) {
|
if(ss->rank == RankWEAK) {
|
||||||
*refIO = (Addr)0;
|
*refIO = (Addr)0;
|
||||||
} else {
|
} else {
|
||||||
|
|
|
||||||
|
|
@ -6,7 +6,7 @@
|
||||||
* .purpose: This is the implementation of the root datatype.
|
* .purpose: This is the implementation of the root datatype.
|
||||||
*
|
*
|
||||||
* .design: For design, see <design/root/> and
|
* .design: For design, see <design/root/> and
|
||||||
* <design/root/>-interface. */
|
* design.mps.root-interface. */
|
||||||
|
|
||||||
#include "mpm.h"
|
#include "mpm.h"
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* This scans the stack and fixes the registers which may contain
|
* This scans the stack and fixes the registers which may contain
|
||||||
* roots. See design.mps.thread-manager
|
* roots. See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* The registers edi, esi, ebx are the registers defined to be preserved
|
* The registers edi, esi, ebx are the registers defined to be preserved
|
||||||
* across function calls and therefore may contain roots.
|
* across function calls and therefore may contain roots.
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* This scans the stack and fixes the registers which may contain
|
* This scans the stack and fixes the registers which may contain
|
||||||
* roots. See design.mps.thread-manager
|
* roots. See <design/thread-manager/>
|
||||||
*
|
*
|
||||||
* The registers edi, esi, ebx are the registers defined to be preserved
|
* The registers edi, esi, ebx are the registers defined to be preserved
|
||||||
* across function calls and therefore may contain roots.
|
* across function calls and therefore may contain roots.
|
||||||
|
|
|
||||||
|
|
@ -5,7 +5,7 @@
|
||||||
! Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
! Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
!
|
!
|
||||||
! This scans the stack and the preserved integer registers.
|
! This scans the stack and the preserved integer registers.
|
||||||
! See design.mps.thread-manager
|
! See <design/thread-manager/>.
|
||||||
!
|
!
|
||||||
! This file is identical to <code/sssus8.s>, except for the
|
! This file is identical to <code/sssus8.s>, except for the
|
||||||
! leading underscore convention on C names. They should be
|
! leading underscore convention on C names. They should be
|
||||||
|
|
|
||||||
|
|
@ -5,7 +5,7 @@
|
||||||
* Portions copyright (c) 2002 Global Graphics Software.
|
* Portions copyright (c) 2002 Global Graphics Software.
|
||||||
*
|
*
|
||||||
* This scans the stack and fixes the registers which may contain
|
* This scans the stack and fixes the registers which may contain
|
||||||
* roots. See design.mps.thread-manager.
|
* roots. See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* .roots: The non-global registers are preserved into the stackframe
|
* .roots: The non-global registers are preserved into the stackframe
|
||||||
* by the "ta 3" instruction. This leaves the global registers.
|
* by the "ta 3" instruction. This leaves the global registers.
|
||||||
|
|
|
||||||
|
|
@ -5,7 +5,7 @@
|
||||||
! Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
! Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
!
|
!
|
||||||
! This scans the stack and the preserved integer registers.
|
! This scans the stack and the preserved integer registers.
|
||||||
! See design.mps.thread-manager
|
! See <design/thread-manager/>.
|
||||||
!
|
!
|
||||||
! This file is identical to <code/sssos8.s>, except for the
|
! This file is identical to <code/sssos8.s>, except for the
|
||||||
! leading underscore convention on C names. They should be
|
! leading underscore convention on C names. They should be
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* This scans the stack and fixes the registers which may contain
|
* This scans the stack and fixes the registers which may contain
|
||||||
* roots. See design.mps.thread-manager
|
* roots. See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* The registers edi, esi, ebx are the registers defined to be preserved
|
* The registers edi, esi, ebx are the registers defined to be preserved
|
||||||
* across function calls and therefore may contain roots.
|
* across function calls and therefore may contain roots.
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* .purpose: Provides thread suspension facilities to the shield.
|
* .purpose: Provides thread suspension facilities to the shield.
|
||||||
* See design.mps.thread-manager. Each thread has to be
|
* See <design/thread-manager/>. Each thread has to be
|
||||||
* individually registered and deregistered with an arena.
|
* individually registered and deregistered with an arena.
|
||||||
*/
|
*/
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -5,7 +5,7 @@
|
||||||
*
|
*
|
||||||
* This is a single-threaded implementation of the threads manager.
|
* This is a single-threaded implementation of the threads manager.
|
||||||
* Has stubs for thread suspension.
|
* Has stubs for thread suspension.
|
||||||
* See design.mps.thread-manager.
|
* See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* .single: We only expect at most one thread on the ring.
|
* .single: We only expect at most one thread on the ring.
|
||||||
*
|
*
|
||||||
|
|
|
||||||
|
|
@ -6,7 +6,7 @@
|
||||||
* .purpose: This is a pthreads implementation of the threads manager.
|
* .purpose: This is a pthreads implementation of the threads manager.
|
||||||
* This implements <code/th.h>.
|
* This implements <code/th.h>.
|
||||||
*
|
*
|
||||||
* .design: See design.mps.thread-manager.
|
* .design: See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* .thread.id: The thread id is used to identify the current thread.
|
* .thread.id: The thread id is used to identify the current thread.
|
||||||
*
|
*
|
||||||
|
|
|
||||||
|
|
@ -6,7 +6,7 @@
|
||||||
* .purpose: This is a pthreads implementation of the threads manager.
|
* .purpose: This is a pthreads implementation of the threads manager.
|
||||||
* This implements <code/th.h>.
|
* This implements <code/th.h>.
|
||||||
*
|
*
|
||||||
* .design: See design.mps.thread-manager.
|
* .design: See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* .thread.id: The thread id is used to identify the current thread.
|
* .thread.id: The thread id is used to identify the current thread.
|
||||||
*
|
*
|
||||||
|
|
|
||||||
|
|
@ -4,7 +4,7 @@
|
||||||
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
* Copyright (c) 2001 Ravenbrook Limited. See end of file for license.
|
||||||
*
|
*
|
||||||
* Implements thread registration, suspension, and stack
|
* Implements thread registration, suspension, and stack
|
||||||
* scanning. See design.mps.thread-manager
|
* scanning. See <design/thread-manager/>.
|
||||||
*
|
*
|
||||||
* This supports the <code/th.h>
|
* This supports the <code/th.h>
|
||||||
*
|
*
|
||||||
|
|
|
||||||
|
|
@ -249,7 +249,7 @@ extern Bool TractNext(Tract *tractReturn, Arena arena, Addr addr);
|
||||||
|
|
||||||
/* TRACT_TRACT_FOR -- iterate over a range of tracts
|
/* TRACT_TRACT_FOR -- iterate over a range of tracts
|
||||||
*
|
*
|
||||||
* See <design/arena/#tract-iter.if.macro>.
|
* See <design/arena-tract-iter/#if.macro>.
|
||||||
* Parameters arena & limit are evaluated multiple times.
|
* Parameters arena & limit are evaluated multiple times.
|
||||||
* Check first tract & last tract lie with the same chunk.
|
* Check first tract & last tract lie with the same chunk.
|
||||||
*/
|
*/
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue