diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-28 10:19:12 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-03-28 10:19:12 -0700 |
commit | 38494b41a6298d707858e80ad5d2549230824970 (patch) | |
tree | 7c855cc23dcab85da1078e9baa361b7ea99174ce /src/misc/vec | |
parent | 265e3e5cd4781aca3dad54985afc651172f9d735 (diff) | |
download | abc-38494b41a6298d707858e80ad5d2549230824970.tar.gz abc-38494b41a6298d707858e80ad5d2549230824970.tar.bz2 abc-38494b41a6298d707858e80ad5d2549230824970.zip |
Moving Vec_Set_t to the vector directory.
Diffstat (limited to 'src/misc/vec')
-rw-r--r-- | src/misc/vec/vecSet.h | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/misc/vec/vecSet.h b/src/misc/vec/vecSet.h index d508bf2f..5f8df449 100644 --- a/src/misc/vec/vecSet.h +++ b/src/misc/vec/vecSet.h @@ -40,21 +40,22 @@ ABC_NAMESPACE_HEADER_START //////////////////////////////////////////////////////////////////////// // data-structure for logging entries -// memory is allocated in 2^p->nPageSize word-sized pages -// the first 'word' of each page is used storing additional data -// the first 'int' of additional data stores the word limit -// the second 'int' of the additional data stores the shadow word limit +// memory is allocated in 2^nPageSize word-sized pages +// the first two 'words' of each page are used for bookkeeping +// the first 'word' of bookkeeping data stores the word limit +// the second 'word' of bookkeeping data stores the shadow word limit +// (the shadow word limit is only used during garbage collection) typedef struct Vec_Set_t_ Vec_Set_t; struct Vec_Set_t_ { - int nPageSize; // page size - unsigned uPageMask; // page mask - int nEntries; // entry count - int iPage; // current page - int iPageS; // shadow page - int nPagesAlloc; // page count allocated - word ** pPages; // page pointers + int nPageSize; // page size + unsigned uPageMask; // page mask + int nEntries; // entry count + int iPage; // current page + int iPageS; // shadow page + int nPagesAlloc; // page count allocated + word ** pPages; // page pointers }; //////////////////////////////////////////////////////////////////////// |