mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-04-06 14:22:31 -07:00
Code Issues Projects Releases Wiki Activity

Merging from jackdaw, shield erroneously checks non-invariants, change.dylan.jackdaw.1.170601

Browse source 
Copied from Perforce
 Change: 20563
 ServerID: perforce.ravenbrook.com
This commit is contained in:
David Jones 1999-02-17 15:37:51 +00:00
parent 99eb4a54a8
commit e97938d0de
1 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

18
mps/src/shield.c
View file

@ -1,6 +1,6 @@
/* impl.c.shield: SHIELD IMPLEMENTATION
*
* $HopeName: MMsrc!shield.c(trunk.12) $
* $HopeName: MMsrc!shield.c(trunk.13) $
* Copyright (C) 1997 The Harlequin Group Limited. All rights reserved.
*
* See: idea.shield, design.mps.shield.
@ -73,7 +73,7 @@
#include "mpm.h"
SRCID(shield, "$HopeName: MMsrc!shield.c(trunk.12) $");
SRCID(shield, "$HopeName: MMsrc!shield.c(trunk.13) $");
void (ShieldSuspend)(Arena arena)
@ -179,21 +179,23 @@ static void cache(Arena arena, Seg seg)
void (ShieldRaise) (Arena arena, Seg seg, AccessSet mode)
{
AVERT(Arena, arena);
AVERT(Seg, seg);
/* .seg.broken: Seg's shield invariants may not be true at */
/* this point (this function is called to enforce them) so we */
/* can't check seg. Nor can we check arena as that checks the */
/* segs in the cache. */
AVER((SegSM(seg) & mode) == AccessSetEMPTY);
SegSetSM(seg, SegSM(seg) | mode); /* inv.prot.shield preserved */
/* ensure inv.unsynced.suspended & inv.unsynced.depth */
cache(arena, seg);
AVERT(Arena, arena);
AVERT(Seg, seg);
}
void (ShieldLower)(Arena arena, Seg seg, AccessSet mode)
{
AVERT(Arena, arena);
AVERT(Seg, seg);
/* Don't check seg or arena, see .seg.broken */
AVER((SegSM(seg) & mode) == mode);
/* synced(seg) is not changed by the following
* preserving inv.unsynced.suspended
@ -201,6 +203,8 @@ void (ShieldLower)(Arena arena, Seg seg, AccessSet mode)
*/
SegSetSM(seg, SegSM(seg) & ~mode);
protLower(arena, seg, mode);
AVERT(Arena, arena);
AVERT(Seg, seg);
}
void (ShieldEnter)(Arena arena)