DSDManager.c File Reference

#include <stdio.h>
#include "DSDManager.h"

Functions
DSDNode **	Create_DSD_Table (int size)
void	delete_actual_list (DSDManager *manager, DSDNode *dsd)
void	delete_support (DSDNode *dsd)
void	Destroy_DSD_Table (DSDManager *manager, DSDNode **DSDTable, int size)
void	purge_triggered_stat_update (DSDManager *manager)
void	Purge_Derefs (DSDManager *manager)
void	__DSD_RecursiveDeref (DSDManager *manager, DSDNode *dsd)
void	recursive_deref (DSDManager *manager, DSDNode *dsd2)
void	__DSD_Ref (DSDManager *manager, DSDNode *dsd)
DSDNode *	find_DSD_node (DSDManager *manager, DdNode *bdd)
DSDNode *	create_DSD_node (DSDManager *manager, DdNode *bdd)
void	__DSD_Quit (DSDManager *manager)
DSDManager *	__DSD_Init (DdManager *manager, int_32 recommendation_size)
Variables
FixHeapPtr	dsd_malloc_ptr
FixHeapPtr	actual_malloc_ptr

---

Function Documentation

DSDManager* __DSD_Init (  DdManager *  manager, int_32  recommendation_size )

Internal function used to initialize the various caches and structures in STACCATO

void __DSD_Quit (  DSDManager *  manager  )

Internal function used to reclaim memory and destroy outstanding data structures in the given STACCATO manager

void __DSD_RecursiveDeref (  DSDManager *  manager, DSDNode *  dsd )

Internal function used to dereference a DSD node

void __DSD_Ref (  DSDManager *  manager, DSDNode *  dsd )

Internal function used to reference a DSD node

DSDNode* create_DSD_node (  DSDManager *  manager, DdNode *  bdd )

Internal function to create a new blank DSD node and insert this newly created DSD node into the unique table

DSDNode** Create_DSD_Table (  int  size  )

Internal funnction called by __DSD_Init that creates the unique table used to store DSD nodes

void delete_actual_list (  DSDManager *  manager, DSDNode *  dsd )

Internal function called by Purge_Derefs to reclaim memory used to allocate the actuals list of a deleted DSD node

void delete_support (  DSDNode *  dsd  )

void Destroy_DSD_Table (  DSDManager *  manager, DSDNode **  , int  size )

Internal function called by __DSD_Quit to destroy unique table used to store DSD nodes

DSDNode* find_DSD_node (  DSDManager *  manager, DdNode *  bdd )

This function finds a DSD node corresponding to the given BDD. If none exists, 0 is returned.

void Purge_Derefs (  DSDManager *  manager  )

Internal function called periodically to remove dead DSD nodes--garbage cleaning

void purge_triggered_stat_update (  DSDManager *  manager  )

void recursive_deref (  DSDManager *  manager, DSDNode *  dsd )

Internal function called by __DSD_RecursiveDeref if the current DSD reference count reaches 0

---

Variable Documentation

FixHeapPtr actual_malloc_ptr

FixHeapPtr dsd_malloc_ptr

---