mem2.h File Reference

#include "misc/vec/vec.h"

Go to the source code of this file.

Data Structures
struct	Mmr_Flex_t_
struct	Mmr_Fixed_t_
struct	Mmr_Step_t_

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Mmr_Flex_t_	Mmr_Flex_t
	DECLARATIONS ///. More...
typedef struct Mmr_Fixed_t_	Mmr_Fixed_t
typedef struct Mmr_Step_t_	Mmr_Step_t

Functions
static Mmr_Flex_t *	Mmr_FlexStart (int nPageBase)
	FUNCTION DEFINITIONS ///. More...
static void	Mmr_FlexStop (Mmr_Flex_t *p)
static word *	Mmr_FlexEntry (Mmr_Flex_t *p, int h)
static int	Mmr_FlexFetch (Mmr_Flex_t *p, int nWords)
static void	Mmr_FlexRelease (Mmr_Flex_t *p, int h)
static void	Mmr_FixedCreate (Mmr_Fixed_t *p, int nPageBase, int nEntryWords)
static Mmr_Fixed_t *	Mmr_FixedStart (int nPageBase, int nEntryWords)
static void	Mmr_FixedStop (Mmr_Fixed_t *p, int fFreeLast)
static word *	Mmr_FixedEntry (Mmr_Fixed_t *p, int h)
static int	Mmr_FixedFetch (Mmr_Fixed_t *p)
static void	Mmr_FixedRecycle (Mmr_Fixed_t *p, int h)
static int	Mmr_FixedMemory (Mmr_Fixed_t *p)
static Mmr_Step_t *	Mmr_StepStart (int nPageBase, int nWordBase)
static void	Mmr_StepStop (Mmr_Step_t *p)
static word *	Mmr_StepEntry (Mmr_Step_t *p, int h)
static int	Mmr_StepFetch (Mmr_Step_t *p, int nWords)
static void	Mmr_StepRecycle (Mmr_Step_t *p, int h)
static int	Mmr_StepMemory (Mmr_Step_t *p)

Typedef Documentation

typedef struct Mmr_Fixed_t_ Mmr_Fixed_t

Definition at line 34 of file mem2.h.

typedef typedefABC_NAMESPACE_HEADER_START struct Mmr_Flex_t_ Mmr_Flex_t

DECLARATIONS ///.

CFile****************************************************************

FileName [mem2.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Memory management.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id:

mem2.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 33 of file mem2.h.

typedef struct Mmr_Step_t_ Mmr_Step_t

Definition at line 35 of file mem2.h.

Function Documentation

static void Mmr_FixedCreate ( Mmr_Fixed_t *  p, int  nPageBase, int  nEntryWords  )

inlinestatic

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 148 of file mem2.h.

{
    assert( nEntryWords > 0 && nEntryWords < (1 << nPageBase) );
    p->nPageBase   = nPageBase;
    p->PageMask    = (1 << nPageBase) - 1;
    p->nEntryWords = nEntryWords;
}

static word* Mmr_FixedEntry ( Mmr_Fixed_t *  p, int  h  )

inlinestatic

Definition at line 176 of file mem2.h.

{
    assert( h > 0 && h < (Vec_PtrSize(&p->vPages) << p->nPageBase) );
    return (word *)Vec_PtrEntry(&p->vPages, (h >> p->nPageBase)) + (h & p->PageMask);
}

static int Mmr_FixedFetch ( Mmr_Fixed_t *  p )

inlinestatic

Definition at line 181 of file mem2.h.

{
    if ( Vec_IntSize(&p->vFrees) == 0 )
    {
        int i, hEntry = Vec_PtrSize(&p->vPages) << p->nPageBase;
        Vec_PtrPush( &p->vPages, ABC_FALLOC( word, p->PageMask + 1 ) );
        for ( i = 1; i + p->nEntryWords <= p->PageMask; i += p->nEntryWords )
            Vec_IntPush( &p->vFrees, hEntry | i );
        Vec_IntReverseOrder( &p->vFrees );
    }
    p->nEntries++;
    p->nEntriesMax = Abc_MaxInt( p->nEntriesMax, p->nEntries );
    return Vec_IntPop( &p->vFrees );
}

static int Mmr_FixedMemory ( Mmr_Fixed_t *  p )

inlinestatic

Definition at line 201 of file mem2.h.

{
    return Vec_PtrSize(&p->vPages) * (p->PageMask + 1);
}

static void Mmr_FixedRecycle ( Mmr_Fixed_t *  p, int  h  )

inlinestatic

Definition at line 195 of file mem2.h.

{
    p->nEntries--;
    memset( Mmr_FixedEntry(p, h), 0xFF, sizeof(word) * p->nEntryWords );
    Vec_IntPush( &p->vFrees, h );
}

static Mmr_Fixed_t* Mmr_FixedStart ( int  nPageBase, int  nEntryWords  )

inlinestatic

Definition at line 155 of file mem2.h.

{
    Mmr_Fixed_t * p = ABC_CALLOC( Mmr_Fixed_t, 1 );
    Mmr_FixedCreate( p, nPageBase, nEntryWords );
    return p;
}

static void Mmr_FixedStop ( Mmr_Fixed_t *  p, int  fFreeLast  )

inlinestatic

Definition at line 161 of file mem2.h.

{
    word * pPage;
    int i;
    if ( 0 && Vec_PtrSize(&p->vPages) )
        printf( "Using %3d pages of %6d words each with %6d entries (max = %6d) of size %d. Total memory = %5.2f MB.\n", 
            Vec_PtrSize(&p->vPages), p->nPageBase ? 1 << p->nPageBase : 0, p->nEntries, p->nEntriesMax, p->nEntryWords,
            1.0 * Vec_PtrSize(&p->vPages) * (1 << p->nPageBase) * 8 / (1 << 20) );
    Vec_PtrForEachEntry( word *, &p->vPages, pPage, i )
        ABC_FREE( pPage );
    ABC_FREE( p->vPages.pArray );
    ABC_FREE( p->vFrees.pArray );
    if ( fFreeLast )
        ABC_FREE( p );
}

static word* Mmr_FlexEntry ( Mmr_Flex_t *  p, int  h  )

inlinestatic

Definition at line 105 of file mem2.h.

{
    assert( h > 0 && h < p->iNext );
    return (word *)Vec_PtrEntry(&p->vPages, (h >> p->nPageBase)) + (h & p->PageMask);
}

static int Mmr_FlexFetch ( Mmr_Flex_t *  p, int  nWords  )

inlinestatic

Definition at line 110 of file mem2.h.

{
    int hEntry;
    assert( nWords > 0 && nWords < p->PageMask );
    if ( p->iNext + nWords >= p->PageMask )
    {
        Vec_PtrPush( &p->vPages, ABC_FALLOC( word, p->PageMask + 1 ) );
        p->iNext = 1;
    }
    hEntry = ((Vec_PtrSize(&p->vPages) - 1) << p->nPageBase) | p->iNext;
    p->iNext += nWords;
    p->nEntries++;
    p->nEntriesMax = Abc_MaxInt( p->nEntriesMax, p->nEntries );
    return hEntry;
}

static void Mmr_FlexRelease ( Mmr_Flex_t *  p, int  h  )

inlinestatic

Definition at line 125 of file mem2.h.

{
    assert( h > 0 && h < p->iNext );
    if ( (h >> p->nPageBase) && Vec_PtrEntry(&p->vPages, (h >> p->nPageBase) - 1) )
    {
        word * pPage = (word *)Vec_PtrEntry(&p->vPages, (h >> p->nPageBase) - 1);
        Vec_PtrWriteEntry( &p->vPages, (h >> p->nPageBase) - 1, NULL );
        ABC_FREE( pPage );
    }
}

static Mmr_Flex_t* Mmr_FlexStart ( int  nPageBase )

inlinestatic

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 83 of file mem2.h.

{
    Mmr_Flex_t * p;
    p = ABC_CALLOC( Mmr_Flex_t, 1 );
    p->nPageBase = nPageBase;
    p->PageMask  = (1 << nPageBase) - 1;
    p->iNext     = (1 << nPageBase);
    return p;
}

static void Mmr_FlexStop ( Mmr_Flex_t *  p )

inlinestatic

Definition at line 92 of file mem2.h.

{
    word * pPage;
    int i;
    if ( 0 && Vec_PtrSize(&p->vPages) )
        printf( "Using %3d pages of %6d words each with %6d entries (max = %6d). Total memory = %5.2f MB.\n", 
            Vec_PtrSize(&p->vPages), p->nPageBase ? 1 << p->nPageBase : 0, p->nEntries, p->nEntriesMax, 
            1.0 * Vec_PtrSize(&p->vPages) * (1 << p->nPageBase) * 8 / (1 << 20) );
    Vec_PtrForEachEntry( word *, &p->vPages, pPage, i )
        ABC_FREE( pPage );
    ABC_FREE( p->vPages.pArray );
    ABC_FREE( p );
}

static word* Mmr_StepEntry ( Mmr_Step_t *  p, int  h  )

inlinestatic

Definition at line 236 of file mem2.h.

{
    assert( (h & p->uMask) > 0 );
    return Mmr_FixedEntry( p->pMems + (h & p->uMask), (h >> p->nBits) );
}

static int Mmr_StepFetch ( Mmr_Step_t *  p, int  nWords  )

inlinestatic

Definition at line 241 of file mem2.h.

{
    assert( nWords > 0 && nWords <= p->uMask );
    p->nEntries++;
    p->nEntriesAll++;
    p->nEntriesMax = Abc_MaxInt( p->nEntriesMax, p->nEntries );
    return (Mmr_FixedFetch(p->pMems + nWords) << p->nBits) | nWords;
}

static int Mmr_StepMemory ( Mmr_Step_t *  p )

inlinestatic

Definition at line 254 of file mem2.h.

{
    int i, Mem = 0;
    for ( i = 1; i <= p->uMask; i++ )
        Mem += Mmr_FixedMemory( p->pMems + i );
    return Mem;
}

static void Mmr_StepRecycle ( Mmr_Step_t *  p, int  h  )

inlinestatic

Definition at line 249 of file mem2.h.

{
    p->nEntries--;
    Mmr_FixedRecycle( p->pMems + (h & p->uMask), (h >> p->nBits) );
}

static Mmr_Step_t* Mmr_StepStart ( int  nPageBase, int  nWordBase  )

inlinestatic

Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 218 of file mem2.h.

{
    char * pMemory = ABC_CALLOC( char, sizeof(Mmr_Step_t) + sizeof(Mmr_Fixed_t) * (1 << nWordBase) );
    Mmr_Step_t * p = (Mmr_Step_t *)pMemory;
    int i;
    p->nBits = nWordBase;
    p->uMask = (1 << nWordBase) - 1;
    for ( i = 1; i <= p->uMask; i++ )
        Mmr_FixedCreate( p->pMems + i, nPageBase, i );
    return p;
}

static void Mmr_StepStop ( Mmr_Step_t *  p )

inlinestatic

Definition at line 229 of file mem2.h.

{
    int i;
    for ( i = 0; i <= p->uMask; i++ )
        Mmr_FixedStop( p->pMems + i, 0 );
    ABC_FREE( p );
}