2003-02-21 01:06:22 +01:00
|
|
|
/*-------------------------------------------------------------------------
|
|
|
|
*
|
|
|
|
* nbtxlog.c
|
|
|
|
* WAL replay logic for btrees.
|
|
|
|
*
|
|
|
|
*
|
2006-03-05 16:59:11 +01:00
|
|
|
* Portions Copyright (c) 1996-2006, PostgreSQL Global Development Group
|
2003-02-21 01:06:22 +01:00
|
|
|
* Portions Copyright (c) 1994, Regents of the University of California
|
|
|
|
*
|
|
|
|
* IDENTIFICATION
|
2006-10-04 02:30:14 +02:00
|
|
|
* $PostgreSQL: pgsql/src/backend/access/nbtree/nbtxlog.c,v 1.38 2006/10/04 00:29:49 momjian Exp $
|
2003-02-21 01:06:22 +01:00
|
|
|
*
|
|
|
|
*-------------------------------------------------------------------------
|
|
|
|
*/
|
|
|
|
#include "postgres.h"
|
|
|
|
|
|
|
|
#include "access/nbtree.h"
|
2006-07-13 18:49:20 +02:00
|
|
|
#include "access/transam.h"
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/*
|
|
|
|
* We must keep track of expected insertions due to page splits, and apply
|
|
|
|
* them manually if they are not seen in the WAL log during replay. This
|
|
|
|
* makes it safe for page insertion to be a multiple-WAL-action process.
|
|
|
|
*
|
|
|
|
* The data structure is a simple linked list --- this should be good enough,
|
|
|
|
* since we don't expect a page split to remain incomplete for long.
|
|
|
|
*/
|
|
|
|
typedef struct bt_incomplete_split
|
|
|
|
{
|
|
|
|
RelFileNode node; /* the index */
|
2003-08-04 02:43:34 +02:00
|
|
|
BlockNumber leftblk; /* left half of split */
|
|
|
|
BlockNumber rightblk; /* right half of split */
|
2003-02-21 01:06:22 +01:00
|
|
|
bool is_root; /* we split the root */
|
2003-08-08 23:42:59 +02:00
|
|
|
} bt_incomplete_split;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
static List *incomplete_splits;
|
|
|
|
|
|
|
|
|
|
|
|
static void
|
|
|
|
log_incomplete_split(RelFileNode node, BlockNumber leftblk,
|
|
|
|
BlockNumber rightblk, bool is_root)
|
|
|
|
{
|
|
|
|
bt_incomplete_split *split = palloc(sizeof(bt_incomplete_split));
|
|
|
|
|
|
|
|
split->node = node;
|
|
|
|
split->leftblk = leftblk;
|
|
|
|
split->rightblk = rightblk;
|
|
|
|
split->is_root = is_root;
|
|
|
|
incomplete_splits = lappend(incomplete_splits, split);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2006-04-13 05:53:05 +02:00
|
|
|
forget_matching_split(RelFileNode node, BlockNumber downlink, bool is_root)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
2004-05-26 06:41:50 +02:00
|
|
|
ListCell *l;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
foreach(l, incomplete_splits)
|
|
|
|
{
|
|
|
|
bt_incomplete_split *split = (bt_incomplete_split *) lfirst(l);
|
|
|
|
|
|
|
|
if (RelFileNodeEquals(node, split->node) &&
|
2006-04-13 05:53:05 +02:00
|
|
|
downlink == split->rightblk)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
if (is_root != split->is_root)
|
2006-04-01 01:32:07 +02:00
|
|
|
elog(LOG, "forget_matching_split: fishy is_root data (expected %d, got %d)",
|
|
|
|
split->is_root, is_root);
|
2004-05-31 01:40:41 +02:00
|
|
|
incomplete_splits = list_delete_ptr(incomplete_splits, split);
|
2003-02-21 01:06:22 +01:00
|
|
|
break; /* need not look further */
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-04-13 05:53:05 +02:00
|
|
|
/*
|
|
|
|
* _bt_restore_page -- re-enter all the index tuples on a page
|
|
|
|
*
|
|
|
|
* The page is freshly init'd, and *from (length len) is a copy of what
|
|
|
|
* had been its upper part (pd_upper to pd_special). We assume that the
|
|
|
|
* tuples had been added to the page in item-number order, and therefore
|
|
|
|
* the one with highest item number appears first (lowest on the page).
|
|
|
|
*
|
|
|
|
* NOTE: the way this routine is coded, the rebuilt page will have the items
|
|
|
|
* in correct itemno sequence, but physically the opposite order from the
|
|
|
|
* original, because we insert them in the opposite of itemno order. This
|
|
|
|
* does not matter in any current btree code, but it's something to keep an
|
2006-10-04 02:30:14 +02:00
|
|
|
* eye on. Is it worth changing just on general principles?
|
2006-04-13 05:53:05 +02:00
|
|
|
*/
|
2003-02-21 01:06:22 +01:00
|
|
|
static void
|
|
|
|
_bt_restore_page(Page page, char *from, int len)
|
|
|
|
{
|
2006-01-26 00:04:21 +01:00
|
|
|
IndexTupleData itupdata;
|
2003-02-21 01:06:22 +01:00
|
|
|
Size itemsz;
|
|
|
|
char *end = from + len;
|
|
|
|
|
|
|
|
for (; from < end;)
|
|
|
|
{
|
2006-01-26 00:04:21 +01:00
|
|
|
/* Need to copy tuple header due to alignment considerations */
|
|
|
|
memcpy(&itupdata, from, sizeof(IndexTupleData));
|
|
|
|
itemsz = IndexTupleDSize(itupdata);
|
2003-02-21 01:06:22 +01:00
|
|
|
itemsz = MAXALIGN(itemsz);
|
|
|
|
if (PageAddItem(page, (Item) from, itemsz,
|
2005-10-15 04:49:52 +02:00
|
|
|
FirstOffsetNumber, LP_USED) == InvalidOffsetNumber)
|
2003-02-21 01:06:22 +01:00
|
|
|
elog(PANIC, "_bt_restore_page: can't add item to page");
|
|
|
|
from += itemsz;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2003-08-04 02:43:34 +02:00
|
|
|
_bt_restore_meta(Relation reln, XLogRecPtr lsn,
|
2003-02-21 01:06:22 +01:00
|
|
|
BlockNumber root, uint32 level,
|
2004-06-02 19:28:18 +02:00
|
|
|
BlockNumber fastroot, uint32 fastlevel)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
Buffer metabuf;
|
|
|
|
Page metapg;
|
|
|
|
BTMetaPageData *md;
|
|
|
|
BTPageOpaque pageop;
|
|
|
|
|
2006-03-29 23:17:39 +02:00
|
|
|
metabuf = XLogReadBuffer(reln, BTREE_METAPAGE, true);
|
|
|
|
Assert(BufferIsValid(metabuf));
|
2003-02-21 01:06:22 +01:00
|
|
|
metapg = BufferGetPage(metabuf);
|
2006-03-29 23:17:39 +02:00
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
_bt_pageinit(metapg, BufferGetPageSize(metabuf));
|
|
|
|
|
|
|
|
md = BTPageGetMeta(metapg);
|
2004-06-02 19:28:18 +02:00
|
|
|
md->btm_magic = BTREE_MAGIC;
|
2003-02-21 01:06:22 +01:00
|
|
|
md->btm_version = BTREE_VERSION;
|
|
|
|
md->btm_root = root;
|
|
|
|
md->btm_level = level;
|
|
|
|
md->btm_fastroot = fastroot;
|
|
|
|
md->btm_fastlevel = fastlevel;
|
|
|
|
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(metapg);
|
|
|
|
pageop->btpo_flags = BTP_META;
|
|
|
|
|
2005-06-02 07:55:29 +02:00
|
|
|
/*
|
2005-10-15 04:49:52 +02:00
|
|
|
* Set pd_lower just past the end of the metadata. This is not essential
|
|
|
|
* but it makes the page look compressible to xlog.c.
|
2005-06-02 07:55:29 +02:00
|
|
|
*/
|
|
|
|
((PageHeader) metapg)->pd_lower =
|
|
|
|
((char *) md + sizeof(BTMetaPageData)) - (char *) metapg;
|
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
PageSetLSN(metapg, lsn);
|
2004-07-22 00:31:26 +02:00
|
|
|
PageSetTLI(metapg, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(metabuf);
|
|
|
|
UnlockReleaseBuffer(metabuf);
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_insert(bool isleaf, bool ismeta,
|
2003-02-21 01:06:22 +01:00
|
|
|
XLogRecPtr lsn, XLogRecord *record)
|
|
|
|
{
|
|
|
|
xl_btree_insert *xlrec = (xl_btree_insert *) XLogRecGetData(record);
|
|
|
|
Relation reln;
|
|
|
|
Buffer buffer;
|
|
|
|
Page page;
|
|
|
|
char *datapos;
|
|
|
|
int datalen;
|
|
|
|
xl_btree_metadata md;
|
2006-10-04 02:30:14 +02:00
|
|
|
BlockNumber downlink = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
datapos = (char *) xlrec + SizeOfBtreeInsert;
|
|
|
|
datalen = record->xl_len - SizeOfBtreeInsert;
|
2006-04-13 05:53:05 +02:00
|
|
|
if (!isleaf)
|
|
|
|
{
|
|
|
|
memcpy(&downlink, datapos, sizeof(BlockNumber));
|
|
|
|
datapos += sizeof(BlockNumber);
|
|
|
|
datalen -= sizeof(BlockNumber);
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
if (ismeta)
|
|
|
|
{
|
|
|
|
memcpy(&md, datapos, sizeof(xl_btree_metadata));
|
|
|
|
datapos += sizeof(xl_btree_metadata);
|
|
|
|
datalen -= sizeof(xl_btree_metadata);
|
|
|
|
}
|
|
|
|
|
2006-04-13 05:53:05 +02:00
|
|
|
if ((record->xl_info & XLR_BKP_BLOCK_1) && !ismeta && isleaf)
|
2003-02-21 01:06:22 +01:00
|
|
|
return; /* nothing to do */
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(xlrec->target.node);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
if (!(record->xl_info & XLR_BKP_BLOCK_1))
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln,
|
2006-10-04 02:30:14 +02:00
|
|
|
ItemPointerGetBlockNumber(&(xlrec->target.tid)),
|
2006-03-29 23:17:39 +02:00
|
|
|
false);
|
|
|
|
if (BufferIsValid(buffer))
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-29 23:17:39 +02:00
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
if (PageAddItem(page, (Item) datapos, datalen,
|
2006-10-04 02:30:14 +02:00
|
|
|
ItemPointerGetOffsetNumber(&(xlrec->target.tid)),
|
2006-03-29 23:17:39 +02:00
|
|
|
LP_USED) == InvalidOffsetNumber)
|
|
|
|
elog(PANIC, "btree_insert_redo: failed to add item");
|
|
|
|
|
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
if (ismeta)
|
|
|
|
_bt_restore_meta(reln, lsn,
|
|
|
|
md.root, md.level,
|
|
|
|
md.fastroot, md.fastlevel);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/* Forget any split this insertion completes */
|
2006-04-13 05:53:05 +02:00
|
|
|
if (!isleaf)
|
|
|
|
forget_matching_split(xlrec->target.node, downlink, false);
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_split(bool onleft, bool isroot,
|
2003-02-21 01:06:22 +01:00
|
|
|
XLogRecPtr lsn, XLogRecord *record)
|
|
|
|
{
|
|
|
|
xl_btree_split *xlrec = (xl_btree_split *) XLogRecGetData(record);
|
|
|
|
Relation reln;
|
2003-08-04 02:43:34 +02:00
|
|
|
BlockNumber targetblk;
|
2006-04-13 05:53:05 +02:00
|
|
|
OffsetNumber targetoff;
|
2003-08-04 02:43:34 +02:00
|
|
|
BlockNumber leftsib;
|
|
|
|
BlockNumber rightsib;
|
2006-10-04 02:30:14 +02:00
|
|
|
BlockNumber downlink = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
Buffer buffer;
|
|
|
|
Page page;
|
|
|
|
BTPageOpaque pageop;
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(xlrec->target.node);
|
2003-02-21 01:06:22 +01:00
|
|
|
targetblk = ItemPointerGetBlockNumber(&(xlrec->target.tid));
|
2006-04-13 05:53:05 +02:00
|
|
|
targetoff = ItemPointerGetOffsetNumber(&(xlrec->target.tid));
|
2003-02-21 01:06:22 +01:00
|
|
|
leftsib = (onleft) ? targetblk : xlrec->otherblk;
|
|
|
|
rightsib = (onleft) ? xlrec->otherblk : targetblk;
|
|
|
|
|
|
|
|
/* Left (original) sibling */
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, leftsib, true);
|
|
|
|
Assert(BufferIsValid(buffer));
|
2003-02-21 01:06:22 +01:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
_bt_pageinit(page, BufferGetPageSize(buffer));
|
2003-02-21 01:06:22 +01:00
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
pageop->btpo_prev = xlrec->leftblk;
|
|
|
|
pageop->btpo_next = rightsib;
|
|
|
|
pageop->btpo.level = xlrec->level;
|
|
|
|
pageop->btpo_flags = (xlrec->level == 0) ? BTP_LEAF : 0;
|
2006-05-08 02:00:17 +02:00
|
|
|
pageop->btpo_cycleid = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
_bt_restore_page(page,
|
|
|
|
(char *) xlrec + SizeOfBtreeSplit,
|
|
|
|
xlrec->leftlen);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-04-13 05:53:05 +02:00
|
|
|
if (onleft && xlrec->level > 0)
|
|
|
|
{
|
|
|
|
IndexTuple itup;
|
|
|
|
|
|
|
|
/* extract downlink in the target tuple */
|
|
|
|
itup = (IndexTuple) PageGetItem(page, PageGetItemId(page, targetoff));
|
|
|
|
downlink = ItemPointerGetBlockNumber(&(itup->t_tid));
|
|
|
|
Assert(ItemPointerGetOffsetNumber(&(itup->t_tid)) == P_HIKEY);
|
|
|
|
}
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/* Right (new) sibling */
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, rightsib, true);
|
|
|
|
Assert(BufferIsValid(buffer));
|
2003-02-21 01:06:22 +01:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
_bt_pageinit(page, BufferGetPageSize(buffer));
|
2003-02-21 01:06:22 +01:00
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
pageop->btpo_prev = leftsib;
|
|
|
|
pageop->btpo_next = xlrec->rightblk;
|
|
|
|
pageop->btpo.level = xlrec->level;
|
|
|
|
pageop->btpo_flags = (xlrec->level == 0) ? BTP_LEAF : 0;
|
2006-05-08 02:00:17 +02:00
|
|
|
pageop->btpo_cycleid = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
_bt_restore_page(page,
|
|
|
|
(char *) xlrec + SizeOfBtreeSplit + xlrec->leftlen,
|
2003-02-21 01:06:22 +01:00
|
|
|
record->xl_len - SizeOfBtreeSplit - xlrec->leftlen);
|
|
|
|
|
2006-04-13 05:53:05 +02:00
|
|
|
if (!onleft && xlrec->level > 0)
|
|
|
|
{
|
|
|
|
IndexTuple itup;
|
|
|
|
|
|
|
|
/* extract downlink in the target tuple */
|
|
|
|
itup = (IndexTuple) PageGetItem(page, PageGetItemId(page, targetoff));
|
|
|
|
downlink = ItemPointerGetBlockNumber(&(itup->t_tid));
|
|
|
|
Assert(ItemPointerGetOffsetNumber(&(itup->t_tid)) == P_HIKEY);
|
|
|
|
}
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/* Fix left-link of right (next) page */
|
2005-06-06 19:01:25 +02:00
|
|
|
if (!(record->xl_info & XLR_BKP_BLOCK_1))
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
if (xlrec->rightblk != P_NONE)
|
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, xlrec->rightblk, false);
|
|
|
|
if (BufferIsValid(buffer))
|
2003-12-14 01:34:47 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
|
|
|
|
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
pageop->btpo_prev = rightsib;
|
|
|
|
|
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Forget any split this insertion completes */
|
2006-04-13 05:53:05 +02:00
|
|
|
if (xlrec->level > 0)
|
|
|
|
forget_matching_split(xlrec->target.node, downlink, false);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/* The job ain't done till the parent link is inserted... */
|
|
|
|
log_incomplete_split(xlrec->target.node,
|
|
|
|
leftsib, rightsib, isroot);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_delete(XLogRecPtr lsn, XLogRecord *record)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
xl_btree_delete *xlrec;
|
|
|
|
Relation reln;
|
|
|
|
Buffer buffer;
|
|
|
|
Page page;
|
2006-07-25 21:13:00 +02:00
|
|
|
BTPageOpaque opaque;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
if (record->xl_info & XLR_BKP_BLOCK_1)
|
2003-02-21 01:06:22 +01:00
|
|
|
return;
|
|
|
|
|
|
|
|
xlrec = (xl_btree_delete *) XLogRecGetData(record);
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(xlrec->node);
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, xlrec->block, false);
|
2003-02-21 01:06:22 +01:00
|
|
|
if (!BufferIsValid(buffer))
|
2006-03-29 23:17:39 +02:00
|
|
|
return;
|
2003-02-21 01:06:22 +01:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
|
|
|
|
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
2003-02-23 23:43:09 +01:00
|
|
|
if (record->xl_len > SizeOfBtreeDelete)
|
|
|
|
{
|
|
|
|
OffsetNumber *unused;
|
|
|
|
OffsetNumber *unend;
|
|
|
|
|
|
|
|
unused = (OffsetNumber *) ((char *) xlrec + SizeOfBtreeDelete);
|
|
|
|
unend = (OffsetNumber *) ((char *) xlrec + record->xl_len);
|
|
|
|
|
2005-03-22 07:17:03 +01:00
|
|
|
PageIndexMultiDelete(page, unused, unend - unused);
|
2003-02-23 23:43:09 +01:00
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-07-25 21:13:00 +02:00
|
|
|
/*
|
2006-10-04 02:30:14 +02:00
|
|
|
* Mark the page as not containing any LP_DELETE items --- see comments in
|
|
|
|
* _bt_delitems().
|
2006-07-25 21:13:00 +02:00
|
|
|
*/
|
|
|
|
opaque = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
opaque->btpo_flags &= ~BTP_HAS_GARBAGE;
|
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
PageSetLSN(page, lsn);
|
2004-07-22 00:31:26 +02:00
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
|
2003-02-23 07:17:13 +01:00
|
|
|
static void
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_delete_page(bool ismeta,
|
2003-02-23 07:17:13 +01:00
|
|
|
XLogRecPtr lsn, XLogRecord *record)
|
|
|
|
{
|
|
|
|
xl_btree_delete_page *xlrec = (xl_btree_delete_page *) XLogRecGetData(record);
|
|
|
|
Relation reln;
|
2003-08-04 02:43:34 +02:00
|
|
|
BlockNumber parent;
|
|
|
|
BlockNumber target;
|
|
|
|
BlockNumber leftsib;
|
|
|
|
BlockNumber rightsib;
|
2003-02-23 07:17:13 +01:00
|
|
|
Buffer buffer;
|
|
|
|
Page page;
|
|
|
|
BTPageOpaque pageop;
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(xlrec->target.node);
|
2003-02-23 07:17:13 +01:00
|
|
|
parent = ItemPointerGetBlockNumber(&(xlrec->target.tid));
|
|
|
|
target = xlrec->deadblk;
|
|
|
|
leftsib = xlrec->leftblk;
|
|
|
|
rightsib = xlrec->rightblk;
|
|
|
|
|
|
|
|
/* parent page */
|
2005-06-06 19:01:25 +02:00
|
|
|
if (!(record->xl_info & XLR_BKP_BLOCK_1))
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, parent, false);
|
|
|
|
if (BufferIsValid(buffer))
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-23 07:17:13 +01:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
OffsetNumber poffset;
|
|
|
|
|
|
|
|
poffset = ItemPointerGetOffsetNumber(&(xlrec->target.tid));
|
|
|
|
if (poffset >= PageGetMaxOffsetNumber(page))
|
|
|
|
{
|
|
|
|
Assert(poffset == P_FIRSTDATAKEY(pageop));
|
|
|
|
PageIndexTupleDelete(page, poffset);
|
|
|
|
pageop->btpo_flags |= BTP_HALF_DEAD;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
ItemId itemid;
|
|
|
|
IndexTuple itup;
|
|
|
|
OffsetNumber nextoffset;
|
|
|
|
|
|
|
|
itemid = PageGetItemId(page, poffset);
|
|
|
|
itup = (IndexTuple) PageGetItem(page, itemid);
|
|
|
|
ItemPointerSet(&(itup->t_tid), rightsib, P_HIKEY);
|
|
|
|
nextoffset = OffsetNumberNext(poffset);
|
|
|
|
PageIndexTupleDelete(page, nextoffset);
|
|
|
|
}
|
2003-02-23 07:17:13 +01:00
|
|
|
|
2006-03-29 23:17:39 +02:00
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
2003-02-23 07:17:13 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Fix left-link of right sibling */
|
2005-06-06 19:01:25 +02:00
|
|
|
if (!(record->xl_info & XLR_BKP_BLOCK_2))
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, rightsib, false);
|
|
|
|
if (BufferIsValid(buffer))
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
|
|
|
page = (Page) BufferGetPage(buffer);
|
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
2003-12-14 01:34:47 +01:00
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-12-14 01:34:47 +01:00
|
|
|
}
|
2003-02-23 07:17:13 +01:00
|
|
|
else
|
|
|
|
{
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
2006-03-29 23:17:39 +02:00
|
|
|
pageop->btpo_prev = leftsib;
|
2003-02-23 07:17:13 +01:00
|
|
|
|
|
|
|
PageSetLSN(page, lsn);
|
2004-07-22 00:31:26 +02:00
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-23 07:17:13 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2006-03-29 23:17:39 +02:00
|
|
|
/* Fix right-link of left sibling, if any */
|
|
|
|
if (!(record->xl_info & XLR_BKP_BLOCK_3))
|
|
|
|
{
|
|
|
|
if (leftsib != P_NONE)
|
|
|
|
{
|
|
|
|
buffer = XLogReadBuffer(reln, leftsib, false);
|
|
|
|
if (BufferIsValid(buffer))
|
|
|
|
{
|
|
|
|
page = (Page) BufferGetPage(buffer);
|
|
|
|
if (XLByteLE(lsn, PageGetLSN(page)))
|
|
|
|
{
|
2006-04-01 01:32:07 +02:00
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
pageop->btpo_next = rightsib;
|
|
|
|
|
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2003-02-23 07:17:13 +01:00
|
|
|
/* Rewrite target page as empty deleted page */
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, target, true);
|
|
|
|
Assert(BufferIsValid(buffer));
|
2003-02-23 07:17:13 +01:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
_bt_pageinit(page, BufferGetPageSize(buffer));
|
2003-02-23 07:17:13 +01:00
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
pageop->btpo_prev = leftsib;
|
|
|
|
pageop->btpo_next = rightsib;
|
|
|
|
pageop->btpo.xact = FrozenTransactionId;
|
|
|
|
pageop->btpo_flags = BTP_DELETED;
|
2006-05-08 02:00:17 +02:00
|
|
|
pageop->btpo_cycleid = 0;
|
2003-02-23 07:17:13 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
PageSetLSN(page, lsn);
|
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-23 07:17:13 +01:00
|
|
|
|
|
|
|
/* Update metapage if needed */
|
2005-06-06 19:01:25 +02:00
|
|
|
if (ismeta)
|
2003-02-23 07:17:13 +01:00
|
|
|
{
|
2005-06-06 19:01:25 +02:00
|
|
|
xl_btree_metadata md;
|
2003-02-23 07:17:13 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
memcpy(&md, (char *) xlrec + SizeOfBtreeDeletePage,
|
|
|
|
sizeof(xl_btree_metadata));
|
|
|
|
_bt_restore_meta(reln, lsn,
|
|
|
|
md.root, md.level,
|
|
|
|
md.fastroot, md.fastlevel);
|
2003-02-23 07:17:13 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
static void
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_newroot(XLogRecPtr lsn, XLogRecord *record)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
xl_btree_newroot *xlrec = (xl_btree_newroot *) XLogRecGetData(record);
|
|
|
|
Relation reln;
|
|
|
|
Buffer buffer;
|
|
|
|
Page page;
|
|
|
|
BTPageOpaque pageop;
|
2006-10-04 02:30:14 +02:00
|
|
|
BlockNumber downlink = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(xlrec->node);
|
2006-03-29 23:17:39 +02:00
|
|
|
buffer = XLogReadBuffer(reln, xlrec->rootblk, true);
|
|
|
|
Assert(BufferIsValid(buffer));
|
2003-02-21 01:06:22 +01:00
|
|
|
page = (Page) BufferGetPage(buffer);
|
2006-03-29 23:17:39 +02:00
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
_bt_pageinit(page, BufferGetPageSize(buffer));
|
|
|
|
pageop = (BTPageOpaque) PageGetSpecialPointer(page);
|
|
|
|
|
|
|
|
pageop->btpo_flags = BTP_ROOT;
|
|
|
|
pageop->btpo_prev = pageop->btpo_next = P_NONE;
|
|
|
|
pageop->btpo.level = xlrec->level;
|
|
|
|
if (xlrec->level == 0)
|
|
|
|
pageop->btpo_flags |= BTP_LEAF;
|
2006-05-08 02:00:17 +02:00
|
|
|
pageop->btpo_cycleid = 0;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
if (record->xl_len > SizeOfBtreeNewroot)
|
2006-04-13 05:53:05 +02:00
|
|
|
{
|
|
|
|
IndexTuple itup;
|
|
|
|
|
2003-02-21 01:06:22 +01:00
|
|
|
_bt_restore_page(page,
|
|
|
|
(char *) xlrec + SizeOfBtreeNewroot,
|
|
|
|
record->xl_len - SizeOfBtreeNewroot);
|
2006-04-13 05:53:05 +02:00
|
|
|
/* extract downlink to the right-hand split page */
|
|
|
|
itup = (IndexTuple) PageGetItem(page, PageGetItemId(page, P_FIRSTKEY));
|
|
|
|
downlink = ItemPointerGetBlockNumber(&(itup->t_tid));
|
|
|
|
Assert(ItemPointerGetOffsetNumber(&(itup->t_tid)) == P_HIKEY);
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
PageSetLSN(page, lsn);
|
2004-07-22 00:31:26 +02:00
|
|
|
PageSetTLI(page, ThisTimeLineID);
|
2006-04-01 01:32:07 +02:00
|
|
|
MarkBufferDirty(buffer);
|
|
|
|
UnlockReleaseBuffer(buffer);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
_bt_restore_meta(reln, lsn,
|
|
|
|
xlrec->rootblk, xlrec->level,
|
2004-06-02 19:28:18 +02:00
|
|
|
xlrec->rootblk, xlrec->level);
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
/* Check to see if this satisfies any incomplete insertions */
|
2006-04-13 05:53:05 +02:00
|
|
|
if (record->xl_len > SizeOfBtreeNewroot)
|
|
|
|
forget_matching_split(xlrec->node, downlink, true);
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
btree_redo(XLogRecPtr lsn, XLogRecord *record)
|
|
|
|
{
|
|
|
|
uint8 info = record->xl_info & ~XLR_INFO_MASK;
|
|
|
|
|
|
|
|
switch (info)
|
|
|
|
{
|
|
|
|
case XLOG_BTREE_INSERT_LEAF:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_insert(true, false, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_INSERT_UPPER:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_insert(false, false, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_INSERT_META:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_insert(false, true, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_SPLIT_L:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_split(true, false, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_SPLIT_R:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_split(false, false, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_SPLIT_L_ROOT:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_split(true, true, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_SPLIT_R_ROOT:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_split(false, true, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_DELETE:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_delete(lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_DELETE_PAGE:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_delete_page(false, lsn, record);
|
2003-02-23 07:17:13 +01:00
|
|
|
break;
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_DELETE_PAGE_META:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_delete_page(true, lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
case XLOG_BTREE_NEWROOT:
|
2005-06-06 19:01:25 +02:00
|
|
|
btree_xlog_newroot(lsn, record);
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
elog(PANIC, "btree_redo: unknown op code %u", info);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2006-03-24 05:32:13 +01:00
|
|
|
out_target(StringInfo buf, xl_btreetid *target)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "rel %u/%u/%u; tid %u/%u",
|
2006-10-04 02:30:14 +02:00
|
|
|
target->node.spcNode, target->node.dbNode, target->node.relNode,
|
|
|
|
ItemPointerGetBlockNumber(&(target->tid)),
|
|
|
|
ItemPointerGetOffsetNumber(&(target->tid)));
|
2003-02-21 01:06:22 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2006-03-24 05:32:13 +01:00
|
|
|
btree_desc(StringInfo buf, uint8 xl_info, char *rec)
|
2003-02-21 01:06:22 +01:00
|
|
|
{
|
|
|
|
uint8 info = xl_info & ~XLR_INFO_MASK;
|
|
|
|
|
|
|
|
switch (info)
|
|
|
|
{
|
|
|
|
case XLOG_BTREE_INSERT_LEAF:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_insert *xlrec = (xl_btree_insert *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "insert: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_INSERT_UPPER:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_insert *xlrec = (xl_btree_insert *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "insert_upper: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_INSERT_META:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_insert *xlrec = (xl_btree_insert *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "insert_meta: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_SPLIT_L:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_split *xlrec = (xl_btree_split *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "split_l: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "; oth %u; rgh %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->otherblk, xlrec->rightblk);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_SPLIT_R:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_split *xlrec = (xl_btree_split *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "split_r: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "; oth %u; rgh %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->otherblk, xlrec->rightblk);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_SPLIT_L_ROOT:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_split *xlrec = (xl_btree_split *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "split_l_root: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "; oth %u; rgh %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->otherblk, xlrec->rightblk);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_SPLIT_R_ROOT:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_split *xlrec = (xl_btree_split *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "split_r_root: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "; oth %u; rgh %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->otherblk, xlrec->rightblk);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_DELETE:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_delete *xlrec = (xl_btree_delete *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "delete: rel %u/%u/%u; blk %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->node.spcNode, xlrec->node.dbNode,
|
|
|
|
xlrec->node.relNode, xlrec->block);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_DELETE_PAGE:
|
|
|
|
case XLOG_BTREE_DELETE_PAGE_META:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_delete_page *xlrec = (xl_btree_delete_page *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "delete_page: ");
|
2003-08-04 02:43:34 +02:00
|
|
|
out_target(buf, &(xlrec->target));
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "; dead %u; left %u; right %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->deadblk, xlrec->leftblk, xlrec->rightblk);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
case XLOG_BTREE_NEWROOT:
|
2003-08-04 02:43:34 +02:00
|
|
|
{
|
|
|
|
xl_btree_newroot *xlrec = (xl_btree_newroot *) rec;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "newroot: rel %u/%u/%u; root %u lev %u",
|
2006-10-04 02:30:14 +02:00
|
|
|
xlrec->node.spcNode, xlrec->node.dbNode,
|
|
|
|
xlrec->node.relNode,
|
|
|
|
xlrec->rootblk, xlrec->level);
|
2003-08-04 02:43:34 +02:00
|
|
|
break;
|
|
|
|
}
|
2003-02-21 01:06:22 +01:00
|
|
|
default:
|
2006-03-24 05:32:13 +01:00
|
|
|
appendStringInfo(buf, "UNKNOWN");
|
2003-02-21 01:06:22 +01:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
btree_xlog_startup(void)
|
|
|
|
{
|
|
|
|
incomplete_splits = NIL;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
btree_xlog_cleanup(void)
|
|
|
|
{
|
2004-05-26 06:41:50 +02:00
|
|
|
ListCell *l;
|
2003-02-21 01:06:22 +01:00
|
|
|
|
|
|
|
foreach(l, incomplete_splits)
|
|
|
|
{
|
|
|
|
bt_incomplete_split *split = (bt_incomplete_split *) lfirst(l);
|
|
|
|
Relation reln;
|
|
|
|
Buffer lbuf,
|
|
|
|
rbuf;
|
|
|
|
Page lpage,
|
|
|
|
rpage;
|
|
|
|
BTPageOpaque lpageop,
|
|
|
|
rpageop;
|
|
|
|
bool is_only;
|
|
|
|
|
2005-06-06 19:01:25 +02:00
|
|
|
reln = XLogOpenRelation(split->node);
|
2006-03-29 23:17:39 +02:00
|
|
|
lbuf = XLogReadBuffer(reln, split->leftblk, false);
|
|
|
|
/* failure should be impossible because we wrote this page earlier */
|
2003-02-21 01:06:22 +01:00
|
|
|
if (!BufferIsValid(lbuf))
|
|
|
|
elog(PANIC, "btree_xlog_cleanup: left block unfound");
|
|
|
|
lpage = (Page) BufferGetPage(lbuf);
|
|
|
|
lpageop = (BTPageOpaque) PageGetSpecialPointer(lpage);
|
2006-03-29 23:17:39 +02:00
|
|
|
rbuf = XLogReadBuffer(reln, split->rightblk, false);
|
|
|
|
/* failure should be impossible because we wrote this page earlier */
|
2003-02-21 01:06:22 +01:00
|
|
|
if (!BufferIsValid(rbuf))
|
|
|
|
elog(PANIC, "btree_xlog_cleanup: right block unfound");
|
|
|
|
rpage = (Page) BufferGetPage(rbuf);
|
|
|
|
rpageop = (BTPageOpaque) PageGetSpecialPointer(rpage);
|
|
|
|
|
|
|
|
/* if the two pages are all of their level, it's a only-page split */
|
|
|
|
is_only = P_LEFTMOST(lpageop) && P_RIGHTMOST(rpageop);
|
|
|
|
|
2004-01-07 19:56:30 +01:00
|
|
|
_bt_insert_parent(reln, lbuf, rbuf, NULL,
|
2003-02-21 01:06:22 +01:00
|
|
|
split->is_root, is_only);
|
|
|
|
}
|
|
|
|
incomplete_splits = NIL;
|
|
|
|
}
|
2006-08-07 18:57:57 +02:00
|
|
|
|
|
|
|
bool
|
|
|
|
btree_safe_restartpoint(void)
|
|
|
|
{
|
|
|
|
if (incomplete_splits)
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|