Windows NT 4.0 source code leak
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

610 lines
15 KiB

/*****************************************************************************
* *
* BTLOOKUP.C *
* *
* Copyright (C) Microsoft Corporation 1989, 1990. *
* All Rights reserved. *
* *
******************************************************************************
* *
* Module Intent *
* Btree lookup and helper functions. *
*****************************************************************************/
#include "stdafx.h"
#ifdef _DEBUG
#undef THIS_FILE
static char THIS_FILE[] = __FILE__;
#endif
/***************************************************************************\
*
- Function: CbSizeRec( qRec, qbthr )
-
* Purpose: Get the size of a record.
*
* ASSUMES
* args IN: qRec - the record to be sized
* qbthr - btree header containing record format string
*
* PROMISES
* returns: size of the record in bytes
* +++
* Method: If we've never computed the size before, we do so by looking
* at the record format string in the btree header. If the
* record is fixed size, we store the size in the header for
* next time. If it isn't fixed size, we have to look at the
* actual record to determine its size.
*
\***************************************************************************/
int STDCALL CbSizeRec(void* qRec, QBTHR qbthr)
{
char ch;
if (qbthr->cbRecordSize)
return qbthr->cbRecordSize;
BOOL fFixedSize = TRUE;
int cb = 0;
PSTR pszFormat;
for (pszFormat = qbthr->bth.rgchFormat + 1; ch = *pszFormat; pszFormat++) {
if (ch >= '0' && ch <= '9') {
cb += ch - '0';
continue;
}
switch (ch) {
case 'a': case 'b': case 'c': case 'd': case 'e': case 'f':
cb += ch + 10 - 'a';
break;
case 'A': case 'B': case 'C': case 'D': case 'E': case 'F':
cb += ch + 10 - 'A';
break;
case FMT_BYTE_PREFIX:
cb += sizeof(BYTE) + *((PBYTE) qRec + cb);
fFixedSize = FALSE;
break;
case FMT_WORD_PREFIX:
#ifdef _X86_
cb += sizeof(WORD) + *((PWORD) qRec + cb);
#else
{
UNALIGNED WORD *pTemp;
pTemp = (WORD*) qRec + cb;
cb += sizeof(WORD) + *pTemp ;
}
#endif
fFixedSize = FALSE;
break;
case FMT_DWORD_PREFIX:
cb += sizeof(DWORD) + *((UNALIGNED DWORD*) qRec + cb);
if (!*pszFormat)
return cb;
fFixedSize = FALSE;
break;
case FMT_SZ:
cb += strlen((PSTR) qRec + cb) + 1;
if (!pszFormat[1])
return cb;
fFixedSize = FALSE;
break;
default:
// error
ASSERT(FALSE);
break;
}
}
if (fFixedSize)
qbthr->cbRecordSize = cb;
return cb;
}
/***************************************************************************\
*
- Function: FReadBlock( pcache, qbthr )
-
* Purpose: Read a block from the btree file into the cache block.
*
* ASSUMES
* args IN: pcache->bk - bk of block to read
* qbthr->cbBlock - size of disk block to read
*
* PROMISES
* returns: fTruth of success
* args OUT: pcache->db - receives block read in from file
* pcache->bFlags - CACHE_VALID flag set, all others cleared
*
* Side Effects: Fatal exit on read or seek failure (corrupted file or qbthr)
*
* Notes: Doesn't know about real cache, just this block
*
\***************************************************************************/
BOOL STDCALL FReadBlock(PCACHE pcache, QBTHR qbthr)
{
ASSERT(pcache->bk < qbthr->bth.bkEOF);
Ensure(LSeekHf(qbthr->hf, LifFromBk(pcache->bk, qbthr), SEEK_SET),
LifFromBk(pcache->bk, qbthr));
int l = qbthr->bth.cbBlock;
if (LcbReadHf(qbthr->hf, &(pcache->db), (int) qbthr->bth.cbBlock) != l) {
rcBtreeError = (rcFSError == RC_Success ? RC_Invalid : rcFSError);
return FALSE;
}
else {
pcache->bFlags = CACHE_VALID;
rcBtreeError = RC_Success;
return TRUE;
}
}
/***************************************************************************\
*
- Function: RcWriteBlock( pcache, qbthr )
-
* Purpose: Write a cached block to a file.
*
* ASSUMES
* args IN: pcache->db - the block to write
* pcache->bk - bk of block to write
*
* PROMISES
* returns: RC_Success; RC_Failure; RC_DiskFull (when we can detect it)
* args OUT: qbthr->hf - we write to this file
*
* Side Effects: Fatal exit on read or seek failure.
*
* Note: Don't reset dirty flag, because everyone who wants
* that done does it themselves. (?)
*
\***************************************************************************/
RC_TYPE STDCALL RcWriteBlock(PCACHE pcache, QBTHR qbthr)
{
ASSERT(pcache->bk < qbthr->bth.bkEOF);
Ensure(LSeekHf(qbthr->hf, LifFromBk(pcache->bk, qbthr), SEEK_SET),
LifFromBk(pcache->bk, qbthr));
LcbWriteHf(qbthr->hf, &(pcache->db), qbthr->bth.cbBlock);
return rcBtreeError = rcFSError;
}
/***************************************************************************\
*
- Function: QFromBk( bk, wLevel, qbthr )
-
* Purpose: Convert a BK into a pointer to a cache block. Cache the
* block at the given level, if it isn't there already.
*
* ASSUMES
* args IN: bk - BK to convert
* wLevel - btree level
* qbthr -
* state IN: btree cache is locked
*
* PROMISES
* returns: pointer to the cache block, with all fields up to date
* or NULL on I/O error
* state OUT: block will be in cache at specified level; cache locked
*
\***************************************************************************/
PCACHE STDCALL QFromBk(DWORD bk, int wLevel, QBTHR qbthr)
{
ASSERT(wLevel >= 0 && wLevel < qbthr->bth.cLevels);
ASSERT(bk < qbthr->bth.bkEOF);
PCACHE pcache = QCacheBlock(qbthr, wLevel);
if (!(pcache->bFlags & CACHE_VALID) || bk != pcache->bk) {
// requested block is not cached
if (pcache->bFlags & CACHE_DIRTY) {
ASSERT(pcache->bFlags & CACHE_VALID);
if (RcWriteBlock(pcache, qbthr) != RC_Success) {
return NULL;
}
// REVIEW: 11-Jun-1994 [ralphw] I added this line
pcache->bFlags &= ~CACHE_DIRTY;
}
pcache->bk = bk;
if (!FReadBlock(pcache, qbthr))
return NULL;
}
else
rcBtreeError = RC_Success;
return pcache;
}
/***************************************************************************\
*
- Function: RcFlushCache( qbthr )
-
* Purpose: Write out dirty cache blocks
*
* ASSUMES
* args IN: qbthr - pCache is locked
*
* PROMISES
* returns: rc
* globals OUT rcBtreeError
* state OUT: btree file is up to date. cache block dirty flags reset
*
\***************************************************************************/
RC_TYPE STDCALL RcFlushCache(QBTHR qbthr)
{
int i;
PCACHE pcache;
rcBtreeError = RC_Success;
for (i = qbthr->bth.cLevels, pcache = (PCACHE) qbthr->pCache; i > 0;
i--, pcache = (PCACHE)((PBYTE) pcache + CbCacheBlock(qbthr))) {
// write all valid or dirty caches
if (pcache->bFlags & CACHE_DIRTY) {
ASSERT(pcache->bFlags & CACHE_VALID);
if (RcWriteBlock(pcache, qbthr) != RC_Success) {
break;
}
pcache->bFlags &= ~CACHE_DIRTY;
}
}
return rcBtreeError;
}
/***************************************************************************\
*
- Function: RcLookupByKeyAux( qbthr, key, qbtpos, qData, fNormal )
-
* Purpose: Look up a key in a btree and retrieve the data.
*
* ASSUMES
* args IN: qbthr - btree handle
* key - key we are looking up
* qbtpos - pointer to buffer for pos; use NULL if not wanted
* qData - pointer to buffer for record; NULL if not wanted
* fInsert - TRUE: if key would lie between two blocks, pos
* refers to proper place to insert it
* FALSE: pos returned will be valid unless
* key > all keys in btree
* state IN: cache is unlocked
*
* PROMISES
* returns: RC_Success if found, RC_NoExists if not found;
* other errors like RC_OutOfMemory
* args OUT: key found:
* qbtpos - btpos for this key
* qData - record for this key
*
* key not found:
* qbtpos - btpos for first key > this key
* qData - record for first key > this key
*
* key not found, no keys in btree > key:
* qbtpos - invalid (qbtpos->bk == bkNil)
* qData - undefined
* globals OUT rcBtreeError
* state OUT: All ancestor blocks back to root are cached
*
\***************************************************************************/
RC_TYPE STDCALL RcLookupByKeyAux(QBTHR qbthr, KEY key, QBTPOS qbtpos,
void* qData, BOOL fInsert)
{
int wLevel;
BK bk;
if (qbthr->bth.cLevels <= 0) {
if (qbtpos != (QBTPOS) NULL)
qbtpos->bk = bkNil;
return rcBtreeError = RC_NoExists;
}
if (!qbthr->pCache)
RcMakeCache(qbthr);
for (wLevel = 0, bk = qbthr->bth.bkRoot;
bk != bkNil && wLevel < qbthr->bth.cLevels - 1;
wLevel++)
bk = qbthr->BkScanInternal(bk, key, wLevel, qbthr, NULL);
if (bk == bkNil)
return rcBtreeError;
if (qbthr->RcScanLeaf(bk, key, wLevel, qbthr, qData, qbtpos) ==
RC_NoExists && qbtpos && !fInsert) {
PCACHE pcache = QFromBk(qbtpos->bk, qbthr->bth.cLevels - 1, qbthr);
if (pcache) {
// error code was clobbered by QFromBk: restore it
rcBtreeError = RC_NoExists;
if (qbtpos->cKey == pcache->db.cKeys) {
if (qbtpos->bk == qbthr->bth.bkLast) {
qbtpos->bk = bkNil;
}
else {
qbtpos->bk = BkNext(pcache);
qbtpos->cKey = 0;
qbtpos->iKey = 2 * sizeof(BK);
}
}
}
}
return rcBtreeError;
}
/***************************************************************************\
*
- Function: RcLookupByPos( qbthr, qbtpos, key, qRec )
-
* Purpose: Map a pos into a key and rec (both optional).
*
* ASSUMES
* args IN: qbthr - the btree
* qbtpos - pointer to pos
*
* PROMISES
* returns: RC_Success, RC_OutOfMemory
* Note: we assert() if the pos is invalid
* args OUT: key - if not (KEY)NULL, key copied here
* qRec - if not NULL, record copied here
*
\***************************************************************************/
RC_TYPE STDCALL RcLookupByPos(QBTHR qbthr, QBTPOS qbtpos, KEY key, void* qRec)
{
PCACHE pcacheLeaf;
PBYTE qb;
ASSERT(FValidPos(qbtpos));
if (qbthr->bth.cLevels <= 0)
return RC_NoExists;
if (!qbthr->pCache)
RcMakeCache(qbthr);
if (!(pcacheLeaf = QFromBk(qbtpos->bk, qbthr->bth.cLevels - 1, qbthr)))
return rcBtreeError;
qb = pcacheLeaf->db.rgbBlock + qbtpos->iKey;
if (key != (KEY) NULL) {
MoveMemory((void*) key, qb, CbSizeKey((KEY) qb, qbthr, FALSE)); // need to decompress
qb += CbSizeKey(key, qbthr, TRUE);
}
if (qRec != (void*) NULL)
MoveMemory(qRec, qb, (int) CbSizeRec(qb, qbthr));
return rcBtreeError = RC_Success;
}
/***************************************************************************\
*
- Function: RcNextPos( qbthr, qbtposIn, qbtposOut )
-
* Purpose: get the next record from the btree
* Next means the next key lexicographically from the key
* most recently inserted or looked up
* Won't work if we looked up a key and it wasn't there
*
* ASSUMES
* args IN: qbthr -
* state IN: a record has been read from or written to the file
* since the last deletion
*
* PROMISES
* returns: RC_Success; RC_NoExists if no successor record
* args OUT: key - next key copied to here
* qvRec - record gets copied here
*
\***************************************************************************/
RC_TYPE STDCALL RcNextPos(QBTHR qbthr, QBTPOS qbtposIn, QBTPOS qbtposOut)
{
int l;
return RcOffsetPos(qbthr, qbtposIn, 1, &l, qbtposOut);
}
/***************************************************************************\
*
- Function: RcOffsetPos( qbthr, qbtposIn, lcOffset, qlcRealOffset, qbtposOut )
-
* Purpose: Take a pos and an offset and return a new pos, offset from
* the previous pos by specified amount. If not possible
* (i.e. prev of first) return real amount offset and a pos.
*
* ASSUMES
* args IN: qbthr - handle to btree
* qbtposIn - position we want an offset from
* lcOffset - amount to offset (+ or - OK)
*
* PROMISES
* returns: rc
* args OUT: qbtposOut - new position offset by *qcRealOffset
* *qlcRealOffset - equal to lcOffset if legal, otherwise
* as close as is legal
*
\***************************************************************************/
RC_TYPE STDCALL RcOffsetPos(QBTHR qbthr, QBTPOS qbtposIn, int lcOffset,
int* qlcRealOffset, QBTPOS qbtposOut )
{
RC_TYPE rc = RC_Success;
int c;
int lcKey, lcDelta = 0;
PCACHE pcache;
PBYTE qb;
ASSERT(FValidPos(qbtposIn));
DWORD bk = qbtposIn->bk;
ASSERT(qlcRealOffset);
if (qbthr->bth.cLevels <= 0)
return rcBtreeError = RC_NoExists;
if (!qbthr->pCache)
RcMakeCache(qbthr);
if (!(pcache = QFromBk(qbtposIn->bk, qbthr->bth.cLevels - 1, qbthr)))
return rcBtreeError;
lcKey = qbtposIn->cKey + lcOffset;
// chase prev to find the right block
while (lcKey < 0) {
bk = BkPrev(pcache);
if (bk == bkNil) {
bk = pcache->bk;
lcDelta = lcKey;
lcKey = 0;
break;
}
if ((pcache = QFromBk(bk, qbthr->bth.cLevels - 1, qbthr)) == NULL)
return rcBtreeError;
lcKey += pcache->db.cKeys;
}
// chase next to find the right block
while (lcKey >= pcache->db.cKeys) {
lcKey -= pcache->db.cKeys;
bk = BkNext(pcache);
if (bk == bkNil) {
bk = pcache->bk;
lcDelta = lcKey + 1;
lcKey = pcache->db.cKeys - 1;
break;
}
if ((pcache = QFromBk(bk, qbthr->bth.cLevels - 1, qbthr)) == NULL)
return rcBtreeError;
}
if (bk == qbtposIn->bk && lcKey >= qbtposIn->cKey) {
c = qbtposIn->cKey;
qb = pcache->db.rgbBlock + qbtposIn->iKey;
}
else {
c = 0;
qb = pcache->db.rgbBlock + 2 * sizeof(BK);
}
while (c < lcKey) {
qb += CbSizeKey((KEY) qb, qbthr, TRUE);
qb += CbSizeRec(qb, qbthr);
c++;
}
if (qbtposOut != NULL) {
qbtposOut->bk = bk;
qbtposOut->iKey = qb - (PBYTE) pcache->db.rgbBlock;
qbtposOut->cKey = c;
}
*qlcRealOffset = lcOffset - lcDelta;
return rcBtreeError = lcDelta ? RC_NoExists : RC_Success;
}
/***************************************************************************\
*
- Function: RcDeleteHbt( qbthr, key )
-
* Purpose: delete a key from a btree
*
* Method: Just copy over the key and update cbSlack.
* Doesn't yet merge blocks < half full or update key in
* parent key if we deleted the first key in a block.
*
* ASSUMES
* args IN: qbthr - the btree
* key - the key to delete from the btree
*
* PROMISES
* returns: RC_Success if delete works; RC_NoExists
* args OUT: qbthr - key/record removed from the btree
*
* Notes: Unfinished: doesn't do block merges or parent updates.
*
\***************************************************************************/
RC_TYPE STDCALL RcDeleteHbt(QBTHR qbthr, KEY key)
{
HF hf;
RC_TYPE rc;
PCACHE pcache;
PBYTE qb;
int cb;
BTPOS btpos;
hf = qbthr->hf;
if ( qbthr->bth.bFlags & FS_OPEN_READ_ONLY )
return RC_NoPermission;
// look up the key
if ((rc = RcLookupByKey(qbthr, key, &btpos, NULL)) != RC_Success)
return rc;
// copy over this key and rec with subsequent keys and recs
if ((pcache = QCacheBlock(qbthr, qbthr->bth.cLevels - 1)) == (PCACHE) NULL)
return rcBtreeError;
qb = pcache->db.rgbBlock + btpos.iKey;
cb = CbSizeKey((KEY) qb, qbthr, TRUE);
cb += CbSizeRec(qb + cb, qbthr);
memmove(qb, qb + cb, (int) (qbthr->bth.cbBlock +
(PBYTE) &(pcache->db) - qb - cb - pcache->db.cbSlack));
pcache->db.cbSlack += cb;
// if this was the first key in the leaf block, update key in parent
// >>>>> code goes here
// if block is now less than half full, merge blocks
// >>>>> code goes here
pcache->db.cKeys--;
pcache->bFlags |= CACHE_DIRTY;
qbthr->bth.lcEntries--;
qbthr->bth.bFlags |= FS_DIRTY;
return RC_Success;
}