| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/algebra/pvsbin/ (Beweissystem der NASA Version 6.0.9©) Datei vom 7.10.2014 mit Größe 40 kB |
|
Impressum gasman_intern.h Sprache: C |
|||||||||
|
/****************************************************************************
** ** This file is part of GAP, a system for computational discrete algebra. ** ** Copyright of GAP belongs to its developers, whose names are too numerous ** to list here. Please refer to the COPYRIGHT file for details. ** ** SPDX-License-Identifier: GPL-2.0-or-later */ #ifndef GAP_GASMAN_INTERN_H #define GAP_GASMAN_INTERN_H #include "gasman.h" #ifndef USE_GASMAN #error This file must only be included if GASMAN is used #endif /**************************************************************************** ** *F MarkBagWeakly(<bag>) . . . . . . . . . . . . . mark a bag as weakly live ** ** 'MarkBagWeakly' is an alternative to MarkBag, intended to be used by the ** marking functions of weak pointer objects. A bag which is marked both ** weakly and strongly is treated as strongly marked. A bag which is only ** weakly marked will be recovered by garbage collection, but its identifier ** remains, marked in a way which can be detected by ** "IsWeakDeadBag". Which should always be checked before copying or ** using such an identifier. */ void MarkBagWeakly(Bag bag); /**************************************************************************** ** *F IsWeakDeadBag(<bag>) . . . . . . . . check if <bag> is a weak dead bag ** ** 'IsWeakDeadBag' checks if <bag> is a master pointer which refers to ** an object which was freed as the only references to it were weak. ** This is used for implement weak pointer references. */ BOOL IsWeakDeadBag(Bag bag); /**************************************************************************** ** ** IS_VALID_BAG_ID ** ** This performs a stricter test than IS_BAG_REF does */ BOOL IS_VALID_BAG_ID(Bag bag); /**************************************************************************** ** ** MASTER_POINTER_NUMBER ** */ UInt MASTER_POINTER_NUMBER(Bag bag); /**************************************************************************** ** ** RESTORE_BAG_CONTENT_POINTER ** */ Bag RESTORE_BAG_CONTENT_POINTER(UInt offset); /**************************************************************************** ** ** GASMAN_USED_MEMORY ** */ UInt GASMAN_USED_MEMORY(void); /**************************************************************************** ** *F InitSweepFuncBags(<type>,<sweep-func>) . . . . install sweeping function ** ** 'InitSweepFuncBags' installs the function <sweep-func> as sweeping ** function for bags of type <type>. ** ** A sweeping function is a function that takes two arguments src and dst of ** type Bag *, and a third, length of type UInt, and returns nothing. When ** it is called, src points to the start of the data area of one bag, and ** dst to another. The function should copy the data from the source bag to ** the destination, making any appropriate changes. ** ** Those functions are applied during the garbage collection to each marked ** bag, i.e., bags that are assumed to be still live to move them to their ** new position. The intended use is for weak pointer bags, which must ** remove references to identifiers of any half-dead objects. ** ** If no function is installed for a TNum, then the data is simply copied ** unchanged and this is done particularly quickly. */ typedef void (* TNumSweepFuncBags ) ( Bag * src, Bag * dst, UInt length); void InitSweepFuncBags(UInt tnum, TNumSweepFuncBags sweep_func); /**************************************************************************** ** *V GlobalBags . . . . . . . . . . . . . . . . . . . . . list of global bags */ #ifndef NR_GLOBAL_BAGS #define NR_GLOBAL_BAGS 20000L #endif typedef struct { Bag * addr [NR_GLOBAL_BAGS]; const Char * cookie [NR_GLOBAL_BAGS]; UInt nr; } TNumGlobalBags; extern TNumGlobalBags GlobalBags; void SortGlobals(void); Bag * GlobalByCookie(const Char * cookie); void StartRestoringBags(UInt nBags, UInt maxSize); Bag NextBagRestoring(UInt type, UInt flags, UInt size); void FinishedRestoringBags(void); /**************************************************************************** ** *F CheckMasterPointers() . . . . . . . . . . . . do some consistency checks ** ** 'CheckMasterPointers' tests for masterpointers which are not one of the ** following: ** ** 0 denoting the end of the free chain ** NewWeakDeadBagMarker denoting the relic of a bag that was weakly ** OldWeakDeadBagMarker but not strongly linked at the last garbage ** collection ** a pointer into the masterpointer area a link on the free chain ** a pointer into the bags area a real object ** */ void CheckMasterPointers(void); /**************************************************************************** ** *F CallbackForAllBags( <func> ) call a C function on all non-zero mptrs ** ** This calls a C function on every bag, including ones that are not ** reachable from the root, and will be deleted at the next garbage ** collection, by simply walking the masterpointer area. Not terribly safe. ** */ void CallbackForAllBags(void (*func)(Bag)); /**************************************************************************** ** */ #ifdef GAP_MEM_CHECK int enableMemCheck(const char * argv[], void * dummy); extern Int EnableMemCheck; #endif /**************************************************************************** ** *F SetStackBottomBags(<stackBottom>) ** ** Helper for the libgap API. ** */ void SetStackBottomBags(void * stackBottom); #endif ¤ Dauer der Verarbeitung: 0.27 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
