table_stats.h File Reference

#include "struct_manager.h"

Data Structures
struct	NodeStats
struct	HashStats
struct	NumSubOps
Defines
#define	NodeStats_NumBlocks(NS)   ( (NS).nBlocks )
#define	NodeStats_NumAllocNodes(NS)   ( (NS).nAlloced )
#define	NodeStats_NumFreeNodes(NS)   ( (NS).nFree )
#define	NodeStats_NumUsedNodes(NS)   ( (NS).nAlloced - (NS).nFree )
#define	NodeStats_NodeSize(NS)   ( (NS).size )
#define	NodeStats_SizeAllocNodes(NS)
#define	NodeStats_SizeFreeNodes(NS)
#define	NodeStats_SizeUsedNodes(NS)
#define	HashStats_NumBlocks(HS)   NodeStats_NumBlocks((HS).hdr)
#define	HashStats_NumAllocHeaders(HS)   NodeStats_NumAllocNodes((HS).hdr)
#define	HashStats_NumFreeHeaders(HS)   NodeStats_NumFreeNodes((HS).hdr)
#define	HashStats_NumUsedHeaders(HS)   NodeStats_NumUsedNodes((HS).hdr)
#define	HashStats_HeaderSize(HS)   NodeStats_NodeSize((HS).hdr)
#define	HashStats_SizeAllocHeaders(HS)   NodeStats_SizeAllocNodes((HS).hdr)
#define	HashStats_SizeUsedHeaders(HS)   NodeStats_SizeUsedNodes((HS).hdr)
#define	HashStats_SizeFreeHeaders(HS)   NodeStats_SizeFreeNodes((HS).hdr)
#define	HashStats_NumBuckets(HS)   ( (HS).ttlBkts )
#define	HashStats_NonEmptyBuckets(HS)   ( (HS).ttlUsedBkts )
#define	HashStats_EmptyBuckets(HS)   ( (HS).ttlBkts - (HS).ttlUsedBkts )
#define	HashStats_TotalOccupancy(HS)   ( (HS).occupancy )
#define	HashStats_BucketSize(HS)   ( (HS).bktSize )
#define	HashStats_SizeAllocBuckets(HS)
#define	HashStats_SizeAllocTotal(HS)
#define	HashStats_SizeUsedTotal(HS)
#define	HashStats_SizeFreeTotal(HS)   HashStats_SizeFreeHeaders(HS)
#define	CurrentTotalTableSpaceAlloc(BTN, BTHT, VARSF, PRODSF, CONSSF,ALN, TSTN, TSTHT, TSI)
#define	CurrentTotalTableSpaceUsed(BTN, BTHT, VARSF, PRODSF, CONSSF,ALN, TSTN, TSTHT, TSI)
#define	INIT_NUMSUBOPS   { {0,0,{0,0},{0,0}}, {0,0}, 0, 0 }
#define	NumSubOps_CallCheckInsert   numSubOps.CallCI.total
#define	NumSubOps_CallToCompletedTable   numSubOps.CallCI.complete
#define	NumSubOps_ProducerCall   numSubOps.CallCI.producer.n
#define	NumSubOps_VariantCall   numSubOps.CallCI.producer.vrnt
#define	NumSubOps_SubsumedCall   numSubOps.CallCI.subsumed.total
#define	NumSubOps_SubsumedCallEntry   numSubOps.CallCI.subsumed.entry
#define	NumSubOps_AnswerCheckInsert   numSubOps.AnsCI.total
#define	NumSubOps_AnswerInsert   numSubOps.AnsCI.inserts
#define	NumSubOps_AnswerConsumption   numSubOps.consumption
#define	NumSubOps_IdentifyRelevantAnswers   numSubOps.identify
Functions
void	print_detailed_tablespace_stats (CTXTdecl)
void	reset_maximum_tablespace_stats (void)
void	compute_maximum_tablespace_stats (CTXTdecl)
void	update_maximum_tablespace_stats (NodeStats *btn, HashStats *btht, NodeStats *varsf, NodeStats *prodsf, NodeStats *conssf, NodeStats *aln, NodeStats *tstn, HashStats *tstht, NodeStats *tsi)
counter	maximum_answer_list_nodes (void)
counter	maximum_timestamp_index_nodes (void)
unsigned long	maximum_total_tablespace_usage (void)
void	reset_subsumption_stats (void)
void	print_detailed_subsumption_stats (void)
Variables
NodeStats	subgoal_statistics (CTXTdeclc Structure_Manager *)
NodeStats	node_statistics (Structure_Manager *)
HashStats	hash_statistics (Structure_Manager *)
NumSubOps	numSubOps

---

Define Documentation

#define CurrentTotalTableSpaceAlloc (  BTN, BTHT, VARSF, PRODSF, CONSSF, ALN, TSTN, TSTHT, TSI   )

Value: ( NodeStats_SizeAllocNodes(BTN) + HashStats_SizeAllocTotal(BTHT) + \ NodeStats_SizeAllocNodes(VARSF) + NodeStats_SizeAllocNodes(PRODSF) + \ NodeStats_SizeAllocNodes(CONSSF) + NodeStats_SizeAllocNodes(ALN) + \ NodeStats_SizeAllocNodes(TSTN) + HashStats_SizeAllocTotal(TSTHT) + \ NodeStats_SizeAllocNodes(TSI) )

#define CurrentTotalTableSpaceUsed (  BTN, BTHT, VARSF, PRODSF, CONSSF, ALN, TSTN, TSTHT, TSI   )

Value: ( NodeStats_SizeUsedNodes(BTN) + HashStats_SizeUsedTotal(BTHT) + \ NodeStats_SizeUsedNodes(VARSF) + NodeStats_SizeUsedNodes(PRODSF) + \ NodeStats_SizeUsedNodes(CONSSF) + NodeStats_SizeUsedNodes(ALN) + \ NodeStats_SizeUsedNodes(TSTN) + HashStats_SizeUsedTotal(TSTHT) + \ NodeStats_SizeUsedNodes(TSI) )

#define HashStats_BucketSize (  HS   )     ( (HS).bktSize )

#define HashStats_EmptyBuckets (  HS   )     ( (HS).ttlBkts - (HS).ttlUsedBkts )

#define HashStats_HeaderSize (  HS   )     NodeStats_NodeSize((HS).hdr)

#define HashStats_NonEmptyBuckets (  HS   )     ( (HS).ttlUsedBkts )

#define HashStats_NumAllocHeaders (  HS   )     NodeStats_NumAllocNodes((HS).hdr)

#define HashStats_NumBlocks (  HS   )     NodeStats_NumBlocks((HS).hdr)

#define HashStats_NumBuckets (  HS   )     ( (HS).ttlBkts )

#define HashStats_NumFreeHeaders (  HS   )     NodeStats_NumFreeNodes((HS).hdr)

#define HashStats_NumUsedHeaders (  HS   )     NodeStats_NumUsedNodes((HS).hdr)

#define HashStats_SizeAllocBuckets (  HS   )

Value: ( HashStats_NumBuckets(HS) * \ HashStats_BucketSize(HS) )

#define HashStats_SizeAllocHeaders (  HS   )     NodeStats_SizeAllocNodes((HS).hdr)

#define HashStats_SizeAllocTotal (  HS   )

Value: ( HashStats_SizeAllocHeaders(HS) + \ HashStats_SizeAllocBuckets(HS) )

#define HashStats_SizeFreeHeaders (  HS   )     NodeStats_SizeFreeNodes((HS).hdr)

#define HashStats_SizeFreeTotal (  HS   )     HashStats_SizeFreeHeaders(HS)

#define HashStats_SizeUsedHeaders (  HS   )     NodeStats_SizeUsedNodes((HS).hdr)

#define HashStats_SizeUsedTotal (  HS   )

Value: ( HashStats_SizeUsedHeaders(HS) + \ HashStats_SizeAllocBuckets(HS) )

#define HashStats_TotalOccupancy (  HS   )     ( (HS).occupancy )

#define INIT_NUMSUBOPS   { {0,0,{0,0},{0,0}}, {0,0}, 0, 0 }

#define NodeStats_NodeSize (  NS   )     ( (NS).size )

#define NodeStats_NumAllocNodes (  NS   )     ( (NS).nAlloced )

#define NodeStats_NumBlocks (  NS   )     ( (NS).nBlocks )

#define NodeStats_NumFreeNodes (  NS   )     ( (NS).nFree )

#define NodeStats_NumUsedNodes (  NS   )     ( (NS).nAlloced - (NS).nFree )

#define NodeStats_SizeAllocNodes (  NS   )

Value: ( NodeStats_NumAllocNodes(NS) \ * NodeStats_NodeSize(NS) )

#define NodeStats_SizeFreeNodes (  NS   )

Value: ( NodeStats_NumFreeNodes(NS) \ * NodeStats_NodeSize(NS) )

#define NodeStats_SizeUsedNodes (  NS   )

Value: ( NodeStats_NumUsedNodes(NS) \ * NodeStats_NodeSize(NS) )

#define NumSubOps_AnswerCheckInsert   numSubOps.AnsCI.total

#define NumSubOps_AnswerConsumption   numSubOps.consumption

#define NumSubOps_AnswerInsert   numSubOps.AnsCI.inserts

#define NumSubOps_CallCheckInsert   numSubOps.CallCI.total

#define NumSubOps_CallToCompletedTable   numSubOps.CallCI.complete

#define NumSubOps_IdentifyRelevantAnswers   numSubOps.identify

#define NumSubOps_ProducerCall   numSubOps.CallCI.producer.n

#define NumSubOps_SubsumedCall   numSubOps.CallCI.subsumed.total

#define NumSubOps_SubsumedCallEntry   numSubOps.CallCI.subsumed.entry

#define NumSubOps_VariantCall   numSubOps.CallCI.producer.vrnt

---

Function Documentation

void compute_maximum_tablespace_stats (  CTXTdecl   )

counter maximum_answer_list_nodes (  void   )

counter maximum_timestamp_index_nodes (  void   )

unsigned long maximum_total_tablespace_usage (  void   )

void print_detailed_subsumption_stats (  void   )

void print_detailed_tablespace_stats (  CTXTdecl   )

void reset_maximum_tablespace_stats (  void   )

void reset_subsumption_stats (  void   )

void update_maximum_tablespace_stats (  NodeStats *  btn, HashStats *  btht, NodeStats *  varsf, NodeStats *  prodsf, NodeStats *  conssf, NodeStats *  aln, NodeStats *  tstn, HashStats *  tstht, NodeStats *  tsi )

---

Variable Documentation

HashStats hash_statistics(Structure_Manager *)

NodeStats node_statistics(Structure_Manager *)

NumSubOps numSubOps

NodeStats subgoal_statistics(CTXTdeclc Structure_Manager *)

---