gc_mark.h File Reference


Defines

#define TO_BUFFER(ptr)
#define h_mark(i)   heap_marks[i] |= MARKED
#define h_marked(i)   (heap_marks[i])
#define h_clear_mark(i)   heap_marks[i] &= ~MARKED
#define ls_marked(i)   (ls_marks[i])
#define ls_mark(i)   ls_marks[i] |= MARKED
#define ls_clear_mark(i)   ls_marks[i] = 0
#define tr_marked(i)   (tr_marks[i])
#define tr_mark(i)   tr_marks[i] |= MARKED
#define tr_clear_mark(i)   tr_marks[i] &= ~MARKED
#define tr_mark_pre(i)   tr_marks[i] |= TRAIL_PRE
#define tr_clear_pre_mark(i)   tr_marks[i] &= ~TRAIL_PRE
#define tr_pre_marked(i)   (tr_marks[i] & TRAIL_PRE)
#define cp_marked(i)   (cp_marks[i])
#define cp_mark(i)   cp_marks[i] |= MARKED
#define cp_clear_mark(i)   cp_marks[i] &= ~MARKED
#define MAXS   3700
#define push_to_mark(p)   mark_stack[mark_top++] = p
#define mark_overflow   (mark_top >= MAXS)
#define mark_trie_strings_for(SM, BType, pStruct, apStruct)

Functions

PrRef dynpredep_to_prref (CTXTdeclc void *pred_ep)
ClRef db_get_clause_code_space (PrRef, ClRef, CPtr *, CPtr *)
void mark_findall_strings (CTXTdecl)
void mark_open_filenames ()
void mark_hash_table_strings (CTXTdecl)
static CPtr pointer_from_cell (Cell cell, int *tag, int *whereto)
static char * pr_h_marked (CPtr cell_ptr)
static char * pr_ls_marked (CPtr cell_ptr)
static char * pr_cp_marked (CPtr cell_ptr)
static char * pr_tr_marked (CPtr cell_ptr)
static int mark_cell (CPtr cell_ptr)
static int mark_root (Cell cell_val)
static int mark_region (CPtr beginp, CPtr endp)
static unsigned long mark_trail_section (CPtr begintr, CPtr endtr)
static int mark_query (CTXTdecl)
static int mark_hreg_from_choicepoints (CTXTdecl)
static int mark_from_attv_array (CTXTdecl)
int mark_heap (CTXTdeclc int arity, int *marked_dregs)
void mark_trie_strings (CTXTdecl)
void mark_code_strings (int pflag, CPtr inst_addr, CPtr end_addr)
void mark_atom_and_code_strings (CTXTdecl)
void mark_nonheap_strings (CTXTdecl)

Variables

Structure_Manager smTSTN
Structure_Manager smTableBTN
Structure_Manager smAssertBTN

Define Documentation

#define cp_clear_mark i   )     cp_marks[i] &= ~MARKED
 

#define cp_mark i   )     cp_marks[i] |= MARKED
 

#define cp_marked i   )     (cp_marks[i])
 

#define h_clear_mark i   )     heap_marks[i] &= ~MARKED
 

#define h_mark i   )     heap_marks[i] |= MARKED
 

#define h_marked i   )     (heap_marks[i])
 

#define ls_clear_mark i   )     ls_marks[i] = 0
 

#define ls_mark i   )     ls_marks[i] |= MARKED
 

#define ls_marked i   )     (ls_marks[i])
 

#define mark_overflow   (mark_top >= MAXS)
 

#define mark_trie_strings_for SM,
BType,
pStruct,
apStruct   ) 
 

#define MAXS   3700
 

#define push_to_mark  )     mark_stack[mark_top++] = p
 

#define TO_BUFFER ptr   ) 
 

#define tr_clear_mark i   )     tr_marks[i] &= ~MARKED
 

#define tr_clear_pre_mark i   )     tr_marks[i] &= ~TRAIL_PRE
 

#define tr_mark i   )     tr_marks[i] |= MARKED
 

#define tr_mark_pre i   )     tr_marks[i] |= TRAIL_PRE
 

#define tr_marked i   )     (tr_marks[i])
 

#define tr_pre_marked i   )     (tr_marks[i] & TRAIL_PRE)
 


Function Documentation

ClRef db_get_clause_code_space PrRef  ,
ClRef  ,
CPtr ,
CPtr
 

PrRef dynpredep_to_prref CTXTdeclc void *  pred_ep  ) 
 

void mark_atom_and_code_strings CTXTdecl   ) 
 

static int mark_cell CPtr  cell_ptr  )  [static]
 

void mark_code_strings int  pflag,
CPtr  inst_addr,
CPtr  end_addr
 

void mark_findall_strings CTXTdecl   ) 
 

static int mark_from_attv_array CTXTdecl   )  [static]
 

mark_from_attv_array: marks reachable cells from the attributed variables interrupt chain.

Return value: number of marked cells.

void mark_hash_table_strings CTXTdecl   ) 
 

int mark_heap CTXTdeclc int  arity,
int marked_dregs
 

static int mark_hreg_from_choicepoints CTXTdecl   )  [static]
 

void mark_nonheap_strings CTXTdecl   ) 
 

void mark_open_filenames  ) 
 

static int mark_query CTXTdecl   )  [static]
 

static int mark_region CPtr  beginp,
CPtr  endp
[inline, static]
 

static int mark_root Cell  cell_val  )  [static]
 

static unsigned long mark_trail_section CPtr  begintr,
CPtr  endtr
[inline, static]
 

void mark_trie_strings CTXTdecl   ) 
 

static CPtr pointer_from_cell Cell  cell,
int tag,
int whereto
[static]
 

static char* pr_cp_marked CPtr  cell_ptr  )  [inline, static]
 

static char* pr_h_marked CPtr  cell_ptr  )  [inline, static]
 

static char* pr_ls_marked CPtr  cell_ptr  )  [inline, static]
 

static char* pr_tr_marked CPtr  cell_ptr  )  [inline, static]
 


Variable Documentation

Structure_Manager smAssertBTN
 

Structure_Manager smTableBTN
 

Structure_Manager smTSTN
 


Generated on Wed Jul 26 13:26:53 2006 for XSB by  doxygen 1.4.5