sequence.c 21.0 KB
Newer Older
1 2
/*-------------------------------------------------------------------------
 *
3
 * sequence.c
4
 *	  PostgreSQL sequences support code.
5
 *
6
 * Portions Copyright (c) 1996-2001, PostgreSQL Global Development Group
7 8 9 10
 * Portions Copyright (c) 1994, Regents of the University of California
 *
 *
 * IDENTIFICATION
11
 *	  $Header: /cvsroot/pgsql/src/backend/commands/sequence.c,v 1.60 2001/06/23 00:07:34 momjian Exp $
12
 *
13 14
 *-------------------------------------------------------------------------
 */
15
#include "postgres.h"
16

17 18
#include <ctype.h>

19 20 21
#include "access/heapam.h"
#include "commands/creatinh.h"
#include "commands/sequence.h"
B
Bruce Momjian 已提交
22
#include "miscadmin.h"
23
#include "utils/acl.h"
B
Bruce Momjian 已提交
24
#include "utils/builtins.h"
25 26 27 28
#ifdef MULTIBYTE
#include "mb/pg_wchar.h"
#endif

29

30
#define SEQ_MAGIC	  0x1717
31 32 33 34

#define SEQ_MAXVALUE	((int4)0x7FFFFFFF)
#define SEQ_MINVALUE	-(SEQ_MAXVALUE)

V
Vadim B. Mikheev 已提交
35 36 37 38 39
/*
 * We don't want to log each fetching values from sequences,
 * so we pre-log a few fetches in advance. In the event of
 * crash we can lose as much as we pre-logged.
 */
B
Bruce Momjian 已提交
40
#define SEQ_LOG_VALS	32
41 42 43

typedef struct sequence_magic
{
44
	uint32		magic;
45
} sequence_magic;
46

47 48
typedef struct SeqTableData
{
49 50 51 52 53 54
	char	   *name;
	Oid			relid;
	Relation	rel;
	int4		cached;
	int4		last;
	int4		increment;
55
	struct SeqTableData *next;
56
} SeqTableData;
57 58 59 60 61

typedef SeqTableData *SeqTable;

static SeqTable seqtab = NULL;

62
static char *get_seq_name(text *seqin);
63
static SeqTable init_sequence(char *caller, char *name);
64 65
static Form_pg_sequence read_info(char *caller, SeqTable elm, Buffer *buf);
static void init_params(CreateSeqStmt *seq, Form_pg_sequence new);
66
static int	get_param(DefElem *def);
67
static void do_setval(char *seqname, int32 next, bool iscalled);
68 69

/*
B
Bruce Momjian 已提交
70
 * DefineSequence
71
 *				Creates a new sequence relation
72 73
 */
void
74
DefineSequence(CreateSeqStmt *seq)
75
{
76
	FormData_pg_sequence new;
77 78 79 80 81 82
	CreateStmt *stmt = makeNode(CreateStmt);
	ColumnDef  *coldef;
	TypeName   *typnam;
	Relation	rel;
	Buffer		buf;
	PageHeader	page;
83
	sequence_magic *sm;
84 85 86 87 88
	HeapTuple	tuple;
	TupleDesc	tupDesc;
	Datum		value[SEQ_COL_LASTCOL];
	char		null[SEQ_COL_LASTCOL];
	int			i;
89
	NameData	name;
90 91 92 93 94

	/* Check and set values */
	init_params(seq, &new);

	/*
95
	 * Create relation (and fill *null & *value)
96 97 98
	 */
	stmt->tableElts = NIL;
	for (i = SEQ_COL_FIRSTCOL; i <= SEQ_COL_LASTCOL; i++)
99
	{
100 101 102
		typnam = makeNode(TypeName);
		typnam->setof = FALSE;
		typnam->arrayBounds = NULL;
B
Bruce Momjian 已提交
103
		typnam->typmod = -1;
104 105
		coldef = makeNode(ColumnDef);
		coldef->typename = typnam;
106 107
		coldef->raw_default = NULL;
		coldef->cooked_default = NULL;
108 109 110 111 112
		coldef->is_not_null = false;
		null[i - 1] = ' ';

		switch (i)
		{
113 114 115
			case SEQ_COL_NAME:
				typnam->name = "name";
				coldef->colname = "sequence_name";
116 117
				namestrcpy(&name, seq->seqname);
				value[i - 1] = NameGetDatum(&name);
118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143
				break;
			case SEQ_COL_LASTVAL:
				typnam->name = "int4";
				coldef->colname = "last_value";
				value[i - 1] = Int32GetDatum(new.last_value);
				break;
			case SEQ_COL_INCBY:
				typnam->name = "int4";
				coldef->colname = "increment_by";
				value[i - 1] = Int32GetDatum(new.increment_by);
				break;
			case SEQ_COL_MAXVALUE:
				typnam->name = "int4";
				coldef->colname = "max_value";
				value[i - 1] = Int32GetDatum(new.max_value);
				break;
			case SEQ_COL_MINVALUE:
				typnam->name = "int4";
				coldef->colname = "min_value";
				value[i - 1] = Int32GetDatum(new.min_value);
				break;
			case SEQ_COL_CACHE:
				typnam->name = "int4";
				coldef->colname = "cache_value";
				value[i - 1] = Int32GetDatum(new.cache_value);
				break;
V
Vadim B. Mikheev 已提交
144 145 146
			case SEQ_COL_LOG:
				typnam->name = "int4";
				coldef->colname = "log_cnt";
B
Bruce Momjian 已提交
147
				value[i - 1] = Int32GetDatum((int32) 1);
V
Vadim B. Mikheev 已提交
148
				break;
149 150 151 152 153 154 155 156 157 158
			case SEQ_COL_CYCLE:
				typnam->name = "char";
				coldef->colname = "is_cycled";
				value[i - 1] = CharGetDatum(new.is_cycled);
				break;
			case SEQ_COL_CALLED:
				typnam->name = "char";
				coldef->colname = "is_called";
				value[i - 1] = CharGetDatum('f');
				break;
159 160 161 162 163
		}
		stmt->tableElts = lappend(stmt->tableElts, coldef);
	}

	stmt->relname = seq->seqname;
164
	stmt->istemp = seq->istemp;
165 166 167
	stmt->inhRelnames = NIL;
	stmt->constraints = NIL;

168
	DefineRelation(stmt, RELKIND_SEQUENCE);
169

170
	rel = heap_openr(seq->seqname, AccessExclusiveLock);
171

172
	tupDesc = RelationGetDescr(rel);
173 174 175 176 177

	Assert(RelationGetNumberOfBlocks(rel) == 0);
	buf = ReadBuffer(rel, P_NEW);

	if (!BufferIsValid(buf))
178
		elog(ERROR, "DefineSequence: ReadBuffer failed");
179 180 181 182 183 184 185 186 187 188 189

	page = (PageHeader) BufferGetPage(buf);

	PageInit((Page) page, BufferGetPageSize(buf), sizeof(sequence_magic));
	sm = (sequence_magic *) PageGetSpecialPointer(page);
	sm->magic = SEQ_MAGIC;

	/* Now - form & insert sequence tuple */
	tuple = heap_formtuple(tupDesc, value, null);
	heap_insert(rel, tuple);

190 191 192 193 194
	/*
	 * After crash REDO of heap_insert above would re-init page and
	 * our magic number would be lost. We have to log sequence creation.
	 * This means two log records instead of one -:(
	 */
195
	LockBuffer(buf, BUFFER_LOCK_EXCLUSIVE);
196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223
	START_CRIT_SECTION();
	{
		xl_seq_rec			xlrec;
		XLogRecPtr			recptr;
		XLogRecData 		rdata[2];
		Form_pg_sequence	newseq = (Form_pg_sequence) GETSTRUCT(tuple);

		/* We do not log first nextval call, so "advance" sequence here */
		newseq->is_called = 't';
		newseq->log_cnt = 0;

		xlrec.node = rel->rd_node;
		rdata[0].buffer = InvalidBuffer;
		rdata[0].data = (char *) &xlrec;
		rdata[0].len = sizeof(xl_seq_rec);
		rdata[0].next = &(rdata[1]);

		rdata[1].buffer = InvalidBuffer;
		rdata[1].data = (char*) tuple->t_data;
		rdata[1].len = tuple->t_len;
		rdata[1].next = NULL;

		recptr = XLogInsert(RM_SEQ_ID, XLOG_SEQ_LOG | XLOG_NO_TRAN, rdata);

		PageSetLSN(page, recptr);
		PageSetSUI(page, ThisStartUpID);
	}
	END_CRIT_SECTION();
224

225 226
	LockBuffer(buf, BUFFER_LOCK_UNLOCK);
	ReleaseBuffer(buf);
227
	heap_close(rel, AccessExclusiveLock);
228 229 230
}


231 232
Datum
nextval(PG_FUNCTION_ARGS)
233
{
234 235
	text	   *seqin = PG_GETARG_TEXT_P(0);
	char	   *seqname = get_seq_name(seqin);
236 237
	SeqTable	elm;
	Buffer		buf;
238
	Form_pg_sequence seq;
239
	int32		incby,
240 241
				maxv,
				minv,
V
Vadim B. Mikheev 已提交
242 243 244 245
				cache,
				log,
				fetch,
				last;
246
	int32		result,
247 248
				next,
				rescnt = 0;
V
Vadim B. Mikheev 已提交
249
	bool		logit = false;
250

251
	if (pg_aclcheck(seqname, GetUserId(), ACL_UPDATE) != ACLCHECK_OK)
252 253 254
		elog(ERROR, "%s.nextval: you don't have permissions to set sequence %s",
			 seqname, seqname);

V
Vadim B. Mikheev 已提交
255
	/* open and AccessShareLock sequence */
256
	elm = init_sequence("nextval", seqname);
257

258 259 260 261 262
	pfree(seqname);

	if (elm->last != elm->cached)		/* some numbers were cached */
	{
		elm->last += elm->increment;
263
		PG_RETURN_INT32(elm->last);
264
	}
265

B
Bruce Momjian 已提交
266 267
	seq = read_info("nextval", elm, &buf);		/* lock page' buffer and
												 * read tuple */
268

V
Vadim B. Mikheev 已提交
269
	last = next = result = seq->last_value;
270 271 272
	incby = seq->increment_by;
	maxv = seq->max_value;
	minv = seq->min_value;
V
Vadim B. Mikheev 已提交
273 274
	fetch = cache = seq->cache_value;
	log = seq->log_cnt;
275 276

	if (seq->is_called != 't')
V
Vadim B. Mikheev 已提交
277
	{
278
		rescnt++;				/* last_value if not called */
V
Vadim B. Mikheev 已提交
279 280 281
		fetch--;
		log--;
	}
282

V
Vadim B. Mikheev 已提交
283 284 285 286 287 288
	if (log < fetch)
	{
		fetch = log = fetch - log + SEQ_LOG_VALS;
		logit = true;
	}

B
Bruce Momjian 已提交
289
	while (fetch)				/* try to fetch cache [+ log ] numbers */
290
	{
291 292 293 294 295

		/*
		 * Check MAXVALUE for ascending sequences and MINVALUE for
		 * descending sequences
		 */
296
		if (incby > 0)
297
		{
298
			/* ascending sequence */
299 300 301 302
			if ((maxv >= 0 && next > maxv - incby) ||
				(maxv < 0 && next + incby > maxv))
			{
				if (rescnt > 0)
V
Vadim B. Mikheev 已提交
303
					break;		/* stop fetching */
304
				if (seq->is_cycled != 't')
305
					elog(ERROR, "%s.nextval: reached MAXVALUE (%d)",
306 307 308 309 310 311 312 313
						 elm->name, maxv);
				next = minv;
			}
			else
				next += incby;
		}
		else
		{
314
			/* descending sequence */
315 316 317 318
			if ((minv < 0 && next < minv - incby) ||
				(minv >= 0 && next + incby < minv))
			{
				if (rescnt > 0)
V
Vadim B. Mikheev 已提交
319
					break;		/* stop fetching */
320
				if (seq->is_cycled != 't')
321
					elog(ERROR, "%s.nextval: reached MINVALUE (%d)",
322 323 324 325 326 327
						 elm->name, minv);
				next = maxv;
			}
			else
				next += incby;
		}
V
Vadim B. Mikheev 已提交
328 329 330 331 332 333
		fetch--;
		if (rescnt < cache)
		{
			log--;
			rescnt++;
			last = next;
B
Bruce Momjian 已提交
334 335
			if (rescnt == 1)	/* if it's first result - */
				result = next;	/* it's what to return */
V
Vadim B. Mikheev 已提交
336
		}
337 338 339 340
	}

	/* save info in local cache */
	elm->last = result;			/* last returned number */
V
Vadim B. Mikheev 已提交
341 342
	elm->cached = last;			/* last fetched number */

343
	START_CRIT_SECTION();
V
Vadim B. Mikheev 已提交
344 345 346 347
	if (logit)
	{
		xl_seq_rec	xlrec;
		XLogRecPtr	recptr;
B
Bruce Momjian 已提交
348
		XLogRecData rdata[2];
349
		Page		page = BufferGetPage(buf);
V
Vadim B. Mikheev 已提交
350 351

		xlrec.node = elm->rel->rd_node;
352
		rdata[0].buffer = InvalidBuffer;
B
Bruce Momjian 已提交
353
		rdata[0].data = (char *) &xlrec;
354 355 356 357 358 359 360
		rdata[0].len = sizeof(xl_seq_rec);
		rdata[0].next = &(rdata[1]);

		seq->last_value = next;
		seq->is_called = 't';
		seq->log_cnt = 0;
		rdata[1].buffer = InvalidBuffer;
B
Bruce Momjian 已提交
361 362 363
		rdata[1].data = (char *) page + ((PageHeader) page)->pd_upper;
		rdata[1].len = ((PageHeader) page)->pd_special -
			((PageHeader) page)->pd_upper;
364 365
		rdata[1].next = NULL;

B
Bruce Momjian 已提交
366
		recptr = XLogInsert(RM_SEQ_ID, XLOG_SEQ_LOG | XLOG_NO_TRAN, rdata);
V
Vadim B. Mikheev 已提交
367

368 369
		PageSetLSN(page, recptr);
		PageSetSUI(page, ThisStartUpID);
V
Vadim B. Mikheev 已提交
370

B
Bruce Momjian 已提交
371
		if (fetch)				/* not all numbers were fetched */
372
			log -= fetch;
V
Vadim B. Mikheev 已提交
373
	}
374

375
	/* update on-disk data */
V
Vadim B. Mikheev 已提交
376
	seq->last_value = last;		/* last fetched number */
377
	seq->is_called = 't';
V
Vadim B. Mikheev 已提交
378 379
	Assert(log >= 0);
	seq->log_cnt = log;			/* how much is logged */
380
	END_CRIT_SECTION();
381

V
Vadim B. Mikheev 已提交
382 383
	LockBuffer(buf, BUFFER_LOCK_UNLOCK);

384
	if (WriteBuffer(buf) == STATUS_ERROR)
385
		elog(ERROR, "%s.nextval: WriteBuffer failed", elm->name);
386

387
	PG_RETURN_INT32(result);
388 389
}

390 391
Datum
currval(PG_FUNCTION_ARGS)
392
{
393 394
	text	   *seqin = PG_GETARG_TEXT_P(0);
	char	   *seqname = get_seq_name(seqin);
395
	SeqTable	elm;
396 397
	int32		result;

398
	if (pg_aclcheck(seqname, GetUserId(), ACL_SELECT) != ACLCHECK_OK)
399 400
		elog(ERROR, "%s.currval: you don't have permissions to read sequence %s",
			 seqname, seqname);
401

V
Vadim B. Mikheev 已提交
402
	/* open and AccessShareLock sequence */
403 404 405
	elm = init_sequence("currval", seqname);

	if (elm->increment == 0)	/* nextval/read_info were not called */
406 407
		elog(ERROR, "%s.currval is not yet defined in this session",
			 seqname);
408 409 410

	result = elm->last;

411
	pfree(seqname);
412

413
	PG_RETURN_INT32(result);
414 415
}

B
Bruce Momjian 已提交
416
/*
417 418 419 420
 * Main internal procedure that handles 2 & 3 arg forms of SETVAL.
 *
 * Note that the 3 arg version (which sets the is_called flag) is
 * only for use in pg_dump, and setting the is_called flag may not
B
Bruce Momjian 已提交
421
 * work if multiple users are attached to the database and referencing
422 423
 * the sequence (unlikely if pg_dump is restoring it).
 *
B
Bruce Momjian 已提交
424
 * It is necessary to have the 3 arg version so that pg_dump can
425 426 427 428
 * restore the state of a sequence exactly during data-only restores -
 * it is the only way to clear the is_called flag in an existing
 * sequence.
 */
B
Bruce Momjian 已提交
429
static void
430
do_setval(char *seqname, int32 next, bool iscalled)
M
 
Marc G. Fournier 已提交
431 432
{
	SeqTable	elm;
433
	Buffer		buf;
434
	Form_pg_sequence seq;
M
 
Marc G. Fournier 已提交
435

436
	if (pg_aclcheck(seqname, GetUserId(), ACL_UPDATE) != ACLCHECK_OK)
M
 
Marc G. Fournier 已提交
437 438 439
		elog(ERROR, "%s.setval: you don't have permissions to set sequence %s",
			 seqname, seqname);

V
Vadim B. Mikheev 已提交
440
	/* open and AccessShareLock sequence */
441
	elm = init_sequence("setval", seqname);
B
Bruce Momjian 已提交
442 443
	seq = read_info("setval", elm, &buf);		/* lock page' buffer and
												 * read tuple */
M
 
Marc G. Fournier 已提交
444

445
	if ((next < seq->min_value) || (next > seq->max_value))
446
		elog(ERROR, "%s.setval: value %d is out of bounds (%d,%d)",
447
			 seqname, next, seq->min_value, seq->max_value);
M
 
Marc G. Fournier 已提交
448 449 450

	/* save info in local cache */
	elm->last = next;			/* last returned number */
B
Bruce Momjian 已提交
451 452
	elm->cached = next;			/* last cached number (forget cached
								 * values) */
M
 
Marc G. Fournier 已提交
453

454
	START_CRIT_SECTION();
V
Vadim B. Mikheev 已提交
455 456 457
	{
		xl_seq_rec	xlrec;
		XLogRecPtr	recptr;
B
Bruce Momjian 已提交
458
		XLogRecData rdata[2];
459
		Page		page = BufferGetPage(buf);
V
Vadim B. Mikheev 已提交
460 461

		xlrec.node = elm->rel->rd_node;
462
		rdata[0].buffer = InvalidBuffer;
B
Bruce Momjian 已提交
463
		rdata[0].data = (char *) &xlrec;
464 465 466 467 468 469 470
		rdata[0].len = sizeof(xl_seq_rec);
		rdata[0].next = &(rdata[1]);

		seq->last_value = next;
		seq->is_called = 't';
		seq->log_cnt = 0;
		rdata[1].buffer = InvalidBuffer;
B
Bruce Momjian 已提交
471 472 473
		rdata[1].data = (char *) page + ((PageHeader) page)->pd_upper;
		rdata[1].len = ((PageHeader) page)->pd_special -
			((PageHeader) page)->pd_upper;
474 475
		rdata[1].next = NULL;

B
Bruce Momjian 已提交
476
		recptr = XLogInsert(RM_SEQ_ID, XLOG_SEQ_LOG | XLOG_NO_TRAN, rdata);
477 478 479

		PageSetLSN(page, recptr);
		PageSetSUI(page, ThisStartUpID);
V
Vadim B. Mikheev 已提交
480
	}
481 482 483 484
	/* save info in sequence relation */
	seq->last_value = next;		/* last fetched number */
	seq->is_called = iscalled ? 't' : 'f';
	seq->log_cnt = (iscalled) ? 0 : 1;
485
	END_CRIT_SECTION();
M
 
Marc G. Fournier 已提交
486

V
Vadim B. Mikheev 已提交
487 488
	LockBuffer(buf, BUFFER_LOCK_UNLOCK);

489
	if (WriteBuffer(buf) == STATUS_ERROR)
490 491 492 493
		elog(ERROR, "%s.setval: WriteBuffer failed", seqname);

	pfree(seqname);

494 495
}

496 497 498 499
/*
 * Implement the 2 arg setval procedure.
 * See do_setval for discussion.
 */
500 501 502 503 504 505 506 507 508 509 510 511
Datum
setval(PG_FUNCTION_ARGS)
{
	text	   *seqin = PG_GETARG_TEXT_P(0);
	int32		next = PG_GETARG_INT32(1);
	char	   *seqname = get_seq_name(seqin);

	do_setval(seqname, next, true);

	PG_RETURN_INT32(next);
}

512 513 514 515
/*
 * Implement the 3 arg setval procedure.
 * See do_setval for discussion.
 */
516 517 518 519 520 521 522 523 524 525
Datum
setval_and_iscalled(PG_FUNCTION_ARGS)
{
	text	   *seqin = PG_GETARG_TEXT_P(0);
	int32		next = PG_GETARG_INT32(1);
	bool		iscalled = PG_GETARG_BOOL(2);
	char	   *seqname = get_seq_name(seqin);

	do_setval(seqname, next, iscalled);

526 527 528 529 530
	PG_RETURN_INT32(next);
}

/*
 * Given a 'text' parameter to a sequence function, extract the actual
531 532
 * sequence name.  We downcase the name if it's not double-quoted,
 * and truncate it if it's too long.
533 534 535 536 537 538
 *
 * This is a kluge, really --- should be able to write nextval(seqrel).
 */
static char *
get_seq_name(text *seqin)
{
539
	char	   *rawname = DatumGetCString(DirectFunctionCall1(textout,
B
Bruce Momjian 已提交
540
												PointerGetDatum(seqin)));
541 542
	int			rawlen = strlen(rawname);
	char	   *seqname;
M
 
Marc G. Fournier 已提交
543

544 545 546 547 548 549 550 551 552 553 554
	if (rawlen >= 2 &&
		rawname[0] == '\"' && rawname[rawlen - 1] == '\"')
	{
		/* strip off quotes, keep case */
		rawname[rawlen - 1] = '\0';
		seqname = pstrdup(rawname + 1);
		pfree(rawname);
	}
	else
	{
		seqname = rawname;
B
Bruce Momjian 已提交
555

556 557 558 559 560 561
		/*
		 * It's important that this match the identifier downcasing code
		 * used by backend/parser/scan.l.
		 */
		for (; *rawname; rawname++)
		{
562 563
			if (isupper((unsigned char) *rawname))
				*rawname = tolower((unsigned char) *rawname);
564 565
		}
	}
566 567 568 569 570 571 572

	/* Truncate name if it's overlength; again, should match scan.l */
	if (strlen(seqname) >= NAMEDATALEN)
	{
#ifdef MULTIBYTE
		int len;

573
		len = pg_mbcliplen(seqname, rawlen, NAMEDATALEN-1);
574 575 576 577 578 579
		seqname[len] = '\0';
#else
		seqname[NAMEDATALEN-1] = '\0';
#endif
	}

580
	return seqname;
M
 
Marc G. Fournier 已提交
581 582
}

583
static Form_pg_sequence
B
Bruce Momjian 已提交
584
read_info(char *caller, SeqTable elm, Buffer *buf)
585
{
B
Bruce Momjian 已提交
586 587 588
	PageHeader	page;
	ItemId		lp;
	HeapTupleData tuple;
589
	sequence_magic *sm;
B
Bruce Momjian 已提交
590
	Form_pg_sequence seq;
591

592
	if (elm->rel->rd_nblocks > 1)
593
		elog(ERROR, "%s.%s: invalid number of blocks in sequence",
594 595 596 597
			 elm->name, caller);

	*buf = ReadBuffer(elm->rel, 0);
	if (!BufferIsValid(*buf))
598
		elog(ERROR, "%s.%s: ReadBuffer failed", elm->name, caller);
599

V
Vadim B. Mikheev 已提交
600 601
	LockBuffer(*buf, BUFFER_LOCK_EXCLUSIVE);

602 603 604 605
	page = (PageHeader) BufferGetPage(*buf);
	sm = (sequence_magic *) PageGetSpecialPointer(page);

	if (sm->magic != SEQ_MAGIC)
606
		elog(ERROR, "%s.%s: bad magic (%08X)", elm->name, caller, sm->magic);
607 608 609

	lp = PageGetItemId(page, FirstOffsetNumber);
	Assert(ItemIdIsUsed(lp));
610
	tuple.t_data = (HeapTupleHeader) PageGetItem((Page) page, lp);
611

612
	seq = (Form_pg_sequence) GETSTRUCT(&tuple);
613 614 615

	elm->increment = seq->increment_by;

616
	return seq;
617 618 619 620

}


621
static SeqTable
622
init_sequence(char *caller, char *name)
623
{
624
	SeqTable	elm,
625 626
				prev = (SeqTable) NULL;
	Relation	seqrel;
627

628 629
	/* Look to see if we already have a seqtable entry for name */
	for (elm = seqtab; elm != (SeqTable) NULL; elm = elm->next)
630 631 632
	{
		if (strcmp(elm->name, name) == 0)
			break;
633
		prev = elm;
634 635
	}

636 637 638
	/* If so, and if it's already been opened in this xact, just return it */
	if (elm != (SeqTable) NULL && elm->rel != (Relation) NULL)
		return elm;
639

640 641 642
	/* Else open and check it */
	seqrel = heap_openr(name, AccessShareLock);
	if (seqrel->rd_rel->relkind != RELKIND_SEQUENCE)
643
		elog(ERROR, "%s.%s: %s is not a sequence", name, caller, name);
644

645 646
	if (elm != (SeqTable) NULL)
	{
647 648 649

		/*
		 * We are using a seqtable entry left over from a previous xact;
650 651 652 653
		 * must check for relid change.
		 */
		elm->rel = seqrel;
		if (RelationGetRelid(seqrel) != elm->relid)
654 655
		{
			elog(NOTICE, "%s.%s: sequence was re-created",
656
				 name, caller);
657
			elm->relid = RelationGetRelid(seqrel);
658 659 660 661 662
			elm->cached = elm->last = elm->increment = 0;
		}
	}
	else
	{
663 664 665

		/*
		 * Time to make a new seqtable entry.  These entries live as long
666 667 668
		 * as the backend does, so we use plain malloc for them.
		 */
		elm = (SeqTable) malloc(sizeof(SeqTableData));
T
Tom Lane 已提交
669 670 671 672 673
		if (elm == NULL)
			elog(ERROR, "Memory exhausted in init_sequence");
		elm->name = strdup(name);
		if (elm->name == NULL)
			elog(ERROR, "Memory exhausted in init_sequence");
674 675 676 677 678
		elm->rel = seqrel;
		elm->relid = RelationGetRelid(seqrel);
		elm->cached = elm->last = elm->increment = 0;
		elm->next = (SeqTable) NULL;

679 680 681
		if (seqtab == (SeqTable) NULL)
			seqtab = elm;
		else
682
			prev->next = elm;
683 684
	}

685
	return elm;
686 687 688 689
}


/*
B
Bruce Momjian 已提交
690
 * CloseSequences
691
 *				is calling by xact mgr at commit/abort.
692 693
 */
void
694
CloseSequences(void)
695
{
696 697
	SeqTable	elm;
	Relation	rel;
698

699
	for (elm = seqtab; elm != (SeqTable) NULL; elm = elm->next)
700
	{
701 702 703 704
		if (elm->rel != (Relation) NULL)		/* opened in current xact */
		{
			rel = elm->rel;
			elm->rel = (Relation) NULL;
705
			heap_close(rel, AccessShareLock);
706 707
		}
	}
708 709 710
}


711
static void
712
init_params(CreateSeqStmt *seq, Form_pg_sequence new)
713
{
714 715 716 717 718 719
	DefElem    *last_value = NULL;
	DefElem    *increment_by = NULL;
	DefElem    *max_value = NULL;
	DefElem    *min_value = NULL;
	DefElem    *cache_value = NULL;
	List	   *option;
720 721 722 723

	new->is_cycled = 'f';
	foreach(option, seq->options)
	{
724
		DefElem    *defel = (DefElem *) lfirst(option);
725 726 727 728 729 730 731 732 733 734 735 736 737 738

		if (!strcasecmp(defel->defname, "increment"))
			increment_by = defel;
		else if (!strcasecmp(defel->defname, "start"))
			last_value = defel;
		else if (!strcasecmp(defel->defname, "maxvalue"))
			max_value = defel;
		else if (!strcasecmp(defel->defname, "minvalue"))
			min_value = defel;
		else if (!strcasecmp(defel->defname, "cache"))
			cache_value = defel;
		else if (!strcasecmp(defel->defname, "cycle"))
		{
			if (defel->arg != (Node *) NULL)
739
				elog(ERROR, "DefineSequence: CYCLE ??");
740 741 742
			new->is_cycled = 't';
		}
		else
743
			elog(ERROR, "DefineSequence: option \"%s\" not recognized",
744 745 746 747 748 749
				 defel->defname);
	}

	if (increment_by == (DefElem *) NULL)		/* INCREMENT BY */
		new->increment_by = 1;
	else if ((new->increment_by = get_param(increment_by)) == 0)
750
		elog(ERROR, "DefineSequence: can't INCREMENT by 0");
751 752

	if (max_value == (DefElem *) NULL)	/* MAXVALUE */
753
	{
754 755 756 757
		if (new->increment_by > 0)
			new->max_value = SEQ_MAXVALUE;		/* ascending seq */
		else
			new->max_value = -1;/* descending seq */
758
	}
759
	else
760
		new->max_value = get_param(max_value);
761

762
	if (min_value == (DefElem *) NULL)	/* MINVALUE */
763
	{
764 765 766 767
		if (new->increment_by > 0)
			new->min_value = 1; /* ascending seq */
		else
			new->min_value = SEQ_MINVALUE;		/* descending seq */
768
	}
769
	else
770 771 772
		new->min_value = get_param(min_value);

	if (new->min_value >= new->max_value)
773
		elog(ERROR, "DefineSequence: MINVALUE (%d) can't be >= MAXVALUE (%d)",
774 775 776
			 new->min_value, new->max_value);

	if (last_value == (DefElem *) NULL) /* START WITH */
777
	{
778 779 780 781
		if (new->increment_by > 0)
			new->last_value = new->min_value;	/* ascending seq */
		else
			new->last_value = new->max_value;	/* descending seq */
782
	}
783
	else
784 785 786
		new->last_value = get_param(last_value);

	if (new->last_value < new->min_value)
787
		elog(ERROR, "DefineSequence: START value (%d) can't be < MINVALUE (%d)",
788 789
			 new->last_value, new->min_value);
	if (new->last_value > new->max_value)
790
		elog(ERROR, "DefineSequence: START value (%d) can't be > MAXVALUE (%d)",
791 792 793 794 795
			 new->last_value, new->max_value);

	if (cache_value == (DefElem *) NULL)		/* CACHE */
		new->cache_value = 1;
	else if ((new->cache_value = get_param(cache_value)) <= 0)
796
		elog(ERROR, "DefineSequence: CACHE (%d) can't be <= 0",
797
			 new->cache_value);
798 799 800 801

}

static int
802
get_param(DefElem *def)
803
{
804
	if (def->arg == (Node *) NULL)
805
		elog(ERROR, "DefineSequence: \"%s\" value unspecified", def->defname);
806 807

	if (nodeTag(def->arg) == T_Integer)
808
		return intVal(def->arg);
809

810
	elog(ERROR, "DefineSequence: \"%s\" value must be integer", def->defname);
811
	return -1;
812
}
V
Vadim B. Mikheev 已提交
813

B
Bruce Momjian 已提交
814 815
void
seq_redo(XLogRecPtr lsn, XLogRecord *record)
V
Vadim B. Mikheev 已提交
816
{
B
Bruce Momjian 已提交
817 818 819 820 821 822 823
	uint8		info = record->xl_info & ~XLR_INFO_MASK;
	Relation	reln;
	Buffer		buffer;
	Page		page;
	char	   *item;
	Size		itemsz;
	xl_seq_rec *xlrec = (xl_seq_rec *) XLogRecGetData(record);
824
	sequence_magic *sm;
V
Vadim B. Mikheev 已提交
825

826 827
	if (info != XLOG_SEQ_LOG)
		elog(STOP, "seq_redo: unknown op code %u", info);
V
Vadim B. Mikheev 已提交
828 829 830 831 832

	reln = XLogOpenRelation(true, RM_SEQ_ID, xlrec->node);
	if (!RelationIsValid(reln))
		return;

833
	buffer = XLogReadBuffer(true, reln, 0);
V
Vadim B. Mikheev 已提交
834
	if (!BufferIsValid(buffer))
B
Bruce Momjian 已提交
835 836
		elog(STOP, "seq_redo: can't read block of %u/%u",
			 xlrec->node.tblNode, xlrec->node.relNode);
V
Vadim B. Mikheev 已提交
837 838 839

	page = (Page) BufferGetPage(buffer);

840 841 842
	PageInit((Page) page, BufferGetPageSize(buffer), sizeof(sequence_magic));
	sm = (sequence_magic *) PageGetSpecialPointer(page);
	sm->magic = SEQ_MAGIC;
V
Vadim B. Mikheev 已提交
843

B
Bruce Momjian 已提交
844
	item = (char *) xlrec + sizeof(xl_seq_rec);
845 846
	itemsz = record->xl_len - sizeof(xl_seq_rec);
	itemsz = MAXALIGN(itemsz);
B
Bruce Momjian 已提交
847
	if (PageAddItem(page, (Item) item, itemsz,
848 849
					FirstOffsetNumber, LP_USED) == InvalidOffsetNumber)
		elog(STOP, "seq_redo: failed to add item to page");
V
Vadim B. Mikheev 已提交
850 851 852 853 854 855 856 857

	PageSetLSN(page, lsn);
	PageSetSUI(page, ThisStartUpID);
	UnlockAndWriteBuffer(buffer);

	return;
}

B
Bruce Momjian 已提交
858 859
void
seq_undo(XLogRecPtr lsn, XLogRecord *record)
V
Vadim B. Mikheev 已提交
860 861 862
{
}

B
Bruce Momjian 已提交
863 864
void
seq_desc(char *buf, uint8 xl_info, char *rec)
V
Vadim B. Mikheev 已提交
865
{
B
Bruce Momjian 已提交
866 867
	uint8		info = xl_info & ~XLR_INFO_MASK;
	xl_seq_rec *xlrec = (xl_seq_rec *) rec;
V
Vadim B. Mikheev 已提交
868 869 870 871 872 873 874 875 876

	if (info == XLOG_SEQ_LOG)
		strcat(buf, "log: ");
	else
	{
		strcat(buf, "UNKNOWN");
		return;
	}

877
	sprintf(buf + strlen(buf), "node %u/%u",
B
Bruce Momjian 已提交
878
			xlrec->node.tblNode, xlrec->node.relNode);
V
Vadim B. Mikheev 已提交
879
}