vacuum.c 56.8 KB
Newer Older
1 2 3
/*-------------------------------------------------------------------------
 *
 * vacuum.c--
4
 *	  the postgres vacuum cleaner
5 6 7 8 9
 *
 * Copyright (c) 1994, Regents of the University of California
 *
 *
 * IDENTIFICATION
B
Bruce Momjian 已提交
10
 *	  $Header: /cvsroot/pgsql/src/backend/commands/vacuum.c,v 1.71 1998/08/19 15:47:35 momjian Exp $
11 12 13
 *
 *-------------------------------------------------------------------------
 */
14
#include <sys/types.h>
15
#include <sys/file.h>
16
#include <string.h>
17 18 19
#include <sys/stat.h>
#include <fcntl.h>
#include <unistd.h>
20

B
Bruce Momjian 已提交
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
#include "postgres.h"

#include "access/genam.h"
#include "access/heapam.h"
#include "access/transam.h"
#include "access/xact.h"
#include "catalog/catalog.h"
#include "catalog/catname.h"
#include "catalog/index.h"
#include "catalog/pg_class.h"
#include "catalog/pg_index.h"
#include "catalog/pg_operator.h"
#include "catalog/pg_statistic.h"
#include "catalog/pg_type.h"
#include "commands/vacuum.h"
#include "fmgr.h"
#include "parser/parse_oper.h"
#include "storage/bufmgr.h"
#include "storage/bufpage.h"
V
Vadim B. Mikheev 已提交
40
#include "storage/shmem.h"
B
Bruce Momjian 已提交
41
#include "storage/smgr.h"
B
Bruce Momjian 已提交
42
#include "storage/itemptr.h"
B
Bruce Momjian 已提交
43 44 45 46 47 48 49
#include "storage/lmgr.h"
#include "utils/builtins.h"
#include "utils/inval.h"
#include "utils/mcxt.h"
#include "utils/portal.h"
#include "utils/syscache.h"

50
#ifndef HAVE_GETRUSAGE
51 52 53 54 55
#include <rusagestub.h>
#else
#include <sys/time.h>
#include <sys/resource.h>
#endif
56

57
 /* #include <port-protos.h> *//* Why? */
58

59
extern int	BlowawayRelationBuffers(Relation rel, BlockNumber block);
60

61
bool		VacuumRunning = false;
62

63
static Portal vc_portal;
64

65
static int	MESSAGE_LEVEL;		/* message level */
V
Vadim B. Mikheev 已提交
66

67 68 69
#define swapLong(a,b)	{long tmp; tmp=a; a=b; b=tmp;}
#define swapInt(a,b)	{int tmp; tmp=a; a=b; b=tmp;}
#define swapDatum(a,b)	{Datum tmp; tmp=a; a=b; b=tmp;}
70 71 72
#define VacAttrStatsEqValid(stats) ( stats->f_cmpeq.fn_addr != NULL )
#define VacAttrStatsLtGtValid(stats) ( stats->f_cmplt.fn_addr != NULL && \
								   stats->f_cmpgt.fn_addr != NULL && \
73 74
								   RegProcedureIsValid(stats->outfunc) )

V
Vadim B. Mikheev 已提交
75

76
/* non-export function prototypes */
77 78
static void vc_init(void);
static void vc_shutdown(void);
79 80 81 82 83 84
static void vc_vacuum(NameData *VacRelP, bool analyze, List *va_cols);
static VRelList vc_getrels(NameData *VacRelP);
static void vc_vacone(Oid relid, bool analyze, List *va_cols);
static void vc_scanheap(VRelStats *vacrelstats, Relation onerel, VPageList Vvpl, VPageList Fvpl);
static void vc_rpfheap(VRelStats *vacrelstats, Relation onerel, VPageList Vvpl, VPageList Fvpl, int nindices, Relation *Irel);
static void vc_vacheap(VRelStats *vacrelstats, Relation onerel, VPageList vpl);
B
Bruce Momjian 已提交
85
static void vc_vacpage(Page page, VPageDescr vpd);
86 87
static void vc_vaconeind(VPageList vpl, Relation indrel, int nhtups);
static void vc_scanoneind(Relation indrel, int nhtups);
88
static void vc_attrstats(Relation onerel, VRelStats *vacrelstats, HeapTuple tuple);
89 90
static void vc_bucketcpy(AttributeTupleForm attr, Datum value, Datum *bucket, int16 *bucket_len);
static void vc_updstats(Oid relid, int npages, int ntups, bool hasindex, VRelStats *vacrelstats);
91 92
static void vc_delhilowstats(Oid relid, int attcnt, int *attnums);
static void vc_setpagelock(Relation rel, BlockNumber blkno);
93
static VPageDescr vc_tidreapped(ItemPointer itemptr, VPageList vpl);
94 95 96
static void vc_reappage(VPageList vpl, VPageDescr vpc);
static void vc_vpinsert(VPageList vpl, VPageDescr vpnew);
static void vc_free(VRelList vrl);
97 98 99
static void vc_getindices(Oid relid, int *nindices, Relation **Irel);
static void vc_clsindices(int nindices, Relation *Irel);
static void vc_mkindesc(Relation onerel, int nindices, Relation *Irel, IndDesc **Idesc);
100 101 102 103
static char *vc_find_eq(char *bot, int nelem, int size, char *elm, int (*compar) (char *, char *));
static int	vc_cmp_blk(char *left, char *right);
static int	vc_cmp_offno(char *left, char *right);
static bool vc_enough_space(VPageDescr vpd, Size len);
104 105

void
106
vacuum(char *vacrel, bool verbose, bool analyze, List *va_spec)
107
{
108 109
	char	   *pname;
	MemoryContext old;
110
	PortalVariableMemory pmem;
111 112 113
	NameData	VacRel;
	List	   *le;
	List	   *va_cols = NIL;
114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137

	/*
	 * Create a portal for safe memory across transctions.	We need to
	 * palloc the name space for it because our hash function expects the
	 * name to be on a longword boundary.  CreatePortal copies the name to
	 * safe storage for us.
	 */
	pname = (char *) palloc(strlen(VACPNAME) + 1);
	strcpy(pname, VACPNAME);
	vc_portal = CreatePortal(pname);
	pfree(pname);

	if (verbose)
		MESSAGE_LEVEL = NOTICE;
	else
		MESSAGE_LEVEL = DEBUG;

	/* vacrel gets de-allocated on transaction commit */
	if (vacrel)
		strcpy(VacRel.data, vacrel);

	pmem = PortalGetVariableMemory(vc_portal);
	old = MemoryContextSwitchTo((MemoryContext) pmem);

B
Bruce Momjian 已提交
138
	if (va_spec != NIL && !analyze)
139
		elog(ERROR, "Can't vacuum columns, only tables.  You can 'vacuum analyze' columns.");
B
Bruce Momjian 已提交
140

141 142
	foreach(le, va_spec)
	{
143 144
		char	   *col = (char *) lfirst(le);
		char	   *dest;
145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164

		dest = (char *) palloc(strlen(col) + 1);
		strcpy(dest, col);
		va_cols = lappend(va_cols, dest);
	}
	MemoryContextSwitchTo(old);

	/* initialize vacuum cleaner */
	vc_init();

	/* vacuum the database */
	if (vacrel)
		vc_vacuum(&VacRel, analyze, va_cols);
	else
		vc_vacuum(NULL, analyze, NIL);

	PortalDestroy(&vc_portal);

	/* clean up */
	vc_shutdown();
165 166 167
}

/*
168
 *	vc_init(), vc_shutdown() -- start up and shut down the vacuum cleaner.
169
 *
170 171 172 173
 *		We run exactly one vacuum cleaner at a time.  We use the file system
 *		to guarantee an exclusive lock on vacuuming, since a single vacuum
 *		cleaner instantiation crosses transaction boundaries, and we'd lose
 *		postgres-style locks at the end of every transaction.
174
 *
175 176 177 178 179 180 181 182
 *		The strangeness with committing and starting transactions in the
 *		init and shutdown routines is due to the fact that the vacuum cleaner
 *		is invoked via a sql command, and so is already executing inside
 *		a transaction.	We need to leave ourselves in a predictable state
 *		on entry and exit to the vacuum cleaner.  We commit the transaction
 *		started in PostgresMain() inside vc_init(), and start one in
 *		vc_shutdown() to match the commit waiting for us back in
 *		PostgresMain().
183 184
 */
static void
185
vc_init()
186
{
187
	int			fd;
188

189
	if ((fd = open("pg_vlock", O_CREAT | O_EXCL, 0600)) < 0)
190
		elog(ERROR, "can't create lock file -- another vacuum cleaner running?");
191

192
	close(fd);
193

194 195 196 197 198 199
	/*
	 * By here, exclusive open on the lock file succeeded.	If we abort
	 * for any reason during vacuuming, we need to remove the lock file.
	 * This global variable is checked in the transaction manager on xact
	 * abort, and the routine vc_abort() is called if necessary.
	 */
200

201
	VacuumRunning = true;
202

203 204
	/* matches the StartTransaction in PostgresMain() */
	CommitTransactionCommand();
205 206 207
}

static void
208
vc_shutdown()
209
{
210 211
	/* on entry, not in a transaction */
	if (unlink("pg_vlock") < 0)
212
		elog(ERROR, "vacuum: can't destroy lock file!");
213

214 215
	/* okay, we're done */
	VacuumRunning = false;
216

217 218
	/* matches the CommitTransaction in PostgresMain() */
	StartTransactionCommand();
219

220 221 222 223 224
}

void
vc_abort()
{
225 226
	/* on abort, remove the vacuum cleaner lock file */
	unlink("pg_vlock");
227

228
	VacuumRunning = false;
229 230 231
}

/*
232
 *	vc_vacuum() -- vacuum the database.
233
 *
234 235 236 237
 *		This routine builds a list of relations to vacuum, and then calls
 *		code that vacuums them one at a time.  We are careful to vacuum each
 *		relation in a separate transaction in order to avoid holding too many
 *		locks at one time.
238 239
 */
static void
240
vc_vacuum(NameData *VacRelP, bool analyze, List *va_cols)
241
{
242 243
	VRelList	vrl,
				cur;
244 245 246

	/* get list of relations */
	vrl = vc_getrels(VacRelP);
247

248 249
	if (analyze && VacRelP == NULL && vrl != NULL)
		vc_delhilowstats(InvalidOid, 0, NULL);
250

251 252 253
	/* vacuum each heap relation */
	for (cur = vrl; cur != (VRelList) NULL; cur = cur->vrl_next)
		vc_vacone(cur->vrl_relid, analyze, va_cols);
254

255
	vc_free(vrl);
256 257
}

258
static VRelList
259
vc_getrels(NameData *VacRelP)
260
{
261 262 263 264
	Relation	pgclass;
	TupleDesc	pgcdesc;
	HeapScanDesc pgcscan;
	HeapTuple	pgctup;
265
	PortalVariableMemory portalmem;
266 267 268 269 270 271 272 273
	MemoryContext old;
	VRelList	vrl,
				cur;
	Datum		d;
	char	   *rname;
	char		rkind;
	bool		n;
	bool		found = false;
274
	ScanKeyData pgckey;
275 276 277 278 279 280

	StartTransactionCommand();

	if (VacRelP->data)
	{
		ScanKeyEntryInitialize(&pgckey, 0x0, Anum_pg_class_relname,
B
Bruce Momjian 已提交
281
							   F_NAMEEQ,
282 283 284 285 286
							   PointerGetDatum(VacRelP->data));
	}
	else
	{
		ScanKeyEntryInitialize(&pgckey, 0x0, Anum_pg_class_relkind,
B
Bruce Momjian 已提交
287
						  F_CHAREQ, CharGetDatum('r'));
288
	}
289

290 291
	portalmem = PortalGetVariableMemory(vc_portal);
	vrl = cur = (VRelList) NULL;
292

293 294 295
	pgclass = heap_openr(RelationRelationName);
	pgcdesc = RelationGetTupleDescriptor(pgclass);

296
	pgcscan = heap_beginscan(pgclass, false, SnapshotNow, 1, &pgckey);
297

298
	while (HeapTupleIsValid(pgctup = heap_getnext(pgcscan, 0)))
V
Vadim B. Mikheev 已提交
299
	{
300
		found = true;
301

302
		d = heap_getattr(pgctup, Anum_pg_class_relname, pgcdesc, &n);
303
		rname = (char *) d;
304

305 306 307 308 309 310 311 312 313 314 315 316 317 318
		/*
		 * don't vacuum large objects for now - something breaks when we
		 * do
		 */
		if ((strlen(rname) >= 5) && rname[0] == 'x' &&
			rname[1] == 'i' && rname[2] == 'n' &&
			(rname[3] == 'v' || rname[3] == 'x') &&
			rname[4] >= '0' && rname[4] <= '9')
		{
			elog(NOTICE, "Rel %s: can't vacuum LargeObjects now",
				 rname);
			continue;
		}

319
		d = heap_getattr(pgctup, Anum_pg_class_relkind, pgcdesc, &n);
320 321 322 323 324 325 326 327 328

		rkind = DatumGetChar(d);

		/* skip system relations */
		if (rkind != 'r')
		{
			elog(NOTICE, "Vacuum: can not process index and certain system tables");
			continue;
		}
329

330 331 332 333 334 335 336 337 338 339
		/* get a relation list entry for this guy */
		old = MemoryContextSwitchTo((MemoryContext) portalmem);
		if (vrl == (VRelList) NULL)
			vrl = cur = (VRelList) palloc(sizeof(VRelListData));
		else
		{
			cur->vrl_next = (VRelList) palloc(sizeof(VRelListData));
			cur = cur->vrl_next;
		}
		MemoryContextSwitchTo(old);
340

341 342 343 344 345 346 347 348 349
		cur->vrl_relid = pgctup->t_oid;
		cur->vrl_next = (VRelList) NULL;
	}
	if (found == false)
		elog(NOTICE, "Vacuum: table not found");


	heap_endscan(pgcscan);
	heap_close(pgclass);
350

351
	CommitTransactionCommand();
352

353
	return (vrl);
354 355 356
}

/*
357
 *	vc_vacone() -- vacuum one heap relation
358
 *
359 360
 *		This routine vacuums a single heap, cleans out its indices, and
 *		updates its statistics npages and ntups statistics.
361
 *
362 363 364 365 366
 *		Doing one heap at a time incurs extra overhead, since we need to
 *		check that the heap exists again just before we vacuum it.	The
 *		reason that we do this is so that vacuuming can be spread across
 *		many small transactions.  Otherwise, two-phase locking would require
 *		us to lock the entire database during one pass of the vacuum cleaner.
367 368
 */
static void
369
vc_vacone(Oid relid, bool analyze, List *va_cols)
370
{
371 372 373 374 375 376
	Relation	pgclass;
	TupleDesc	pgcdesc;
	HeapTuple	pgctup,
				pgttup;
	Relation	onerel;
	VPageListData Vvpl;			/* List of pages to vacuum and/or clean
377
								 * indices */
378
	VPageListData Fvpl;			/* List of pages with space enough for
379
								 * re-using */
380 381 382 383 384
	VPageDescr *vpp;
	Relation   *Irel;
	int32		nindices,
				i;
	VRelStats  *vacrelstats;
385 386 387 388 389 390 391 392 393 394

	StartTransactionCommand();

	pgclass = heap_openr(RelationRelationName);
	pgcdesc = RelationGetTupleDescriptor(pgclass);

	/*
	 * Race condition -- if the pg_class tuple has gone away since the
	 * last time we saw it, we don't need to vacuum it.
	 */
395 396 397 398
	pgctup = SearchSysCacheTuple(RELOID,
								 ObjectIdGetDatum(relid),
								 0, 0, 0);
	if (!HeapTupleIsValid(pgctup))
399 400 401 402 403 404 405 406 407 408 409 410 411 412 413
	{
		heap_close(pgclass);
		CommitTransactionCommand();
		return;
	}

	/* now open the class and vacuum it */
	onerel = heap_open(relid);

	vacrelstats = (VRelStats *) palloc(sizeof(VRelStats));
	vacrelstats->relid = relid;
	vacrelstats->npages = vacrelstats->ntups = 0;
	vacrelstats->hasindex = false;
	if (analyze && !IsSystemRelationName((RelationGetRelationName(onerel))->data))
	{
414 415
		int			attr_cnt,
				   *attnums = NULL;
416 417 418 419 420 421 422
		AttributeTupleForm *attr;

		attr_cnt = onerel->rd_att->natts;
		attr = onerel->rd_att->attrs;

		if (va_cols != NIL)
		{
423 424
			int			tcnt = 0;
			List	   *le;
425 426

			if (length(va_cols) > attr_cnt)
427
				elog(ERROR, "vacuum: too many attributes specified for relation %s",
428 429 430 431
					 (RelationGetRelationName(onerel))->data);
			attnums = (int *) palloc(attr_cnt * sizeof(int));
			foreach(le, va_cols)
			{
432
				char	   *col = (char *) lfirst(le);
433 434 435 436 437 438 439 440 441 442

				for (i = 0; i < attr_cnt; i++)
				{
					if (namestrcmp(&(attr[i]->attname), col) == 0)
						break;
				}
				if (i < attr_cnt)		/* found */
					attnums[tcnt++] = i;
				else
				{
443
					elog(ERROR, "vacuum: there is no attribute %s in %s",
444 445 446 447 448 449 450 451 452 453 454
						 col, (RelationGetRelationName(onerel))->data);
				}
			}
			attr_cnt = tcnt;
		}

		vacrelstats->vacattrstats =
			(VacAttrStats *) palloc(attr_cnt * sizeof(VacAttrStats));

		for (i = 0; i < attr_cnt; i++)
		{
455
			Operator	func_operator;
456
			OperatorTupleForm pgopform;
457
			VacAttrStats *stats;
458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473

			stats = &vacrelstats->vacattrstats[i];
			stats->attr = palloc(ATTRIBUTE_TUPLE_SIZE);
			memmove(stats->attr, attr[((attnums) ? attnums[i] : i)], ATTRIBUTE_TUPLE_SIZE);
			stats->best = stats->guess1 = stats->guess2 = 0;
			stats->max = stats->min = 0;
			stats->best_len = stats->guess1_len = stats->guess2_len = 0;
			stats->max_len = stats->min_len = 0;
			stats->initialized = false;
			stats->best_cnt = stats->guess1_cnt = stats->guess1_hits = stats->guess2_hits = 0;
			stats->max_cnt = stats->min_cnt = stats->null_cnt = stats->nonnull_cnt = 0;

			func_operator = oper("=", stats->attr->atttypid, stats->attr->atttypid, true);
			if (func_operator != NULL)
			{
				pgopform = (OperatorTupleForm) GETSTRUCT(func_operator);
474
				fmgr_info(pgopform->oprcode, &(stats->f_cmpeq));
475 476
			}
			else
477
				stats->f_cmpeq.fn_addr = NULL;
478 479 480 481 482

			func_operator = oper("<", stats->attr->atttypid, stats->attr->atttypid, true);
			if (func_operator != NULL)
			{
				pgopform = (OperatorTupleForm) GETSTRUCT(func_operator);
483
				fmgr_info(pgopform->oprcode, &(stats->f_cmplt));
484 485
			}
			else
486
				stats->f_cmplt.fn_addr = NULL;
487 488 489 490 491

			func_operator = oper(">", stats->attr->atttypid, stats->attr->atttypid, true);
			if (func_operator != NULL)
			{
				pgopform = (OperatorTupleForm) GETSTRUCT(func_operator);
492
				fmgr_info(pgopform->oprcode, &(stats->f_cmpgt));
493 494
			}
			else
495
				stats->f_cmpgt.fn_addr = NULL;
496 497

			pgttup = SearchSysCacheTuple(TYPOID,
498
									 ObjectIdGetDatum(stats->attr->atttypid),
499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570
										 0, 0, 0);
			if (HeapTupleIsValid(pgttup))
				stats->outfunc = ((TypeTupleForm) GETSTRUCT(pgttup))->typoutput;
			else
				stats->outfunc = InvalidOid;
		}
		vacrelstats->va_natts = attr_cnt;
		vc_delhilowstats(relid, ((attnums) ? attr_cnt : 0), attnums);
		if (attnums)
			pfree(attnums);
	}
	else
	{
		vacrelstats->va_natts = 0;
		vacrelstats->vacattrstats = (VacAttrStats *) NULL;
	}

	/* we require the relation to be locked until the indices are cleaned */
	RelationSetLockForWrite(onerel);

	/* scan it */
	Vvpl.vpl_npages = Fvpl.vpl_npages = 0;
	vc_scanheap(vacrelstats, onerel, &Vvpl, &Fvpl);

	/* Now open indices */
	Irel = (Relation *) NULL;
	vc_getindices(vacrelstats->relid, &nindices, &Irel);

	if (nindices > 0)
		vacrelstats->hasindex = true;
	else
		vacrelstats->hasindex = false;

	/* Clean/scan index relation(s) */
	if (Irel != (Relation *) NULL)
	{
		if (Vvpl.vpl_npages > 0)
		{
			for (i = 0; i < nindices; i++)
				vc_vaconeind(&Vvpl, Irel[i], vacrelstats->ntups);
		}
		else
/* just scan indices to update statistic */
		{
			for (i = 0; i < nindices; i++)
				vc_scanoneind(Irel[i], vacrelstats->ntups);
		}
	}

	if (Fvpl.vpl_npages > 0)	/* Try to shrink heap */
		vc_rpfheap(vacrelstats, onerel, &Vvpl, &Fvpl, nindices, Irel);
	else
	{
		if (Irel != (Relation *) NULL)
			vc_clsindices(nindices, Irel);
		if (Vvpl.vpl_npages > 0)/* Clean pages from Vvpl list */
			vc_vacheap(vacrelstats, onerel, &Vvpl);
	}

	/* ok - free Vvpl list of reapped pages */
	if (Vvpl.vpl_npages > 0)
	{
		vpp = Vvpl.vpl_pgdesc;
		for (i = 0; i < Vvpl.vpl_npages; i++, vpp++)
			pfree(*vpp);
		pfree(Vvpl.vpl_pgdesc);
		if (Fvpl.vpl_npages > 0)
			pfree(Fvpl.vpl_pgdesc);
	}

	/* all done with this class */
	heap_close(onerel);
571
	heap_close(pgclass);
V
Vadim B. Mikheev 已提交
572

573 574 575 576 577 578 579
	/* update statistics in pg_class */
	vc_updstats(vacrelstats->relid, vacrelstats->npages, vacrelstats->ntups,
				vacrelstats->hasindex, vacrelstats);

	/* next command frees attribute stats */

	CommitTransactionCommand();
580 581 582
}

/*
583
 *	vc_scanheap() -- scan an open heap relation
584
 *
585 586 587 588 589
 *		This routine sets commit times, constructs Vvpl list of
 *		empty/uninitialized pages and pages with dead tuples and
 *		~LP_USED line pointers, constructs Fvpl list of pages
 *		appropriate for purposes of shrinking and maintains statistics
 *		on the number of live tuples in a heap.
590 591
 */
static void
592
vc_scanheap(VRelStats *vacrelstats, Relation onerel,
V
Vadim B. Mikheev 已提交
593
			VPageList Vvpl, VPageList Fvpl)
594
{
595 596 597 598 599
	int			nblocks,
				blkno;
	ItemId		itemid;
	ItemPointer itemptr;
	Buffer		buf;
600
	HeapTuple	tuple;
601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627
	Page		page,
				tempPage = NULL;
	OffsetNumber offnum,
				maxoff;
	bool		pgchanged,
				tupgone,
				dobufrel,
				notup;
	char	   *relname;
	VPageDescr	vpc,
				vp;
	uint32		nvac,
				ntups,
				nunused,
				ncrash,
				nempg,
				nnepg,
				nchpg,
				nemend;
	Size		frsize,
				frsusf;
	Size		min_tlen = MAXTUPLEN;
	Size		max_tlen = 0;
	int32		i /* , attr_cnt */ ;
	struct rusage ru0,
				ru1;
	bool		do_shrinking = true;
628 629 630 631 632 633 634 635 636 637 638 639 640

	getrusage(RUSAGE_SELF, &ru0);

	nvac = ntups = nunused = ncrash = nempg = nnepg = nchpg = nemend = 0;
	frsize = frsusf = 0;

	relname = (RelationGetRelationName(onerel))->data;

	nblocks = RelationGetNumberOfBlocks(onerel);

	vpc = (VPageDescr) palloc(sizeof(VPageDescrData) + MaxOffsetNumber * sizeof(OffsetNumber));
	vpc->vpd_nusd = 0;

641 642
	elog(MESSAGE_LEVEL, "--Relation %s--", relname);
	
643 644 645 646 647 648
	for (blkno = 0; blkno < nblocks; blkno++)
	{
		buf = ReadBuffer(onerel, blkno);
		page = BufferGetPage(buf);
		vpc->vpd_blkno = blkno;
		vpc->vpd_noff = 0;
649

650 651 652 653 654 655 656 657 658 659 660 661
		if (PageIsNew(page))
		{
			elog(NOTICE, "Rel %s: Uninitialized page %u - fixing",
				 relname, blkno);
			PageInit(page, BufferGetPageSize(buf), 0);
			vpc->vpd_free = ((PageHeader) page)->pd_upper - ((PageHeader) page)->pd_lower;
			frsize += (vpc->vpd_free - sizeof(ItemIdData));
			nnepg++;
			nemend++;
			vc_reappage(Vvpl, vpc);
			WriteBuffer(buf);
			continue;
V
Vadim B. Mikheev 已提交
662
		}
663 664

		if (PageIsEmpty(page))
665
		{
666 667 668 669 670 671 672
			vpc->vpd_free = ((PageHeader) page)->pd_upper - ((PageHeader) page)->pd_lower;
			frsize += (vpc->vpd_free - sizeof(ItemIdData));
			nempg++;
			nemend++;
			vc_reappage(Vvpl, vpc);
			ReleaseBuffer(buf);
			continue;
673 674
		}

675 676 677 678 679 680
		pgchanged = false;
		notup = true;
		maxoff = PageGetMaxOffsetNumber(page);
		for (offnum = FirstOffsetNumber;
			 offnum <= maxoff;
			 offnum = OffsetNumberNext(offnum))
681
		{
682 683 684 685 686 687 688 689 690 691 692 693 694
			itemid = PageGetItemId(page, offnum);

			/*
			 * Collect un-used items too - it's possible to have indices
			 * pointing here after crash.
			 */
			if (!ItemIdIsUsed(itemid))
			{
				vpc->vpd_voff[vpc->vpd_noff++] = offnum;
				nunused++;
				continue;
			}

695
			tuple = (HeapTuple) PageGetItem(page, itemid);
696 697
			tupgone = false;

698
			if (!(tuple->t_infomask & HEAP_XMIN_COMMITTED))
699
			{
700
				if (tuple->t_infomask & HEAP_XMIN_INVALID)
701 702 703
					tupgone = true;
				else
				{
704
					if (TransactionIdDidAbort(tuple->t_xmin))
V
Vadim B. Mikheev 已提交
705
						tupgone = true;
706
					else if (TransactionIdDidCommit(tuple->t_xmin))
V
Vadim B. Mikheev 已提交
707
					{
708
						tuple->t_infomask |= HEAP_XMIN_COMMITTED;
V
Vadim B. Mikheev 已提交
709 710
						pgchanged = true;
					}
711
					else if (!TransactionIdIsInProgress(tuple->t_xmin))
V
Vadim B. Mikheev 已提交
712
					{
713

V
Vadim B. Mikheev 已提交
714
						/*
715
						 * Not Aborted, Not Committed, Not in Progress -
V
Vadim B. Mikheev 已提交
716 717 718 719 720 721 722 723
						 * so it's from crashed process. - vadim 11/26/96
						 */
						ncrash++;
						tupgone = true;
					}
					else
					{
						elog(NOTICE, "Rel %s: TID %u/%u: InsertTransactionInProgress %u - can't shrink relation",
724
							 relname, blkno, offnum, tuple->t_xmin);
V
Vadim B. Mikheev 已提交
725 726
						do_shrinking = false;
					}
727 728 729
				}
			}

730 731 732
			/*
			 * here we are concerned about tuples with xmin committed and
			 * xmax unknown or committed
V
Vadim B. Mikheev 已提交
733
			 */
734 735
			if (tuple->t_infomask & HEAP_XMIN_COMMITTED &&
				!(tuple->t_infomask & HEAP_XMAX_INVALID))
736
			{
737
				if (tuple->t_infomask & HEAP_XMAX_COMMITTED)
V
Vadim B. Mikheev 已提交
738
					tupgone = true;
739
				else if (TransactionIdDidAbort(tuple->t_xmax))
740
				{
741
					tuple->t_infomask |= HEAP_XMAX_INVALID;
742 743
					pgchanged = true;
				}
744
				else if (TransactionIdDidCommit(tuple->t_xmax))
745
					tupgone = true;
746
				else if (!TransactionIdIsInProgress(tuple->t_xmax))
747
				{
748

749 750 751 752
					/*
					 * Not Aborted, Not Committed, Not in Progress - so it
					 * from crashed process. - vadim 06/02/97
					 */
753
					tuple->t_infomask |= HEAP_XMAX_INVALID;;
754 755 756 757 758
					pgchanged = true;
				}
				else
				{
					elog(NOTICE, "Rel %s: TID %u/%u: DeleteTransactionInProgress %u - can't shrink relation",
759
						 relname, blkno, offnum, tuple->t_xmax);
760 761 762 763 764 765 766 767
					do_shrinking = false;
				}
			}

			/*
			 * It's possibly! But from where it comes ? And should we fix
			 * it ?  - vadim 11/28/96
			 */
768
			itemptr = &(tuple->t_ctid);
769 770 771 772 773 774 775 776 777 778 779 780
			if (!ItemPointerIsValid(itemptr) ||
				BlockIdGetBlockNumber(&(itemptr->ip_blkid)) != blkno)
			{
				elog(NOTICE, "Rel %s: TID %u/%u: TID IN TUPLEHEADER %u/%u IS NOT THE SAME. TUPGONE %d.",
					 relname, blkno, offnum,
					 BlockIdGetBlockNumber(&(itemptr->ip_blkid)),
					 itemptr->ip_posid, tupgone);
			}

			/*
			 * Other checks...
			 */
781
			if (tuple->t_len != itemid->lp_len)
782 783 784
			{
				elog(NOTICE, "Rel %s: TID %u/%u: TUPLE_LEN IN PAGEHEADER %u IS NOT THE SAME AS IN TUPLEHEADER %u. TUPGONE %d.",
					 relname, blkno, offnum,
785
					 itemid->lp_len, tuple->t_len, tupgone);
786
			}
787
			if (!OidIsValid(tuple->t_oid))
788 789 790 791 792 793 794
			{
				elog(NOTICE, "Rel %s: TID %u/%u: OID IS INVALID. TUPGONE %d.",
					 relname, blkno, offnum, tupgone);
			}

			if (tupgone)
			{
795
				ItemId		lpp;
796 797 798

				if (tempPage == (Page) NULL)
				{
799
					Size		pageSize;
800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818

					pageSize = PageGetPageSize(page);
					tempPage = (Page) palloc(pageSize);
					memmove(tempPage, page, pageSize);
				}

				lpp = &(((PageHeader) tempPage)->pd_linp[offnum - 1]);

				/* mark it unused */
				lpp->lp_flags &= ~LP_USED;

				vpc->vpd_voff[vpc->vpd_noff++] = offnum;
				nvac++;

			}
			else
			{
				ntups++;
				notup = false;
819 820 821 822 823
				if (tuple->t_len < min_tlen)
					min_tlen = tuple->t_len;
				if (tuple->t_len > max_tlen)
					max_tlen = tuple->t_len;
				vc_attrstats(onerel, vacrelstats, tuple);
824
			}
825
		}
826 827 828 829 830 831

		if (pgchanged)
		{
			WriteBuffer(buf);
			dobufrel = false;
			nchpg++;
832 833
		}
		else
834 835 836 837 838 839 840 841 842
			dobufrel = true;
		if (tempPage != (Page) NULL)
		{						/* Some tuples are gone */
			PageRepairFragmentation(tempPage);
			vpc->vpd_free = ((PageHeader) tempPage)->pd_upper - ((PageHeader) tempPage)->pd_lower;
			frsize += vpc->vpd_free;
			vc_reappage(Vvpl, vpc);
			pfree(tempPage);
			tempPage = (Page) NULL;
843
		}
844 845 846 847 848
		else if (vpc->vpd_noff > 0)
		{						/* there are only ~LP_USED line pointers */
			vpc->vpd_free = ((PageHeader) page)->pd_upper - ((PageHeader) page)->pd_lower;
			frsize += vpc->vpd_free;
			vc_reappage(Vvpl, vpc);
V
Vadim B. Mikheev 已提交
849
		}
850 851 852 853 854 855
		if (dobufrel)
			ReleaseBuffer(buf);
		if (notup)
			nemend++;
		else
			nemend = 0;
856 857
	}

858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877
	pfree(vpc);

	/* save stats in the rel list for use later */
	vacrelstats->ntups = ntups;
	vacrelstats->npages = nblocks;
/*	  vacrelstats->natts = attr_cnt;*/
	if (ntups == 0)
		min_tlen = max_tlen = 0;
	vacrelstats->min_tlen = min_tlen;
	vacrelstats->max_tlen = max_tlen;

	Vvpl->vpl_nemend = nemend;
	Fvpl->vpl_nemend = nemend;

	/*
	 * Try to make Fvpl keeping in mind that we can't use free space of
	 * "empty" end-pages and last page if it reapped.
	 */
	if (do_shrinking && Vvpl->vpl_npages - nemend > 0)
	{
878
		int			nusf;		/* blocks usefull for re-using */
879 880 881 882 883 884 885 886 887 888 889 890 891 892

		nusf = Vvpl->vpl_npages - nemend;
		if ((Vvpl->vpl_pgdesc[nusf - 1])->vpd_blkno == nblocks - nemend - 1)
			nusf--;

		for (i = 0; i < nusf; i++)
		{
			vp = Vvpl->vpl_pgdesc[i];
			if (vc_enough_space(vp, min_tlen))
			{
				vc_vpinsert(Fvpl, vp);
				frsusf += vp->vpd_free;
			}
		}
V
Vadim B. Mikheev 已提交
893
	}
894

895 896
	getrusage(RUSAGE_SELF, &ru1);

897
	elog(MESSAGE_LEVEL, "Pages %u: Changed %u, Reapped %u, Empty %u, New %u; \
V
Vadim B. Mikheev 已提交
898
Tup %u: Vac %u, Crash %u, UnUsed %u, MinLen %u, MaxLen %u; Re-using: Free/Avail. Space %u/%u; EndEmpty/Avail. Pages %u/%u. Elapsed %u/%u sec.",
899 900 901 902 903
		 nblocks, nchpg, Vvpl->vpl_npages, nempg, nnepg,
		 ntups, nvac, ncrash, nunused, min_tlen, max_tlen,
		 frsize, frsusf, nemend, Fvpl->vpl_npages,
		 ru1.ru_stime.tv_sec - ru0.ru_stime.tv_sec,
		 ru1.ru_utime.tv_sec - ru0.ru_utime.tv_sec);
904

905
}	/* vc_scanheap */
V
Vadim B. Mikheev 已提交
906

907 908

/*
909
 *	vc_rpfheap() -- try to repaire relation' fragmentation
910
 *
911 912 913 914 915 916
 *		This routine marks dead tuples as unused and tries re-use dead space
 *		by moving tuples (and inserting indices if needed). It constructs
 *		Nvpl list of free-ed pages (moved tuples) and clean indices
 *		for them after committing (in hack-manner - without losing locks
 *		and freeing memory!) current transaction. It truncates relation
 *		if some end-blocks are gone away.
917 918
 */
static void
919 920
vc_rpfheap(VRelStats *vacrelstats, Relation onerel,
		   VPageList Vvpl, VPageList Fvpl, int nindices, Relation *Irel)
921
{
922 923 924 925 926 927 928 929 930 931 932 933 934 935
	TransactionId myXID;
	CommandId	myCID;
	Buffer		buf,
				ToBuf;
	int			nblocks,
				blkno;
	Page		page,
				ToPage = NULL;
	OffsetNumber offnum = 0,
				maxoff = 0,
				newoff,
				moff;
	ItemId		itemid,
				newitemid;
936
	HeapTuple	tuple,
937 938 939 940
				newtup;
	TupleDesc	tupdesc = NULL;
	Datum	   *idatum = NULL;
	char	   *inulls = NULL;
941
	InsertIndexResult iresult;
942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963
	VPageListData Nvpl;
	VPageDescr	ToVpd = NULL,
				Fvplast,
				Vvplast,
				vpc,
			   *vpp;
	int			ToVpI = 0;
	IndDesc    *Idesc,
			   *idcur;
	int			Fblklast,
				Vblklast,
				i;
	Size		tlen;
	int			nmoved,
				Fnpages,
				Vnpages;
	int			nchkmvd,
				ntups;
	bool		isempty,
				dowrite;
	struct rusage ru0,
				ru1;
964 965 966 967 968 969 970

	getrusage(RUSAGE_SELF, &ru0);

	myXID = GetCurrentTransactionId();
	myCID = GetCurrentCommandId();

	if (Irel != (Relation *) NULL)		/* preparation for index' inserts */
V
Vadim B. Mikheev 已提交
971
	{
972 973 974 975
		vc_mkindesc(onerel, nindices, Irel, &Idesc);
		tupdesc = RelationGetTupleDescriptor(onerel);
		idatum = (Datum *) palloc(INDEX_MAX_KEYS * sizeof(*idatum));
		inulls = (char *) palloc(INDEX_MAX_KEYS * sizeof(*inulls));
V
Vadim B. Mikheev 已提交
976
	}
977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994

	Nvpl.vpl_npages = 0;
	Fnpages = Fvpl->vpl_npages;
	Fvplast = Fvpl->vpl_pgdesc[Fnpages - 1];
	Fblklast = Fvplast->vpd_blkno;
	Assert(Vvpl->vpl_npages > Vvpl->vpl_nemend);
	Vnpages = Vvpl->vpl_npages - Vvpl->vpl_nemend;
	Vvplast = Vvpl->vpl_pgdesc[Vnpages - 1];
	Vblklast = Vvplast->vpd_blkno;
	Assert(Vblklast >= Fblklast);
	ToBuf = InvalidBuffer;
	nmoved = 0;

	vpc = (VPageDescr) palloc(sizeof(VPageDescrData) + MaxOffsetNumber * sizeof(OffsetNumber));
	vpc->vpd_nusd = vpc->vpd_noff = 0;

	nblocks = vacrelstats->npages;
	for (blkno = nblocks - Vvpl->vpl_nemend - 1;; blkno--)
V
Vadim B. Mikheev 已提交
995
	{
996 997 998
		/* if it's reapped page and it was used by me - quit */
		if (blkno == Fblklast && Fvplast->vpd_nusd > 0)
			break;
V
Vadim B. Mikheev 已提交
999

1000 1001 1002 1003 1004 1005 1006 1007 1008
		buf = ReadBuffer(onerel, blkno);
		page = BufferGetPage(buf);

		vpc->vpd_noff = 0;

		isempty = PageIsEmpty(page);

		dowrite = false;
		if (blkno == Vblklast)	/* it's reapped page */
1009
		{
1010 1011 1012
			if (Vvplast->vpd_noff > 0)	/* there are dead tuples */
			{					/* on this page - clean */
				Assert(!isempty);
B
Bruce Momjian 已提交
1013
				vc_vacpage(page, Vvplast);
1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052
				dowrite = true;
			}
			else
				Assert(isempty);
			--Vnpages;
			Assert(Vnpages > 0);
			/* get prev reapped page from Vvpl */
			Vvplast = Vvpl->vpl_pgdesc[Vnpages - 1];
			Vblklast = Vvplast->vpd_blkno;
			if (blkno == Fblklast)		/* this page in Fvpl too */
			{
				--Fnpages;
				Assert(Fnpages > 0);
				Assert(Fvplast->vpd_nusd == 0);
				/* get prev reapped page from Fvpl */
				Fvplast = Fvpl->vpl_pgdesc[Fnpages - 1];
				Fblklast = Fvplast->vpd_blkno;
			}
			Assert(Fblklast <= Vblklast);
			if (isempty)
			{
				ReleaseBuffer(buf);
				continue;
			}
		}
		else
			Assert(!isempty);

		vpc->vpd_blkno = blkno;
		maxoff = PageGetMaxOffsetNumber(page);
		for (offnum = FirstOffsetNumber;
			 offnum <= maxoff;
			 offnum = OffsetNumberNext(offnum))
		{
			itemid = PageGetItemId(page, offnum);

			if (!ItemIdIsUsed(itemid))
				continue;

1053 1054
			tuple = (HeapTuple) PageGetItem(page, itemid);
			tlen = tuple->t_len;
1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067

			/* try to find new page for this tuple */
			if (ToBuf == InvalidBuffer ||
				!vc_enough_space(ToVpd, tlen))
			{
				if (ToBuf != InvalidBuffer)
				{
					WriteBuffer(ToBuf);
					ToBuf = InvalidBuffer;

					/*
					 * If no one tuple can't be added to this page -
					 * remove page from Fvpl. - vadim 11/27/96
1068 1069 1070
					 *
					 * But we can't remove last page - this is our
					 * "show-stopper" !!!	- vadim 02/25/98
1071
					 */
1072
					if (ToVpd != Fvplast &&
1073
						!vc_enough_space(ToVpd, vacrelstats->min_tlen))
1074
					{
1075 1076 1077
						Assert(Fnpages > ToVpI + 1);
						memmove(Fvpl->vpl_pgdesc + ToVpI,
								Fvpl->vpl_pgdesc + ToVpI + 1,
1078
						   sizeof(VPageDescr *) * (Fnpages - ToVpI - 1));
1079
						Fnpages--;
1080
						Assert(Fvplast == Fvpl->vpl_pgdesc[Fnpages - 1]);
1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095
					}
				}
				for (i = 0; i < Fnpages; i++)
				{
					if (vc_enough_space(Fvpl->vpl_pgdesc[i], tlen))
						break;
				}
				if (i == Fnpages)
					break;		/* can't move item anywhere */
				ToVpI = i;
				ToVpd = Fvpl->vpl_pgdesc[ToVpI];
				ToBuf = ReadBuffer(onerel, ToVpd->vpd_blkno);
				ToPage = BufferGetPage(ToBuf);
				/* if this page was not used before - clean it */
				if (!PageIsEmpty(ToPage) && ToVpd->vpd_nusd == 0)
B
Bruce Momjian 已提交
1096
					vc_vacpage(ToPage, ToVpd);
1097 1098 1099 1100
			}

			/* copy tuple */
			newtup = (HeapTuple) palloc(tlen);
1101
			memmove((char *) newtup, (char *) tuple, tlen);
1102 1103 1104 1105 1106

			/* store transaction information */
			TransactionIdStore(myXID, &(newtup->t_xmin));
			newtup->t_cmin = myCID;
			StoreInvalidTransactionId(&(newtup->t_xmax));
V
Vadim B. Mikheev 已提交
1107 1108 1109
			/* set xmin to unknown and xmax to invalid */
			newtup->t_infomask &= ~(HEAP_XACT_MASK);
			newtup->t_infomask |= HEAP_XMAX_INVALID;
1110 1111 1112 1113 1114 1115

			/* add tuple to the page */
			newoff = PageAddItem(ToPage, (Item) newtup, tlen,
								 InvalidOffsetNumber, LP_USED);
			if (newoff == InvalidOffsetNumber)
			{
1116
				elog(ERROR, "\
V
Vadim B. Mikheev 已提交
1117
failed to add item with len = %u to page %u (free space %u, nusd %u, noff %u)",
1118 1119 1120 1121 1122 1123 1124 1125 1126
					 tlen, ToVpd->vpd_blkno, ToVpd->vpd_free,
					 ToVpd->vpd_nusd, ToVpd->vpd_noff);
			}
			newitemid = PageGetItemId(ToPage, newoff);
			pfree(newtup);
			newtup = (HeapTuple) PageGetItem(ToPage, newitemid);
			ItemPointerSet(&(newtup->t_ctid), ToVpd->vpd_blkno, newoff);

			/* now logically delete end-tuple */
1127 1128
			TransactionIdStore(myXID, &(tuple->t_xmax));
			tuple->t_cmax = myCID;
V
Vadim B. Mikheev 已提交
1129
			/* set xmax to unknown */
1130
			tuple->t_infomask &= ~(HEAP_XMAX_INVALID | HEAP_XMAX_COMMITTED);
1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142 1143

			ToVpd->vpd_nusd++;
			nmoved++;
			ToVpd->vpd_free = ((PageHeader) ToPage)->pd_upper - ((PageHeader) ToPage)->pd_lower;
			vpc->vpd_voff[vpc->vpd_noff++] = offnum;

			/* insert index' tuples if needed */
			if (Irel != (Relation *) NULL)
			{
				for (i = 0, idcur = Idesc; i < nindices; i++, idcur++)
				{
					FormIndexDatum(
								   idcur->natts,
B
Bruce Momjian 已提交
1144
							   (AttrNumber *) &(idcur->tform->indkey[0]),
1145 1146 1147 1148 1149 1150 1151 1152 1153 1154 1155 1156 1157 1158 1159 1160 1161 1162 1163
								   newtup,
								   tupdesc,
								   idatum,
								   inulls,
								   idcur->finfoP);
					iresult = index_insert(
										   Irel[i],
										   idatum,
										   inulls,
										   &(newtup->t_ctid),
										   onerel);
					if (iresult)
						pfree(iresult);
				}
			}

		}						/* walk along page */

		if (vpc->vpd_noff > 0)	/* some tuples were moved */
V
Vadim B. Mikheev 已提交
1164
		{
1165 1166
			vc_reappage(&Nvpl, vpc);
			WriteBuffer(buf);
V
Vadim B. Mikheev 已提交
1167
		}
1168 1169 1170 1171
		else if (dowrite)
			WriteBuffer(buf);
		else
			ReleaseBuffer(buf);
V
Vadim B. Mikheev 已提交
1172

1173 1174 1175 1176 1177 1178 1179 1180
		if (offnum <= maxoff)
			break;				/* some item(s) left */

	}							/* walk along relation */

	blkno++;					/* new number of blocks */

	if (ToBuf != InvalidBuffer)
V
Vadim B. Mikheev 已提交
1181
	{
1182 1183
		Assert(nmoved > 0);
		WriteBuffer(ToBuf);
V
Vadim B. Mikheev 已提交
1184
	}
1185 1186

	if (nmoved > 0)
V
Vadim B. Mikheev 已提交
1187
	{
1188 1189 1190 1191 1192 1193 1194 1195 1196 1197

		/*
		 * We have to commit our tuple' movings before we'll truncate
		 * relation, but we shouldn't lose our locks. And so - quick hack:
		 * flush buffers and record status of current transaction as
		 * committed, and continue. - vadim 11/13/96
		 */
		FlushBufferPool(!TransactionFlushEnabled());
		TransactionIdCommit(myXID);
		FlushBufferPool(!TransactionFlushEnabled());
V
Vadim B. Mikheev 已提交
1198
	}
1199 1200

	/*
V
Vadim B. Mikheev 已提交
1201
	 * Clean uncleaned reapped pages from Vvpl list and set xmin committed
1202 1203 1204 1205
	 * for inserted tuples
	 */
	nchkmvd = 0;
	for (i = 0, vpp = Vvpl->vpl_pgdesc; i < Vnpages; i++, vpp++)
V
Vadim B. Mikheev 已提交
1206
	{
1207 1208 1209 1210 1211 1212 1213 1214 1215 1216 1217
		Assert((*vpp)->vpd_blkno < blkno);
		buf = ReadBuffer(onerel, (*vpp)->vpd_blkno);
		page = BufferGetPage(buf);
		if ((*vpp)->vpd_nusd == 0)		/* this page was not used */
		{

			/*
			 * noff == 0 in empty pages only - such pages should be
			 * re-used
			 */
			Assert((*vpp)->vpd_noff > 0);
B
Bruce Momjian 已提交
1218
			vc_vacpage(page, *vpp);
1219 1220 1221 1222 1223 1224 1225 1226 1227 1228 1229 1230 1231
		}
		else
/* this page was used */
		{
			ntups = 0;
			moff = PageGetMaxOffsetNumber(page);
			for (newoff = FirstOffsetNumber;
				 newoff <= moff;
				 newoff = OffsetNumberNext(newoff))
			{
				itemid = PageGetItemId(page, newoff);
				if (!ItemIdIsUsed(itemid))
					continue;
1232 1233
				tuple = (HeapTuple) PageGetItem(page, itemid);
				if (TransactionIdEquals((TransactionId) tuple->t_xmin, myXID))
1234
				{
1235
					tuple->t_infomask |= HEAP_XMIN_COMMITTED;
1236 1237 1238 1239 1240 1241 1242
					ntups++;
				}
			}
			Assert((*vpp)->vpd_nusd == ntups);
			nchkmvd += ntups;
		}
		WriteBuffer(buf);
V
Vadim B. Mikheev 已提交
1243
	}
1244 1245 1246
	Assert(nmoved == nchkmvd);

	getrusage(RUSAGE_SELF, &ru1);
1247

1248
	elog(MESSAGE_LEVEL, "Rel %s: Pages: %u --> %u; Tuple(s) moved: %u. \
V
Vadim B. Mikheev 已提交
1249
Elapsed %u/%u sec.",
1250 1251 1252 1253 1254 1255
		 (RelationGetRelationName(onerel))->data,
		 nblocks, blkno, nmoved,
		 ru1.ru_stime.tv_sec - ru0.ru_stime.tv_sec,
		 ru1.ru_utime.tv_sec - ru0.ru_utime.tv_sec);

	if (Nvpl.vpl_npages > 0)
V
Vadim B. Mikheev 已提交
1256
	{
1257 1258 1259
		/* vacuum indices again if needed */
		if (Irel != (Relation *) NULL)
		{
1260 1261 1262
			VPageDescr *vpleft,
					   *vpright,
						vpsave;
1263 1264 1265 1266 1267 1268 1269 1270 1271 1272 1273 1274 1275 1276 1277 1278 1279 1280 1281 1282 1283 1284 1285 1286 1287 1288 1289 1290 1291 1292 1293 1294

			/* re-sort Nvpl.vpl_pgdesc */
			for (vpleft = Nvpl.vpl_pgdesc,
				 vpright = Nvpl.vpl_pgdesc + Nvpl.vpl_npages - 1;
				 vpleft < vpright; vpleft++, vpright--)
			{
				vpsave = *vpleft;
				*vpleft = *vpright;
				*vpright = vpsave;
			}
			for (i = 0; i < nindices; i++)
				vc_vaconeind(&Nvpl, Irel[i], vacrelstats->ntups);
		}

		/*
		 * clean moved tuples from last page in Nvpl list if some tuples
		 * left there
		 */
		if (vpc->vpd_noff > 0 && offnum <= maxoff)
		{
			Assert(vpc->vpd_blkno == blkno - 1);
			buf = ReadBuffer(onerel, vpc->vpd_blkno);
			page = BufferGetPage(buf);
			ntups = 0;
			maxoff = offnum;
			for (offnum = FirstOffsetNumber;
				 offnum < maxoff;
				 offnum = OffsetNumberNext(offnum))
			{
				itemid = PageGetItemId(page, offnum);
				if (!ItemIdIsUsed(itemid))
					continue;
1295 1296
				tuple = (HeapTuple) PageGetItem(page, itemid);
				Assert(TransactionIdEquals((TransactionId) tuple->t_xmax, myXID));
1297 1298 1299 1300 1301 1302 1303 1304 1305 1306 1307 1308 1309
				itemid->lp_flags &= ~LP_USED;
				ntups++;
			}
			Assert(vpc->vpd_noff == ntups);
			PageRepairFragmentation(page);
			WriteBuffer(buf);
		}

		/* now - free new list of reapped pages */
		vpp = Nvpl.vpl_pgdesc;
		for (i = 0; i < Nvpl.vpl_npages; i++, vpp++)
			pfree(*vpp);
		pfree(Nvpl.vpl_pgdesc);
V
Vadim B. Mikheev 已提交
1310 1311
	}

1312 1313
	/* truncate relation */
	if (blkno < nblocks)
V
Vadim B. Mikheev 已提交
1314
	{
1315 1316
		i = BlowawayRelationBuffers(onerel, blkno);
		if (i < 0)
1317
			elog(FATAL, "VACUUM (vc_rpfheap): BlowawayRelationBuffers returned %d", i);
B
Bruce Momjian 已提交
1318
		blkno = smgrtruncate(DEFAULT_SMGR, onerel, blkno);
1319 1320 1321 1322 1323 1324 1325 1326 1327 1328
		Assert(blkno >= 0);
		vacrelstats->npages = blkno;	/* set new number of blocks */
	}

	if (Irel != (Relation *) NULL)		/* pfree index' allocations */
	{
		pfree(Idesc);
		pfree(idatum);
		pfree(inulls);
		vc_clsindices(nindices, Irel);
V
Vadim B. Mikheev 已提交
1329 1330
	}

1331 1332
	pfree(vpc);

1333
}	/* vc_rpfheap */
V
Vadim B. Mikheev 已提交
1334 1335

/*
1336
 *	vc_vacheap() -- free dead tuples
V
Vadim B. Mikheev 已提交
1337
 *
1338 1339
 *		This routine marks dead tuples as unused and truncates relation
 *		if there are "empty" end-blocks.
V
Vadim B. Mikheev 已提交
1340 1341
 */
static void
1342
vc_vacheap(VRelStats *vacrelstats, Relation onerel, VPageList Vvpl)
V
Vadim B. Mikheev 已提交
1343
{
1344 1345 1346 1347 1348
	Buffer		buf;
	Page		page;
	VPageDescr *vpp;
	int			nblocks;
	int			i;
1349 1350

	nblocks = Vvpl->vpl_npages;
1351
	nblocks -= Vvpl->vpl_nemend;/* nothing to do with them */
1352 1353 1354 1355 1356 1357 1358

	for (i = 0, vpp = Vvpl->vpl_pgdesc; i < nblocks; i++, vpp++)
	{
		if ((*vpp)->vpd_noff > 0)
		{
			buf = ReadBuffer(onerel, (*vpp)->vpd_blkno);
			page = BufferGetPage(buf);
B
Bruce Momjian 已提交
1359
			vc_vacpage(page, *vpp);
1360 1361
			WriteBuffer(buf);
		}
V
Vadim B. Mikheev 已提交
1362 1363
	}

1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377
	/* truncate relation if there are some empty end-pages */
	if (Vvpl->vpl_nemend > 0)
	{
		Assert(vacrelstats->npages >= Vvpl->vpl_nemend);
		nblocks = vacrelstats->npages - Vvpl->vpl_nemend;
		elog(MESSAGE_LEVEL, "Rel %s: Pages: %u --> %u.",
			 (RelationGetRelationName(onerel))->data,
			 vacrelstats->npages, nblocks);

		/*
		 * we have to flush "empty" end-pages (if changed, but who knows
		 * it) before truncation
		 */
		FlushBufferPool(!TransactionFlushEnabled());
1378

1379 1380
		i = BlowawayRelationBuffers(onerel, nblocks);
		if (i < 0)
1381
			elog(FATAL, "VACUUM (vc_vacheap): BlowawayRelationBuffers returned %d", i);
1382

B
Bruce Momjian 已提交
1383
		nblocks = smgrtruncate(DEFAULT_SMGR, onerel, nblocks);
1384 1385 1386
		Assert(nblocks >= 0);
		vacrelstats->npages = nblocks;	/* set new number of blocks */
	}
V
Vadim B. Mikheev 已提交
1387

1388
}	/* vc_vacheap */
V
Vadim B. Mikheev 已提交
1389 1390

/*
B
Bruce Momjian 已提交
1391
 *	vc_vacpage() -- free dead tuples on a page
1392
 *					 and repaire its fragmentation.
V
Vadim B. Mikheev 已提交
1393 1394
 */
static void
B
Bruce Momjian 已提交
1395
vc_vacpage(Page page, VPageDescr vpd)
V
Vadim B. Mikheev 已提交
1396
{
1397 1398
	ItemId		itemid;
	int			i;
1399 1400 1401

	Assert(vpd->vpd_nusd == 0);
	for (i = 0; i < vpd->vpd_noff; i++)
V
Vadim B. Mikheev 已提交
1402
	{
1403 1404
		itemid = &(((PageHeader) page)->pd_linp[vpd->vpd_voff[i] - 1]);
		itemid->lp_flags &= ~LP_USED;
V
Vadim B. Mikheev 已提交
1405
	}
1406
	PageRepairFragmentation(page);
V
Vadim B. Mikheev 已提交
1407

1408
}	/* vc_vacpage */
1409

1410
/*
1411
 *	_vc_scanoneind() -- scan one index relation to update statistic.
1412 1413 1414
 *
 */
static void
1415
vc_scanoneind(Relation indrel, int nhtups)
1416
{
1417
	RetrieveIndexResult res;
1418 1419 1420 1421 1422
	IndexScanDesc iscan;
	int			nitups;
	int			nipages;
	struct rusage ru0,
				ru1;
1423

1424
	getrusage(RUSAGE_SELF, &ru0);
1425

1426 1427 1428
	/* walk through the entire index */
	iscan = index_beginscan(indrel, false, 0, (ScanKey) NULL);
	nitups = 0;
1429

1430 1431 1432 1433 1434 1435
	while ((res = index_getnext(iscan, ForwardScanDirection))
		   != (RetrieveIndexResult) NULL)
	{
		nitups++;
		pfree(res);
	}
1436

1437
	index_endscan(iscan);
1438

1439 1440
	/* now update statistics in pg_class */
	nipages = RelationGetNumberOfBlocks(indrel);
1441
	vc_updstats(RelationGetRelid(indrel), nipages, nitups, false, NULL);
1442

1443
	getrusage(RUSAGE_SELF, &ru1);
1444

1445 1446 1447 1448
	elog(MESSAGE_LEVEL, "Ind %s: Pages %u; Tuples %u. Elapsed %u/%u sec.",
		 indrel->rd_rel->relname.data, nipages, nitups,
		 ru1.ru_stime.tv_sec - ru0.ru_stime.tv_sec,
		 ru1.ru_utime.tv_sec - ru0.ru_utime.tv_sec);
1449

1450 1451 1452
	if (nitups != nhtups)
		elog(NOTICE, "Ind %s: NUMBER OF INDEX' TUPLES (%u) IS NOT THE SAME AS HEAP' (%u)",
			 indrel->rd_rel->relname.data, nitups, nhtups);
1453

1454
}	/* vc_scanoneind */
1455

1456
/*
1457
 *	vc_vaconeind() -- vacuum one index relation.
1458
 *
1459 1460 1461 1462 1463
 *		Vpl is the VPageList of the heap we're currently vacuuming.
 *		It's locked. Indrel is an index relation on the vacuumed heap.
 *		We don't set locks on the index	relation here, since the indexed
 *		access methods support locking at different granularities.
 *		We let them handle it.
1464
 *
1465 1466
 *		Finally, we arrange to update the index relation's statistics in
 *		pg_class.
1467 1468
 */
static void
1469
vc_vaconeind(VPageList vpl, Relation indrel, int nhtups)
1470
{
1471
	RetrieveIndexResult res;
1472 1473 1474 1475 1476 1477 1478 1479
	IndexScanDesc iscan;
	ItemPointer heapptr;
	int			nvac;
	int			nitups;
	int			nipages;
	VPageDescr	vp;
	struct rusage ru0,
				ru1;
1480 1481 1482 1483 1484 1485 1486 1487 1488 1489

	getrusage(RUSAGE_SELF, &ru0);

	/* walk through the entire index */
	iscan = index_beginscan(indrel, false, 0, (ScanKey) NULL);
	nvac = 0;
	nitups = 0;

	while ((res = index_getnext(iscan, ForwardScanDirection))
		   != (RetrieveIndexResult) NULL)
V
Vadim B. Mikheev 已提交
1490
	{
1491 1492 1493 1494
		heapptr = &res->heap_iptr;

		if ((vp = vc_tidreapped(heapptr, vpl)) != (VPageDescr) NULL)
		{
1495
#if 0
1496 1497 1498 1499 1500
			elog(DEBUG, "<%x,%x> -> <%x,%x>",
				 ItemPointerGetBlockNumber(&(res->index_iptr)),
				 ItemPointerGetOffsetNumber(&(res->index_iptr)),
				 ItemPointerGetBlockNumber(&(res->heap_iptr)),
				 ItemPointerGetOffsetNumber(&(res->heap_iptr)));
1501
#endif
1502 1503 1504 1505 1506 1507 1508 1509 1510 1511 1512
			if (vp->vpd_noff == 0)
			{					/* this is EmptyPage !!! */
				elog(NOTICE, "Ind %s: pointer to EmptyPage (blk %u off %u) - fixing",
					 indrel->rd_rel->relname.data,
					 vp->vpd_blkno, ItemPointerGetOffsetNumber(heapptr));
			}
			++nvac;
			index_delete(indrel, &res->index_iptr);
		}
		else
			nitups++;
1513

1514 1515
		pfree(res);
	}
1516

1517
	index_endscan(iscan);
1518

1519 1520
	/* now update statistics in pg_class */
	nipages = RelationGetNumberOfBlocks(indrel);
1521
	vc_updstats(RelationGetRelid(indrel), nipages, nitups, false, NULL);
1522

1523
	getrusage(RUSAGE_SELF, &ru1);
1524

1525 1526 1527 1528
	elog(MESSAGE_LEVEL, "Ind %s: Pages %u; Tuples %u: Deleted %u. Elapsed %u/%u sec.",
		 indrel->rd_rel->relname.data, nipages, nitups, nvac,
		 ru1.ru_stime.tv_sec - ru0.ru_stime.tv_sec,
		 ru1.ru_utime.tv_sec - ru0.ru_utime.tv_sec);
1529

1530 1531 1532
	if (nitups != nhtups)
		elog(NOTICE, "Ind %s: NUMBER OF INDEX' TUPLES (%u) IS NOT THE SAME AS HEAP' (%u)",
			 indrel->rd_rel->relname.data, nitups, nhtups);
V
Vadim B. Mikheev 已提交
1533

1534
}	/* vc_vaconeind */
V
Vadim B. Mikheev 已提交
1535 1536

/*
1537
 *	vc_tidreapped() -- is a particular tid reapped?
V
Vadim B. Mikheev 已提交
1538
 *
1539
 *		vpl->VPageDescr_array is sorted in right order.
V
Vadim B. Mikheev 已提交
1540
 */
1541
static VPageDescr
1542
vc_tidreapped(ItemPointer itemptr, VPageList vpl)
V
Vadim B. Mikheev 已提交
1543
{
1544 1545 1546 1547 1548
	OffsetNumber ioffno;
	OffsetNumber *voff;
	VPageDescr	vp,
			   *vpp;
	VPageDescrData vpd;
V
Vadim B. Mikheev 已提交
1549

1550 1551
	vpd.vpd_blkno = ItemPointerGetBlockNumber(itemptr);
	ioffno = ItemPointerGetOffsetNumber(itemptr);
V
Vadim B. Mikheev 已提交
1552

1553 1554 1555 1556
	vp = &vpd;
	vpp = (VPageDescr *) vc_find_eq((char *) (vpl->vpl_pgdesc),
					   vpl->vpl_npages, sizeof(VPageDescr), (char *) &vp,
									vc_cmp_blk);
V
Vadim B. Mikheev 已提交
1557

1558 1559 1560 1561 1562 1563 1564 1565 1566 1567 1568 1569 1570 1571 1572 1573 1574 1575 1576 1577
	if (vpp == (VPageDescr *) NULL)
		return ((VPageDescr) NULL);
	vp = *vpp;

	/* ok - we are on true page */

	if (vp->vpd_noff == 0)
	{							/* this is EmptyPage !!! */
		return (vp);
	}

	voff = (OffsetNumber *) vc_find_eq((char *) (vp->vpd_voff),
					vp->vpd_noff, sizeof(OffsetNumber), (char *) &ioffno,
									   vc_cmp_offno);

	if (voff == (OffsetNumber *) NULL)
		return ((VPageDescr) NULL);

	return (vp);

1578
}	/* vc_tidreapped */
1579 1580

/*
1581
 *	vc_attrstats() -- compute column statistics used by the optimzer
1582
 *
1583 1584 1585 1586
 *	We compute the column min, max, null and non-null counts.
 *	Plus we attempt to find the count of the value that occurs most
 *	frequently in each column
 *	These figures are used to compute the selectivity of the column
1587
 *
1588 1589 1590 1591 1592
 *	We use a three-bucked cache to get the most frequent item
 *	The 'guess' buckets count hits.  A cache miss causes guess1
 *	to get the most hit 'guess' item in the most recent cycle, and
 *	the new item goes into guess2.	Whenever the total count of hits
 *	of a 'guess' entry is larger than 'best', 'guess' becomes 'best'.
1593
 *
1594 1595
 *	This method works perfectly for columns with unique values, and columns
 *	with only two unique values, plus nulls.
1596
 *
1597 1598
 *	It becomes less perfect as the number of unique values increases and
 *	their distribution in the table becomes more random.
1599 1600 1601
 *
 */
static void
1602
vc_attrstats(Relation onerel, VRelStats *vacrelstats, HeapTuple tuple)
1603
{
1604 1605 1606 1607 1608 1609
	int			i,
				attr_cnt = vacrelstats->va_natts;
	VacAttrStats *vacattrstats = vacrelstats->vacattrstats;
	TupleDesc	tupDesc = onerel->rd_att;
	Datum		value;
	bool		isnull;
1610 1611 1612

	for (i = 0; i < attr_cnt; i++)
	{
1613 1614
		VacAttrStats *stats = &vacattrstats[i];
		bool		value_hit = true;
1615

1616
		value = heap_getattr(tuple,
1617
							 stats->attr->attnum, tupDesc, &isnull);
1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643

		if (!VacAttrStatsEqValid(stats))
			continue;

		if (isnull)
			stats->null_cnt++;
		else
		{
			stats->nonnull_cnt++;
			if (stats->initialized == false)
			{
				vc_bucketcpy(stats->attr, value, &stats->best, &stats->best_len);
				/* best_cnt gets incremented later */
				vc_bucketcpy(stats->attr, value, &stats->guess1, &stats->guess1_len);
				stats->guess1_cnt = stats->guess1_hits = 1;
				vc_bucketcpy(stats->attr, value, &stats->guess2, &stats->guess2_len);
				stats->guess2_hits = 1;
				if (VacAttrStatsLtGtValid(stats))
				{
					vc_bucketcpy(stats->attr, value, &stats->max, &stats->max_len);
					vc_bucketcpy(stats->attr, value, &stats->min, &stats->min_len);
				}
				stats->initialized = true;
			}
			if (VacAttrStatsLtGtValid(stats))
			{
1644
				if ((*fmgr_faddr(&stats->f_cmplt)) (value, stats->min))
1645 1646 1647 1648
				{
					vc_bucketcpy(stats->attr, value, &stats->min, &stats->min_len);
					stats->min_cnt = 0;
				}
1649
				if ((*fmgr_faddr(&stats->f_cmpgt)) (value, stats->max))
1650 1651 1652 1653
				{
					vc_bucketcpy(stats->attr, value, &stats->max, &stats->max_len);
					stats->max_cnt = 0;
				}
1654
				if ((*fmgr_faddr(&stats->f_cmpeq)) (value, stats->min))
1655
					stats->min_cnt++;
1656
				else if ((*fmgr_faddr(&stats->f_cmpeq)) (value, stats->max))
1657 1658
					stats->max_cnt++;
			}
1659
			if ((*fmgr_faddr(&stats->f_cmpeq)) (value, stats->best))
1660
				stats->best_cnt++;
1661
			else if ((*fmgr_faddr(&stats->f_cmpeq)) (value, stats->guess1))
1662 1663 1664 1665
			{
				stats->guess1_cnt++;
				stats->guess1_hits++;
			}
1666
			else if ((*fmgr_faddr(&stats->f_cmpeq)) (value, stats->guess2))
1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691
				stats->guess2_hits++;
			else
				value_hit = false;

			if (stats->guess2_hits > stats->guess1_hits)
			{
				swapDatum(stats->guess1, stats->guess2);
				swapInt(stats->guess1_len, stats->guess2_len);
				stats->guess1_cnt = stats->guess2_hits;
				swapLong(stats->guess1_hits, stats->guess2_hits);
			}
			if (stats->guess1_cnt > stats->best_cnt)
			{
				swapDatum(stats->best, stats->guess1);
				swapInt(stats->best_len, stats->guess1_len);
				swapLong(stats->best_cnt, stats->guess1_cnt);
				stats->guess1_hits = 1;
				stats->guess2_hits = 1;
			}
			if (!value_hit)
			{
				vc_bucketcpy(stats->attr, value, &stats->guess2, &stats->guess2_len);
				stats->guess1_hits = 1;
				stats->guess2_hits = 1;
			}
1692 1693
		}
	}
1694
	return;
1695 1696 1697
}

/*
1698
 *	vc_bucketcpy() -- update pg_class statistics for one relation
1699 1700 1701
 *
 */
static void
1702
vc_bucketcpy(AttributeTupleForm attr, Datum value, Datum *bucket, int16 *bucket_len)
1703
{
1704 1705 1706 1707
	if (attr->attbyval && attr->attlen != -1)
		*bucket = value;
	else
	{
1708
		int			len = (attr->attlen != -1 ? attr->attlen : VARSIZE(value));
1709 1710 1711 1712 1713 1714 1715 1716 1717

		if (len > *bucket_len)
		{
			if (*bucket_len != 0)
				pfree(DatumGetPointer(*bucket));
			*bucket = PointerGetDatum(palloc(len));
			*bucket_len = len;
		}
		memmove(DatumGetPointer(*bucket), DatumGetPointer(value), len);
1718 1719
	}
}
1720 1721

/*
1722
 *	vc_updstats() -- update pg_class statistics for one relation
1723
 *
1724 1725 1726 1727 1728 1729 1730
 *		This routine works for both index and heap relation entries in
 *		pg_class.  We violate no-overwrite semantics here by storing new
 *		values for ntups, npages, and hasindex directly in the pg_class
 *		tuple that's already on the page.  The reason for this is that if
 *		we updated these tuples in the usual way, then every tuple in pg_class
 *		would be replaced every day.  This would make planning and executing
 *		historical queries very expensive.
1731 1732
 */
static void
1733
vc_updstats(Oid relid, int npages, int ntups, bool hasindex, VRelStats *vacrelstats)
1734
{
1735 1736 1737
	Relation	rd,
				ad,
				sd;
1738
	HeapScanDesc scan;
1739 1740 1741 1742
	HeapTuple	rtup,
				atup,
				stup;
	Form_pg_class pgcform;
1743
	ScanKeyData askey;
1744 1745 1746 1747 1748
	AttributeTupleForm attp;

	/*
	 * update number of tuples and number of pages in pg_class
	 */
1749 1750 1751 1752 1753 1754
	rtup = SearchSysCacheTupleCopy(RELOID,
									 ObjectIdGetDatum(relid),
									 0, 0, 0);
	if (!HeapTupleIsValid(rtup))
		elog(ERROR, "pg_class entry for relid %d vanished during vacuuming",
				relid);
1755 1756 1757 1758

	rd = heap_openr(RelationRelationName);

	/* overwrite the existing statistics in the tuple */
1759
	vc_setpagelock(rd, ItemPointerGetBlockNumber(&rtup->t_ctid));
1760 1761 1762 1763 1764 1765
	pgcform = (Form_pg_class) GETSTRUCT(rtup);
	pgcform->reltuples = ntups;
	pgcform->relpages = npages;
	pgcform->relhasindex = hasindex;

	if (vacrelstats != NULL && vacrelstats->va_natts > 0)
1766
	{
1767 1768
		VacAttrStats *vacattrstats = vacrelstats->vacattrstats;
		int			natts = vacrelstats->va_natts;
1769 1770 1771 1772 1773 1774

		ad = heap_openr(AttributeRelationName);
		sd = heap_openr(StatisticRelationName);
		ScanKeyEntryInitialize(&askey, 0, Anum_pg_attribute_attrelid,
							   F_INT4EQ, relid);

1775
		scan = heap_beginscan(ad, false, SnapshotNow, 1, &askey);
1776

1777
		while (HeapTupleIsValid(atup = heap_getnext(scan, 0)))
1778
		{
1779 1780
			int			i;
			float32data selratio;		/* average ratio of rows selected
1781
										 * for a random constant */
1782 1783 1784
			VacAttrStats *stats;
			Datum		values[Natts_pg_statistic];
			char		nulls[Natts_pg_statistic];
1785 1786 1787 1788 1789 1790 1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803

			attp = (AttributeTupleForm) GETSTRUCT(atup);
			if (attp->attnum <= 0)		/* skip system attributes for now, */
				/* they are unique anyway */
				continue;

			for (i = 0; i < natts; i++)
			{
				if (attp->attnum == vacattrstats[i].attr->attnum)
					break;
			}
			if (i >= natts)
				continue;
			stats = &(vacattrstats[i]);

			/* overwrite the existing statistics in the tuple */
			if (VacAttrStatsEqValid(stats))
			{

1804
				vc_setpagelock(ad, ItemPointerGetBlockNumber(&atup->t_ctid));
1805 1806 1807 1808 1809 1810

				if (stats->nonnull_cnt + stats->null_cnt == 0 ||
					(stats->null_cnt <= 1 && stats->best_cnt == 1))
					selratio = 0;
				else if (VacAttrStatsLtGtValid(stats) && stats->min_cnt + stats->max_cnt == stats->nonnull_cnt)
				{
1811 1812 1813 1814
					double		min_cnt_d = stats->min_cnt,
								max_cnt_d = stats->max_cnt,
								null_cnt_d = stats->null_cnt,
								nonnullcnt_d = stats->nonnull_cnt;		/* prevent overflow */
1815 1816 1817 1818 1819 1820

					selratio = (min_cnt_d * min_cnt_d + max_cnt_d * max_cnt_d + null_cnt_d * null_cnt_d) /
						(nonnullcnt_d + null_cnt_d) / (nonnullcnt_d + null_cnt_d);
				}
				else
				{
1821 1822
					double		most = (double) (stats->best_cnt > stats->null_cnt ? stats->best_cnt : stats->null_cnt);
					double		total = ((double) stats->nonnull_cnt) + ((double) stats->null_cnt);
1823 1824 1825 1826 1827 1828 1829 1830 1831 1832

					/*
					 * we assume count of other values are 20% of best
					 * count in table
					 */
					selratio = (most * most + 0.20 * most * (total - most)) / total / total;
				}
				if (selratio > 1.0)
					selratio = 1.0;
				attp->attdisbursion = selratio;
1833
				WriteNoReleaseBuffer(ItemPointerGetBlockNumber(&atup->t_ctid));
1834 1835 1836 1837 1838 1839 1840 1841 1842

				/* DO PG_STATISTIC INSERTS */

				/*
				 * doing system relations, especially pg_statistic is a
				 * problem
				 */
				if (VacAttrStatsLtGtValid(stats) && stats->initialized	/* &&
																		 * !IsSystemRelationName(
1843
																		 *
B
Bruce Momjian 已提交
1844
					 pgcform->relname.data) */ )
1845
				{
1846
					FmgrInfo	out_function;
1847
					char	   *out_string;
1848 1849 1850 1851 1852 1853 1854 1855 1856 1857 1858 1859

					for (i = 0; i < Natts_pg_statistic; ++i)
						nulls[i] = ' ';

					/* ----------------
					 *	initialize values[]
					 * ----------------
					 */
					i = 0;
					values[i++] = (Datum) relid;		/* 1 */
					values[i++] = (Datum) attp->attnum; /* 2 */
					values[i++] = (Datum) InvalidOid;	/* 3 */
1860 1861
					fmgr_info(stats->outfunc, &out_function);
					out_string = (*fmgr_faddr(&out_function)) (stats->min, stats->attr->atttypid);
B
Bruce Momjian 已提交
1862
					values[i++] = (Datum) fmgr(F_TEXTIN, out_string);
1863
					pfree(out_string);
1864
					out_string = (char *) (*fmgr_faddr(&out_function)) (stats->max, stats->attr->atttypid);
B
Bruce Momjian 已提交
1865
					values[i++] = (Datum) fmgr(F_TEXTIN, out_string);
1866 1867
					pfree(out_string);

1868
					stup = heap_formtuple(sd->rd_att, values, nulls);
1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879

					/* ----------------
					 *	insert the tuple in the relation and get the tuple's oid.
					 * ----------------
					 */
					heap_insert(sd, stup);
					pfree(DatumGetPointer(values[3]));
					pfree(DatumGetPointer(values[4]));
					pfree(stup);
				}
			}
1880
		}
1881
		heap_endscan(scan);
1882 1883
		heap_close(ad);
		heap_close(sd);
1884
	}
1885 1886

	/* XXX -- after write, should invalidate relcache in other backends */
B
Bruce Momjian 已提交
1887
	WriteNoReleaseBuffer(ItemPointerGetBlockNumber(&rtup->t_ctid));
1888 1889 1890

	/*
	 * invalidating system relations confuses the function cache of
B
Bruce Momjian 已提交
1891
	 * pg_operator and pg_opclass, bjm
1892 1893 1894 1895
	 */
	if (!IsSystemRelationName(pgcform->relname.data))
		RelationInvalidateHeapTuple(rd, rtup);

1896
	pfree(rtup);
1897
	heap_close(rd);
1898 1899
}

1900
/*
1901
 *	vc_delhilowstats() -- delete pg_statistics rows
1902 1903 1904
 *
 */
static void
1905
vc_delhilowstats(Oid relid, int attcnt, int *attnums)
1906
{
1907 1908 1909 1910
	Relation	pgstatistic;
	HeapScanDesc pgsscan;
	HeapTuple	pgstup;
	ScanKeyData pgskey;
1911 1912 1913 1914 1915 1916

	pgstatistic = heap_openr(StatisticRelationName);

	if (relid != InvalidOid)
	{
		ScanKeyEntryInitialize(&pgskey, 0x0, Anum_pg_statistic_starelid,
B
Bruce Momjian 已提交
1917
							   F_OIDEQ,
1918
							   ObjectIdGetDatum(relid));
1919
		pgsscan = heap_beginscan(pgstatistic, false, SnapshotNow, 1, &pgskey);
1920 1921
	}
	else
1922
		pgsscan = heap_beginscan(pgstatistic, false, SnapshotNow, 0, NULL);
1923

1924
	while (HeapTupleIsValid(pgstup = heap_getnext(pgsscan, 0)))
1925 1926 1927 1928
	{
		if (attcnt > 0)
		{
			Form_pg_statistic pgs = (Form_pg_statistic) GETSTRUCT(pgstup);
1929
			int			i;
1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943

			for (i = 0; i < attcnt; i++)
			{
				if (pgs->staattnum == attnums[i] + 1)
					break;
			}
			if (i >= attcnt)
				continue;		/* don't delete it */
		}
		heap_delete(pgstatistic, &pgstup->t_ctid);
	}

	heap_endscan(pgsscan);
	heap_close(pgstatistic);
1944 1945
}

1946 1947
static void
vc_setpagelock(Relation rel, BlockNumber blkno)
1948
{
1949
	ItemPointerData itm;
1950

1951
	ItemPointerSet(&itm, blkno, 1);
1952

1953
	RelationSetLockForWritePage(rel, &itm);
1954 1955 1956
}

/*
1957
 *	vc_reappage() -- save a page on the array of reapped pages.
1958
 *
1959 1960 1961
 *		As a side effect of the way that the vacuuming loop for a given
 *		relation works, higher pages come after lower pages in the array
 *		(and highest tid on a page is last).
1962
 */
1963
static void
1964
vc_reappage(VPageList vpl, VPageDescr vpc)
1965
{
1966
	VPageDescr	newvpd;
1967

1968 1969
	/* allocate a VPageDescrData entry */
	newvpd = (VPageDescr) palloc(sizeof(VPageDescrData) + vpc->vpd_noff * sizeof(OffsetNumber));
1970

1971 1972 1973 1974 1975 1976 1977
	/* fill it in */
	if (vpc->vpd_noff > 0)
		memmove(newvpd->vpd_voff, vpc->vpd_voff, vpc->vpd_noff * sizeof(OffsetNumber));
	newvpd->vpd_blkno = vpc->vpd_blkno;
	newvpd->vpd_free = vpc->vpd_free;
	newvpd->vpd_nusd = vpc->vpd_nusd;
	newvpd->vpd_noff = vpc->vpd_noff;
1978

1979 1980 1981
	/* insert this page into vpl list */
	vc_vpinsert(vpl, newvpd);

1982
}	/* vc_reappage */
V
Vadim B. Mikheev 已提交
1983 1984

static void
1985
vc_vpinsert(VPageList vpl, VPageDescr vpnew)
V
Vadim B. Mikheev 已提交
1986 1987
{

1988 1989 1990 1991 1992 1993 1994 1995
	/* allocate a VPageDescr entry if needed */
	if (vpl->vpl_npages == 0)
		vpl->vpl_pgdesc = (VPageDescr *) palloc(100 * sizeof(VPageDescr));
	else if (vpl->vpl_npages % 100 == 0)
		vpl->vpl_pgdesc = (VPageDescr *) repalloc(vpl->vpl_pgdesc, (vpl->vpl_npages + 100) * sizeof(VPageDescr));
	vpl->vpl_pgdesc[vpl->vpl_npages] = vpnew;
	(vpl->vpl_npages)++;

1996 1997 1998
}

static void
1999
vc_free(VRelList vrl)
2000
{
2001 2002
	VRelList	p_vrl;
	MemoryContext old;
2003
	PortalVariableMemory pmem;
2004

2005 2006
	pmem = PortalGetVariableMemory(vc_portal);
	old = MemoryContextSwitchTo((MemoryContext) pmem);
2007

2008 2009
	while (vrl != (VRelList) NULL)
	{
2010

2011 2012 2013 2014 2015
		/* free rel list entry */
		p_vrl = vrl;
		vrl = vrl->vrl_next;
		pfree(p_vrl);
	}
2016

2017
	MemoryContextSwitchTo(old);
2018 2019
}

2020
static char *
2021
vc_find_eq(char *bot, int nelem, int size, char *elm, int (*compar) (char *, char *))
2022
{
2023 2024 2025 2026 2027
	int			res;
	int			last = nelem - 1;
	int			celm = nelem / 2;
	bool		last_move,
				first_move;
2028 2029 2030

	last_move = first_move = true;
	for (;;)
2031
	{
2032 2033 2034 2035 2036 2037 2038 2039 2040 2041 2042 2043 2044 2045 2046 2047 2048 2049 2050 2051 2052 2053 2054 2055 2056 2057 2058 2059 2060 2061 2062 2063 2064 2065 2066 2067 2068 2069
		if (first_move == true)
		{
			res = compar(bot, elm);
			if (res > 0)
				return (NULL);
			if (res == 0)
				return (bot);
			first_move = false;
		}
		if (last_move == true)
		{
			res = compar(elm, bot + last * size);
			if (res > 0)
				return (NULL);
			if (res == 0)
				return (bot + last * size);
			last_move = false;
		}
		res = compar(elm, bot + celm * size);
		if (res == 0)
			return (bot + celm * size);
		if (res < 0)
		{
			if (celm == 0)
				return (NULL);
			last = celm - 1;
			celm = celm / 2;
			last_move = true;
			continue;
		}

		if (celm == last)
			return (NULL);

		last = last - celm - 1;
		bot = bot + (celm + 1) * size;
		celm = (last + 1) / 2;
		first_move = true;
2070
	}
2071

2072
}	/* vc_find_eq */
2073 2074 2075

static int
vc_cmp_blk(char *left, char *right)
2076
{
2077 2078
	BlockNumber lblk,
				rblk;
2079

2080 2081
	lblk = (*((VPageDescr *) left))->vpd_blkno;
	rblk = (*((VPageDescr *) right))->vpd_blkno;
2082

2083 2084 2085 2086 2087
	if (lblk < rblk)
		return (-1);
	if (lblk == rblk)
		return (0);
	return (1);
2088

2089
}	/* vc_cmp_blk */
2090

2091 2092
static int
vc_cmp_offno(char *left, char *right)
2093 2094
{

2095 2096 2097 2098 2099
	if (*(OffsetNumber *) left < *(OffsetNumber *) right)
		return (-1);
	if (*(OffsetNumber *) left == *(OffsetNumber *) right)
		return (0);
	return (1);
2100

2101
}	/* vc_cmp_offno */
V
Vadim B. Mikheev 已提交
2102 2103 2104


static void
2105
vc_getindices(Oid relid, int *nindices, Relation **Irel)
V
Vadim B. Mikheev 已提交
2106
{
2107 2108 2109 2110 2111 2112 2113 2114 2115 2116 2117
	Relation	pgindex;
	Relation	irel;
	TupleDesc	pgidesc;
	HeapTuple	pgitup;
	HeapScanDesc pgiscan;
	Datum		d;
	int			i,
				k;
	bool		n;
	ScanKeyData pgikey;
	Oid		   *ioid;
2118 2119 2120 2121 2122 2123 2124 2125 2126 2127

	*nindices = i = 0;

	ioid = (Oid *) palloc(10 * sizeof(Oid));

	/* prepare a heap scan on the pg_index relation */
	pgindex = heap_openr(IndexRelationName);
	pgidesc = RelationGetTupleDescriptor(pgindex);

	ScanKeyEntryInitialize(&pgikey, 0x0, Anum_pg_index_indrelid,
B
Bruce Momjian 已提交
2128
						   F_OIDEQ,
2129 2130
						   ObjectIdGetDatum(relid));

2131
	pgiscan = heap_beginscan(pgindex, false, SnapshotNow, 1, &pgikey);
2132

2133
	while (HeapTupleIsValid(pgitup = heap_getnext(pgiscan, 0)))
V
Vadim B. Mikheev 已提交
2134
	{
2135
		d = heap_getattr(pgitup, Anum_pg_index_indexrelid,
2136
						 pgidesc, &n);
2137 2138 2139 2140
		i++;
		if (i % 10 == 0)
			ioid = (Oid *) repalloc(ioid, (i + 10) * sizeof(Oid));
		ioid[i - 1] = DatumGetObjectId(d);
V
Vadim B. Mikheev 已提交
2141 2142
	}

2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170
	heap_endscan(pgiscan);
	heap_close(pgindex);

	if (i == 0)
	{							/* No one index found */
		pfree(ioid);
		return;
	}

	if (Irel != (Relation **) NULL)
		*Irel = (Relation *) palloc(i * sizeof(Relation));

	for (k = 0; i > 0;)
	{
		irel = index_open(ioid[--i]);
		if (irel != (Relation) NULL)
		{
			if (Irel != (Relation **) NULL)
				(*Irel)[k] = irel;
			else
				index_close(irel);
			k++;
		}
		else
			elog(NOTICE, "CAN't OPEN INDEX %u - SKIP IT", ioid[i]);
	}
	*nindices = k;
	pfree(ioid);
V
Vadim B. Mikheev 已提交
2171

2172 2173 2174 2175 2176 2177
	if (Irel != (Relation **) NULL && *nindices == 0)
	{
		pfree(*Irel);
		*Irel = (Relation *) NULL;
	}

2178
}	/* vc_getindices */
V
Vadim B. Mikheev 已提交
2179 2180 2181


static void
2182
vc_clsindices(int nindices, Relation *Irel)
V
Vadim B. Mikheev 已提交
2183 2184
{

2185 2186
	if (Irel == (Relation *) NULL)
		return;
V
Vadim B. Mikheev 已提交
2187

2188 2189 2190
	while (nindices--)
		index_close(Irel[nindices]);
	pfree(Irel);
V
Vadim B. Mikheev 已提交
2191

2192
}	/* vc_clsindices */
V
Vadim B. Mikheev 已提交
2193 2194 2195


static void
2196
vc_mkindesc(Relation onerel, int nindices, Relation *Irel, IndDesc **Idesc)
V
Vadim B. Mikheev 已提交
2197
{
2198 2199 2200 2201 2202
	IndDesc    *idcur;
	HeapTuple	pgIndexTup;
	AttrNumber *attnumP;
	int			natts;
	int			i;
2203 2204 2205 2206 2207 2208 2209

	*Idesc = (IndDesc *) palloc(nindices * sizeof(IndDesc));

	for (i = 0, idcur = *Idesc; i < nindices; i++, idcur++)
	{
		pgIndexTup =
			SearchSysCacheTuple(INDEXRELID,
2210
								ObjectIdGetDatum(RelationGetRelid(Irel[i])),
2211 2212 2213 2214 2215 2216 2217 2218 2219 2220 2221 2222 2223 2224 2225 2226 2227 2228 2229 2230
								0, 0, 0);
		Assert(pgIndexTup);
		idcur->tform = (IndexTupleForm) GETSTRUCT(pgIndexTup);
		for (attnumP = &(idcur->tform->indkey[0]), natts = 0;
			 *attnumP != InvalidAttrNumber && natts != INDEX_MAX_KEYS;
			 attnumP++, natts++);
		if (idcur->tform->indproc != InvalidOid)
		{
			idcur->finfoP = &(idcur->finfo);
			FIgetnArgs(idcur->finfoP) = natts;
			natts = 1;
			FIgetProcOid(idcur->finfoP) = idcur->tform->indproc;
			*(FIgetname(idcur->finfoP)) = '\0';
		}
		else
			idcur->finfoP = (FuncIndexInfo *) NULL;

		idcur->natts = natts;
	}

2231
}	/* vc_mkindesc */
2232 2233


2234
static bool
2235
vc_enough_space(VPageDescr vpd, Size len)
V
Vadim B. Mikheev 已提交
2236 2237
{

2238 2239 2240 2241 2242 2243 2244 2245 2246 2247 2248 2249 2250 2251
	len = DOUBLEALIGN(len);

	if (len > vpd->vpd_free)
		return (false);

	if (vpd->vpd_nusd < vpd->vpd_noff)	/* there are free itemid(s) */
		return (true);			/* and len <= free_space */

	/* ok. noff_usd >= noff_free and so we'll have to allocate new itemid */
	if (len <= vpd->vpd_free - sizeof(ItemIdData))
		return (true);

	return (false);

2252
}	/* vc_enough_space */