PostgreSQL Source Code git master
Loading...
Searching...
No Matches
prepare.c
Go to the documentation of this file.
1/* src/interfaces/ecpg/ecpglib/prepare.c */
2
3#define POSTGRES_ECPG_INTERNAL
4#include "postgres_fe.h"
5
6#include <ctype.h>
7
8#include "ecpgerrno.h"
9#include "ecpglib.h"
10#include "ecpglib_extern.h"
11#include "ecpgtype.h"
12#include "sqlca.h"
13
14#define STMTID_SIZE 32
15
16/*
17 * The statement cache contains stmtCacheNBuckets hash buckets, each
18 * having stmtCacheEntPerBucket entries, which we recycle as needed,
19 * giving up the least-executed entry in the bucket.
20 * stmtCacheEntries[0] is never used, so that zero can be a "not found"
21 * indicator.
22 */
23#define stmtCacheNBuckets 2039 /* should be a prime number */
24#define stmtCacheEntPerBucket 8
25
26#define stmtCacheArraySize (stmtCacheNBuckets * stmtCacheEntPerBucket + 1)
27
28typedef struct
29{
30 int lineno;
31 char stmtID[STMTID_SIZE];
32 char *ecpgQuery;
33 long execs; /* # of executions */
34 const char *connection; /* connection for the statement */
36
37static int nextStmtID = 1;
39
40static bool deallocate_one(int lineno, enum COMPAT_MODE c, struct connection *con,
41 struct prepared_statement *prev, struct prepared_statement *this);
42
43static bool
44isvarchar(unsigned char c)
45{
46 if (isalnum(c))
47 return true;
48
49 if (c == '_' || c == '>' || c == '-' || c == '.')
50 return true;
51
52 if (c >= 128)
53 return true;
54
55 return false;
56}
57
58bool
60{
61 struct statement *prep_stmt;
62 struct prepared_statement *this;
63 struct connection *con = stmt->connection;
64 struct prepared_statement *prev = NULL;
65 int lineno = stmt->lineno;
66
67 /* check if we already have prepared this statement */
68 this = ecpg_find_prepared_statement(stmt->name, con, &prev);
69 if (this && !deallocate_one(lineno, ECPG_COMPAT_PGSQL, con, prev, this))
70 return false;
71
72 /* allocate new statement */
73 this = (struct prepared_statement *) ecpg_alloc(sizeof(struct prepared_statement), lineno);
74 if (!this)
75 return false;
76
77 prep_stmt = (struct statement *) ecpg_alloc(sizeof(struct statement), lineno);
78 if (!prep_stmt)
79 {
80 ecpg_free(this);
81 return false;
82 }
83 memset(prep_stmt, 0, sizeof(struct statement));
84
85 /* create statement */
86 prep_stmt->lineno = lineno;
87 prep_stmt->connection = con;
88 prep_stmt->command = ecpg_strdup(stmt->command, lineno, NULL);
89 if (!prep_stmt->command)
90 {
92 ecpg_free(this);
93 return false;
94 }
95 prep_stmt->inlist = prep_stmt->outlist = NULL;
96 this->name = ecpg_strdup(stmt->name, lineno, NULL);
97 if (!this->name)
98 {
99 ecpg_free(prep_stmt->command);
101 ecpg_free(this);
102 return false;
103 }
104 this->stmt = prep_stmt;
105 this->prepared = true;
106
107 if (con->prep_stmts == NULL)
108 this->next = NULL;
109 else
110 this->next = con->prep_stmts;
111
112 con->prep_stmts = this;
113 return true;
114}
115
116static bool
118{
119 bool string = false;
120 int counter = 1,
121 ptr = 0;
122
123 for (; (*text)[ptr] != '\0'; ptr++)
124 {
125 if ((*text)[ptr] == '\'')
126 string = string ? false : true;
127
128 if (string || (((*text)[ptr] != ':') && ((*text)[ptr] != '?')))
129 continue;
130
131 if (((*text)[ptr] == ':') && ((*text)[ptr + 1] == ':'))
132 ptr += 2; /* skip '::' */
133 else
134 {
135 /* a rough guess of the size we need: */
136 int buffersize = sizeof(int) * CHAR_BIT * 10 / 3;
137 int len;
138 char *buffer,
139 *newcopy;
140
141 if (!(buffer = ecpg_alloc(buffersize, lineno)))
142 return false;
143
144 snprintf(buffer, buffersize, "$%d", counter++);
145
146 for (len = 1; (*text)[ptr + len] && isvarchar((*text)[ptr + len]); len++)
147 /* skip */ ;
148 if (!(newcopy = ecpg_alloc(strlen(*text) - len + strlen(buffer) + 1, lineno)))
149 {
150 ecpg_free(buffer);
151 return false;
152 }
153
154 memcpy(newcopy, *text, ptr);
155 strcpy(newcopy + ptr, buffer);
156 strcat(newcopy, (*text) +ptr + len);
157
158 ecpg_free(*text);
159 ecpg_free(buffer);
160
161 *text = newcopy;
162
163 if ((*text)[ptr] == '\0') /* we reached the end */
164 ptr--; /* since we will (*text)[ptr]++ in the top
165 * level for loop */
166 }
167 }
168 return true;
169}
170
171static bool
172prepare_common(int lineno, struct connection *con, const char *name, const char *variable)
173{
174 struct statement *stmt;
175 struct prepared_statement *this;
176 PGresult *query;
177
178 /* allocate new statement */
179 this = (struct prepared_statement *) ecpg_alloc(sizeof(struct prepared_statement), lineno);
180 if (!this)
181 return false;
182
183 stmt = (struct statement *) ecpg_alloc(sizeof(struct statement), lineno);
184 if (!stmt)
185 {
186 ecpg_free(this);
187 return false;
188 }
189
190 /* create statement */
191 stmt->lineno = lineno;
192 stmt->connection = con;
193 stmt->command = ecpg_strdup(variable, lineno, NULL);
194 if (!stmt->command)
195 {
197 ecpg_free(this);
198 return false;
199 }
200 stmt->inlist = stmt->outlist = NULL;
201
202 /* if we have C variables in our statement replace them with '?' */
203 if (!replace_variables(&(stmt->command), lineno))
204 {
205 ecpg_free(stmt->command);
207 ecpg_free(this);
208 return false;
209 }
210
211 /* add prepared statement to our list */
212 this->name = ecpg_strdup(name, lineno, NULL);
213 if (!this->name)
214 {
215 ecpg_free(stmt->command);
217 ecpg_free(this);
218 return false;
219 }
220 this->stmt = stmt;
221
222 /* and finally really prepare the statement */
223 query = PQprepare(stmt->connection->connection, name, stmt->command, 0, NULL);
224 if (!ecpg_check_PQresult(query, stmt->lineno, stmt->connection->connection, stmt->compat))
225 {
226 ecpg_free(stmt->command);
227 ecpg_free(this->name);
228 ecpg_free(this);
230 return false;
231 }
232
233 ecpg_log("prepare_common on line %d: name %s; query: \"%s\"\n", stmt->lineno, name, stmt->command);
234 PQclear(query);
235 this->prepared = true;
236
237 if (con->prep_stmts == NULL)
238 this->next = NULL;
239 else
240 this->next = con->prep_stmts;
241
242 con->prep_stmts = this;
243 return true;
244}
245
246/* handle the EXEC SQL PREPARE statement */
247/* questionmarks is not needed but remains in there for the time being to not change the API */
248bool
249ECPGprepare(int lineno, const char *connection_name, const bool questionmarks,
250 const char *name, const char *variable)
251{
252 struct connection *con;
253 struct prepared_statement *this,
254 *prev;
255
256 (void) questionmarks; /* quiet the compiler */
257
259 if (!ecpg_init(con, connection_name, lineno))
260 return false;
261
262 /* check if we already have prepared this statement */
263 this = ecpg_find_prepared_statement(name, con, &prev);
264 if (this && !deallocate_one(lineno, ECPG_COMPAT_PGSQL, con, prev, this))
265 return false;
266
267 return prepare_common(lineno, con, name, variable);
268}
269
270struct prepared_statement *
272 struct connection *con, struct prepared_statement **prev_)
273{
274 struct prepared_statement *this,
275 *prev;
276
277 for (this = con->prep_stmts, prev = NULL;
278 this != NULL;
279 prev = this, this = this->next)
280 {
281 if (strcmp(this->name, name) == 0)
282 {
283 if (prev_)
284 *prev_ = prev;
285 return this;
286 }
287 }
288 return NULL;
289}
290
291static bool
292deallocate_one(int lineno, enum COMPAT_MODE c, struct connection *con,
293 struct prepared_statement *prev, struct prepared_statement *this)
294{
295 bool r = false;
296
297 ecpg_log("deallocate_one on line %d: name %s\n", lineno, this->name);
298
299 /* first deallocate the statement in the backend */
300 if (this->prepared)
301 {
302 char *text;
303 PGresult *query;
304
305 text = ecpg_alloc(strlen("deallocate \"\" ") + strlen(this->name), this->stmt->lineno);
306
307 if (text)
308 {
309 sprintf(text, "deallocate \"%s\"", this->name);
310 query = PQexec(this->stmt->connection->connection, text);
312 if (ecpg_check_PQresult(query, lineno,
313 this->stmt->connection->connection,
314 this->stmt->compat))
315 {
316 PQclear(query);
317 r = true;
318 }
319 }
320 }
321
322 /*
323 * Just ignore all errors since we do not know the list of cursors we are
324 * allowed to free. We have to trust the software.
325 */
326 if (!r && !INFORMIX_MODE(c))
327 {
329 return false;
330 }
331
332 /* okay, free all the resources */
333 ecpg_free(this->stmt->command);
334 ecpg_free(this->stmt);
335 ecpg_free(this->name);
336 if (prev != NULL)
337 prev->next = this->next;
338 else
339 con->prep_stmts = this->next;
340
341 ecpg_free(this);
342 return true;
343}
344
345/* handle the EXEC SQL DEALLOCATE PREPARE statement */
346bool
347ECPGdeallocate(int lineno, int c, const char *connection_name, const char *name)
348{
349 struct connection *con;
350 struct prepared_statement *this,
351 *prev;
352
354 if (!ecpg_init(con, connection_name, lineno))
355 return false;
356
357 this = ecpg_find_prepared_statement(name, con, &prev);
358 if (this)
359 return deallocate_one(lineno, c, con, prev, this);
360
361 /* prepared statement is not found */
362 if (INFORMIX_MODE(c))
363 return true;
365 return false;
366}
367
368bool
369ecpg_deallocate_all_conn(int lineno, enum COMPAT_MODE c, struct connection *con)
370{
371 /* deallocate all prepared statements */
372 while (con->prep_stmts)
373 {
374 if (!deallocate_one(lineno, c, con, NULL, con->prep_stmts))
375 return false;
376 }
377
378 return true;
379}
380
381bool
382ECPGdeallocate_all(int lineno, int compat, const char *connection_name)
383{
385
386 if (!ecpg_init(con, connection_name, lineno))
387 return false;
388
389 return ecpg_deallocate_all_conn(lineno, compat, con);
390}
391
392char *
393ecpg_prepared(const char *name, struct connection *con)
394{
395 struct prepared_statement *this;
396
398 return this ? this->stmt->command : NULL;
399}
400
401/* return the prepared statement */
402char *
403ECPGprepared_statement(const char *connection_name, const char *name, int lineno)
404{
406
407 if (!ecpg_init(con, connection_name, lineno))
408 return NULL;
409
410 return ecpg_prepared(name, con);
411}
412
413/*
414 * hash a SQL statement - returns entry # of first entry in the bucket
415 */
416static int
417HashStmt(const char *ecpgQuery)
418{
419 int stmtIx,
420 bucketNo,
421 hashLeng,
422 stmtLeng;
424 rotVal;
425
426 stmtLeng = strlen(ecpgQuery);
427 hashLeng = 50; /* use 1st 50 characters of statement */
428 if (hashLeng > stmtLeng) /* if the statement isn't that long */
429 hashLeng = stmtLeng; /* use its actual length */
430
431 hashVal = 0;
432 for (stmtIx = 0; stmtIx < hashLeng; ++stmtIx)
433 {
434 hashVal = hashVal + (unsigned char) ecpgQuery[stmtIx];
435 /* rotate 32-bit hash value left 13 bits */
436 hashVal = hashVal << 13;
437 rotVal = (hashVal & UINT64CONST(0x1fff00000000)) >> 32;
438 hashVal = (hashVal & UINT64CONST(0xffffffff)) | rotVal;
439 }
440
442
443 /* Add 1 so that array entry 0 is never used */
444 return bucketNo * stmtCacheEntPerBucket + 1;
445}
446
447/*
448 * search the statement cache - search for entry with matching ECPG-format query
449 * Returns entry # in cache if found
450 * OR zero if not present (zero'th entry isn't used)
451 */
452static int
453SearchStmtCache(const char *ecpgQuery)
454{
455 int entNo,
456 entIx;
457
458 /* quick failure if cache not set up */
459 if (stmtCacheEntries == NULL)
460 return 0;
461
462 /* hash the statement */
463 entNo = HashStmt(ecpgQuery);
464
465 /* search the cache */
466 for (entIx = 0; entIx < stmtCacheEntPerBucket; ++entIx)
467 {
468 if (stmtCacheEntries[entNo].stmtID[0]) /* check if entry is in use */
469 {
470 if (strcmp(ecpgQuery, stmtCacheEntries[entNo].ecpgQuery) == 0)
471 break; /* found it */
472 }
473 ++entNo; /* incr entry # */
474 }
475
476 /* if entry wasn't found - set entry # to zero */
478 entNo = 0;
479
480 return entNo;
481}
482
483/*
484 * free an entry in the statement cache
485 * Returns entry # in cache used
486 * OR negative error code
487 */
488static int
490 int entNo) /* entry # to free */
491{
492 stmtCacheEntry *entry;
493 struct connection *con;
494 struct prepared_statement *this,
495 *prev;
496
497 /* fail if cache isn't set up */
498 if (stmtCacheEntries == NULL)
499 return -1;
500
501 entry = &stmtCacheEntries[entNo];
502 if (!entry->stmtID[0]) /* return if the entry isn't in use */
503 return 0;
504
505 con = ecpg_get_connection(entry->connection);
506
507 /*
508 * If the connection is gone, the prepared_statement list it owned is
509 * already unreachable, so just skip that cleanup. We must still clear
510 * the cache slot below so it can be reused.
511 */
512 if (con)
513 {
514 /* free the 'prepared_statement' list entry */
515 this = ecpg_find_prepared_statement(entry->stmtID, con, &prev);
516 if (this && !deallocate_one(lineno, compat, con, prev, this))
517 return -1;
518 }
519
520 entry->stmtID[0] = '\0';
521
522 /* free the memory used by the cache entry */
523 if (entry->ecpgQuery)
524 {
525 ecpg_free(entry->ecpgQuery);
526 entry->ecpgQuery = NULL;
527 }
528
529 return entNo;
530}
531
532/*
533 * add an entry to the statement cache
534 * returns entry # in cache used OR negative error code
535 */
536static int
537AddStmtToCache(int lineno, /* line # of statement */
538 const char *stmtID, /* statement ID */
539 const char *connection, /* connection */
540 int compat, /* compatibility level */
541 const char *ecpgQuery) /* query */
542{
543 int ix,
544 initEntNo,
545 luEntNo,
546 entNo;
547 stmtCacheEntry *entry;
548
549 /* allocate and zero cache array if we haven't already */
550 if (stmtCacheEntries == NULL)
551 {
554 if (stmtCacheEntries == NULL)
555 return -1;
556 }
557
558 /* hash the statement */
559 initEntNo = HashStmt(ecpgQuery);
560
561 /* search for an unused entry */
562 entNo = initEntNo; /* start with the initial entry # for the
563 * bucket */
564 luEntNo = initEntNo; /* use it as the initial 'least used' entry */
565 for (ix = 0; ix < stmtCacheEntPerBucket; ++ix)
566 {
567 entry = &stmtCacheEntries[entNo];
568 if (!entry->stmtID[0]) /* unused entry - use it */
569 break;
570 if (entry->execs < stmtCacheEntries[luEntNo].execs)
571 luEntNo = entNo; /* save new 'least used' entry */
572 ++entNo; /* increment entry # */
573 }
574
575 /*
576 * if no unused entries were found, re-use the 'least used' entry found in
577 * the bucket
578 */
580 entNo = luEntNo;
581
582 /* 'entNo' is the entry to use - make sure its free */
583 if (ecpg_freeStmtCacheEntry(lineno, compat, entNo) < 0)
584 return -1;
585
586 /* add the query to the entry */
587 entry = &stmtCacheEntries[entNo];
588 entry->lineno = lineno;
589 entry->ecpgQuery = ecpg_strdup(ecpgQuery, lineno, NULL);
590 if (!entry->ecpgQuery)
591 return -1;
592 entry->connection = connection;
593 entry->execs = 0;
594 memcpy(entry->stmtID, stmtID, sizeof(entry->stmtID));
595
596 return entNo;
597}
598
599/* handle cache and preparation of statements in auto-prepare mode */
600bool
601ecpg_auto_prepare(int lineno, const char *connection_name, const int compat, char **name, const char *query)
602{
603 int entNo;
604
605 /* search the statement cache for this statement */
606 entNo = SearchStmtCache(query);
607
608 /* if not found - add the statement to the cache */
609 if (entNo)
610 {
611 char *stmtID;
612 struct connection *con;
613 struct prepared_statement *prep;
614
615 ecpg_log("ecpg_auto_prepare on line %d: statement found in cache; entry %d\n", lineno, entNo);
616
617 stmtID = stmtCacheEntries[entNo].stmtID;
618 *name = ecpg_strdup(stmtID, lineno, NULL);
619 if (*name == NULL)
620 return false;
621
623 prep = ecpg_find_prepared_statement(stmtID, con, NULL);
624 /* This prepared name doesn't exist on this connection. */
625 if (!prep && !prepare_common(lineno, con, stmtID, query))
626 {
627 ecpg_free(*name);
628 return false;
629 }
630
631 }
632 else
633 {
634 char stmtID[STMTID_SIZE];
635
636 ecpg_log("ecpg_auto_prepare on line %d: statement not in cache; inserting\n", lineno);
637
638 /* generate a statement ID */
639 sprintf(stmtID, "ecpg%d", nextStmtID++);
640 *name = ecpg_strdup(stmtID, lineno, NULL);
641 if (*name == NULL)
642 return false;
643
644 if (!ECPGprepare(lineno, connection_name, 0, stmtID, query))
645 {
646 ecpg_free(*name);
647 return false;
648 }
649
650 entNo = AddStmtToCache(lineno, stmtID, connection_name, compat, query);
651 if (entNo < 0)
652 {
653 ecpg_free(*name);
654 return false;
655 }
656 }
657
658 /* increase usage counter */
660
661 return true;
662}
static int32 next
Definition blutils.c:225
uint64_t uint64
Definition c.h:625
#define UINT64CONST(x)
Definition c.h:631
varlena text
Definition c.h:789
memcpy(sums, checksumBaseOffsets, sizeof(checksumBaseOffsets))
struct connection * ecpg_get_connection(const char *connection_name)
Definition connect.c:76
enum COMPAT_MODE compat
Definition ecpg.c:26
bool questionmarks
Definition ecpg.c:19
#define ECPG_INVALID_STMT
Definition ecpgerrno.h:40
bool ecpg_check_PQresult(PGresult *results, int lineno, PGconn *connection, enum COMPAT_MODE compat)
Definition error.c:281
COMPAT_MODE
@ ECPG_COMPAT_PGSQL
char * ecpg_strdup(const char *string, int lineno, bool *alloc_failed)
Definition memory.c:54
char * ecpg_alloc(long size, int lineno)
Definition memory.c:19
void ecpg_log(const char *format,...) pg_attribute_printf(1
bool ecpg_init(const struct connection *con, const char *connection_name, const int lineno)
Definition misc.c:73
#define INFORMIX_MODE(X)
void ecpg_raise(int line, int code, const char *sqlstate, const char *str)
Definition error.c:13
void ecpg_free(void *ptr)
Definition memory.c:13
#define ECPG_SQLSTATE_INVALID_SQL_STATEMENT_NAME
PGresult * PQprepare(PGconn *conn, const char *stmtName, const char *query, int nParams, const Oid *paramTypes)
Definition fe-exec.c:2323
PGresult * PQexec(PGconn *conn, const char *query)
Definition fe-exec.c:2279
#define stmt
#define false
static bool prepare_common(int lineno, struct connection *con, const char *name, const char *variable)
Definition prepare.c:172
static bool deallocate_one(int lineno, enum COMPAT_MODE c, struct connection *con, struct prepared_statement *prev, struct prepared_statement *this)
Definition prepare.c:292
bool ecpg_deallocate_all_conn(int lineno, enum COMPAT_MODE c, struct connection *con)
Definition prepare.c:369
bool ECPGdeallocate_all(int lineno, int compat, const char *connection_name)
Definition prepare.c:382
static int nextStmtID
Definition prepare.c:37
static int ecpg_freeStmtCacheEntry(int lineno, int compat, int entNo)
Definition prepare.c:489
static int AddStmtToCache(int lineno, const char *stmtID, const char *connection, int compat, const char *ecpgQuery)
Definition prepare.c:537
bool ecpg_register_prepared_stmt(struct statement *stmt)
Definition prepare.c:59
static int SearchStmtCache(const char *ecpgQuery)
Definition prepare.c:453
static bool isvarchar(unsigned char c)
Definition prepare.c:44
char * ECPGprepared_statement(const char *connection_name, const char *name, int lineno)
Definition prepare.c:403
static int HashStmt(const char *ecpgQuery)
Definition prepare.c:417
bool ECPGprepare(int lineno, const char *connection_name, const bool questionmarks, const char *name, const char *variable)
Definition prepare.c:249
char * ecpg_prepared(const char *name, struct connection *con)
Definition prepare.c:393
#define STMTID_SIZE
Definition prepare.c:14
#define stmtCacheEntPerBucket
Definition prepare.c:24
struct prepared_statement * ecpg_find_prepared_statement(const char *name, struct connection *con, struct prepared_statement **prev_)
Definition prepare.c:271
static stmtCacheEntry * stmtCacheEntries
Definition prepare.c:38
bool ecpg_auto_prepare(int lineno, const char *connection_name, const int compat, char **name, const char *query)
Definition prepare.c:601
static bool replace_variables(char **text, int lineno)
Definition prepare.c:117
bool ECPGdeallocate(int lineno, int c, const char *connection_name, const char *name)
Definition prepare.c:347
#define stmtCacheNBuckets
Definition prepare.c:23
#define stmtCacheArraySize
Definition prepare.c:26
#define PQclear
const void size_t len
#define sprintf
Definition port.h:263
#define snprintf
Definition port.h:261
char * c
static int fb(int x)
PGconn * connection
struct prepared_statement * prep_stmts
Definition type.h:110
struct prepared_statement * next
char * command
char stmtID[STMTID_SIZE]
Definition prepare.c:31
const char * connection
Definition prepare.c:34
char * ecpgQuery
Definition prepare.c:32
Definition c.h:776
const char * name