eval0eval.c
上传用户:romrleung
上传日期:2022-05-23
资源大小:18897k
文件大小:17k
源码类别:

MySQL数据库

开发平台:

Visual C++

  1. /******************************************************
  2. SQL evaluator: evaluates simple data structures, like expressions, in
  3. a query graph
  4. (c) 1997 Innobase Oy
  5. Created 12/29/1997 Heikki Tuuri
  6. *******************************************************/
  7. #include "eval0eval.h"
  8. #ifdef UNIV_NONINL
  9. #include "eval0eval.ic"
  10. #endif
  11. #include "data0data.h"
  12. #include "row0sel.h"
  13. /* The RND function seed */
  14. ulint eval_rnd  = 128367121;
  15. /* Dummy adress used when we should allocate a buffer of size 0 in
  16. the function below */
  17. byte eval_dummy;
  18. /*********************************************************************
  19. Allocate a buffer from global dynamic memory for a value of a que_node.
  20. NOTE that this memory must be explicitly freed when the query graph is
  21. freed. If the node already has an allocated buffer, that buffer is freed
  22. here. NOTE that this is the only function where dynamic memory should be
  23. allocated for a query node val field. */
  24. byte*
  25. eval_node_alloc_val_buf(
  26. /*====================*/
  27. /* out: pointer to allocated buffer */
  28. que_node_t* node, /* in: query graph node; sets the val field
  29. data field to point to the new buffer, and
  30. len field equal to size */
  31. ulint size) /* in: buffer size */
  32. {
  33. dfield_t* dfield;
  34. byte* data;
  35. ut_ad(que_node_get_type(node) == QUE_NODE_SYMBOL
  36.       || que_node_get_type(node) == QUE_NODE_FUNC);
  37. dfield = que_node_get_val(node);
  38. data = dfield_get_data(dfield);
  39. if (data && data != &eval_dummy) {
  40. mem_free(data);
  41. }
  42. if (size == 0) {
  43. data = &eval_dummy;
  44. } else {
  45. data = mem_alloc(size);
  46. }
  47. que_node_set_val_buf_size(node, size);
  48. dfield_set_data(dfield, data, size);
  49. return(data);
  50. }
  51. /*********************************************************************
  52. Free the buffer from global dynamic memory for a value of a que_node,
  53. if it has been allocated in the above function. The freeing for pushed
  54. column values is done in sel_col_prefetch_buf_free. */
  55. void
  56. eval_node_free_val_buf(
  57. /*===================*/
  58. que_node_t* node) /* in: query graph node */
  59. {
  60. dfield_t* dfield;
  61. byte* data;
  62. ut_ad(que_node_get_type(node) == QUE_NODE_SYMBOL
  63.       || que_node_get_type(node) == QUE_NODE_FUNC);
  64. dfield = que_node_get_val(node);
  65. data = dfield_get_data(dfield);
  66. if (que_node_get_val_buf_size(node) > 0) {
  67. ut_a(data);
  68. mem_free(data);
  69. }
  70. }
  71. /*********************************************************************
  72. Evaluates a comparison node. */
  73. ibool
  74. eval_cmp(
  75. /*=====*/
  76. /* out: the result of the comparison */
  77. func_node_t* cmp_node) /* in: comparison node */
  78. {
  79. que_node_t* arg1;
  80. que_node_t* arg2;
  81. int res;
  82. ibool val;
  83. int func;
  84. ut_ad(que_node_get_type(cmp_node) == QUE_NODE_FUNC);
  85. arg1 = cmp_node->args;
  86. arg2 = que_node_get_next(arg1);
  87. res = cmp_dfield_dfield(que_node_get_val(arg1),
  88. que_node_get_val(arg2));
  89. val = TRUE;
  90. func = cmp_node->func;
  91. if (func == '=') {
  92. if (res != 0) {
  93. val = FALSE;
  94. }
  95. } else if (func == '<') {
  96. if (res != -1) {
  97. val = FALSE;
  98. }
  99. } else if (func == PARS_LE_TOKEN) {
  100. if (res == 1) {
  101. val = FALSE;
  102. }
  103. } else if (func == PARS_NE_TOKEN) {
  104. if (res == 0) {
  105. val = FALSE;
  106. }
  107. } else if (func == PARS_GE_TOKEN) {
  108. if (res == -1) {
  109. val = FALSE;
  110. }
  111. } else {
  112. ut_ad(func == '>');
  113. if (res != 1) {
  114. val = FALSE;
  115. }
  116. }
  117. eval_node_set_ibool_val(cmp_node, val);
  118. return(val);
  119. }
  120. /*********************************************************************
  121. Evaluates a logical operation node. */
  122. UNIV_INLINE
  123. void
  124. eval_logical(
  125. /*=========*/
  126. func_node_t* logical_node) /* in: logical operation node */
  127. {
  128. que_node_t* arg1;
  129. que_node_t* arg2;
  130. ibool val1;
  131. ibool val2 = 0; /* remove warning */
  132. ibool val = 0;  /* remove warning */
  133. int func;
  134. ut_ad(que_node_get_type(logical_node) == QUE_NODE_FUNC);
  135. arg1 = logical_node->args;
  136. arg2 = que_node_get_next(arg1); /* arg2 is NULL if func is 'NOT' */
  137. val1 = eval_node_get_ibool_val(arg1);
  138. if (arg2) {
  139. val2 = eval_node_get_ibool_val(arg2);
  140. }
  141. func = logical_node->func;
  142. if (func == PARS_AND_TOKEN) {
  143. val = val1 & val2;
  144. } else if (func == PARS_OR_TOKEN) {
  145. val = val1 | val2;
  146. } else if (func == PARS_NOT_TOKEN) {
  147. val = TRUE - val1;
  148. } else {
  149. ut_error;
  150. }
  151. eval_node_set_ibool_val(logical_node, val);
  152. }
  153. /*********************************************************************
  154. Evaluates an arithmetic operation node. */
  155. UNIV_INLINE
  156. void
  157. eval_arith(
  158. /*=======*/
  159. func_node_t* arith_node) /* in: arithmetic operation node */
  160. {
  161. que_node_t* arg1;
  162. que_node_t* arg2;
  163. lint val1;
  164. lint val2 = 0; /* remove warning */
  165. lint val;
  166. int func;
  167. ut_ad(que_node_get_type(arith_node) == QUE_NODE_FUNC);
  168. arg1 = arith_node->args;
  169. arg2 = que_node_get_next(arg1); /* arg2 is NULL if func is unary '-' */
  170. val1 = eval_node_get_int_val(arg1);
  171. if (arg2) {
  172. val2 = eval_node_get_int_val(arg2);
  173. }
  174. func = arith_node->func;
  175. if (func == '+') {
  176. val = val1 + val2;
  177. } else if ((func == '-') && arg2) {
  178. val = val1 - val2;
  179. } else if (func == '-') {
  180. val = -val1;
  181. } else if (func == '*') {
  182. val = val1 * val2;
  183. } else {
  184. ut_ad(func == '/');
  185. val = val1 / val2;
  186. }
  187. eval_node_set_int_val(arith_node, val);
  188. }
  189. /*********************************************************************
  190. Evaluates an aggregate operation node. */
  191. UNIV_INLINE
  192. void
  193. eval_aggregate(
  194. /*===========*/
  195. func_node_t* node) /* in: aggregate operation node */
  196. {
  197. que_node_t* arg;
  198. lint val;
  199. lint arg_val;
  200. int func;
  201. ut_ad(que_node_get_type(node) == QUE_NODE_FUNC);
  202. val = eval_node_get_int_val(node);
  203. func = node->func;
  204. if (func == PARS_COUNT_TOKEN) {
  205. val = val + 1;
  206. } else {
  207. ut_ad(func == PARS_SUM_TOKEN);
  208. arg = node->args;
  209. arg_val = eval_node_get_int_val(arg);
  210. val = val + arg_val;
  211. }
  212. eval_node_set_int_val(node, val);
  213. }
  214. /*********************************************************************
  215. Evaluates a predefined function node where the function is not relevant
  216. in benchmarks. */
  217. static
  218. void
  219. eval_predefined_2(
  220. /*==============*/
  221. func_node_t* func_node) /* in: predefined function node */
  222. {
  223. que_node_t* arg;
  224. que_node_t* arg1;
  225. que_node_t* arg2 = 0; /* remove warning (??? bug ???) */
  226. lint int_val;
  227. byte* data;
  228. ulint len1;
  229. ulint len2;
  230. int func;
  231. ulint i;
  232. ut_ad(que_node_get_type(func_node) == QUE_NODE_FUNC);
  233. arg1 = func_node->args;
  234. if (arg1) {
  235. arg2 = que_node_get_next(arg1);
  236. }
  237. func = func_node->func;
  238. if (func == PARS_PRINTF_TOKEN) {
  239. arg = arg1;
  240. while (arg) {
  241. dfield_print(que_node_get_val(arg));
  242. arg = que_node_get_next(arg);
  243. }
  244. putc('n', stderr);
  245. } else if (func == PARS_ASSERT_TOKEN) {
  246. if (!eval_node_get_ibool_val(arg1)) {
  247. fputs("SQL assertion fails in a stored procedure!n",
  248. stderr);
  249. }
  250.  
  251. ut_a(eval_node_get_ibool_val(arg1));
  252. /* This function, or more precisely, a debug procedure,
  253. returns no value */
  254. } else if (func == PARS_RND_TOKEN) {
  255. len1 = (ulint)eval_node_get_int_val(arg1);
  256. len2 = (ulint)eval_node_get_int_val(arg2);
  257. ut_ad(len2 >= len1);
  258. if (len2 > len1) {
  259. int_val = (lint)(len1 +
  260. (eval_rnd % (len2 - len1 + 1)));
  261. } else {
  262. int_val = (lint)len1;
  263. }
  264. eval_rnd = ut_rnd_gen_next_ulint(eval_rnd);
  265. eval_node_set_int_val(func_node, int_val);
  266. } else if (func == PARS_RND_STR_TOKEN) {
  267. len1 = (ulint)eval_node_get_int_val(arg1);
  268. data = eval_node_ensure_val_buf(func_node, len1);
  269. for (i = 0; i < len1; i++) {
  270. data[i] = (byte)(97 + (eval_rnd % 3));
  271. eval_rnd = ut_rnd_gen_next_ulint(eval_rnd);
  272. }
  273. } else {
  274. ut_error;
  275. }
  276. }
  277. /*********************************************************************
  278. Evaluates a notfound-function node. */
  279. UNIV_INLINE
  280. void
  281. eval_notfound(
  282. /*==========*/
  283. func_node_t* func_node) /* in: function node */
  284. {
  285. que_node_t* arg1;
  286. que_node_t* arg2;
  287. sym_node_t* cursor;
  288. sel_node_t* sel_node;
  289. ibool ibool_val;
  290. arg1 = func_node->args;
  291. arg2 = que_node_get_next(arg1);
  292. ut_ad(func_node->func == PARS_NOTFOUND_TOKEN);
  293. cursor = arg1;
  294. ut_ad(que_node_get_type(cursor) == QUE_NODE_SYMBOL);
  295. if (cursor->token_type == SYM_LIT) {
  296. ut_ad(ut_memcmp(dfield_get_data(que_node_get_val(cursor)),
  297. "SQL", 3) == 0);
  298. sel_node = cursor->sym_table->query_graph->last_sel_node;
  299. } else {
  300. sel_node = cursor->alias->cursor_def;
  301. }
  302. if (sel_node->state == SEL_NODE_NO_MORE_ROWS) {
  303. ibool_val = TRUE;
  304. } else {
  305. ibool_val = FALSE;
  306. }
  307. eval_node_set_ibool_val(func_node, ibool_val);
  308. }
  309. /*********************************************************************
  310. Evaluates a substr-function node. */
  311. UNIV_INLINE
  312. void
  313. eval_substr(
  314. /*========*/
  315. func_node_t* func_node) /* in: function node */
  316. {
  317. que_node_t* arg1;
  318. que_node_t* arg2;
  319. que_node_t* arg3;
  320. dfield_t* dfield;
  321. byte* str1;
  322. ulint len1;
  323. ulint len2;
  324. arg1 = func_node->args;
  325. arg2 = que_node_get_next(arg1);
  326. ut_ad(func_node->func == PARS_SUBSTR_TOKEN);
  327. arg3 = que_node_get_next(arg2);
  328. str1 = dfield_get_data(que_node_get_val(arg1));
  329. len1 = (ulint)eval_node_get_int_val(arg2);
  330. len2 = (ulint)eval_node_get_int_val(arg3);
  331. dfield = que_node_get_val(func_node);
  332. dfield_set_data(dfield, str1 + len1, len2);
  333. }
  334. /*********************************************************************
  335. Evaluates a replstr-procedure node. */
  336. static
  337. void
  338. eval_replstr(
  339. /*=========*/
  340. func_node_t* func_node) /* in: function node */
  341. {
  342. que_node_t* arg1;
  343. que_node_t* arg2;
  344. que_node_t* arg3;
  345. que_node_t* arg4;
  346. byte* str1;
  347. byte* str2;
  348. ulint len1;
  349. ulint len2;
  350. arg1 = func_node->args;
  351. arg2 = que_node_get_next(arg1);
  352. ut_ad(que_node_get_type(arg1) == QUE_NODE_SYMBOL);
  353. arg3 = que_node_get_next(arg2);
  354. arg4 = que_node_get_next(arg3);
  355. str1 = dfield_get_data(que_node_get_val(arg1));
  356. str2 = dfield_get_data(que_node_get_val(arg2));
  357. len1 = (ulint)eval_node_get_int_val(arg3);
  358. len2 = (ulint)eval_node_get_int_val(arg4);
  359. if ((dfield_get_len(que_node_get_val(arg1)) < len1 + len2)
  360. || (dfield_get_len(que_node_get_val(arg2)) < len2)) {
  361. ut_error;
  362. }
  363. ut_memcpy(str1 + len1, str2, len2);
  364. }
  365. /*********************************************************************
  366. Evaluates an instr-function node. */
  367. static
  368. void
  369. eval_instr(
  370. /*=======*/
  371. func_node_t* func_node) /* in: function node */
  372. {
  373. que_node_t* arg1;
  374. que_node_t* arg2;
  375. dfield_t* dfield1;
  376. dfield_t* dfield2;
  377. lint int_val;
  378. byte* str1;
  379. byte* str2;
  380. byte match_char;
  381. ulint len1;
  382. ulint len2;
  383. ulint i;
  384. ulint j;
  385. arg1 = func_node->args;
  386. arg2 = que_node_get_next(arg1);
  387. dfield1 = que_node_get_val(arg1);
  388. dfield2 = que_node_get_val(arg2);
  389. str1 = dfield_get_data(dfield1);
  390. str2 = dfield_get_data(dfield2);
  391. len1 = dfield_get_len(dfield1);
  392. len2 = dfield_get_len(dfield2);
  393. if (len2 == 0) {
  394. ut_error;
  395. }
  396. match_char = str2[0];
  397. for (i = 0; i < len1; i++) {
  398. /* In this outer loop, the number of matched characters is 0 */
  399. if (str1[i] == match_char) {
  400. if (i + len2 > len1) {
  401. break;
  402. }
  403. for (j = 1;; j++) {
  404. /* We have already matched j characters */
  405. if (j == len2) {
  406. int_val = i + 1;
  407. goto match_found;
  408. }
  409. if (str1[i + j] != str2[j]) {
  410. break;
  411. }
  412. }
  413. }
  414. }
  415. int_val = 0;
  416. match_found:
  417. eval_node_set_int_val(func_node, int_val);
  418. }
  419. /*********************************************************************
  420. Evaluates a predefined function node. */
  421. UNIV_INLINE
  422. void
  423. eval_binary_to_number(
  424. /*==================*/
  425. func_node_t* func_node) /* in: function node */
  426. {
  427. que_node_t* arg1;
  428. dfield_t* dfield;
  429. byte* str1;
  430. byte* str2;
  431. ulint len1;
  432. ulint int_val;
  433. arg1 = func_node->args;
  434. dfield = que_node_get_val(arg1);
  435. str1 = dfield_get_data(dfield);
  436. len1 = dfield_get_len(dfield);
  437.   if (len1 > 4) {
  438. ut_error;
  439. }
  440. if (len1 == 4) {
  441. str2 = str1;
  442. } else {
  443. int_val = 0;
  444. str2 = (byte*)&int_val;
  445. ut_memcpy(str2 + (4 - len1), str1, len1);
  446. }
  447. eval_node_copy_and_alloc_val(func_node, str2, 4);
  448. }
  449. /*********************************************************************
  450. Evaluates a predefined function node. */
  451. static
  452. void
  453. eval_concat(
  454. /*========*/
  455. func_node_t* func_node) /* in: function node */
  456. {
  457. que_node_t* arg;
  458. dfield_t* dfield;
  459. byte* data;
  460. ulint len;
  461. ulint len1;
  462. arg = func_node->args;
  463. len = 0;
  464. while (arg) {
  465. len1 = dfield_get_len(que_node_get_val(arg));
  466. len += len1;
  467. arg = que_node_get_next(arg);
  468. }
  469. data = eval_node_ensure_val_buf(func_node, len);
  470. arg = func_node->args;
  471. len = 0;
  472. while (arg) {
  473. dfield = que_node_get_val(arg);
  474. len1 = dfield_get_len(dfield);
  475. ut_memcpy(data + len, dfield_get_data(dfield), len1);
  476. len += len1;
  477. arg = que_node_get_next(arg);
  478. }
  479. }
  480. /*********************************************************************
  481. Evaluates a predefined function node. If the first argument is an integer,
  482. this function looks at the second argument which is the integer length in
  483. bytes, and converts the integer to a VARCHAR.
  484. If the first argument is of some other type, this function converts it to
  485. BINARY. */
  486. UNIV_INLINE
  487. void
  488. eval_to_binary(
  489. /*===========*/
  490. func_node_t* func_node) /* in: function node */
  491. {
  492. que_node_t* arg1;
  493. que_node_t* arg2;
  494. dfield_t* dfield;
  495. byte* str1;
  496. ulint len;
  497. ulint len1;
  498. arg1 = func_node->args;
  499. str1 = dfield_get_data(que_node_get_val(arg1));
  500. if (dtype_get_mtype(que_node_get_data_type(arg1)) != DATA_INT) {
  501. len = dfield_get_len(que_node_get_val(arg1));
  502. dfield = que_node_get_val(func_node);
  503. dfield_set_data(dfield, str1, len);
  504. return;
  505. }
  506. arg2 = que_node_get_next(arg1);
  507. len1 = (ulint)eval_node_get_int_val(arg2);
  508. if (len1 > 4) {
  509. ut_error;
  510. }
  511. dfield = que_node_get_val(func_node);
  512. dfield_set_data(dfield, str1 + (4 - len1), len1);
  513. }
  514. /*********************************************************************
  515. Evaluates a predefined function node. */
  516. UNIV_INLINE
  517. void
  518. eval_predefined(
  519. /*============*/
  520. func_node_t* func_node) /* in: function node */
  521. {
  522. que_node_t* arg1;
  523. lint int_val;
  524. byte* data;
  525. int func;
  526. func = func_node->func;
  527. arg1 = func_node->args;
  528. if (func == PARS_LENGTH_TOKEN) {
  529. int_val = (lint)dfield_get_len(que_node_get_val(arg1));
  530. } else if (func == PARS_TO_CHAR_TOKEN) {
  531. /* Convert number to character string as a
  532. signed decimal integer. */
  533. ulint uint_val;
  534. int int_len;
  535. int_val = eval_node_get_int_val(arg1);
  536. /* Determine the length of the string. */
  537. if (int_val == 0) {
  538. int_len = 1; /* the number 0 occupies 1 byte */
  539. } else {
  540. int_len = 0;
  541. if (int_val < 0) {
  542. uint_val = ((ulint) -int_val - 1) + 1;
  543. int_len++; /* reserve space for minus sign */
  544. } else {
  545. uint_val = (ulint) int_val;
  546. }
  547. for (; uint_val > 0; int_len++) {
  548. uint_val /= 10;
  549. }
  550. }
  551. /* allocate the string */
  552. data = eval_node_ensure_val_buf(func_node, int_len + 1);
  553. /* add terminating NUL character */
  554. data[int_len] = 0;
  555. /* convert the number */
  556. if (int_val == 0) {
  557. data[0] = '0';
  558. } else {
  559. int tmp;
  560. if (int_val < 0) {
  561. data[0] = '-'; /* preceding minus sign */
  562. uint_val = ((ulint) -int_val - 1) + 1;
  563. } else {
  564. uint_val = (ulint) int_val;
  565. }
  566. for (tmp = int_len; uint_val > 0; uint_val /= 10) {
  567. data[--tmp] = (byte) ('0' + (byte)(uint_val % 10));
  568. }
  569. }
  570. dfield_set_len((dfield_t*) que_node_get_val(func_node),
  571. int_len);
  572. return;
  573. } else if (func == PARS_TO_NUMBER_TOKEN) {
  574. int_val = atoi((char*)
  575. dfield_get_data(que_node_get_val(arg1)));
  576. } else if (func == PARS_SYSDATE_TOKEN) {
  577. int_val = (lint)ut_time();
  578. } else {
  579. eval_predefined_2(func_node);
  580. return;
  581. }
  582. eval_node_set_int_val(func_node, int_val); 
  583. }
  584. /*********************************************************************
  585. Evaluates a function node. */
  586. void
  587. eval_func(
  588. /*======*/
  589. func_node_t* func_node) /* in: function node */
  590. {
  591. que_node_t* arg;
  592. ulint class;
  593. ulint func;
  594. ut_ad(que_node_get_type(func_node) == QUE_NODE_FUNC);
  595. class = func_node->class;
  596. func = func_node->func;
  597. arg = func_node->args;
  598. /* Evaluate first the argument list */
  599. while (arg) {
  600. eval_exp(arg);
  601. /* The functions are not defined for SQL null argument
  602. values, except for eval_cmp and notfound */
  603. if ((dfield_get_len(que_node_get_val(arg)) == UNIV_SQL_NULL)
  604. && (class != PARS_FUNC_CMP)
  605. && (func != PARS_NOTFOUND_TOKEN)
  606. && (func != PARS_PRINTF_TOKEN)) {
  607. ut_error;
  608. }
  609. arg = que_node_get_next(arg);
  610. }
  611. if (class == PARS_FUNC_CMP) {
  612. eval_cmp(func_node);
  613. } else if (class == PARS_FUNC_ARITH) {
  614. eval_arith(func_node);
  615. } else if (class == PARS_FUNC_AGGREGATE) {
  616. eval_aggregate(func_node);
  617. } else if (class == PARS_FUNC_PREDEFINED) {
  618. if (func == PARS_NOTFOUND_TOKEN) {
  619. eval_notfound(func_node);
  620. } else if (func == PARS_SUBSTR_TOKEN) {
  621. eval_substr(func_node);
  622. } else if (func == PARS_REPLSTR_TOKEN) {
  623. eval_replstr(func_node);
  624. } else if (func == PARS_INSTR_TOKEN) {
  625. eval_instr(func_node);
  626. } else if (func == PARS_BINARY_TO_NUMBER_TOKEN) {
  627. eval_binary_to_number(func_node);
  628. } else if (func == PARS_CONCAT_TOKEN) {
  629. eval_concat(func_node);
  630. } else if (func == PARS_TO_BINARY_TOKEN) {
  631. eval_to_binary(func_node);
  632. } else {
  633. eval_predefined(func_node);
  634. }
  635. } else {
  636. ut_ad(class == PARS_FUNC_LOGICAL);
  637. eval_logical(func_node);
  638. }
  639. }