/// <summary>
/// Requests a page, either buffering it or pulling it from the in memory page store
/// </summary>
/// <param name="ID"></param>
/// <returns></returns>
public Page RequestPage(PageUID ID)
{
// Check the Page ID //
if (ID.PageID < 0)
{
throw new Exception(string.Format("Page ID {0} is invalid", ID.PageID));
}
this._Host.DebugPrint("TableStore.RequestPage({0})", ID.ToString()); // #DEBUG#
// Check if the page is in memory //
if (this.PageIsInMemory(ID))
{
this._Host.DebugPrint("TableStore.RequestPage->page found in memory({0})", ID.ToString()); // #DEBUG#
return(this._PageStore[ID]);
}
// Check if the table is in memory or not //
if (!this.TableIsInMemory(ID.Key))
{
throw new ObjectNotInMemoryException(string.Format("Table '{0}' is not memory; critical code error", ID.Key));
}
// Otherwise, check if we have space //
int Size = this._TableStore[ID.Key].PageSize;
if (!this.HasSpaceFor(Size))
{
this.FreeSpace(Size);
}
// Tag in the recycling bin //
this._PageBurnStack.EnqueueOrTag(ID);
this._Host.DebugPrint("TableStore.RequestPage->page added to burn Intermediary({0})", ID.ToString()); // #DEBUG#
// Page //
Page p = TableStore.Buffer(ID.Key, ID.PageID, Size);
this._PageInMemoryCounts[ID.Key]++;
this._Host.DebugPrint("TableStore.RequestPage->page buffered({0})", ID.ToString()); // #DEBUG#
this.PushPage(ID.Key, p);
return(p);
}
public TableRef(Host Host, string Path)
{
this._Host = Host;
this._Key = Path;
this._Columns = TableStore.Buffer(Path).Columns;
}
