Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commit473a575

Browse files
committed
Return yyparse() result not via global variable
Instead of passing the parse result from yyparse() via a globalvariable, pass it via a function output argument.This complements earlier work to make the parsers reentrant.Discussion: Discussion:https://www.postgresql.org/message-id/flat/eb6faeac-2a8a-4b69-9189-c33c520e5b7b@eisentraut.org
1 parent6fc4fc4 commit473a575

File tree

18 files changed

+106
-101
lines changed

18 files changed

+106
-101
lines changed

‎src/backend/nls.mk‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,9 +9,9 @@ GETTEXT_TRIGGERS = $(BACKEND_COMMON_GETTEXT_TRIGGERS) \
99
yyerror\
1010
jsonpath_yyerror:4\
1111
parser_yyerror\
12-
replication_yyerror:2\
12+
replication_yyerror:3\
1313
scanner_yyerror\
14-
syncrep_yyerror:2\
14+
syncrep_yyerror:4\
1515
report_invalid_record:2\
1616
ereport_startup_progress\
1717
json_token_error:2\

‎src/backend/replication/repl_gram.y‎

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,6 @@
2525
#include"repl_gram.h"
2626

2727

28-
/* Result of the parsing is returned here*/
29-
Node *replication_parse_result;
30-
31-
3228
/*
3329
* Bison doesn't allocate anything that needs to live across parser calls,
3430
* so we can easily have it use palloc instead of malloc. This prevents
@@ -39,6 +35,7 @@ Node *replication_parse_result;
3935

4036
%}
4137

38+
%parse-param {Node **replication_parse_result_p}
4239
%parse-param {yyscan_t yyscanner}
4340
%lex-param {yyscan_t yyscanner}
4441
%pure-parser
@@ -104,7 +101,7 @@ Node *replication_parse_result;
104101

105102
firstcmd:commandopt_semicolon
106103
{
107-
replication_parse_result =$1;
104+
*replication_parse_result_p =$1;
108105

109106
(void)yynerrs;/* suppress compiler warning*/
110107
}

‎src/backend/replication/repl_scanner.l‎

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -156,7 +156,7 @@ UPLOAD_MANIFEST{ return K_UPLOAD_MANIFEST; }
156156
uint32hi,
157157
lo;
158158
if (sscanf(yytext,"%X/%X", &hi, &lo) !=2)
159-
replication_yyerror(yyscanner,"invalid streaming start location");
159+
replication_yyerror(NULL,yyscanner,"invalid streaming start location");
160160
yylval->recptr = ((uint64) hi) <<32 | lo;
161161
return RECPTR;
162162
}
@@ -213,7 +213,7 @@ UPLOAD_MANIFEST{ return K_UPLOAD_MANIFEST; }
213213
return yytext[0];
214214
}
215215

216-
<xq,xd><<EOF>>{replication_yyerror(yyscanner,"unterminated quoted string"); }
216+
<xq,xd><<EOF>>{replication_yyerror(NULL,yyscanner,"unterminated quoted string"); }
217217

218218

219219
<<EOF>>{
@@ -252,8 +252,12 @@ addlitchar(unsigned char ychar, yyscan_t yyscanner)
252252
appendStringInfoChar(&yyextra->litbuf, ychar);
253253
}
254254

255+
/*
256+
* (The first argument is enforced by Bison to match the first argument of
257+
* yyparse(), but it is not used here.)
258+
*/
255259
void
256-
replication_yyerror(yyscan_t yyscanner,constchar *message)
260+
replication_yyerror(Node **replication_parse_result_p,yyscan_t yyscanner,constchar *message)
257261
{
258262
ereport(ERROR,
259263
(errcode(ERRCODE_SYNTAX_ERROR),

‎src/backend/replication/syncrep.c‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -996,13 +996,13 @@ check_synchronous_standby_names(char **newval, void **extra, GucSource source)
996996
intparse_rc;
997997
SyncRepConfigData*pconf;
998998

999-
/*Reset communication variables to ensure a fresh start */
1000-
syncrep_parse_result=NULL;
1001-
syncrep_parse_error_msg=NULL;
999+
/*Result of parsing is returned in one of these two variables */
1000+
SyncRepConfigData*syncrep_parse_result=NULL;
1001+
char*syncrep_parse_error_msg=NULL;
10021002

10031003
/* Parse the synchronous_standby_names string */
10041004
syncrep_scanner_init(*newval,&scanner);
1005-
parse_rc=syncrep_yyparse(scanner);
1005+
parse_rc=syncrep_yyparse(&syncrep_parse_result,&syncrep_parse_error_msg,scanner);
10061006
syncrep_scanner_finish(scanner);
10071007

10081008
if (parse_rc!=0||syncrep_parse_result==NULL)

‎src/backend/replication/syncrep_gram.y‎

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -19,10 +19,6 @@
1919

2020
#include"syncrep_gram.h"
2121

22-
/* Result of parsing is returned in one of these two variables*/
23-
SyncRepConfigData *syncrep_parse_result;
24-
char *syncrep_parse_error_msg;
25-
2622
static SyncRepConfigData *create_syncrep_config(constchar *num_sync,
2723
List *members, uint8 syncrep_method);
2824

@@ -36,7 +32,10 @@ static SyncRepConfigData *create_syncrep_config(const char *num_sync,
3632

3733
%}
3834

35+
%parse-param {SyncRepConfigData **syncrep_parse_result_p}
36+
%parse-param {char **syncrep_parse_error_msg_p}
3937
%parse-param {yyscan_t yyscanner}
38+
%lex-param {char **syncrep_parse_error_msg_p}
4039
%lex-param {yyscan_t yyscanner}
4140
%pure-parser
4241
%expect0
@@ -60,7 +59,7 @@ static SyncRepConfigData *create_syncrep_config(const char *num_sync,
6059
%%
6160
result:
6261
standby_config{
63-
syncrep_parse_result =$1;
62+
*syncrep_parse_result_p =$1;
6463
(void)yynerrs;/* suppress compiler warning*/
6564
}
6665
;

‎src/backend/replication/syncrep_scanner.l‎

Lines changed: 19 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,13 @@ struct syncrep_yy_extra_type
4242
StringInfoData xdbuf;
4343
};
4444

45+
/*
46+
* Better keep this definition here than put it in replication/syncrep.h and
47+
* save a bit of duplication. Putting it in replication/syncrep.h would leak
48+
* the definition to other parts and possibly affect other scanners.
49+
*/
50+
#defineYY_DECLexternintsyncrep_yylex(union YYSTYPE *yylval_param,char **syncrep_parse_error_msg_p,yyscan_t yyscanner)
51+
4552
/* LCOV_EXCL_START*/
4653

4754
%}
@@ -104,7 +111,7 @@ xdinside[^"]+
104111
return NAME;
105112
}
106113
<xd><<EOF>> {
107-
syncrep_yyerror(yyscanner,"unterminated quoted identifier");
114+
syncrep_yyerror(NULL, syncrep_parse_error_msg_p,yyscanner,"unterminated quoted identifier");
108115
return JUNK;
109116
}
110117

@@ -136,12 +143,21 @@ xdinside[^"]+
136143
#undef yyextra
137144
#defineyyextra (((structyyguts_t *) yyscanner)->yyextra_r)
138145

139-
/* Needs to be here for access to yytext */
146+
/*
147+
* This yyerror() function does not raise an error (elog or similar), it just
148+
* collects the error message in *syncrep_parse_error_msg_p and leaves it to
149+
* the ultimate caller of the syncrep parser to raise the error. (The
150+
* ultimate caller will do that with special GUC error functions.)
151+
*
152+
* (The first argument is enforced by Bison to match the first argument of
153+
* yyparse(), but it is not used here.)
154+
*/
140155
void
141-
syncrep_yyerror(yyscan_t yyscanner,constchar *message)
156+
syncrep_yyerror(SyncRepConfigData **syncrep_parse_result_p,char **syncrep_parse_error_msg_p,yyscan_t yyscanner,constchar *message)
142157
{
143158
structyyguts_t *yyg = (structyyguts_t *) yyscanner;/* needed for yytext
144159
* macro */
160+
char *syncrep_parse_error_msg = *syncrep_parse_error_msg_p;
145161

146162
/* report only the first error in a parse operation */
147163
if (syncrep_parse_error_msg)

‎src/backend/replication/walsender.c‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -2017,16 +2017,14 @@ exec_replication_command(const char *cmd_string)
20172017
/*
20182018
* Looks like a WalSender command, so parse it.
20192019
*/
2020-
parse_rc=replication_yyparse(scanner);
2020+
parse_rc=replication_yyparse(&cmd_node,scanner);
20212021
if (parse_rc!=0)
20222022
ereport(ERROR,
20232023
(errcode(ERRCODE_SYNTAX_ERROR),
20242024
errmsg_internal("replication command parser returned %d",
20252025
parse_rc)));
20262026
replication_scanner_finish(scanner);
20272027

2028-
cmd_node=replication_parse_result;
2029-
20302028
/*
20312029
* Report query to various monitoring facilities. For this purpose, we
20322030
* report replication commands just like SQL commands.

‎src/bin/pgbench/exprparse.y‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -21,8 +21,6 @@
2121
#definePGBENCH_NARGS_HASH(-3)
2222
#definePGBENCH_NARGS_PERMUTE(-4)
2323

24-
PgBenchExpr *expr_parse_result;
25-
2624
static PgBenchExprList *make_elist(PgBenchExpr *expr, PgBenchExprList *list);
2725
static PgBenchExpr *make_null_constant(void);
2826
static PgBenchExpr *make_boolean_constant(bool bval);
@@ -42,6 +40,7 @@ static PgBenchExpr *make_case(yyscan_t yyscanner, PgBenchExprList *when_then_lis
4240
%expect0
4341
%name-prefix="expr_yy"
4442

43+
%parse-param {PgBenchExpr **expr_parse_result_p}
4544
%parse-param {yyscan_t yyscanner}
4645
%lex-param {yyscan_t yyscanner}
4746

@@ -81,7 +80,7 @@ static PgBenchExpr *make_case(yyscan_t yyscanner, PgBenchExprList *when_then_lis
8180
%%
8281

8382
result:expr{
84-
expr_parse_result =$1;
83+
*expr_parse_result_p =$1;
8584
(void)yynerrs;/* suppress compiler warning*/
8685
}
8786

‎src/bin/pgbench/exprscan.l‎

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -296,8 +296,12 @@ expr_yyerror_more(yyscan_t yyscanner, const char *message, const char *more)
296296
message, more, error_detection_offset - expr_start_offset);
297297
}
298298

299+
/*
300+
* (The first argument is enforced by Bison to match the first argument of
301+
* yyparse(), but it is not used here.)
302+
*/
299303
void
300-
expr_yyerror(yyscan_t yyscanner,constchar *message)
304+
expr_yyerror(PgBenchExpr **expr_parse_result_p,yyscan_t yyscanner,constchar *message)
301305
{
302306
expr_yyerror_more(yyscanner, message,NULL);
303307
}

‎src/bin/pgbench/pgbench.c‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -5706,14 +5706,12 @@ process_backslash_command(PsqlScanState sstate, const char *source)
57065706
yyscanner=expr_scanner_init(sstate,source,lineno,start_offset,
57075707
my_command->argv[0]);
57085708

5709-
if (expr_yyparse(yyscanner)!=0)
5709+
if (expr_yyparse(&my_command->expr,yyscanner)!=0)
57105710
{
57115711
/* dead code: exit done from syntax_error called by yyerror */
57125712
exit(1);
57135713
}
57145714

5715-
my_command->expr=expr_parse_result;
5716-
57175715
/* Save line, trimming any trailing newline */
57185716
my_command->first_line=
57195717
expr_scanner_get_substring(sstate,

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp