postgres.c 47.6 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.180 2000/10/07 14:39:14 momjian 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	 /* aix */
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
	extern int	optind;
	extern char *optarg;
1063
	extern int	DebugLvl;
1064

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

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

	if (!IsUnderPostmaster)
	{
		ResetAllOptions();
		if (getenv("PGDATA"))
			DataDir = strdup(getenv("PGDATA"));
	}
1088
	StatFp = stderr;
1089

1090 1091
	SetProcessingMode(InitProcessing);

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

1095 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112
	/* ----------------
	 *	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 */
1113

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1307 1308 1309 1310 1311 1312 1313 1314 1315 1316 1317 1318 1319 1320 1321
			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')
1322
							Show_parser_stats = 1;
1323
						else if (optarg[1] == 'l')
1324
							Show_planner_stats = 1;
1325 1326 1327 1328
						else
							errs++;
						break;
					case 'e':
1329
						Show_executor_stats = 1;
1330 1331 1332 1333 1334
						break;
					default:
						errs++;
						break;
				}
1335 1336
				break;

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

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

1350
			case 'x':
B
Bruce Momjian 已提交
1351
#ifdef NOT_USED					/* planner/xfunc.h */
1352 1353 1354 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

				/*
				 * 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++;
				}
1380
#endif
1381
				break;
1382

1383 1384
			case '-':
			{
1385
				char *name, *value;
1386

1387 1388
				ParseLongOption(optarg, &name, &value);
				if (!value)
1389
					elog(ERROR, "--%s requires argument", optarg);
1390 1391 1392 1393 1394

				SetConfigOption(name, value, PGC_BACKEND);
				free(name);
				if (value)
					free(value);
1395 1396 1397
				break;
			}

1398 1399 1400 1401 1402 1403
			default:
				/* ----------------
				 *	default: bad command line option
				 * ----------------
				 */
				errs++;
T
Tom Lane 已提交
1404
				break;
1405 1406
		}

1407 1408
	if (Show_query_stats &&
		(Show_parser_stats || Show_planner_stats || Show_executor_stats))
1409
	{
1410 1411
		elog(NOTICE, "Query statistics are disabled because parser, planner, or executor statistics are on.");
		Show_query_stats = false;
1412 1413 1414 1415 1416 1417 1418
	}

	if (!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 "
1419
			 "option or by setting the PGDATA environment variable.\n\n",
1420 1421 1422 1423 1424
				argv[0]);
		proc_exit(1);
	}

	/*
1425 1426 1427
	 * 1. Set BlockSig and UnBlockSig masks. 2. Set up signal handlers. 3.
	 * Allow only SIGUSR1 signal (we never block it) during
	 * initialization.
1428 1429 1430
	 *
	 * Note that postmaster already blocked ALL signals to make us happy.
	 */
1431
	pqinitmask();
1432 1433 1434 1435 1436 1437 1438

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

1439 1440
	PG_SETMASK(&BlockSig);		/* block everything except SIGUSR1 */

1441
	pqsignal(SIGHUP, SigHupHandler);	/* set flag to read config file */
1442 1443
	pqsignal(SIGINT, QueryCancelHandler);		/* cancel current query */
	pqsignal(SIGQUIT, handle_warn);		/* handle error */
1444 1445
	pqsignal(SIGTERM, die);
	pqsignal(SIGALRM, HandleDeadLock);
1446 1447 1448 1449 1450

	/*
	 * 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
1451 1452 1453 1454
	 * midst of output during who-knows-what operation...
	 */
	pqsignal(SIGPIPE, SIG_IGN);
	pqsignal(SIGUSR1, quickdie);
1455
	pqsignal(SIGUSR2, Async_NotifyHandler);		/* flush also sinval cache */
1456
	pqsignal(SIGFPE, FloatExceptionHandler);
1457
	pqsignal(SIGCHLD, SIG_IGN); /* ignored, sent by LockOwners */
1458 1459 1460 1461
	pqsignal(SIGTTIN, SIG_DFL);
	pqsignal(SIGTTOU, SIG_DFL);
	pqsignal(SIGCONT, SIG_DFL);

1462

1463
	if (IsUnderPostmaster)
1464
	{
1465 1466 1467 1468 1469
#ifdef __BEOS__
		/* Specific beos backend stratup actions */
		beos_backend_startup(argv[0]);
#endif

1470 1471 1472 1473
		/* noninteractive case: nothing should be left after switches */
		if (errs || argc != optind || DBName == NULL)
		{
			usage(argv[0]);
1474
			proc_exit(0);
1475
		}
1476 1477 1478
		pq_init();				/* initialize libpq at backend startup */
		whereToSendOutput = Remote;
		BaseInit();
1479
	}
1480
	else
1481
	{
1482
		/* interactive case: database name can be last arg on command line */
1483
		whereToSendOutput = Debug;
1484 1485 1486
		if (errs || argc - optind > 1)
		{
			usage(argv[0]);
1487
			proc_exit(0);
1488 1489 1490
		}
		else if (argc - optind == 1)
			DBName = argv[optind];
1491
		else if ((DBName = username) == NULL)
1492
		{
1493
			fprintf(stderr, "%s: user name undefined and no database specified\n",
1494
					argv[0]);
1495
			proc_exit(0);
1496
		}
1497 1498 1499 1500 1501

		/*
		 * Try to create pid file.
		 */
		SetPidFname(DataDir);
1502
		if (SetPidFile(-getpid()))
1503
			proc_exit(0);
1504

1505 1506 1507
		/*
		 * Register clean up proc.
		 */
1508
		on_proc_exit(UnlinkPidFile, 0);
1509

1510
		BaseInit();
1511 1512
		snprintf(XLogDir, MAXPGPATH, "%s/pg_xlog", DataDir);
		snprintf(ControlFilePath, MAXPGPATH, "%s/global/pg_control", DataDir);
1513
		StartupXLOG();
1514 1515
	}

1516 1517 1518 1519 1520 1521 1522 1523
	/*
	 * Set up additional info.
	 */

#ifdef CYR_RECODE
	SetCharSet();
#endif

1524
	/* On some systems our dynloader code needs the executable's pathname */
1525
	if (FindExec(pg_pathname, real_argv[0], "postgres") < 0)
1526
		elog(FATAL, "%s: could not locate executable, bailing out...",
1527
			 real_argv[0]);
1528

M
 
Marc G. Fournier 已提交
1529 1530 1531
	/*
	 * Find remote host name or address.
	 */
1532 1533
	remote_host = NULL;

1534 1535
	if (IsUnderPostmaster)
	{
1536
		if (MyProcPort->raddr.sa.sa_family == AF_INET)
1537
		{
1538 1539
			struct hostent *host_ent;
			char * host_addr;
M
 
Marc G. Fournier 已提交
1540

1541 1542 1543 1544 1545 1546 1547 1548
			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)
1549
				{
1550 1551
					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 已提交
1552
				}
1553 1554 1555 1556 1557 1558 1559 1560 1561 1562 1563 1564
			}

			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 已提交
1565
		}
1566 1567 1568
		else /* not AF_INET */
			remote_host = "[local]";

1569

1570
		/*
1571 1572 1573 1574 1575 1576
		 * 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.
1577
		 */
1578
		init_ps_display(real_argc, real_argv, username, DBName, remote_host);
1579
		set_ps_display("startup");
1580 1581
	}

1582 1583
	if (Log_connections)
		elog(DEBUG, "connection: host=%s user=%s database=%s",
1584
			 remote_host, username, DBName);
1585

1586 1587
	/*
	 * general initialization
1588
	 */
1589 1590
	if (DebugLvl > 1)
		elog(DEBUG, "InitPostgres");
1591
	InitPostgres(DBName, username);
1592

1593
#ifdef MULTIBYTE
1594
	/* set default client encoding */
1595 1596
	if (DebugLvl > 1)
		elog(DEBUG, "reset_client_encoding");
1597 1598 1599
	reset_client_encoding();
#endif

1600
	on_shmem_exit(remove_all_temp_relations, 0);
1601

1602 1603
	/*
	 * Send this backend's cancellation info to the frontend.
1604
	 */
M
 
Marc G. Fournier 已提交
1605 1606 1607
	if (whereToSendOutput == Remote &&
		PG_PROTOCOL_MAJOR(FrontendProtocol) >= 2)
	{
1608
		StringInfoData buf;
B
Bruce Momjian 已提交
1609

1610 1611 1612 1613 1614
		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 已提交
1615 1616 1617
		/* Need not flush since ReadyForQuery will do it. */
	}

1618 1619 1620
	if (!IsUnderPostmaster)
	{
		puts("\nPOSTGRES backend interactive interface ");
1621
		puts("$Revision: 1.180 $ $Date: 2000/10/07 14:39:14 $\n");
1622 1623
	}

1624
	/*
1625 1626 1627
	 * Initialize the deferred trigger manager
	 */
	if (DeferredTriggerInit() != 0)
1628
		goto normalexit;
1629 1630

	SetProcessingMode(NormalProcessing);
1631

1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645
	/*
	 * 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);

1646 1647
	/*
	 * POSTGRES main processing loop begins here
1648
	 *
1649 1650
	 * If an exception is encountered, processing resumes here so we abort
	 * the current transaction and start a new one.
1651 1652 1653 1654
	 */

	if (sigsetjmp(Warn_restart, 1) != 0)
	{
1655 1656 1657 1658 1659 1660 1661
		/*
		 * 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);
1662

1663 1664
		if (DebugLvl >= 1)
			elog(DEBUG, "AbortCurrentTransaction");
1665
		AbortCurrentTransaction();
1666

1667
		if (ExitAfterAbort)
1668 1669
			goto errorexit;

1670 1671 1672 1673 1674 1675 1676
		/*
		 * If we recovered successfully, return to normal top-level context
		 * and clear ErrorContext for next time.
		 */
		MemoryContextSwitchTo(TopMemoryContext);
		MemoryContextResetAndDeleteChildren(ErrorContext);
		InError = false;
1677
	}
1678

1679 1680
	Warn_restart_ready = true;	/* we can now handle elog(ERROR) */

1681
	PG_SETMASK(&UnBlockSig);
1682

1683 1684
	/*
	 * Non-error queries loop here.
1685 1686 1687 1688
	 */

	for (;;)
	{
1689 1690 1691 1692 1693 1694 1695 1696
		/*
		 * 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();
1697

1698 1699 1700 1701 1702 1703 1704 1705
		/* XXX this could be moved after ReadCommand below to get more
		 * sensical behaviour */
		if (got_SIGHUP)
		{
			got_SIGHUP = false;
			ProcessConfigFile(PGC_SIGHUP);
		}

B
Bruce Momjian 已提交
1706
		/* ----------------
1707 1708
		 *	 (1) tell the frontend we're ready for a new query.
		 *
B
Bruce Momjian 已提交
1709
		 *	 Note: this includes fflush()'ing the last of the prior output.
B
Bruce Momjian 已提交
1710 1711
		 * ----------------
		 */
1712
		ReadyForQuery(whereToSendOutput);
B
Bruce Momjian 已提交
1713

1714
		/* ----------------
1715
		 *	 (2) deal with pending asynchronous NOTIFY from other backends,
B
Bruce Momjian 已提交
1716
		 *	 and enable async.c's signal handler to execute NOTIFY directly.
1717 1718 1719
		 * ----------------
		 */
		QueryCancel = false;	/* forget any earlier CANCEL signal */
1720
		SetWaitingForLock(false);
1721 1722 1723 1724

		EnableNotifyInterrupt();

		/* ----------------
1725
		 *	 (3) read a command (loop blocks here)
1726 1727
		 * ----------------
		 */
1728 1729
		set_ps_display("idle");

1730
		firstchar = ReadCommand(parser_input);
1731

1732
		QueryCancel = false;	/* forget any earlier CANCEL signal */
1733

1734
		/* ----------------
1735 1736 1737 1738 1739 1740 1741
		 *	 (4) disable async.c's signal handler.
		 * ----------------
		 */
		DisableNotifyInterrupt();

		/* ----------------
		 *	 (5) process the command.
1742 1743
		 * ----------------
		 */
1744 1745 1746
		switch (firstchar)
		{
				/* ----------------
1747
				 *	'F' indicates a fastpath call.
1748 1749
				 * ----------------
				 */
1750 1751
			case 'F':
				/* start an xact for this function invocation */
1752
				start_xact_command();
1753

1754 1755 1756
				if (HandleFunctionRequest() == EOF)
				{
					/* lost frontend connection during F message input */
1757
					goto normalexit;
1758
				}
1759 1760 1761

				/* commit the function-invocation transaction */
				finish_xact_command();
1762
				break;
1763

1764 1765 1766 1767 1768
				/* ----------------
				 *	'Q' indicates a user query
				 * ----------------
				 */
			case 'Q':
1769
				if (strspn(parser_input->data, " \t\n") == parser_input->len)
1770 1771 1772
				{
					/* ----------------
					 *	if there is nothing in the input buffer, don't bother
1773 1774
					 *	trying to parse and execute anything; just send
					 *	back a quick NullCommand response.
1775 1776
					 * ----------------
					 */
1777 1778
					if (IsUnderPostmaster)
						NullCommand(Remote);
1779 1780 1781 1782 1783
				}
				else
				{
					/* ----------------
					 *	otherwise, process the input string.
1784 1785 1786
					 *
					 * Note: transaction command start/end is now done
					 * within pg_exec_query_string(), not here.
1787 1788
					 * ----------------
					 */
1789
					if (Show_query_stats)
1790 1791
						ResetUsage();

1792 1793 1794
					pg_exec_query_string(parser_input->data,
										 whereToSendOutput,
										 QueryContext);
1795

1796
					if (Show_query_stats)
1797 1798
					{
						fprintf(StatFp, "QUERY STATISTICS\n");
1799
						ShowUsage();
1800
					}
1801 1802 1803 1804
				}
				break;

				/* ----------------
1805 1806 1807
				 *	'X' means that the frontend is closing down the socket.
				 *	EOF means unexpected loss of frontend connection.
				 *	Either way, perform normal shutdown.
1808 1809 1810
				 * ----------------
				 */
			case 'X':
1811
			case EOF:
1812
				goto normalexit;
1813 1814

			default:
M
 
Marc G. Fournier 已提交
1815
				elog(ERROR, "unknown frontend message was received");
1816 1817
		}

1818 1819
#ifdef MEMORY_CONTEXT_CHECKING
		/*
1820 1821
		 * Check all memory after each backend loop.  This is a rather
		 * weird place to do it, perhaps.
1822 1823 1824
		 */
		MemoryContextCheck(TopMemoryContext);	
#endif
1825
	}							/* end of input-reading loop */
1826 1827 1828 1829 1830 1831 1832 1833 1834 1835 1836

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);
1837

1838
	return 1;					/* keep compiler quiet */
1839 1840
}

1841
#ifndef HAVE_GETRUSAGE
B
Bruce Momjian 已提交
1842 1843
#include "rusagestub.h"
#else
1844
#include <sys/resource.h>
1845
#endif	 /* HAVE_GETRUSAGE */
1846

1847 1848
struct rusage Save_r;
struct timeval Save_t;
1849 1850

void
1851
ResetUsage(void)
1852
{
1853 1854 1855 1856 1857 1858
	struct timezone tz;

	getrusage(RUSAGE_SELF, &Save_r);
	gettimeofday(&Save_t, &tz);
	ResetBufferUsage();
/*	  ResetTupleCount(); */
1859 1860 1861
}

void
1862
ShowUsage(void)
1863
{
1864 1865 1866
	struct timeval user,
				sys;
	struct timeval elapse_t;
1867
	struct timezone tz;
1868
	struct rusage r;
1869 1870 1871 1872 1873 1874 1875 1876 1877 1878 1879 1880 1881 1882 1883 1884 1885 1886 1887 1888 1889

	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;
	}

1890 1891 1892 1893 1894 1895
	/*
	 * Set output destination if not otherwise set
	 */
	if (StatFp == NULL)
		StatFp = stderr;

1896 1897 1898 1899 1900 1901 1902 1903 1904 1905 1906 1907 1908 1909 1910 1911 1912 1913 1914 1915 1916 1917 1918 1919
	/*
	 * 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);
1920 1921
/* BeOS has rusage but only has some fields, and not these... */
#if defined(HAVE_GETRUSAGE) && !defined(__BEOS__)
1922 1923 1924 1925 1926 1927 1928 1929 1930 1931 1932 1933 1934 1935 1936 1937 1938 1939 1940 1941 1942 1943 1944 1945 1946
	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);
1947
#endif	 /* HAVE_GETRUSAGE */
1948 1949 1950
	fprintf(StatFp, "! postgres usage stats:\n");
	PrintBufferUsage(StatFp);
/*	   DisplayTupleCount(StatFp); */
1951
}
M
 
Marc G. Fournier 已提交
1952

1953 1954
#ifdef NOT_USED
static int
M
 
Marc G. Fournier 已提交
1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966
assertEnable(int val)
{
	assert_enabled = val;
	return val;
}

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

1967 1968
	if (assert_enabled)
	{
M
 
Marc G. Fournier 已提交
1969 1970 1971
		/* val != 0 should be trapped by previous Assert */
		elog(NOTICE, "Assert test successfull (val = %d)", val);
	}
1972 1973
	else
		elog(NOTICE, "Assert checking is disabled (val = %d)", val);
M
 
Marc G. Fournier 已提交
1974 1975 1976

	return val;
}
1977

M
 
Marc G. Fournier 已提交
1978 1979
#endif
#endif