Line data Source code
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 :
28 : typedef 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 */
35 : } stmtCacheEntry;
36 :
37 : static int nextStmtID = 1;
38 : static stmtCacheEntry *stmtCacheEntries = NULL;
39 :
40 : static bool deallocate_one(int lineno, enum COMPAT_MODE c, struct connection *con,
41 : struct prepared_statement *prev, struct prepared_statement *this);
42 :
43 : static bool
44 3308 : isvarchar(unsigned char c)
45 : {
46 3308 : if (isalnum(c))
47 12 : return true;
48 :
49 3296 : if (c == '_' || c == '>' || c == '-' || c == '.')
50 0 : return true;
51 :
52 3296 : if (c >= 128)
53 0 : return true;
54 :
55 3296 : return false;
56 : }
57 :
58 : bool
59 20 : ecpg_register_prepared_stmt(struct statement *stmt)
60 : {
61 : struct statement *prep_stmt;
62 : struct prepared_statement *this;
63 20 : struct connection *con = stmt->connection;
64 20 : struct prepared_statement *prev = NULL;
65 20 : int lineno = stmt->lineno;
66 :
67 : /* check if we already have prepared this statement */
68 20 : this = ecpg_find_prepared_statement(stmt->name, con, &prev);
69 20 : if (this && !deallocate_one(lineno, ECPG_COMPAT_PGSQL, con, prev, this))
70 0 : return false;
71 :
72 : /* allocate new statement */
73 20 : this = (struct prepared_statement *) ecpg_alloc(sizeof(struct prepared_statement), lineno);
74 20 : if (!this)
75 0 : return false;
76 :
77 20 : prep_stmt = (struct statement *) ecpg_alloc(sizeof(struct statement), lineno);
78 20 : if (!prep_stmt)
79 : {
80 0 : ecpg_free(this);
81 0 : return false;
82 : }
83 20 : memset(prep_stmt, 0, sizeof(struct statement));
84 :
85 : /* create statement */
86 20 : prep_stmt->lineno = lineno;
87 20 : prep_stmt->connection = con;
88 20 : prep_stmt->command = ecpg_strdup(stmt->command, lineno, NULL);
89 20 : if (!prep_stmt->command)
90 : {
91 0 : ecpg_free(prep_stmt);
92 0 : ecpg_free(this);
93 0 : return false;
94 : }
95 20 : prep_stmt->inlist = prep_stmt->outlist = NULL;
96 20 : this->name = ecpg_strdup(stmt->name, lineno, NULL);
97 20 : if (!this->name)
98 : {
99 0 : ecpg_free(prep_stmt->command);
100 0 : ecpg_free(prep_stmt);
101 0 : ecpg_free(this);
102 0 : return false;
103 : }
104 20 : this->stmt = prep_stmt;
105 20 : this->prepared = true;
106 :
107 20 : if (con->prep_stmts == NULL)
108 0 : this->next = NULL;
109 : else
110 20 : this->next = con->prep_stmts;
111 :
112 20 : con->prep_stmts = this;
113 20 : return true;
114 : }
115 :
116 : static bool
117 3420 : replace_variables(char **text, int lineno)
118 : {
119 3420 : bool string = false;
120 3420 : int counter = 1,
121 3420 : ptr = 0;
122 :
123 96804 : for (; (*text)[ptr] != '\0'; ptr++)
124 : {
125 93384 : if ((*text)[ptr] == '\'')
126 8 : string = string ? false : true;
127 :
128 93384 : if (string || (((*text)[ptr] != ':') && ((*text)[ptr] != '?')))
129 90064 : continue;
130 :
131 3320 : if (((*text)[ptr] == ':') && ((*text)[ptr + 1] == ':'))
132 8 : ptr += 2; /* skip '::' */
133 : else
134 : {
135 : /* a rough guess of the size we need: */
136 3312 : int buffersize = sizeof(int) * CHAR_BIT * 10 / 3;
137 : int len;
138 : char *buffer,
139 : *newcopy;
140 :
141 3312 : if (!(buffer = (char *) ecpg_alloc(buffersize, lineno)))
142 0 : return false;
143 :
144 3312 : snprintf(buffer, buffersize, "$%d", counter++);
145 :
146 3324 : for (len = 1; (*text)[ptr + len] && isvarchar((*text)[ptr + len]); len++)
147 : /* skip */ ;
148 3312 : if (!(newcopy = (char *) ecpg_alloc(strlen(*text) - len + strlen(buffer) + 1, lineno)))
149 : {
150 0 : ecpg_free(buffer);
151 0 : return false;
152 : }
153 :
154 3312 : memcpy(newcopy, *text, ptr);
155 3312 : strcpy(newcopy + ptr, buffer);
156 3312 : strcat(newcopy, (*text) +ptr + len);
157 :
158 3312 : ecpg_free(*text);
159 3312 : ecpg_free(buffer);
160 :
161 3312 : *text = newcopy;
162 :
163 3312 : if ((*text)[ptr] == '\0') /* we reached the end */
164 0 : ptr--; /* since we will (*text)[ptr]++ in the top
165 : * level for loop */
166 : }
167 : }
168 3420 : return true;
169 : }
170 :
171 : static bool
172 3420 : prepare_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 3420 : this = (struct prepared_statement *) ecpg_alloc(sizeof(struct prepared_statement), lineno);
180 3420 : if (!this)
181 0 : return false;
182 :
183 3420 : stmt = (struct statement *) ecpg_alloc(sizeof(struct statement), lineno);
184 3420 : if (!stmt)
185 : {
186 0 : ecpg_free(this);
187 0 : return false;
188 : }
189 :
190 : /* create statement */
191 3420 : stmt->lineno = lineno;
192 3420 : stmt->connection = con;
193 3420 : stmt->command = ecpg_strdup(variable, lineno, NULL);
194 3420 : if (!stmt->command)
195 : {
196 0 : ecpg_free(stmt);
197 0 : ecpg_free(this);
198 0 : return false;
199 : }
200 3420 : stmt->inlist = stmt->outlist = NULL;
201 :
202 : /* if we have C variables in our statement replace them with '?' */
203 3420 : if (!replace_variables(&(stmt->command), lineno))
204 : {
205 0 : ecpg_free(stmt->command);
206 0 : ecpg_free(stmt);
207 0 : ecpg_free(this);
208 0 : return false;
209 : }
210 :
211 : /* add prepared statement to our list */
212 3420 : this->name = ecpg_strdup(name, lineno, NULL);
213 3420 : if (!this->name)
214 : {
215 0 : ecpg_free(stmt->command);
216 0 : ecpg_free(stmt);
217 0 : ecpg_free(this);
218 0 : return false;
219 : }
220 3420 : this->stmt = stmt;
221 :
222 : /* and finally really prepare the statement */
223 3420 : query = PQprepare(stmt->connection->connection, name, stmt->command, 0, NULL);
224 3420 : if (!ecpg_check_PQresult(query, stmt->lineno, stmt->connection->connection, stmt->compat))
225 : {
226 0 : ecpg_free(stmt->command);
227 0 : ecpg_free(this->name);
228 0 : ecpg_free(this);
229 0 : ecpg_free(stmt);
230 0 : return false;
231 : }
232 :
233 3420 : ecpg_log("prepare_common on line %d: name %s; query: \"%s\"\n", stmt->lineno, name, stmt->command);
234 3420 : PQclear(query);
235 3420 : this->prepared = true;
236 :
237 3420 : if (con->prep_stmts == NULL)
238 3316 : this->next = NULL;
239 : else
240 104 : this->next = con->prep_stmts;
241 :
242 3420 : con->prep_stmts = this;
243 3420 : 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 */
248 : bool
249 3408 : ECPGprepare(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 :
258 3408 : con = ecpg_get_connection(connection_name);
259 3408 : if (!ecpg_init(con, connection_name, lineno))
260 0 : return false;
261 :
262 : /* check if we already have prepared this statement */
263 3408 : this = ecpg_find_prepared_statement(name, con, &prev);
264 3408 : if (this && !deallocate_one(lineno, ECPG_COMPAT_PGSQL, con, prev, this))
265 0 : return false;
266 :
267 3408 : return prepare_common(lineno, con, name, variable);
268 : }
269 :
270 : struct prepared_statement *
271 7156 : ecpg_find_prepared_statement(const char *name,
272 : struct connection *con, struct prepared_statement **prev_)
273 : {
274 : struct prepared_statement *this,
275 : *prev;
276 :
277 7156 : for (this = con->prep_stmts, prev = NULL;
278 7424 : this != NULL;
279 268 : prev = this, this = this->next)
280 : {
281 7128 : if (strcmp(this->name, name) == 0)
282 : {
283 6860 : if (prev_)
284 3356 : *prev_ = prev;
285 6860 : return this;
286 : }
287 : }
288 296 : return NULL;
289 : }
290 :
291 : static bool
292 3432 : deallocate_one(int lineno, enum COMPAT_MODE c, struct connection *con,
293 : struct prepared_statement *prev, struct prepared_statement *this)
294 : {
295 3432 : bool r = false;
296 :
297 3432 : ecpg_log("deallocate_one on line %d: name %s\n", lineno, this->name);
298 :
299 : /* first deallocate the statement in the backend */
300 3432 : if (this->prepared)
301 : {
302 : char *text;
303 : PGresult *query;
304 :
305 3432 : text = (char *) ecpg_alloc(strlen("deallocate \"\" ") + strlen(this->name), this->stmt->lineno);
306 :
307 3432 : if (text)
308 : {
309 3432 : sprintf(text, "deallocate \"%s\"", this->name);
310 3432 : query = PQexec(this->stmt->connection->connection, text);
311 3432 : ecpg_free(text);
312 3432 : if (ecpg_check_PQresult(query, lineno,
313 3432 : this->stmt->connection->connection,
314 3432 : this->stmt->compat))
315 : {
316 3432 : PQclear(query);
317 3432 : 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 3432 : if (!r && !INFORMIX_MODE(c))
327 : {
328 0 : ecpg_raise(lineno, ECPG_INVALID_STMT, ECPG_SQLSTATE_INVALID_SQL_STATEMENT_NAME, this->name);
329 0 : return false;
330 : }
331 :
332 : /* okay, free all the resources */
333 3432 : ecpg_free(this->stmt->command);
334 3432 : ecpg_free(this->stmt);
335 3432 : ecpg_free(this->name);
336 3432 : if (prev != NULL)
337 12 : prev->next = this->next;
338 : else
339 3420 : con->prep_stmts = this->next;
340 :
341 3432 : ecpg_free(this);
342 3432 : return true;
343 : }
344 :
345 : /* handle the EXEC SQL DEALLOCATE PREPARE statement */
346 : bool
347 212 : ECPGdeallocate(int lineno, int c, const char *connection_name, const char *name)
348 : {
349 : struct connection *con;
350 : struct prepared_statement *this,
351 : *prev;
352 :
353 212 : con = ecpg_get_connection(connection_name);
354 212 : if (!ecpg_init(con, connection_name, lineno))
355 0 : return false;
356 :
357 212 : this = ecpg_find_prepared_statement(name, con, &prev);
358 212 : if (this)
359 208 : return deallocate_one(lineno, c, con, prev, this);
360 :
361 : /* prepared statement is not found */
362 4 : if (INFORMIX_MODE(c))
363 0 : return true;
364 4 : ecpg_raise(lineno, ECPG_INVALID_STMT, ECPG_SQLSTATE_INVALID_SQL_STATEMENT_NAME, name);
365 4 : return false;
366 : }
367 :
368 : bool
369 516 : ecpg_deallocate_all_conn(int lineno, enum COMPAT_MODE c, struct connection *con)
370 : {
371 : /* deallocate all prepared statements */
372 592 : while (con->prep_stmts)
373 : {
374 76 : if (!deallocate_one(lineno, c, con, NULL, con->prep_stmts))
375 0 : return false;
376 : }
377 :
378 516 : return true;
379 : }
380 :
381 : bool
382 4 : ECPGdeallocate_all(int lineno, int compat, const char *connection_name)
383 : {
384 4 : return ecpg_deallocate_all_conn(lineno, compat,
385 : ecpg_get_connection(connection_name));
386 : }
387 :
388 : char *
389 3412 : ecpg_prepared(const char *name, struct connection *con)
390 : {
391 : struct prepared_statement *this;
392 :
393 3412 : this = ecpg_find_prepared_statement(name, con, NULL);
394 3412 : return this ? this->stmt->command : NULL;
395 : }
396 :
397 : /* return the prepared statement */
398 : /* lineno is not used here, but kept in to not break API */
399 : char *
400 84 : ECPGprepared_statement(const char *connection_name, const char *name, int lineno)
401 : {
402 : (void) lineno; /* keep the compiler quiet */
403 :
404 84 : return ecpg_prepared(name, ecpg_get_connection(connection_name));
405 : }
406 :
407 : /*
408 : * hash a SQL statement - returns entry # of first entry in the bucket
409 : */
410 : static int
411 40 : HashStmt(const char *ecpgQuery)
412 : {
413 : int stmtIx,
414 : bucketNo,
415 : hashLeng,
416 : stmtLeng;
417 : uint64 hashVal,
418 : rotVal;
419 :
420 40 : stmtLeng = strlen(ecpgQuery);
421 40 : hashLeng = 50; /* use 1st 50 characters of statement */
422 40 : if (hashLeng > stmtLeng) /* if the statement isn't that long */
423 40 : hashLeng = stmtLeng; /* use its actual length */
424 :
425 40 : hashVal = 0;
426 1484 : for (stmtIx = 0; stmtIx < hashLeng; ++stmtIx)
427 : {
428 1444 : hashVal = hashVal + (unsigned char) ecpgQuery[stmtIx];
429 : /* rotate 32-bit hash value left 13 bits */
430 1444 : hashVal = hashVal << 13;
431 1444 : rotVal = (hashVal & UINT64CONST(0x1fff00000000)) >> 32;
432 1444 : hashVal = (hashVal & UINT64CONST(0xffffffff)) | rotVal;
433 : }
434 :
435 40 : bucketNo = hashVal % stmtCacheNBuckets;
436 :
437 : /* Add 1 so that array entry 0 is never used */
438 40 : return bucketNo * stmtCacheEntPerBucket + 1;
439 : }
440 :
441 : /*
442 : * search the statement cache - search for entry with matching ECPG-format query
443 : * Returns entry # in cache if found
444 : * OR zero if not present (zero'th entry isn't used)
445 : */
446 : static int
447 32 : SearchStmtCache(const char *ecpgQuery)
448 : {
449 : int entNo,
450 : entIx;
451 :
452 : /* quick failure if cache not set up */
453 32 : if (stmtCacheEntries == NULL)
454 4 : return 0;
455 :
456 : /* hash the statement */
457 28 : entNo = HashStmt(ecpgQuery);
458 :
459 : /* search the cache */
460 92 : for (entIx = 0; entIx < stmtCacheEntPerBucket; ++entIx)
461 : {
462 84 : if (stmtCacheEntries[entNo].stmtID[0]) /* check if entry is in use */
463 : {
464 20 : if (strcmp(ecpgQuery, stmtCacheEntries[entNo].ecpgQuery) == 0)
465 20 : break; /* found it */
466 : }
467 64 : ++entNo; /* incr entry # */
468 : }
469 :
470 : /* if entry wasn't found - set entry # to zero */
471 28 : if (entIx >= stmtCacheEntPerBucket)
472 8 : entNo = 0;
473 :
474 28 : return entNo;
475 : }
476 :
477 : /*
478 : * free an entry in the statement cache
479 : * Returns entry # in cache used
480 : * OR negative error code
481 : */
482 : static int
483 12 : ecpg_freeStmtCacheEntry(int lineno, int compat,
484 : int entNo) /* entry # to free */
485 : {
486 : stmtCacheEntry *entry;
487 : struct connection *con;
488 : struct prepared_statement *this,
489 : *prev;
490 :
491 : /* fail if cache isn't set up */
492 12 : if (stmtCacheEntries == NULL)
493 0 : return -1;
494 :
495 12 : entry = &stmtCacheEntries[entNo];
496 12 : if (!entry->stmtID[0]) /* return if the entry isn't in use */
497 12 : return 0;
498 :
499 0 : con = ecpg_get_connection(entry->connection);
500 :
501 : /* free the 'prepared_statement' list entry */
502 0 : this = ecpg_find_prepared_statement(entry->stmtID, con, &prev);
503 0 : if (this && !deallocate_one(lineno, compat, con, prev, this))
504 0 : return -1;
505 :
506 0 : entry->stmtID[0] = '\0';
507 :
508 : /* free the memory used by the cache entry */
509 0 : if (entry->ecpgQuery)
510 : {
511 0 : ecpg_free(entry->ecpgQuery);
512 0 : entry->ecpgQuery = 0;
513 : }
514 :
515 0 : return entNo;
516 : }
517 :
518 : /*
519 : * add an entry to the statement cache
520 : * returns entry # in cache used OR negative error code
521 : */
522 : static int
523 12 : AddStmtToCache(int lineno, /* line # of statement */
524 : const char *stmtID, /* statement ID */
525 : const char *connection, /* connection */
526 : int compat, /* compatibility level */
527 : const char *ecpgQuery) /* query */
528 : {
529 : int ix,
530 : initEntNo,
531 : luEntNo,
532 : entNo;
533 : stmtCacheEntry *entry;
534 :
535 : /* allocate and zero cache array if we haven't already */
536 12 : if (stmtCacheEntries == NULL)
537 : {
538 4 : stmtCacheEntries = (stmtCacheEntry *)
539 4 : ecpg_alloc(sizeof(stmtCacheEntry) * stmtCacheArraySize, lineno);
540 4 : if (stmtCacheEntries == NULL)
541 0 : return -1;
542 : }
543 :
544 : /* hash the statement */
545 12 : initEntNo = HashStmt(ecpgQuery);
546 :
547 : /* search for an unused entry */
548 12 : entNo = initEntNo; /* start with the initial entry # for the
549 : * bucket */
550 12 : luEntNo = initEntNo; /* use it as the initial 'least used' entry */
551 12 : for (ix = 0; ix < stmtCacheEntPerBucket; ++ix)
552 : {
553 12 : entry = &stmtCacheEntries[entNo];
554 12 : if (!entry->stmtID[0]) /* unused entry - use it */
555 12 : break;
556 0 : if (entry->execs < stmtCacheEntries[luEntNo].execs)
557 0 : luEntNo = entNo; /* save new 'least used' entry */
558 0 : ++entNo; /* increment entry # */
559 : }
560 :
561 : /*
562 : * if no unused entries were found, re-use the 'least used' entry found in
563 : * the bucket
564 : */
565 12 : if (ix >= stmtCacheEntPerBucket)
566 0 : entNo = luEntNo;
567 :
568 : /* 'entNo' is the entry to use - make sure its free */
569 12 : if (ecpg_freeStmtCacheEntry(lineno, compat, entNo) < 0)
570 0 : return -1;
571 :
572 : /* add the query to the entry */
573 12 : entry = &stmtCacheEntries[entNo];
574 12 : entry->lineno = lineno;
575 12 : entry->ecpgQuery = ecpg_strdup(ecpgQuery, lineno, NULL);
576 12 : if (!entry->ecpgQuery)
577 0 : return -1;
578 12 : entry->connection = connection;
579 12 : entry->execs = 0;
580 12 : memcpy(entry->stmtID, stmtID, sizeof(entry->stmtID));
581 :
582 12 : return entNo;
583 : }
584 :
585 : /* handle cache and preparation of statements in auto-prepare mode */
586 : bool
587 32 : ecpg_auto_prepare(int lineno, const char *connection_name, const int compat, char **name, const char *query)
588 : {
589 : int entNo;
590 :
591 : /* search the statement cache for this statement */
592 32 : entNo = SearchStmtCache(query);
593 :
594 : /* if not found - add the statement to the cache */
595 32 : if (entNo)
596 : {
597 : char *stmtID;
598 : struct connection *con;
599 : struct prepared_statement *prep;
600 :
601 20 : ecpg_log("ecpg_auto_prepare on line %d: statement found in cache; entry %d\n", lineno, entNo);
602 :
603 20 : stmtID = stmtCacheEntries[entNo].stmtID;
604 20 : *name = ecpg_strdup(stmtID, lineno, NULL);
605 20 : if (*name == NULL)
606 0 : return false;
607 :
608 20 : con = ecpg_get_connection(connection_name);
609 20 : prep = ecpg_find_prepared_statement(stmtID, con, NULL);
610 : /* This prepared name doesn't exist on this connection. */
611 20 : if (!prep && !prepare_common(lineno, con, stmtID, query))
612 : {
613 0 : ecpg_free(*name);
614 0 : return false;
615 : }
616 :
617 : }
618 : else
619 : {
620 : char stmtID[STMTID_SIZE];
621 :
622 12 : ecpg_log("ecpg_auto_prepare on line %d: statement not in cache; inserting\n", lineno);
623 :
624 : /* generate a statement ID */
625 12 : sprintf(stmtID, "ecpg%d", nextStmtID++);
626 12 : *name = ecpg_strdup(stmtID, lineno, NULL);
627 12 : if (*name == NULL)
628 0 : return false;
629 :
630 12 : if (!ECPGprepare(lineno, connection_name, 0, stmtID, query))
631 : {
632 0 : ecpg_free(*name);
633 0 : return false;
634 : }
635 :
636 12 : entNo = AddStmtToCache(lineno, stmtID, connection_name, compat, query);
637 12 : if (entNo < 0)
638 : {
639 0 : ecpg_free(*name);
640 0 : return false;
641 : }
642 : }
643 :
644 : /* increase usage counter */
645 32 : stmtCacheEntries[entNo].execs++;
646 :
647 32 : return true;
648 : }
|
