postgres.c 48.1 KB
Newer Older
1 2
/*-------------------------------------------------------------------------
 *
3
 * postgres.c
4
 *	  POSTGRES C Backend Interface
5
 *
B
Add:  
Bruce Momjian 已提交
6 7
 * Portions Copyright (c) 1996-2000, PostgreSQL, Inc
 * Portions Copyright (c) 1994, Regents of the University of California
8 9 10
 *
 *
 * IDENTIFICATION
11
 *	  $Header: /cvsroot/pgsql/src/backend/tcop/postgres.c,v 1.186 2000/11/06 22:18:08 petere Exp $
12 13
 *
 * NOTES
14 15
 *	  this is the "main" module of the postgres backend and
 *	  hence the main module of the "traffic cop".
16 17 18
 *
 *-------------------------------------------------------------------------
 */
B
Bruce Momjian 已提交
19

20 21
#include "postgres.h"

B
Bruce Momjian 已提交
22
#include <unistd.h>
23
#include <signal.h>
24 25
#include <time.h>
#include <sys/time.h>
B
Bruce Momjian 已提交
26 27
#include <sys/types.h>
#include <fcntl.h>
28
#include <sys/socket.h>
29
#include <errno.h>
30
#if HAVE_SYS_SELECT_H
31
#include <sys/select.h>
32
#endif
M
 
Marc G. Fournier 已提交
33 34 35
#include <netinet/in.h>
#include <arpa/inet.h>
#include <netdb.h>
36
#ifdef HAVE_GETOPT_H
B
Bruce Momjian 已提交
37
#include <getopt.h>
38
#endif
39 40

#include "commands/async.h"
41
#include "commands/trigger.h"
42
#include "commands/variable.h"
43
#include "libpq/libpq.h"
44
#include "libpq/pqformat.h"
45
#include "libpq/pqsignal.h"
B
Bruce Momjian 已提交
46
#include "miscadmin.h"
47 48
#include "nodes/print.h"
#include "optimizer/cost.h"
49
#include "optimizer/planner.h"
50 51
#include "parser/analyze.h"
#include "parser/parse.h"
52
#include "parser/parser.h"
B
Bruce Momjian 已提交
53
#include "rewrite/rewriteHandler.h"
54 55
#include "tcop/fastpath.h"
#include "tcop/pquery.h"
B
Bruce Momjian 已提交
56
#include "tcop/tcopprot.h"
57
#include "tcop/utility.h"
58
#include "storage/proc.h"
59 60
#include "utils/exc.h"
#include "utils/guc.h"
61
#include "utils/memutils.h"
M
 
Marc G. Fournier 已提交
62
#include "utils/ps_status.h"
63
#include "utils/temprel.h"
64
#ifdef MULTIBYTE
B
Bruce Momjian 已提交
65
#include "mb/pg_wchar.h"
66 67
#endif

M
 
Marc G. Fournier 已提交
68

69
/* ----------------
70
 *		global variables
71 72
 * ----------------
 */
73

74 75 76 77 78 79 80 81
/*
 * XXX For ps display. That stuff needs to be cleaned up.
 */
bool HostnameLookup;
bool ShowPortNumber;

bool Log_connections = false;

82
CommandDest whereToSendOutput = Debug;
83

84

85 86
extern void StartupXLOG(void);
extern void ShutdownXLOG(void);
87

88
extern void HandleDeadLock(SIGNAL_ARGS);
89

90 91
extern char XLogDir[];
extern char ControlFilePath[];
92

93
static bool	dontExecute = false;
94

95
/* note: these declarations had better match tcopprot.h */
B
Bruce Momjian 已提交
96
DLLIMPORT sigjmp_buf Warn_restart;
97

98
bool		Warn_restart_ready = false;
99 100
bool		InError = false;
bool		ExitAfterAbort = false;
101

102
static bool EchoQuery = false;	/* default don't echo */
103
char		pg_pathname[MAXPGPATH];
104
FILE	   *StatFp = NULL;
105

106
/* ----------------
107 108
 *		people who want to use EOF should #define DONTUSENEWLINE in
 *		tcop/tcopdebug.h
109 110 111
 * ----------------
 */
#ifndef TCOP_DONTUSENEWLINE
112
int			UseNewLine = 1;		/* Use newlines query delimiters (the
113 114
								 * default) */

115
#else
116
int			UseNewLine = 0;		/* Use EOF as query delimiters */
117

118
#endif	 /* TCOP_DONTUSENEWLINE */
119 120 121 122

/*
** Flags for expensive function optimization -- JMH 3/9/92
*/
123
int			XfuncMode = 0;
124 125

/* ----------------------------------------------------------------
126
 *		decls for routines only used in this file
127 128
 * ----------------------------------------------------------------
 */
129 130 131
static int	InteractiveBackend(StringInfo inBuf);
static int	SocketBackend(StringInfo inBuf);
static int	ReadCommand(StringInfo inBuf);
132 133 134 135
static List *pg_parse_query(char *query_string, Oid *typev, int nargs);
static List *pg_analyze_and_rewrite(Node *parsetree);
static void start_xact_command(void);
static void finish_xact_command(void);
136 137 138
static void SigHupHandler(SIGNAL_ARGS);
static void FloatExceptionHandler(SIGNAL_ARGS);
static void quickdie(SIGNAL_ARGS);
139 140 141 142 143 144 145

/*
 * Flag to mark SIGHUP. Whenever the main loop comes around it
 * will reread the configuration file. (Better than doing the
 * reading in the signal handler, ey?)
 */
static volatile bool got_SIGHUP = false;
146 147 148


/* ----------------------------------------------------------------
149
 *		routines to obtain user input
150 151 152 153
 * ----------------------------------------------------------------
 */

/* ----------------
154 155
 *	InteractiveBackend() is called for user interactive connections
 *	the string entered by the user is placed in its parameter inBuf.
156
 *
157
 *	EOF is returned if end-of-file input is seen; time to shut down.
158 159 160
 * ----------------
 */

161
static int
162
InteractiveBackend(StringInfo inBuf)
163
{
164 165 166
	int			c;				/* character read from getc() */
	bool		end = false;	/* end-of-input flag */
	bool		backslashSeen = false;	/* have we seen a \ ? */
167 168 169 170 171

	/* ----------------
	 *	display a prompt and obtain input from the user
	 * ----------------
	 */
172
	printf("backend> ");
173
	fflush(stdout);
174

175 176 177 178
	/* Reset inBuf to empty */
	inBuf->len = 0;
	inBuf->data[0] = '\0';

179 180 181 182 183 184 185 186 187 188 189 190 191 192 193
	for (;;)
	{
		if (UseNewLine)
		{
			/* ----------------
			 *	if we are using \n as a delimiter, then read
			 *	characters until the \n.
			 * ----------------
			 */
			while ((c = getc(stdin)) != EOF)
			{
				if (c == '\n')
				{
					if (backslashSeen)
					{
194 195 196
						/* discard backslash from inBuf */
						inBuf->data[--inBuf->len] = '\0';
						backslashSeen = false;
197 198 199 200 201
						continue;
					}
					else
					{
						/* keep the newline character */
202
						appendStringInfoChar(inBuf, '\n');
203 204 205 206 207 208 209 210
						break;
					}
				}
				else if (c == '\\')
					backslashSeen = true;
				else
					backslashSeen = false;

211
				appendStringInfoChar(inBuf, (char) c);
212 213 214 215 216 217 218 219 220 221 222 223
			}

			if (c == EOF)
				end = true;
		}
		else
		{
			/* ----------------
			 *	otherwise read characters until EOF.
			 * ----------------
			 */
			while ((c = getc(stdin)) != EOF)
224
				appendStringInfoChar(inBuf, (char) c);
225

226
			if (inBuf->len == 0)
227 228 229 230
				end = true;
		}

		if (end)
231
			return EOF;
232 233 234 235 236 237 238 239 240 241 242 243 244

		/* ----------------
		 *	otherwise we have a user query so process it.
		 * ----------------
		 */
		break;
	}

	/* ----------------
	 *	if the query echo flag was given, print the query..
	 * ----------------
	 */
	if (EchoQuery)
245
		printf("query: %s\n", inBuf->data);
246
	fflush(stdout);
247

248
	return 'Q';
249 250 251
}

/* ----------------
252
 *	SocketBackend()		Is called for frontend-backend connections
253
 *
254 255
 *	If the input is a query (case 'Q') then the string entered by
 *	the user is placed in its parameter inBuf.
256
 *
257
 *	If the input is a fastpath function call (case 'F') then
258
 *	the function call is processed in HandleFunctionRequest()
259 260
 *	(now called from PostgresMain()).
 *
261
 *	EOF is returned if the connection is lost.
262 263 264
 * ----------------
 */

265
static int
266
SocketBackend(StringInfo inBuf)
267
{
268
	char		qtype;
269
	char		result = '\0';
270 271 272 273 274

	/* ----------------
	 *	get input from the frontend
	 * ----------------
	 */
275 276
	qtype = '?';
	if (pq_getbytes(&qtype, 1) == EOF)
277
		return EOF;
278

279
	switch (qtype)
280
	{
281 282 283 284 285
			/* ----------------
			 *	'Q': user entered a query
			 * ----------------
			 */
		case 'Q':
286
			if (pq_getstr(inBuf))
287
				return EOF;
288 289
			result = 'Q';
			break;
290

291 292 293 294 295
			/* ----------------
			 *	'F':  calling user/system functions
			 * ----------------
			 */
		case 'F':
296
			if (pq_getstr(inBuf))
297
				return EOF;		/* ignore "string" at start of F message */
298 299
			result = 'F';
			break;
300

301 302 303 304 305 306 307
			/* ----------------
			 *	'X':  frontend is exiting
			 * ----------------
			 */
		case 'X':
			result = 'X';
			break;
308

309 310 311 312 313 314 315 316
			/* ----------------
			 *	otherwise we got garbage from the frontend.
			 *
			 *	XXX are we certain that we want to do an elog(FATAL) here?
			 *		-cim 1/24/90
			 * ----------------
			 */
		default:
317
			elog(FATAL, "Socket command type %c unknown", qtype);
318
			break;
319 320
	}
	return result;
321 322 323
}

/* ----------------
324 325 326
 *		ReadCommand reads a command from either the frontend or
 *		standard input, places it in inBuf, and returns a char
 *		representing whether the string is a 'Q'uery or a 'F'astpath
327
 *		call.  EOF is returned if end of file.
328 329
 * ----------------
 */
330
static int
331
ReadCommand(StringInfo inBuf)
332
{
333
	int			result;
334

335
	if (IsUnderPostmaster)
336
		result = SocketBackend(inBuf);
337
	else
338 339
		result = InteractiveBackend(inBuf);
	return result;
340 341
}

342 343 344 345 346 347

/*
 * Parse a query string and pass it through the rewriter.
 *
 * A list of Query nodes is returned, since the string might contain
 * multiple queries and/or the rewriter might expand one query to several.
348 349 350
 *
 * NOTE: this routine is no longer used for processing interactive queries,
 * but it is still needed for parsing of SQL function bodies.
351
 */
352
List *
353 354 355
pg_parse_and_rewrite(char *query_string,	/* string to execute */
					 Oid *typev,			/* parameter types */
					 int nargs)				/* number of parameters */
356
{
357
	List	   *raw_parsetree_list;
358
	List	   *querytree_list;
359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399
	List	   *list_item;

	/* ----------------
	 *	(1) parse the request string into a list of raw parse trees.
	 * ----------------
	 */
	raw_parsetree_list = pg_parse_query(query_string, typev, nargs);

	/* ----------------
	 *	(2) Do parse analysis and rule rewrite.
	 * ----------------
	 */
	querytree_list = NIL;
	foreach(list_item, raw_parsetree_list)
	{
		Node   *parsetree = (Node *) lfirst(list_item);

		querytree_list = nconc(querytree_list,
							   pg_analyze_and_rewrite(parsetree));
	}

	return querytree_list;
}

/*
 * Do raw parsing (only).
 *
 * A list of parsetrees is returned, since there might be multiple
 * commands in the given string.
 *
 * NOTE: for interactive queries, it is important to keep this routine
 * separate from the analysis & rewrite stages.  Analysis and rewriting
 * cannot be done in an aborted transaction, since they require access to
 * database tables.  So, we rely on the raw parser to determine whether
 * we've seen a COMMIT or ABORT command; when we are in abort state, other
 * commands are not processed any further than the raw parse stage.
 */
static List *
pg_parse_query(char *query_string, Oid *typev, int nargs)
{
	List	   *raw_parsetree_list;
400

401 402
	if (Debug_print_query)
		elog(DEBUG, "query: %s", query_string);
403

404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434
	if (Show_parser_stats)
		ResetUsage();

	raw_parsetree_list = parser(query_string, typev, nargs);

	if (Show_parser_stats)
	{
		fprintf(StatFp, "PARSER STATISTICS\n");
		ShowUsage();
	}

	return raw_parsetree_list;
}

/*
 * Given a raw parsetree (gram.y output), perform parse analysis and
 * rule rewriting.
 *
 * A list of Query nodes is returned, since either the analyzer or the
 * rewriter might expand one query to several.
 *
 * NOTE: for reasons mentioned above, this must be separate from raw parsing.
 */
static List *
pg_analyze_and_rewrite(Node *parsetree)
{
	List	   *querytree_list;
	List	   *list_item;
	Query	   *querytree;
	List	   *new_list;

435
	/* ----------------
436
	 *	(1) Perform parse analysis.
437 438
	 * ----------------
	 */
439
	if (Show_parser_stats)
440 441
		ResetUsage();

442
	querytree_list = parse_analyze(parsetree, NULL);
443

444
	if (Show_parser_stats)
445
	{
446
		fprintf(StatFp, "PARSE ANALYSIS STATISTICS\n");
447
		ShowUsage();
448
		ResetUsage();
449 450 451
	}

	/* ----------------
452
	 *	(2) Rewrite the queries, as necessary
453
	 *
B
Bruce Momjian 已提交
454 455
	 *	rewritten queries are collected in new_list.  Note there may be
	 *	more or fewer than in the original list.
456 457
	 * ----------------
	 */
458
	new_list = NIL;
459
	foreach(list_item, querytree_list)
460
	{
461
		querytree = (Query *) lfirst(list_item);
462

463
		if (Debug_print_parse)
464
		{
465
			if (Debug_pretty_print)
B
Bruce Momjian 已提交
466
			{
467
				elog(DEBUG, "parse tree:");
J
Jan Wieck 已提交
468
				nodeDisplay(querytree);
B
Bruce Momjian 已提交
469 470
			}
			else
471
				elog(DEBUG, "parse tree: %s", nodeToString(querytree));
472
		}
473 474 475

		if (querytree->commandType == CMD_UTILITY)
		{
476 477
			/* don't rewrite utilities, just dump 'em into new_list */
			new_list = lappend(new_list, querytree);
478
		}
479
		else
480
		{
481
			/* rewrite regular queries */
482 483
			List	   *rewritten = QueryRewrite(querytree);

484
			new_list = nconc(new_list, rewritten);
485 486 487 488 489
		}
	}

	querytree_list = new_list;

490 491 492 493 494 495
	if (Show_parser_stats)
	{
		fprintf(StatFp, "REWRITER STATISTICS\n");
		ShowUsage();
	}

496
#ifdef COPY_PARSE_PLAN_TREES
497
	/* Optional debugging check: pass querytree output through copyObject() */
498 499 500
	new_list = (List *) copyObject(querytree_list);
	/* This checks both copyObject() and the equal() routines... */
	if (! equal(new_list, querytree_list))
501
		elog(NOTICE, "pg_analyze_and_rewrite: copyObject failed on parse tree");
502 503
	else
		querytree_list = new_list;
504 505
#endif

506
	if (Debug_print_rewritten)
507
	{
508
		if (Debug_pretty_print)
B
Bruce Momjian 已提交
509
		{
510
			elog(DEBUG, "rewritten parse tree:");
511
			foreach(list_item, querytree_list)
J
Jan Wieck 已提交
512
			{
513
				querytree = (Query *) lfirst(list_item);
514
				nodeDisplay(querytree);
J
Jan Wieck 已提交
515 516
				printf("\n");
			}
B
Bruce Momjian 已提交
517 518 519
		}
		else
		{
520
			elog(DEBUG, "rewritten parse tree:");
521
			foreach(list_item, querytree_list)
J
Jan Wieck 已提交
522
			{
523
				querytree = (Query *) lfirst(list_item);
524
				elog(DEBUG, "%s", nodeToString(querytree));
J
Jan Wieck 已提交
525
			}
526 527 528
		}
	}

529 530
	return querytree_list;
}
531 532


533 534 535 536 537
/* Generate a plan for a single query. */
Plan *
pg_plan_query(Query *querytree)
{
	Plan	   *plan;
538

539 540 541
	/* Utility commands have no plans. */
	if (querytree->commandType == CMD_UTILITY)
		return NULL;
542

543
	if (Show_planner_stats)
544
		ResetUsage();
545

546 547
	/* call that optimizer */
	plan = planner(querytree);
548

549
	if (Show_planner_stats)
550
	{
551
		fprintf(stderr, "PLANNER STATISTICS\n");
552 553
		ShowUsage();
	}
554

555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572
#ifdef COPY_PARSE_PLAN_TREES
	/* Optional debugging check: pass plan output through copyObject() */
	{
		Plan   *new_plan = (Plan *) copyObject(plan);

		/* equal() currently does not have routines to compare Plan nodes,
		 * so don't try to test equality here.  Perhaps fix someday?
		 */
#ifdef NOT_USED
		/* This checks both copyObject() and the equal() routines... */
		if (! equal(new_plan, plan))
			elog(NOTICE, "pg_plan_query: copyObject failed on plan tree");
		else
#endif
			plan = new_plan;
	}
#endif

573 574 575 576
	/* ----------------
	 *	Print plan if debugging.
	 * ----------------
	 */
577
	if (Debug_print_plan)
578
	{
579
		if (Debug_pretty_print)
580
		{
581
			elog(DEBUG, "plan:");
582
			nodeDisplay(plan);
583 584
		}
		else
585
			elog(DEBUG, "plan: %s", nodeToString(plan));
586 587
	}

588
	return plan;
589 590
}

591

592
/* ----------------------------------------------------------------
593
 *		pg_exec_query_string()
594 595
 *
 *		Takes a querystring, runs the parser/utilities or
596 597 598 599
 *		parser/planner/executor over it as necessary.
 *
 * Assumptions:
 *
600
 * At call, we are not inside a transaction command.
601
 *
602
 * The CurrentMemoryContext after starting a transaction command must be
603 604 605 606
 * appropriate for execution of individual queries (typically this will be
 * TransactionCommandContext).  Note that this routine resets that context
 * after each individual query, so don't store anything there that
 * must outlive the call!
607
 *
608 609
 * parse_context references a context suitable for holding the
 * parse/rewrite trees (typically this will be QueryContext).
610
 * This context *must* be longer-lived than the transaction context!
611 612 613 614 615 616 617
 * In fact, if the query string might contain BEGIN/COMMIT commands,
 * parse_context had better outlive TopTransactionContext!
 *
 * We could have hard-wired knowledge about QueryContext and
 * TransactionCommandContext into this routine, but it seems better
 * not to, in case callers from outside this module need to use some
 * other contexts.
618 619 620 621 622
 *
 * ----------------------------------------------------------------
 */

void
623 624 625
pg_exec_query_string(char *query_string,	/* string to execute */
					 CommandDest dest,		/* where results should go */
					 MemoryContext parse_context) /* context for parsetrees */
626
{
627
	bool		xact_started;
628
	MemoryContext oldcontext;
629 630
	List	   *parsetree_list,
			   *parsetree_item;
631

632
	/*
633 634 635 636
	 * Start up a transaction command.  All queries generated by the
	 * query_string will be in this same command block, *unless* we find
	 * a BEGIN/COMMIT/ABORT statement; we have to force a new xact command
	 * after one of those, else bad things will happen in xact.c.
637
	 * (Note that this will possibly change current memory context.)
638 639 640 641 642 643 644 645 646 647
	 */
	start_xact_command();
	xact_started = true;

	/*
	 * parse_context *must* be different from the execution memory context,
	 * else the context reset at the bottom of the loop will destroy the
	 * parsetree list.  (We really ought to check that parse_context isn't a
	 * child of CurrentMemoryContext either, but that would take more cycles
	 * than it's likely to be worth.)
648 649 650
	 */
	Assert(parse_context != CurrentMemoryContext);

651 652 653 654
	/*
	 * Switch to appropriate context for constructing parsetrees.
	 */
	oldcontext = MemoryContextSwitchTo(parse_context);
655

B
Bruce Momjian 已提交
656
	/*
657 658
	 * Do basic parsing of the query or queries (this should be safe
	 * even if we are in aborted transaction state!)
659
	 */
660
	parsetree_list = pg_parse_query(query_string, NULL, 0);
661

662
	/*
663
	 * Switch back to execution context to enter the loop.
664 665 666 667
	 */
	MemoryContextSwitchTo(oldcontext);

	/*
668
	 * Run through the parsetree(s) and process each one.
669
	 */
670
	foreach(parsetree_item, parsetree_list)
671
	{
672 673 674 675
		Node   *parsetree = (Node *) lfirst(parsetree_item);
		bool	isTransactionStmt;
		List   *querytree_list,
			   *querytree_item;
676

677 678
		/* Transaction control statements need some special handling */
		isTransactionStmt = IsA(parsetree, TransactionStmt);
679

680 681 682 683 684 685 686 687 688
		/*
		 * If we are in an aborted transaction, ignore all commands except
		 * COMMIT/ABORT.  It is important that this test occur before we
		 * try to do parse analysis, rewrite, or planning, since all those
		 * phases try to do database accesses, which may fail in abort state.
		 * (It might be safe to allow some additional utility commands in
		 * this state, but not many...)
		 */
		if (IsAbortedTransactionBlockState())
689
		{
690
			bool	allowit = false;
691

692 693 694 695 696 697 698 699 700 701 702 703 704 705
			if (isTransactionStmt)
			{
				TransactionStmt *stmt = (TransactionStmt *) parsetree;

				switch (stmt->command)
				{
					case COMMIT:
					case ROLLBACK:
						allowit = true;
						break;
					default:
						break;
				}
			}
706

707
			if (! allowit)
708
			{
709 710 711 712 713 714 715 716 717 718 719 720
				/* ----------------
				 *	 the EndCommand() stuff is to tell the frontend
				 *	 that the command ended. -cim 6/1/90
				 * ----------------
				 */
				char	   *tag = "*ABORT STATE*";

				elog(NOTICE, "current transaction is aborted, "
					 "queries ignored until end of transaction block");

				EndCommand(tag, dest);

721 722
				/*
				 * We continue in the loop, on the off chance that there
723 724 725 726
				 * is a COMMIT or ROLLBACK utility command later in the
				 * query string.
				 */
				continue;
727
			}
728
		}
729

730 731 732 733 734 735
		/* Make sure we are in a transaction command */
		if (! xact_started)
		{
			start_xact_command();
			xact_started = true;
		}
736

737 738 739 740 741 742 743 744 745 746 747
		/* If we got a cancel signal in parsing or prior command, quit */
		if (QueryCancel)
			CancelQuery();

		/*
		 * OK to analyze and rewrite this query.
		 *
		 * Switch to appropriate context for constructing querytrees
		 * (again, these must outlive the execution context).
		 */
		oldcontext = MemoryContextSwitchTo(parse_context);
748

749
		querytree_list = pg_analyze_and_rewrite(parsetree);
V
Vadim B. Mikheev 已提交
750

751 752 753 754 755 756 757 758 759 760 761 762
		/*
		 * Switch back to execution context for planning and execution.
		 */
		MemoryContextSwitchTo(oldcontext);

		/*
		 * Inner loop handles the individual queries generated from a
		 * single parsetree by analysis and rewrite.
		 */
		foreach(querytree_item, querytree_list)
		{
			Query	   *querytree = (Query *) lfirst(querytree_item);
763

764 765
			/* Make sure we are in a transaction command */
			if (! xact_started)
766
			{
767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786
				start_xact_command();
				xact_started = true;
			}

			/* If we got a cancel signal in analysis or prior command, quit */
			if (QueryCancel)
				CancelQuery();

			if (querytree->commandType == CMD_UTILITY)
			{
				/* ----------------
				 *	 process utility functions (create, destroy, etc..)
				 * ----------------
				 */
				if (Debug_print_query)
					elog(DEBUG, "ProcessUtility: %s", query_string);
				else if (DebugLvl > 1)
					elog(DEBUG, "ProcessUtility");

				ProcessUtility(querytree->utilityStmt, dest);
787 788 789
			}
			else
			{
790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827
				/* ----------------
				 *	 process a plannable query.
				 * ----------------
				 */
				Plan	   *plan;

				plan = pg_plan_query(querytree);

				/* if we got a cancel signal whilst planning, quit */
				if (QueryCancel)
					CancelQuery();

				/* Initialize snapshot state for query */
				SetQuerySnapshot();

				/*
				 * execute the plan
				 */
				if (Show_executor_stats)
					ResetUsage();

				if (dontExecute)
				{
					/* don't execute it, just show the query plan */
					print_plan(plan, querytree);
				}
				else
				{
					if (DebugLvl > 1)
						elog(DEBUG, "ProcessQuery");
					ProcessQuery(querytree, plan, dest);
				}

				if (Show_executor_stats)
				{
					fprintf(stderr, "EXECUTOR STATISTICS\n");
					ShowUsage();
				}
828
			}
829

830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855
			/*
			 * In a query block, we want to increment the command counter
			 * between queries so that the effects of early queries are
			 * visible to subsequent ones.  In particular we'd better
			 * do so before checking constraints.
			 */
			if (!isTransactionStmt)
				CommandCounterIncrement();

			/*
			 * Clear the execution context to recover temporary
			 * memory used by the query.  NOTE: if query string contains
			 * BEGIN/COMMIT transaction commands, execution context may
			 * now be different from what we were originally passed;
			 * so be careful to clear current context not "oldcontext".
			 */
			Assert(parse_context != CurrentMemoryContext);

			MemoryContextResetAndDeleteChildren(CurrentMemoryContext);

			/*
			 * If this was a transaction control statement, commit it
			 * and arrange to start a new xact command for the next
			 * command (if any).
			 */
			if (isTransactionStmt)
856
			{
857 858
				finish_xact_command();
				xact_started = false;
859 860
			}

861 862 863 864 865 866 867 868
		} /* end loop over queries generated from a parsetree */
	} /* end loop over parsetrees */

	/*
	 * Close down transaction statement, if one is open.
	 */
	if (xact_started)
		finish_xact_command();
869 870
}

871 872 873 874 875 876 877 878 879 880 881 882 883 884
/*
 * Convenience routines for starting/committing a single command.
 */
static void
start_xact_command(void)
{
	if (DebugLvl >= 1)
		elog(DEBUG, "StartTransactionCommand");
	StartTransactionCommand();
}

static void
finish_xact_command(void)
{
885 886 887 888
	/* Invoke IMMEDIATE constraint triggers */
	DeferredTriggerEndQuery();

	/* Now commit the command */
889 890 891 892
	if (DebugLvl >= 1)
		elog(DEBUG, "CommitTransactionCommand");
	set_ps_display("commit");	/* XXX probably the wrong place to do this */
	CommitTransactionCommand();
893

894
#ifdef SHOW_MEMORY_STATS
895
	/* Print mem stats at each commit for leak tracking */
896 897 898 899 900 901
	if (ShowStats)
		MemoryContextStats(TopMemoryContext);
#endif
}


902
/* --------------------------------
903
 *		signal handler routines used in PostgresMain()
904
 *
B
Bruce Momjian 已提交
905
 *		handle_warn() catches SIGQUIT.	It forces control back to the main
906 907 908
 *		loop, just as if an internal error (elog(ERROR,...)) had occurred.
 *		elog() used to actually use kill(2) to induce a SIGQUIT to get here!
 *		But that's not 100% reliable on some systems, so now it does its own
B
Bruce Momjian 已提交
909
 *		siglongjmp() instead.
910
 *		We still provide the signal catcher so that an error quit can be
B
Bruce Momjian 已提交
911
 *		forced externally.	This should be done only with great caution,
912 913
 *		however, since an asynchronous signal could leave the system in
 *		who-knows-what inconsistent state.
914
 *
915 916 917
 *		quickdie() occurs when signalled by the postmaster.
 *		Some backend has bought the farm,
 *		so we need to stop what we're doing and exit.
918
 *
919
 *		die() performs an orderly cleanup via proc_exit()
920 921 922 923
 * --------------------------------
 */

void
924
handle_warn(SIGNAL_ARGS)
925
{
926
	siglongjmp(Warn_restart, 1);
927 928
}

929
static void
930
quickdie(SIGNAL_ARGS)
931
{
932
	PG_SETMASK(&BlockSig);
933
	elog(NOTICE, "Message from PostgreSQL backend:"
934 935 936 937 938
		 "\n\tThe Postmaster has informed me that some other backend"
		 " died abnormally and possibly corrupted shared memory."
		 "\n\tI have rolled back the current transaction and am"
		 " going to terminate your database system connection and exit."
	"\n\tPlease reconnect to the database system and repeat your query.");
939

940 941

	/*
942
	 * DO NOT proc_exit(0) -- we're here because shared memory may be
943 944 945 946
	 * corrupted, so we don't want to flush any shared state to stable
	 * storage.  Just nail the windows shut and get out of town.
	 */

947
	exit(1);
948 949
}

950 951 952
/*
 * Abort transaction and exit
 */
953
void
954
die(SIGNAL_ARGS)
955
{
956
	PG_SETMASK(&BlockSig);
957

958 959 960 961 962 963 964 965 966
	/*
	 * If ERROR/FATAL is in progress...
	 */
	if (InError)
	{
		ExitAfterAbort = true;
		return;
	}
	elog(FATAL, "The system is shutting down");
967 968 969
}

/* signal handler for floating point exception */
970
static void
971
FloatExceptionHandler(SIGNAL_ARGS)
972
{
973
	elog(ERROR, "floating point exception!"
974 975
		 " The last floating point operation either exceeded legal ranges"
		 " or was a divide by zero");
976 977
}

M
 
Marc G. Fournier 已提交
978
/* signal handler for query cancel signal from postmaster */
979
static void
980
QueryCancelHandler(SIGNAL_ARGS)
981 982
{
	QueryCancel = true;
983
	LockWaitCancel();
984 985 986 987 988
}

void
CancelQuery(void)
{
B
Bruce Momjian 已提交
989

990 991
	/*
	 * QueryCancel flag will be reset in main loop, which we reach by
M
 
Marc G. Fournier 已提交
992 993
	 * longjmp from elog().
	 */
994 995 996
	elog(ERROR, "Query was cancelled.");
}

997
static void
998
SigHupHandler(SIGNAL_ARGS)
999
{
1000
	got_SIGHUP = true;
1001 1002
}

1003

1004 1005
static void
usage(char *progname)
1006
{
1007
	fprintf(stderr,
1008
			"Usage: %s [options] [dbname]\n", progname);
M
 
Marc G. Fournier 已提交
1009
#ifdef USE_ASSERT_CHECKING
T
Tom Lane 已提交
1010
	fprintf(stderr, "\t-A on\t\tenable/disable assert checking\n");
M
 
Marc G. Fournier 已提交
1011
#endif
1012
	fprintf(stderr, "\t-B buffers\tset number of buffers in buffer pool\n");
T
Tom Lane 已提交
1013
	fprintf(stderr, "\t-C \t\tsuppress version info\n");
1014 1015
	fprintf(stderr, "\t-D dir\t\tdata directory\n");
	fprintf(stderr, "\t-E \t\techo query before execution\n");
1016
	fprintf(stderr, "\t-F \t\tturn fsync off\n");
1017 1018
	fprintf(stderr, "\t-L \t\tturn off locking\n");
	fprintf(stderr, "\t-N \t\tdon't use newline as interactive query delimiter\n");
1019
	fprintf(stderr, "\t-O \t\tallow system table structure changes\n");
1020
	fprintf(stderr, "\t-Q \t\tsuppress informational messages\n");
1021
	fprintf(stderr, "\t-S kbytes\tset amount of memory for sorts (in kbytes)\n");
T
Tom Lane 已提交
1022 1023
	fprintf(stderr, "\t-T options\tspecify pg_options\n");
	fprintf(stderr, "\t-W sec\t\twait N seconds to allow attach from a debugger\n");
B
Bruce Momjian 已提交
1024
	fprintf(stderr, "\t-d [1-5]\tset debug level\n");
1025
	fprintf(stderr, "\t-e \t\tturn on European date format\n");
T
Tom Lane 已提交
1026
	fprintf(stderr, "\t-f [s|i|n|m|h]\tforbid use of some plan types\n");
1027 1028 1029
	fprintf(stderr, "\t-i \t\tdon't execute queries\n");
	fprintf(stderr, "\t-o file\t\tsend stdout and stderr to given filename\n");
	fprintf(stderr, "\t-p database\tbackend is started under a postmaster\n");
1030
	fprintf(stderr, "\t-s \t\tshow stats after each query\n");
1031
	fprintf(stderr, "\t-t [pa|pl|ex]\tshow timings after each query\n");
1032
	fprintf(stderr, "\t-v version\tset protocol version being used by frontend\n");
1033 1034 1035
}

/* ----------------------------------------------------------------
1036 1037
 * PostgresMain
 *     postgres main loop -- all backends, interactive or otherwise start here
1038
 *
1039 1040 1041 1042 1043
 * argc/argv are the command line arguments to be used.  When being forked
 * by the postmaster, these are not the original argv array of the process.
 * real_argc/real_argv point to the original argv array, which is needed by
 * `ps' display on some platforms. username is the (possibly authenticated)
 * PostgreSQL user name to be used for the session.
1044 1045 1046
 * ----------------------------------------------------------------
 */
int
1047
PostgresMain(int argc, char *argv[], int real_argc, char *real_argv[], const char * username)
1048
{
1049
	int			flag;
1050

1051
	const char	   *DBName = NULL;
1052
	bool		secure = true;
1053
	int			errs = 0;
1054

1055
	int			firstchar;
1056
	StringInfo	parser_input;
M
 
Marc G. Fournier 已提交
1057

1058 1059
	char	   *remote_host;
	unsigned short remote_port;
1060

1061 1062
	char       *potential_DataDir = NULL;

1063 1064
	extern int	optind;
	extern char *optarg;
1065
	extern int	DebugLvl;
1066

1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077
	/*
	 * Fire up essential subsystems: error and memory management
	 *
	 * If we are running under the postmaster, this is done already.
	 */
	if (!IsUnderPostmaster)
	{
		EnableExceptionHandling(true);
		MemoryContextInit();
	}

1078
	/*
1079
	 * Set default values for command-line options.
1080
	 */
1081 1082
	Noversion = false;
	EchoQuery = false;
1083 1084 1085 1086

	if (!IsUnderPostmaster)
	{
		ResetAllOptions();
1087
		potential_DataDir = getenv("PGDATA");
1088
	}
1089
	StatFp = stderr;
1090

1091 1092
	SetProcessingMode(InitProcessing);

1093 1094
	/* Check for PGDATESTYLE environment variable */
	set_default_datestyle();
1095

1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113
	/* ----------------
	 *	parse command line arguments
	 *
	 *	There are now two styles of command line layout for the backend:
	 *
	 *	For interactive use (not started from postmaster) the format is
	 *		postgres [switches] [databasename]
	 *	If the databasename is omitted it is taken to be the user name.
	 *
	 *	When started from the postmaster, the format is
	 *		postgres [secure switches] -p databasename [insecure switches]
	 *	Switches appearing after -p came from the client (via "options"
	 *	field of connection request).  For security reasons we restrict
	 *	what these switches can do.
	 * ----------------
	 */

	optind = 1;					/* reset after postmaster's usage */
1114

1115
	while ((flag = getopt(argc, argv,  "A:B:CD:d:Eef:FiLNOPo:p:S:st:v:VW:x:-:?")) != EOF)
1116 1117
		switch (flag)
		{
M
 
Marc G. Fournier 已提交
1118 1119 1120 1121
			case 'A':
#ifdef USE_ASSERT_CHECKING
				assert_enabled = atoi(optarg);
#else
1122
				fprintf(stderr, "Assert checking is not compiled in\n");
M
 
Marc G. Fournier 已提交
1123 1124
#endif
				break;
1125

1126 1127 1128 1129 1130
			case 'B':
				/* ----------------
				 *	specify the size of buffer pool
				 * ----------------
				 */
1131 1132
				if (secure)
					NBuffers = atoi(optarg);
1133
				break;
1134

1135 1136
			case 'C':
				/* ----------------
1137
				 *	don't print version string
1138 1139
				 * ----------------
				 */
1140
				Noversion = true;
1141
				break;
1142

1143
			case 'D':			/* PGDATA directory */
1144
				if (secure)
1145
				{
1146
					potential_DataDir = optarg;
1147
				}
M
 
Marc G. Fournier 已提交
1148
				break;
1149

1150
			case 'd':			/* debug level */
1151
				DebugLvl = atoi(optarg);
1152 1153
				if (DebugLvl >= 1);
					Log_connections = true;
M
 
Marc G. Fournier 已提交
1154
				if (DebugLvl >= 2)
1155
					Debug_print_query = true;
M
 
Marc G. Fournier 已提交
1156
				if (DebugLvl >= 3)
1157
					Debug_print_parse = true;
B
Bruce Momjian 已提交
1158
				if (DebugLvl >= 4)
1159
					Debug_print_plan = true;
J
Jan Wieck 已提交
1160
				if (DebugLvl >= 5)
1161
					Debug_print_rewritten = true;
1162
				break;
1163 1164 1165 1166 1167 1168

			case 'E':
				/* ----------------
				 *	E - echo the query the user entered
				 * ----------------
				 */
1169
				EchoQuery = true;
1170
				break;
1171 1172 1173 1174 1175 1176

			case 'e':
				/* --------------------------
				 * Use european date formats.
				 * --------------------------
				 */
1177
				EuroDates = true;
1178
				break;
1179 1180 1181 1182

			case 'F':
				/* --------------------
				 *	turn off fsync
1183 1184 1185 1186
				 *
				 *	7.0 buffer manager can support different backends running
				 *	with different fsync settings, so this no longer needs
				 *	to be "if (secure)".
1187 1188
				 * --------------------
				 */
1189
				enableFsync = false;
1190
				break;
1191 1192 1193 1194 1195 1196 1197 1198 1199

			case 'f':
				/* -----------------
				 *	  f - forbid generation of certain plans
				 * -----------------
				 */
				switch (optarg[0])
				{
					case 's':	/* seqscan */
1200
						enable_seqscan = false;
1201 1202
						break;
					case 'i':	/* indexscan */
1203 1204 1205 1206
						enable_indexscan = false;
						break;
					case 't':	/* tidscan */
						enable_tidscan = false;
1207 1208
						break;
					case 'n':	/* nestloop */
1209
						enable_nestloop = false;
1210 1211
						break;
					case 'm':	/* mergejoin */
1212
						enable_mergejoin = false;
1213 1214
						break;
					case 'h':	/* hashjoin */
1215
						enable_hashjoin = false;
1216 1217 1218 1219
						break;
					default:
						errs++;
				}
1220 1221
				break;

1222
			case 'i':
1223
				dontExecute = true;
1224
				break;
1225

1226 1227 1228 1229 1230
			case 'L':
				/* --------------------
				 *	turn off locking
				 * --------------------
				 */
1231 1232
				if (secure)
					lockingOff = 1;
T
Tom Lane 已提交
1233 1234
				break;

1235 1236 1237 1238 1239 1240 1241
			case 'N':
				/* ----------------
				 *	N - Don't use newline as a query delimiter
				 * ----------------
				 */
				UseNewLine = 0;
				break;
1242

1243 1244 1245 1246 1247
			case 'O':
				/* --------------------
				 *	allow system table structure modifications
				 * --------------------
				 */
1248 1249
				if (secure)		/* XXX safe to allow from client??? */
					allowSystemTableMods = true;
1250 1251
				break;

H
Hiroshi Inoue 已提交
1252 1253 1254 1255 1256 1257 1258 1259 1260
			case 'P':
				/* --------------------
				 *	ignore system indexes
				 * --------------------
				 */
				if (secure)		/* XXX safe to allow from client??? */
					IgnoreSystemIndexes(true);
				break;

T
Tom Lane 已提交
1261 1262 1263 1264 1265
			case 'o':
				/* ----------------
				 *	o - send output (stdout and stderr) to the given file
				 * ----------------
				 */
1266 1267
				if (secure)
					StrNCpy(OutputFileName, optarg, MAXPGPATH);
T
Tom Lane 已提交
1268 1269
				break;

1270
			case 'p':
1271 1272 1273 1274 1275
				/* ----------------
				 *	p - special flag passed if backend was forked
				 *		by a postmaster.
				 * ----------------
				 */
1276 1277
				if (secure)
				{
1278
					DBName = strdup(optarg);
B
Bruce Momjian 已提交
1279 1280
					secure = false;		/* subsequent switches are NOT
										 * secure */
1281
				}
1282
				break;
1283

1284 1285
			case 'S':
				/* ----------------
V
Vadim B. Mikheev 已提交
1286
				 *	S - amount of sort memory to use in 1k bytes
1287 1288
				 * ----------------
				 */
1289
				{
1290 1291
					int			S;

V
Vadim B. Mikheev 已提交
1292
					S = atoi(optarg);
1293
					if (S >= 4 * BLCKSZ / 1024)
V
Vadim B. Mikheev 已提交
1294
						SortMem = S;
1295
				}
1296
				break;
1297 1298 1299 1300 1301 1302

			case 's':
				/* ----------------
				 *	  s - report usage statistics (timings) after each query
				 * ----------------
				 */
1303
				Show_query_stats = 1;
M
 
Marc G. Fournier 已提交
1304 1305
				break;

1306 1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320
			case 't':
				/* ----------------
				 *	tell postgres to report usage statistics (timings) for
				 *	each query
				 *
				 *	-tpa[rser] = print stats for parser time of each query
				 *	-tpl[anner] = print stats for planner time of each query
				 *	-te[xecutor] = print stats for executor time of each query
				 *	caution: -s can not be used together with -t.
				 * ----------------
				 */
				switch (optarg[0])
				{
					case 'p':
						if (optarg[1] == 'a')
1321
							Show_parser_stats = 1;
1322
						else if (optarg[1] == 'l')
1323
							Show_planner_stats = 1;
1324 1325 1326 1327
						else
							errs++;
						break;
					case 'e':
1328
						Show_executor_stats = 1;
1329 1330 1331 1332 1333
						break;
					default:
						errs++;
						break;
				}
1334 1335
				break;

1336
			case 'v':
1337 1338
				if (secure)
					FrontendProtocol = (ProtocolVersion) atoi(optarg);
1339 1340
				break;

1341 1342 1343 1344
			case 'V':
				puts("postgres (PostgreSQL) " PG_VERSION);
				exit(0);

M
 
Marc G. Fournier 已提交
1345 1346
			case 'W':
				/* ----------------
1347
				 *	wait N seconds to allow attach from a debugger
M
 
Marc G. Fournier 已提交
1348 1349 1350 1351 1352
				 * ----------------
				 */
				sleep(atoi(optarg));
				break;

1353
			case 'x':
B
Bruce Momjian 已提交
1354
#ifdef NOT_USED					/* planner/xfunc.h */
1355 1356 1357 1358 1359 1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382

				/*
				 * control joey hellerstein's expensive function
				 * optimization
				 */
				if (XfuncMode != 0)
				{
					fprintf(stderr, "only one -x flag is allowed\n");
					errs++;
					break;
				}
				if (strcmp(optarg, "off") == 0)
					XfuncMode = XFUNC_OFF;
				else if (strcmp(optarg, "nor") == 0)
					XfuncMode = XFUNC_NOR;
				else if (strcmp(optarg, "nopull") == 0)
					XfuncMode = XFUNC_NOPULL;
				else if (strcmp(optarg, "nopm") == 0)
					XfuncMode = XFUNC_NOPM;
				else if (strcmp(optarg, "pullall") == 0)
					XfuncMode = XFUNC_PULLALL;
				else if (strcmp(optarg, "wait") == 0)
					XfuncMode = XFUNC_WAIT;
				else
				{
					fprintf(stderr, "use -x {off,nor,nopull,nopm,pullall,wait}\n");
					errs++;
				}
1383
#endif
1384
				break;
1385

1386 1387
			case '-':
			{
1388
				char *name, *value;
1389

1390
				ParseLongOption(optarg, &name, &value);
1391 1392 1393 1394 1395 1396 1397 1398 1399 1400
				if (strcmp(name, "help")==0)
				{
					usage(argv[0]);
					exit(0);
				}
				else if (strcmp(name, "version")==0)
				{
					puts("postgres (PostgreSQL) " PG_VERSION);
					exit(0);
				}
1401
				if (!value)
1402
					elog(ERROR, "--%s requires argument", optarg);
1403 1404 1405 1406 1407

				SetConfigOption(name, value, PGC_BACKEND);
				free(name);
				if (value)
					free(value);
1408 1409 1410
				break;
			}

1411 1412 1413 1414 1415 1416 1417 1418 1419 1420
			case '?':
				if (strcmp(argv[optind - 1], "-?") == 0)
				{
					usage(argv[0]);
					exit(0);
				}
				else
					errs++;
				break;

1421
			default:
1422
				/* shouldn't get here */
1423
				errs++;
T
Tom Lane 已提交
1424
				break;
1425 1426
		}

1427

1428 1429
	if (Show_query_stats &&
		(Show_parser_stats || Show_planner_stats || Show_executor_stats))
1430
	{
1431 1432
		elog(NOTICE, "Query statistics are disabled because parser, planner, or executor statistics are on.");
		Show_query_stats = false;
1433 1434
	}

1435
	if (!IsUnderPostmaster)
1436
	{
1437 1438 1439 1440 1441 1442 1443 1444 1445 1446
		if (!potential_DataDir)
		{
			fprintf(stderr, "%s does not know where to find the database system "
					"data.  You must specify the directory that contains the "
					"database system either by specifying the -D invocation "
					"option or by setting the PGDATA environment variable.\n\n",
					argv[0]);
			proc_exit(1);
		}
		SetDataDir(potential_DataDir);
1447
	}
1448
	Assert(DataDir);
1449 1450

	/*
1451 1452 1453
	 * 1. Set BlockSig and UnBlockSig masks. 2. Set up signal handlers. 3.
	 * Allow only SIGUSR1 signal (we never block it) during
	 * initialization.
1454 1455 1456
	 *
	 * Note that postmaster already blocked ALL signals to make us happy.
	 */
1457
	pqinitmask();
1458 1459 1460 1461 1462 1463 1464

#ifdef HAVE_SIGPROCMASK
	sigdelset(&BlockSig, SIGUSR1);
#else
	BlockSig &= ~(sigmask(SIGUSR1));
#endif

1465 1466
	PG_SETMASK(&BlockSig);		/* block everything except SIGUSR1 */

1467
	pqsignal(SIGHUP, SigHupHandler);	/* set flag to read config file */
1468 1469
	pqsignal(SIGINT, QueryCancelHandler);		/* cancel current query */
	pqsignal(SIGQUIT, handle_warn);		/* handle error */
1470 1471
	pqsignal(SIGTERM, die);
	pqsignal(SIGALRM, HandleDeadLock);
1472 1473 1474 1475 1476

	/*
	 * Ignore failure to write to frontend. Note: if frontend closes
	 * connection, we will notice it and exit cleanly when control next
	 * returns to outer loop.  This seems safer than forcing exit in the
1477 1478 1479 1480
	 * midst of output during who-knows-what operation...
	 */
	pqsignal(SIGPIPE, SIG_IGN);
	pqsignal(SIGUSR1, quickdie);
1481
	pqsignal(SIGUSR2, Async_NotifyHandler);		/* flush also sinval cache */
1482
	pqsignal(SIGFPE, FloatExceptionHandler);
1483
	pqsignal(SIGCHLD, SIG_IGN); /* ignored, sent by LockOwners */
1484 1485 1486 1487
	pqsignal(SIGTTIN, SIG_DFL);
	pqsignal(SIGTTOU, SIG_DFL);
	pqsignal(SIGCONT, SIG_DFL);

1488

1489
	if (IsUnderPostmaster)
1490
	{
1491 1492 1493
		/* noninteractive case: nothing should be left after switches */
		if (errs || argc != optind || DBName == NULL)
		{
1494 1495
			fprintf(stderr, "%s: invalid command line arguments\nTry -? for help.\n", argv[0]);
			proc_exit(1);
1496
		}
1497 1498 1499
		pq_init();				/* initialize libpq at backend startup */
		whereToSendOutput = Remote;
		BaseInit();
1500
	}
1501
	else
1502
	{
1503
		/* interactive case: database name can be last arg on command line */
1504
		whereToSendOutput = Debug;
1505 1506
		if (errs || argc - optind > 1)
		{
1507 1508
			fprintf(stderr, "%s: invalid command line arguments\nTry -? for help.\n", argv[0]);
			proc_exit(1);
1509 1510 1511
		}
		else if (argc - optind == 1)
			DBName = argv[optind];
1512
		else if ((DBName = username) == NULL)
1513
		{
1514
			fprintf(stderr, "%s: user name undefined and no database specified\n",
1515
					argv[0]);
1516
			proc_exit(1);
1517
		}
1518 1519 1520 1521 1522

		/*
		 * Try to create pid file.
		 */
		SetPidFname(DataDir);
1523
		if (SetPidFile(-getpid()))
1524
			proc_exit(0);
1525

1526 1527 1528
		/*
		 * Register clean up proc.
		 */
1529
		on_proc_exit(UnlinkPidFile, 0);
1530

1531
		BaseInit();
1532 1533
		snprintf(XLogDir, MAXPGPATH, "%s/pg_xlog", DataDir);
		snprintf(ControlFilePath, MAXPGPATH, "%s/global/pg_control", DataDir);
1534
		StartupXLOG();
1535 1536
	}

1537 1538 1539 1540 1541 1542 1543 1544
	/*
	 * Set up additional info.
	 */

#ifdef CYR_RECODE
	SetCharSet();
#endif

1545
	/* On some systems our dynloader code needs the executable's pathname */
1546
	if (FindExec(pg_pathname, real_argv[0], "postgres") < 0)
1547
		elog(FATAL, "%s: could not locate executable, bailing out...",
1548
			 real_argv[0]);
1549

M
 
Marc G. Fournier 已提交
1550 1551 1552
	/*
	 * Find remote host name or address.
	 */
1553 1554
	remote_host = NULL;

1555 1556
	if (IsUnderPostmaster)
	{
1557
		if (MyProcPort->raddr.sa.sa_family == AF_INET)
1558
		{
1559 1560
			struct hostent *host_ent;
			char * host_addr;
M
 
Marc G. Fournier 已提交
1561

1562 1563 1564 1565 1566 1567 1568 1569
			remote_port = ntohs(MyProcPort->raddr.in.sin_port);
			host_addr = inet_ntoa(MyProcPort->raddr.in.sin_addr);

			if (HostnameLookup)
			{
				host_ent = gethostbyaddr((char *) &MyProcPort->raddr.in.sin_addr, sizeof(MyProcPort->raddr.in.sin_addr), AF_INET);

				if (host_ent)
1570
				{
1571 1572
					remote_host = palloc(strlen(host_addr) + strlen(host_ent->h_name) + 3);
					sprintf(remote_host, "%s[%s]", host_ent->h_name, host_addr);
M
 
Marc G. Fournier 已提交
1573
				}
1574 1575 1576 1577 1578 1579 1580 1581 1582 1583 1584 1585
			}

			if (remote_host == NULL)
				remote_host = pstrdup(host_addr);

			if (ShowPortNumber)
			{
				char * str = palloc(strlen(remote_host) + 7);
				sprintf(str, "%s:%hu", remote_host, remote_port);
				pfree(remote_host);
				remote_host = str;
			}
M
 
Marc G. Fournier 已提交
1586
		}
1587 1588 1589
		else /* not AF_INET */
			remote_host = "[local]";

1590

1591
		/*
1592 1593 1594 1595 1596 1597
		 * Set process parameters for ps
		 *
		 * WARNING: On some platforms the environment will be moved
		 * around to make room for the ps display string. So any
		 * references to optarg or getenv() from above will be invalid
		 * after this call. Better use strdup or something similar.
1598
		 */
1599
		init_ps_display(real_argc, real_argv, username, DBName, remote_host);
1600
		set_ps_display("startup");
1601 1602
	}

1603 1604
	if (Log_connections)
		elog(DEBUG, "connection: host=%s user=%s database=%s",
1605
			 remote_host, username, DBName);
1606

1607 1608
	/*
	 * general initialization
1609
	 */
1610 1611
	if (DebugLvl > 1)
		elog(DEBUG, "InitPostgres");
1612
	InitPostgres(DBName, username);
1613

1614
#ifdef MULTIBYTE
1615
	/* set default client encoding */
1616
	if (DebugLvl > 1)
1617 1618
		elog(DEBUG, "set_default_client_encoding");
	set_default_client_encoding();
1619 1620
#endif

1621
	on_shmem_exit(remove_all_temp_relations, 0);
1622

1623 1624
	/*
	 * Send this backend's cancellation info to the frontend.
1625
	 */
M
 
Marc G. Fournier 已提交
1626 1627 1628
	if (whereToSendOutput == Remote &&
		PG_PROTOCOL_MAJOR(FrontendProtocol) >= 2)
	{
1629
		StringInfoData buf;
B
Bruce Momjian 已提交
1630

1631 1632 1633 1634 1635
		pq_beginmessage(&buf);
		pq_sendbyte(&buf, 'K');
		pq_sendint(&buf, (int32) MyProcPid, sizeof(int32));
		pq_sendint(&buf, (int32) MyCancelKey, sizeof(int32));
		pq_endmessage(&buf);
M
 
Marc G. Fournier 已提交
1636 1637 1638
		/* Need not flush since ReadyForQuery will do it. */
	}

1639 1640 1641
	if (!IsUnderPostmaster)
	{
		puts("\nPOSTGRES backend interactive interface ");
1642
		puts("$Revision: 1.186 $ $Date: 2000/11/06 22:18:08 $\n");
1643 1644
	}

1645
	/*
1646 1647 1648
	 * Initialize the deferred trigger manager
	 */
	if (DeferredTriggerInit() != 0)
1649
		goto normalexit;
1650 1651

	SetProcessingMode(NormalProcessing);
1652

1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666
	/*
	 * Create the memory context we will use in the main loop.
	 *
	 * QueryContext is reset once per iteration of the main loop,
	 * ie, upon completion of processing of each supplied query string.
	 * It can therefore be used for any data that should live just as
	 * long as the query string --- parse trees, for example.
	 */
	QueryContext = AllocSetContextCreate(TopMemoryContext,
										 "QueryContext",
										 ALLOCSET_DEFAULT_MINSIZE,
										 ALLOCSET_DEFAULT_INITSIZE,
										 ALLOCSET_DEFAULT_MAXSIZE);

1667 1668
	/*
	 * POSTGRES main processing loop begins here
1669
	 *
1670 1671
	 * If an exception is encountered, processing resumes here so we abort
	 * the current transaction and start a new one.
1672 1673 1674 1675
	 */

	if (sigsetjmp(Warn_restart, 1) != 0)
	{
1676 1677 1678 1679 1680 1681 1682
		/*
		 * Make sure we are in a valid memory context during recovery.
		 *
		 * We use ErrorContext in hopes that it will have some free space
		 * even if we're otherwise up against it...
		 */
		MemoryContextSwitchTo(ErrorContext);
1683

1684 1685
		if (DebugLvl >= 1)
			elog(DEBUG, "AbortCurrentTransaction");
1686
		AbortCurrentTransaction();
1687

1688
		if (ExitAfterAbort)
1689 1690
			goto errorexit;

1691 1692 1693 1694 1695 1696 1697
		/*
		 * If we recovered successfully, return to normal top-level context
		 * and clear ErrorContext for next time.
		 */
		MemoryContextSwitchTo(TopMemoryContext);
		MemoryContextResetAndDeleteChildren(ErrorContext);
		InError = false;
1698
	}
1699

1700 1701
	Warn_restart_ready = true;	/* we can now handle elog(ERROR) */

1702
	PG_SETMASK(&UnBlockSig);
1703

1704 1705
	/*
	 * Non-error queries loop here.
1706 1707 1708 1709
	 */

	for (;;)
	{
1710 1711 1712 1713 1714 1715 1716 1717
		/*
		 * Release storage left over from prior query cycle, and
		 * create a new query input buffer in the cleared QueryContext.
		 */
		MemoryContextSwitchTo(QueryContext);
		MemoryContextResetAndDeleteChildren(QueryContext);

		parser_input = makeStringInfo();
1718

B
Bruce Momjian 已提交
1719
		/* ----------------
1720 1721
		 *	 (1) tell the frontend we're ready for a new query.
		 *
B
Bruce Momjian 已提交
1722
		 *	 Note: this includes fflush()'ing the last of the prior output.
B
Bruce Momjian 已提交
1723 1724
		 * ----------------
		 */
1725
		ReadyForQuery(whereToSendOutput);
B
Bruce Momjian 已提交
1726

1727
		/* ----------------
1728
		 *	 (2) deal with pending asynchronous NOTIFY from other backends,
B
Bruce Momjian 已提交
1729
		 *	 and enable async.c's signal handler to execute NOTIFY directly.
1730 1731 1732
		 * ----------------
		 */
		QueryCancel = false;	/* forget any earlier CANCEL signal */
1733
		SetWaitingForLock(false);
1734 1735 1736 1737

		EnableNotifyInterrupt();

		/* ----------------
1738
		 *	 (3) read a command (loop blocks here)
1739 1740
		 * ----------------
		 */
1741 1742
		set_ps_display("idle");

1743
		firstchar = ReadCommand(parser_input);
1744

1745
		QueryCancel = false;	/* forget any earlier CANCEL signal */
1746

1747
		/* ----------------
1748 1749 1750 1751 1752 1753
		 *	 (4) disable async.c's signal handler.
		 * ----------------
		 */
		DisableNotifyInterrupt();

		/* ----------------
1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764 1765
		 *	 (5) check for any other interesting events that happened
		 *		 while we slept.
		 * ----------------
		 */
		if (got_SIGHUP)
		{
			got_SIGHUP = false;
			ProcessConfigFile(PGC_SIGHUP);
		}

		/* ----------------
		 *	 (6) process the command.
1766 1767
		 * ----------------
		 */
1768 1769 1770
		switch (firstchar)
		{
				/* ----------------
1771
				 *	'F' indicates a fastpath call.
1772 1773
				 * ----------------
				 */
1774 1775
			case 'F':
				/* start an xact for this function invocation */
1776
				start_xact_command();
1777

1778 1779 1780
				if (HandleFunctionRequest() == EOF)
				{
					/* lost frontend connection during F message input */
1781
					goto normalexit;
1782
				}
1783 1784 1785

				/* commit the function-invocation transaction */
				finish_xact_command();
1786
				break;
1787

1788 1789 1790 1791 1792
				/* ----------------
				 *	'Q' indicates a user query
				 * ----------------
				 */
			case 'Q':
1793
				if (strspn(parser_input->data, " \t\r\n") == parser_input->len)
1794 1795 1796
				{
					/* ----------------
					 *	if there is nothing in the input buffer, don't bother
1797 1798
					 *	trying to parse and execute anything; just send
					 *	back a quick NullCommand response.
1799 1800
					 * ----------------
					 */
1801 1802
					if (IsUnderPostmaster)
						NullCommand(Remote);
1803 1804 1805 1806 1807
				}
				else
				{
					/* ----------------
					 *	otherwise, process the input string.
1808 1809 1810
					 *
					 * Note: transaction command start/end is now done
					 * within pg_exec_query_string(), not here.
1811 1812
					 * ----------------
					 */
1813
					if (Show_query_stats)
1814 1815
						ResetUsage();

1816 1817 1818
					pg_exec_query_string(parser_input->data,
										 whereToSendOutput,
										 QueryContext);
1819

1820
					if (Show_query_stats)
1821 1822
					{
						fprintf(StatFp, "QUERY STATISTICS\n");
1823
						ShowUsage();
1824
					}
1825 1826 1827 1828
				}
				break;

				/* ----------------
1829 1830 1831
				 *	'X' means that the frontend is closing down the socket.
				 *	EOF means unexpected loss of frontend connection.
				 *	Either way, perform normal shutdown.
1832 1833 1834
				 * ----------------
				 */
			case 'X':
1835
			case EOF:
1836
				goto normalexit;
1837 1838

			default:
M
 
Marc G. Fournier 已提交
1839
				elog(ERROR, "unknown frontend message was received");
1840 1841
		}

1842 1843
#ifdef MEMORY_CONTEXT_CHECKING
		/*
1844 1845
		 * Check all memory after each backend loop.  This is a rather
		 * weird place to do it, perhaps.
1846 1847 1848
		 */
		MemoryContextCheck(TopMemoryContext);	
#endif
1849
	}							/* end of input-reading loop */
1850 1851 1852 1853 1854 1855 1856 1857 1858 1859 1860

normalexit:
	ExitAfterAbort = true;		/* ensure we will exit if elog during abort */
	AbortOutOfAnyTransaction();
	if (!IsUnderPostmaster)
		ShutdownXLOG();

errorexit:
	pq_close();
	ProcReleaseLocks();			/* Just to be sure... */
	proc_exit(0);
1861

1862
	return 1;					/* keep compiler quiet */
1863 1864
}

1865
#ifndef HAVE_GETRUSAGE
B
Bruce Momjian 已提交
1866 1867
#include "rusagestub.h"
#else
1868
#include <sys/resource.h>
1869
#endif	 /* HAVE_GETRUSAGE */
1870

1871 1872
struct rusage Save_r;
struct timeval Save_t;
1873 1874

void
1875
ResetUsage(void)
1876
{
1877 1878 1879 1880 1881 1882
	struct timezone tz;

	getrusage(RUSAGE_SELF, &Save_r);
	gettimeofday(&Save_t, &tz);
	ResetBufferUsage();
/*	  ResetTupleCount(); */
1883 1884 1885
}

void
1886
ShowUsage(void)
1887
{
1888 1889 1890
	struct timeval user,
				sys;
	struct timeval elapse_t;
1891
	struct timezone tz;
1892
	struct rusage r;
1893 1894 1895 1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913

	getrusage(RUSAGE_SELF, &r);
	gettimeofday(&elapse_t, &tz);
	memmove((char *) &user, (char *) &r.ru_utime, sizeof(user));
	memmove((char *) &sys, (char *) &r.ru_stime, sizeof(sys));
	if (elapse_t.tv_usec < Save_t.tv_usec)
	{
		elapse_t.tv_sec--;
		elapse_t.tv_usec += 1000000;
	}
	if (r.ru_utime.tv_usec < Save_r.ru_utime.tv_usec)
	{
		r.ru_utime.tv_sec--;
		r.ru_utime.tv_usec += 1000000;
	}
	if (r.ru_stime.tv_usec < Save_r.ru_stime.tv_usec)
	{
		r.ru_stime.tv_sec--;
		r.ru_stime.tv_usec += 1000000;
	}

1914 1915 1916 1917 1918 1919
	/*
	 * Set output destination if not otherwise set
	 */
	if (StatFp == NULL)
		StatFp = stderr;

1920 1921 1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943
	/*
	 * the only stats we don't show here are for memory usage -- i can't
	 * figure out how to interpret the relevant fields in the rusage
	 * struct, and they change names across o/s platforms, anyway. if you
	 * can figure out what the entries mean, you can somehow extract
	 * resident set size, shared text size, and unshared data and stack
	 * sizes.
	 */

	fprintf(StatFp, "! system usage stats:\n");
	fprintf(StatFp,
			"!\t%ld.%06ld elapsed %ld.%06ld user %ld.%06ld system sec\n",
			(long int) elapse_t.tv_sec - Save_t.tv_sec,
			(long int) elapse_t.tv_usec - Save_t.tv_usec,
			(long int) r.ru_utime.tv_sec - Save_r.ru_utime.tv_sec,
			(long int) r.ru_utime.tv_usec - Save_r.ru_utime.tv_usec,
			(long int) r.ru_stime.tv_sec - Save_r.ru_stime.tv_sec,
			(long int) r.ru_stime.tv_usec - Save_r.ru_stime.tv_usec);
	fprintf(StatFp,
			"!\t[%ld.%06ld user %ld.%06ld sys total]\n",
			(long int) user.tv_sec,
			(long int) user.tv_usec,
			(long int) sys.tv_sec,
			(long int) sys.tv_usec);
1944 1945
/* BeOS has rusage but only has some fields, and not these... */
#if defined(HAVE_GETRUSAGE) && !defined(__BEOS__)
1946 1947 1948 1949 1950 1951 1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970
	fprintf(StatFp,
			"!\t%ld/%ld [%ld/%ld] filesystem blocks in/out\n",
			r.ru_inblock - Save_r.ru_inblock,
	/* they only drink coffee at dec */
			r.ru_oublock - Save_r.ru_oublock,
			r.ru_inblock, r.ru_oublock);
	fprintf(StatFp,
		  "!\t%ld/%ld [%ld/%ld] page faults/reclaims, %ld [%ld] swaps\n",
			r.ru_majflt - Save_r.ru_majflt,
			r.ru_minflt - Save_r.ru_minflt,
			r.ru_majflt, r.ru_minflt,
			r.ru_nswap - Save_r.ru_nswap,
			r.ru_nswap);
	fprintf(StatFp,
	 "!\t%ld [%ld] signals rcvd, %ld/%ld [%ld/%ld] messages rcvd/sent\n",
			r.ru_nsignals - Save_r.ru_nsignals,
			r.ru_nsignals,
			r.ru_msgrcv - Save_r.ru_msgrcv,
			r.ru_msgsnd - Save_r.ru_msgsnd,
			r.ru_msgrcv, r.ru_msgsnd);
	fprintf(StatFp,
		 "!\t%ld/%ld [%ld/%ld] voluntary/involuntary context switches\n",
			r.ru_nvcsw - Save_r.ru_nvcsw,
			r.ru_nivcsw - Save_r.ru_nivcsw,
			r.ru_nvcsw, r.ru_nivcsw);
1971
#endif	 /* HAVE_GETRUSAGE */
1972 1973 1974
	fprintf(StatFp, "! postgres usage stats:\n");
	PrintBufferUsage(StatFp);
/*	   DisplayTupleCount(StatFp); */
1975
}
M
 
Marc G. Fournier 已提交
1976

1977 1978
#ifdef NOT_USED
static int
M
 
Marc G. Fournier 已提交
1979 1980 1981 1982 1983 1984 1985 1986 1987 1988 1989 1990
assertEnable(int val)
{
	assert_enabled = val;
	return val;
}

#ifdef ASSERT_CHECKING_TEST
int
assertTest(int val)
{
	Assert(val == 0);

1991 1992
	if (assert_enabled)
	{
M
 
Marc G. Fournier 已提交
1993 1994 1995
		/* val != 0 should be trapped by previous Assert */
		elog(NOTICE, "Assert test successfull (val = %d)", val);
	}
1996 1997
	else
		elog(NOTICE, "Assert checking is disabled (val = %d)", val);
M
 
Marc G. Fournier 已提交
1998 1999 2000

	return val;
}
2001

M
 
Marc G. Fournier 已提交
2002 2003
#endif
#endif