~drizzle-trunk/drizzle/development

« back to all changes in this revision

Viewing changes to drizzled/optimizer/range.cc

  • Committer: lbieber
  • Date: 2010-10-05 21:14:30 UTC
  • mfrom: (1775.5.2 bug621331)
  • mto: This revision was merged to the branch mainline in revision 1814.
  • Revision ID: lbieber@orisndriz08-20101005211430-xmy19fcls25swctl
Merge Billy - fix bug 621331 - Replace use of stringstream with boost::lexical_cast

Show diffs side-by-side

added added

removed removed

Lines of Context:
109
109
#include <vector>
110
110
#include <algorithm>
111
111
 
112
 
#include <boost/dynamic_bitset.hpp>
113
 
 
114
112
#include "drizzled/sql_base.h"
115
113
#include "drizzled/sql_select.h"
116
114
#include "drizzled/error.h"
230
228
  }
231
229
}
232
230
 
 
231
struct st_ror_scan_info;
 
232
 
233
233
static optimizer::SEL_TREE * get_mm_parts(optimizer::RangeParameter *param,
234
234
                               COND *cond_func,
235
235
                               Field *field,
397
397
    delete cond;
398
398
    cond= 0;
399
399
  }
400
 
  file->close_cached_file();
 
400
  close_cached_file(file);
401
401
}
402
402
 
403
403
 
464
464
    MAX_KEY if no such index was found.
465
465
*/
466
466
 
467
 
uint32_t optimizer::get_index_for_order(Table *table, Order *order, ha_rows limit)
 
467
uint32_t optimizer::get_index_for_order(Table *table, order_st *order, ha_rows limit)
468
468
{
469
469
  uint32_t idx;
470
470
  uint32_t match_key= MAX_KEY, match_key_len= MAX_KEY_LENGTH + 1;
471
 
  Order *ord;
 
471
  order_st *ord;
472
472
 
473
473
  for (ord= order; ord; ord= ord->next)
474
474
    if (!ord->asc)
543
543
static int fill_used_fields_bitmap(optimizer::Parameter *param)
544
544
{
545
545
  Table *table= param->table;
 
546
  my_bitmap_map *tmp;
546
547
  uint32_t pk;
547
 
  param->tmp_covered_fields.clear();
548
 
  param->needed_fields.resize(table->getShare()->sizeFields());
549
 
  param->needed_fields.reset();
 
548
  param->tmp_covered_fields.setBitmap(0);
 
549
  param->fields_bitmap_size= table->getShare()->column_bitmap_size;
 
550
  if (!(tmp= (my_bitmap_map*) param->mem_root->alloc_root(param->fields_bitmap_size)) ||
 
551
      param->needed_fields.init(tmp, table->getShare()->sizeFields()))
 
552
  {
 
553
    return 1;
 
554
  }
550
555
 
551
 
  param->needed_fields|= *table->read_set;
552
 
  param->needed_fields|= *table->write_set;
 
556
  param->needed_fields= *table->read_set;
 
557
  bitmap_union(&param->needed_fields, table->write_set);
553
558
 
554
559
  pk= param->table->getShare()->getPrimaryKey();
555
560
  if (pk != MAX_KEY && param->table->cursor->primary_key_is_clustered())
559
564
    KeyPartInfo *key_part_end= key_part +
560
565
                                 param->table->key_info[pk].key_parts;
561
566
    for (;key_part != key_part_end; ++key_part)
562
 
      param->needed_fields.reset(key_part->fieldnr-1);
 
567
      param->needed_fields.clearBit(key_part->fieldnr-1);
563
568
  }
564
569
  return 0;
565
570
}
1185
1190
}
1186
1191
 
1187
1192
 
 
1193
typedef struct st_ror_scan_info
 
1194
{
 
1195
  uint32_t      idx;      /* # of used key in param->keys */
 
1196
  uint32_t      keynr;    /* # of used key in table */
 
1197
  ha_rows   records;  /* estimate of # records this scan will return */
 
1198
 
 
1199
  /* Set of intervals over key fields that will be used for row retrieval. */
 
1200
  optimizer::SEL_ARG   *sel_arg;
 
1201
 
 
1202
  /* Fields used in the query and covered by this ROR scan. */
 
1203
  MyBitmap covered_fields;
 
1204
  uint32_t      used_fields_covered; /* # of set bits in covered_fields */
 
1205
  int       key_rec_length; /* length of key record (including rowid) */
 
1206
 
 
1207
  /*
 
1208
    Cost of reading all index records with values in sel_arg intervals set
 
1209
    (assuming there is no need to access full table records)
 
1210
  */
 
1211
  double    index_read_cost;
 
1212
  uint32_t      first_uncovered_field; /* first unused bit in covered_fields */
 
1213
  uint32_t      key_components; /* # of parts in the key */
 
1214
} ROR_SCAN_INFO;
 
1215
 
1188
1216
 
1189
1217
/*
1190
 
  Create optimizer::RorScanInfo* structure with a single ROR scan on index idx using
 
1218
  Create ROR_SCAN_INFO* structure with a single ROR scan on index idx using
1191
1219
  sel_arg set of intervals.
1192
1220
 
1193
1221
  SYNOPSIS
1202
1230
*/
1203
1231
 
1204
1232
static
1205
 
optimizer::RorScanInfo *make_ror_scan(const optimizer::Parameter *param, int idx, optimizer::SEL_ARG *sel_arg)
 
1233
ROR_SCAN_INFO *make_ror_scan(const optimizer::Parameter *param, int idx, optimizer::SEL_ARG *sel_arg)
1206
1234
{
1207
 
  optimizer::RorScanInfo *ror_scan= NULL;
 
1235
  ROR_SCAN_INFO *ror_scan;
 
1236
  my_bitmap_map *bitmap_buf;
1208
1237
 
1209
1238
  uint32_t keynr;
1210
1239
 
1211
 
  if (!(ror_scan= (optimizer::RorScanInfo*)param->mem_root->alloc_root(sizeof(optimizer::RorScanInfo))))
 
1240
  if (!(ror_scan= (ROR_SCAN_INFO*)param->mem_root->alloc_root(sizeof(ROR_SCAN_INFO))))
1212
1241
    return NULL;
1213
1242
 
1214
1243
  ror_scan->idx= idx;
1218
1247
  ror_scan->sel_arg= sel_arg;
1219
1248
  ror_scan->records= param->table->quick_rows[keynr];
1220
1249
 
1221
 
  ror_scan->covered_fields_size= param->table->getShare()->sizeFields();
1222
 
  boost::dynamic_bitset<> tmp_bitset(param->table->getShare()->sizeFields());
1223
 
  tmp_bitset.reset();
 
1250
  if (!(bitmap_buf= (my_bitmap_map*) param->mem_root->alloc_root(param->fields_bitmap_size)))
 
1251
  {
 
1252
    return NULL;
 
1253
  }
 
1254
 
 
1255
  if (ror_scan->covered_fields.init(bitmap_buf, param->table->getShare()->sizeFields()))
 
1256
  {
 
1257
    return NULL;
 
1258
  }
 
1259
  ror_scan->covered_fields.clearAll();
1224
1260
 
1225
1261
  KeyPartInfo *key_part= param->table->key_info[keynr].key_part;
1226
1262
  KeyPartInfo *key_part_end= key_part +
1227
1263
                               param->table->key_info[keynr].key_parts;
1228
 
  for (; key_part != key_part_end; ++key_part)
 
1264
  for (;key_part != key_part_end; ++key_part)
1229
1265
  {
1230
 
    if (param->needed_fields.test(key_part->fieldnr-1))
1231
 
      tmp_bitset.set(key_part->fieldnr-1);
 
1266
    if (param->needed_fields.isBitSet(key_part->fieldnr-1))
 
1267
      ror_scan->covered_fields.setBit(key_part->fieldnr-1);
1232
1268
  }
1233
1269
  double rows= rows2double(param->table->quick_rows[ror_scan->keynr]);
1234
1270
  ror_scan->index_read_cost=
1235
1271
    param->table->cursor->index_only_read_time(ror_scan->keynr, rows);
1236
 
  ror_scan->covered_fields= tmp_bitset.to_ulong();
1237
 
  return ror_scan;
 
1272
  return(ror_scan);
1238
1273
}
1239
1274
 
1240
1275
 
1241
1276
/*
1242
 
  Compare two optimizer::RorScanInfo** by  E(#records_matched) * key_record_length.
 
1277
  Compare two ROR_SCAN_INFO** by  E(#records_matched) * key_record_length.
1243
1278
  SYNOPSIS
1244
1279
    cmp_ror_scan_info()
1245
1280
      a ptr to first compared value
1251
1286
    1 a > b
1252
1287
*/
1253
1288
 
1254
 
static int cmp_ror_scan_info(optimizer::RorScanInfo** a, optimizer::RorScanInfo** b)
 
1289
static int cmp_ror_scan_info(ROR_SCAN_INFO** a, ROR_SCAN_INFO** b)
1255
1290
{
1256
1291
  double val1= rows2double((*a)->records) * (*a)->key_rec_length;
1257
1292
  double val2= rows2double((*b)->records) * (*b)->key_rec_length;
1260
1295
 
1261
1296
 
1262
1297
/*
1263
 
  Compare two optimizer::RorScanInfo** by
 
1298
  Compare two ROR_SCAN_INFO** by
1264
1299
   (#covered fields in F desc,
1265
1300
    #components asc,
1266
1301
    number of first not covered component asc)
1276
1311
    1 a > b
1277
1312
*/
1278
1313
 
1279
 
static int cmp_ror_scan_info_covering(optimizer::RorScanInfo** a, optimizer::RorScanInfo** b)
 
1314
static int cmp_ror_scan_info_covering(ROR_SCAN_INFO** a, ROR_SCAN_INFO** b)
1280
1315
{
1281
1316
  if ((*a)->used_fields_covered > (*b)->used_fields_covered)
1282
1317
    return -1;
1294
1329
}
1295
1330
 
1296
1331
/* Auxiliary structure for incremental ROR-intersection creation */
1297
 
typedef struct st_ror_intersect_info
 
1332
typedef struct
1298
1333
{
1299
 
  st_ror_intersect_info()
1300
 
    :
1301
 
      param(NULL),
1302
 
      covered_fields(),
1303
 
      out_rows(0.0),
1304
 
      is_covering(false),
1305
 
      index_records(0),
1306
 
      index_scan_costs(0.0),
1307
 
      total_cost(0.0)
1308
 
  {}
1309
 
 
1310
 
  st_ror_intersect_info(const optimizer::Parameter *in_param)
1311
 
    :
1312
 
      param(in_param),
1313
 
      covered_fields(in_param->table->getShare()->sizeFields()),
1314
 
      out_rows(in_param->table->cursor->stats.records),
1315
 
      is_covering(false),
1316
 
      index_records(0),
1317
 
      index_scan_costs(0.0),
1318
 
      total_cost(0.0)
1319
 
  {
1320
 
    covered_fields.reset();
1321
 
  }
1322
 
 
1323
1334
  const optimizer::Parameter *param;
1324
 
  boost::dynamic_bitset<> covered_fields; /* union of fields covered by all scans */
 
1335
  MyBitmap covered_fields; /* union of fields covered by all scans */
1325
1336
  /*
1326
1337
    Fraction of table records that satisfies conditions of all scans.
1327
1338
    This is the number of full records that will be retrieved if a
1337
1348
} ROR_INTERSECT_INFO;
1338
1349
 
1339
1350
 
 
1351
/*
 
1352
  Allocate a ROR_INTERSECT_INFO and initialize it to contain zero scans.
 
1353
 
 
1354
  SYNOPSIS
 
1355
    ror_intersect_init()
 
1356
      param         Parameter from test_quick_select
 
1357
 
 
1358
  RETURN
 
1359
    allocated structure
 
1360
    NULL on error
 
1361
*/
 
1362
 
 
1363
static
 
1364
ROR_INTERSECT_INFO* ror_intersect_init(const optimizer::Parameter *param)
 
1365
{
 
1366
  ROR_INTERSECT_INFO *info;
 
1367
  my_bitmap_map* buf;
 
1368
  if (!(info= (ROR_INTERSECT_INFO*)param->mem_root->alloc_root(sizeof(ROR_INTERSECT_INFO))))
 
1369
    return NULL;
 
1370
  info->param= param;
 
1371
  if (!(buf= (my_bitmap_map*) param->mem_root->alloc_root(param->fields_bitmap_size)))
 
1372
    return NULL;
 
1373
  if (info->covered_fields.init(buf, param->table->getShare()->sizeFields()))
 
1374
    return NULL;
 
1375
  info->is_covering= false;
 
1376
  info->index_scan_costs= 0.0;
 
1377
  info->index_records= 0;
 
1378
  info->out_rows= (double) param->table->cursor->stats.records;
 
1379
  info->covered_fields.clearAll();
 
1380
  return info;
 
1381
}
 
1382
 
1340
1383
static void ror_intersect_cpy(ROR_INTERSECT_INFO *dst,
1341
1384
                              const ROR_INTERSECT_INFO *src)
1342
1385
{
1441
1484
*/
1442
1485
 
1443
1486
static double ror_scan_selectivity(const ROR_INTERSECT_INFO *info,
1444
 
                                   const optimizer::RorScanInfo *scan)
 
1487
                                   const ROR_SCAN_INFO *scan)
1445
1488
{
1446
1489
  double selectivity_mult= 1.0;
1447
1490
  KeyPartInfo *key_part= info->param->table->key_info[scan->keynr].key_part;
1451
1494
  optimizer::SEL_ARG *tuple_arg= NULL;
1452
1495
  key_part_map keypart_map= 0;
1453
1496
  bool cur_covered;
1454
 
  bool prev_covered= test(info->covered_fields.test(key_part->fieldnr-1));
 
1497
  bool prev_covered= test(info->covered_fields.isBitSet(key_part->fieldnr-1));
1455
1498
  key_range min_range;
1456
1499
  key_range max_range;
1457
1500
  min_range.key= key_val;
1464
1507
       sel_arg= sel_arg->next_key_part)
1465
1508
  {
1466
1509
    cur_covered=
1467
 
      test(info->covered_fields.test(key_part[sel_arg->part].fieldnr-1));
 
1510
      test(info->covered_fields.isBitSet(key_part[sel_arg->part].fieldnr-1));
1468
1511
    if (cur_covered != prev_covered)
1469
1512
    {
1470
1513
      /* create (part1val, ..., part{n-1}val) tuple. */
1549
1592
*/
1550
1593
 
1551
1594
static bool ror_intersect_add(ROR_INTERSECT_INFO *info,
1552
 
                              optimizer::RorScanInfo* ror_scan, bool is_cpk_scan)
 
1595
                              ROR_SCAN_INFO* ror_scan, bool is_cpk_scan)
1553
1596
{
1554
1597
  double selectivity_mult= 1.0;
1555
1598
 
1576
1619
  {
1577
1620
    info->index_records += info->param->table->quick_rows[ror_scan->keynr];
1578
1621
    info->index_scan_costs += ror_scan->index_read_cost;
1579
 
    boost::dynamic_bitset<> tmp_bitset= ror_scan->bitsToBitset();
1580
 
    info->covered_fields|= tmp_bitset;
1581
 
    if (! info->is_covering && info->param->needed_fields.is_subset_of(info->covered_fields))
 
1622
    bitmap_union(&info->covered_fields, &ror_scan->covered_fields);
 
1623
    if (!info->is_covering && bitmap_is_subset(&info->param->needed_fields,
 
1624
                                               &info->covered_fields))
1582
1625
    {
1583
1626
      info->is_covering= true;
1584
1627
    }
1585
1628
  }
1586
1629
 
1587
1630
  info->total_cost= info->index_scan_costs;
1588
 
  if (! info->is_covering)
 
1631
  if (!info->is_covering)
1589
1632
  {
1590
1633
    optimizer::CostVector sweep_cost;
1591
1634
    Join *join= info->param->session->lex->select_lex.join;
1636
1679
                                                            optimizer::SEL_TREE *tree,
1637
1680
                                                            double read_time)
1638
1681
{
1639
 
  optimizer::RorScanInfo **ror_scan_mark;
1640
 
  optimizer::RorScanInfo **ror_scans_end= tree->ror_scans_end;
 
1682
  ROR_SCAN_INFO **ror_scan_mark;
 
1683
  ROR_SCAN_INFO **ror_scans_end= tree->ror_scans_end;
1641
1684
 
1642
 
  for (optimizer::RorScanInfo **scan= tree->ror_scans; scan != ror_scans_end; ++scan)
 
1685
  for (ROR_SCAN_INFO **scan= tree->ror_scans; scan != ror_scans_end; ++scan)
1643
1686
    (*scan)->key_components=
1644
1687
      param->table->key_info[(*scan)->keynr].key_parts;
1645
1688
 
1651
1694
  /*I=set of all covering indexes */
1652
1695
  ror_scan_mark= tree->ror_scans;
1653
1696
 
1654
 
  boost::dynamic_bitset<> *covered_fields= &param->tmp_covered_fields;
1655
 
  if (covered_fields->empty())
 
1697
  MyBitmap *covered_fields= &param->tmp_covered_fields;
 
1698
  if (! covered_fields->getBitmap())
1656
1699
  {
1657
 
    covered_fields->resize(param->table->getShare()->sizeFields());
 
1700
    my_bitmap_map *tmp_bitmap= (my_bitmap_map*)param->mem_root->alloc_root(param->fields_bitmap_size);
 
1701
    covered_fields->setBitmap(tmp_bitmap);
1658
1702
  }
1659
 
  covered_fields->reset();
 
1703
  if (! covered_fields->getBitmap() ||
 
1704
      covered_fields->init(covered_fields->getBitmap(),
 
1705
                           param->table->getShare()->sizeFields()))
 
1706
    return 0;
 
1707
  covered_fields->clearAll();
1660
1708
 
1661
1709
  double total_cost= 0.0f;
1662
1710
  ha_rows records=0;
1670
1718
        number of first not covered component
1671
1719
      Calculate and save these values for each of remaining scans.
1672
1720
    */
1673
 
    for (optimizer::RorScanInfo **scan= ror_scan_mark; scan != ror_scans_end; ++scan)
 
1721
    for (ROR_SCAN_INFO **scan= ror_scan_mark; scan != ror_scans_end; ++scan)
1674
1722
    {
1675
 
      /* subtract one bitset from the other */
1676
 
      (*scan)->subtractBitset(*covered_fields);
 
1723
      bitmap_subtract(&(*scan)->covered_fields, covered_fields);
1677
1724
      (*scan)->used_fields_covered=
1678
 
        (*scan)->getBitCount();
1679
 
      (*scan)->first_uncovered_field= (*scan)->findFirstNotSet();
 
1725
        (*scan)->covered_fields.getBitsSet();
 
1726
      (*scan)->first_uncovered_field=
 
1727
        (*scan)->covered_fields.getFirst();
1680
1728
    }
1681
1729
 
1682
1730
    internal::my_qsort(ror_scan_mark, ror_scans_end-ror_scan_mark,
1683
 
                       sizeof(optimizer::RorScanInfo*),
 
1731
                       sizeof(ROR_SCAN_INFO*),
1684
1732
                       (qsort_cmp)cmp_ror_scan_info_covering);
1685
1733
 
1686
1734
    /* I=I-first(I) */
1689
1737
    if (total_cost > read_time)
1690
1738
      return NULL;
1691
1739
    /* F=F-covered by first(I) */
1692
 
    boost::dynamic_bitset<> tmp_bitset= (*ror_scan_mark)->bitsToBitset();
1693
 
    *covered_fields|= tmp_bitset;
1694
 
    all_covered= param->needed_fields.is_subset_of(*covered_fields);
1695
 
  } while ((++ror_scan_mark < ror_scans_end) && ! all_covered);
 
1740
    bitmap_union(covered_fields, &(*ror_scan_mark)->covered_fields);
 
1741
    all_covered= bitmap_is_subset(&param->needed_fields, covered_fields);
 
1742
  } while ((++ror_scan_mark < ror_scans_end) && !all_covered);
1696
1743
 
1697
1744
  if (!all_covered || (ror_scan_mark - tree->ror_scans) == 1)
1698
1745
    return NULL;
1716
1763
  }
1717
1764
 
1718
1765
  uint32_t best_num= (ror_scan_mark - tree->ror_scans);
1719
 
  if (!(trp->first_scan= (optimizer::RorScanInfo**)param->mem_root->alloc_root(sizeof(optimizer::RorScanInfo*)* best_num)))
 
1766
  if (!(trp->first_scan= (ROR_SCAN_INFO**)param->mem_root->alloc_root(sizeof(ROR_SCAN_INFO*)* best_num)))
1720
1767
    return NULL;
1721
 
  memcpy(trp->first_scan, tree->ror_scans, best_num*sizeof(optimizer::RorScanInfo*));
 
1768
  memcpy(trp->first_scan, tree->ror_scans, best_num*sizeof(ROR_SCAN_INFO*));
1722
1769
  trp->last_scan=  trp->first_scan + best_num;
1723
1770
  trp->is_covering= true;
1724
1771
  trp->read_cost= total_cost;
1807
1854
    return NULL;
1808
1855
 
1809
1856
  /*
1810
 
    Step1: Collect ROR-able SEL_ARGs and create optimizer::RorScanInfo for each of
 
1857
    Step1: Collect ROR-able SEL_ARGs and create ROR_SCAN_INFO for each of
1811
1858
    them. Also find and save clustered PK scan if there is one.
1812
1859
  */
1813
 
  optimizer::RorScanInfo **cur_ror_scan= NULL;
1814
 
  optimizer::RorScanInfo *cpk_scan= NULL;
 
1860
  ROR_SCAN_INFO **cur_ror_scan= NULL;
 
1861
  ROR_SCAN_INFO *cpk_scan= NULL;
1815
1862
  uint32_t cpk_no= 0;
1816
1863
  bool cpk_scan_used= false;
1817
1864
 
1818
 
  if (! (tree->ror_scans= (optimizer::RorScanInfo**)param->mem_root->alloc_root(sizeof(optimizer::RorScanInfo*)* param->keys)))
 
1865
  if (! (tree->ror_scans= (ROR_SCAN_INFO**)param->mem_root->alloc_root(sizeof(ROR_SCAN_INFO*)* param->keys)))
1819
1866
  {
1820
1867
    return NULL;
1821
1868
  }
1824
1871
 
1825
1872
  for (idx= 0, cur_ror_scan= tree->ror_scans; idx < param->keys; idx++)
1826
1873
  {
1827
 
    optimizer::RorScanInfo *scan;
 
1874
    ROR_SCAN_INFO *scan;
1828
1875
    if (! tree->ror_scans_map.test(idx))
1829
1876
      continue;
1830
 
    if (! (scan= make_ror_scan(param, idx, tree->keys[idx])))
 
1877
    if (!(scan= make_ror_scan(param, idx, tree->keys[idx])))
1831
1878
      return NULL;
1832
1879
    if (param->real_keynr[idx] == cpk_no)
1833
1880
    {
1841
1888
  tree->ror_scans_end= cur_ror_scan;
1842
1889
  /*
1843
1890
    Ok, [ror_scans, ror_scans_end) is array of ptrs to initialized
1844
 
    optimizer::RorScanInfo's.
 
1891
    ROR_SCAN_INFO's.
1845
1892
    Step 2: Get best ROR-intersection using an approximate algorithm.
1846
1893
  */
1847
 
  internal::my_qsort(tree->ror_scans, tree->n_ror_scans, sizeof(optimizer::RorScanInfo*),
 
1894
  internal::my_qsort(tree->ror_scans, tree->n_ror_scans, sizeof(ROR_SCAN_INFO*),
1848
1895
                     (qsort_cmp)cmp_ror_scan_info);
1849
1896
 
1850
 
  optimizer::RorScanInfo **intersect_scans= NULL; /* ROR scans used in index intersection */
1851
 
  optimizer::RorScanInfo **intersect_scans_end= NULL;
1852
 
  if (! (intersect_scans= (optimizer::RorScanInfo**)param->mem_root->alloc_root(sizeof(optimizer::RorScanInfo*) * tree->n_ror_scans)))
 
1897
  ROR_SCAN_INFO **intersect_scans= NULL; /* ROR scans used in index intersection */
 
1898
  ROR_SCAN_INFO **intersect_scans_end= NULL;
 
1899
  if (! (intersect_scans= (ROR_SCAN_INFO**)param->mem_root->alloc_root(sizeof(ROR_SCAN_INFO*) * tree->n_ror_scans)))
1853
1900
    return NULL;
1854
1901
  intersect_scans_end= intersect_scans;
1855
1902
 
1856
1903
  /* Create and incrementally update ROR intersection. */
1857
 
  ROR_INTERSECT_INFO intersect(param);
1858
 
  ROR_INTERSECT_INFO intersect_best(param);
 
1904
  ROR_INTERSECT_INFO *intersect= NULL;
 
1905
  ROR_INTERSECT_INFO *intersect_best= NULL;
 
1906
  if (! (intersect= ror_intersect_init(param)) ||
 
1907
      ! (intersect_best= ror_intersect_init(param)))
 
1908
    return NULL;
1859
1909
 
1860
1910
  /* [intersect_scans,intersect_scans_best) will hold the best intersection */
1861
 
  optimizer::RorScanInfo **intersect_scans_best= NULL;
 
1911
  ROR_SCAN_INFO **intersect_scans_best= NULL;
1862
1912
  cur_ror_scan= tree->ror_scans;
1863
1913
  intersect_scans_best= intersect_scans;
1864
 
  while (cur_ror_scan != tree->ror_scans_end && ! intersect.is_covering)
 
1914
  while (cur_ror_scan != tree->ror_scans_end && !intersect->is_covering)
1865
1915
  {
1866
1916
    /* S= S + first(R);  R= R - first(R); */
1867
 
    if (! ror_intersect_add(&intersect, *cur_ror_scan, false))
 
1917
    if (!ror_intersect_add(intersect, *cur_ror_scan, false))
1868
1918
    {
1869
1919
      cur_ror_scan++;
1870
1920
      continue;
1872
1922
 
1873
1923
    *(intersect_scans_end++)= *(cur_ror_scan++);
1874
1924
 
1875
 
    if (intersect.total_cost < min_cost)
 
1925
    if (intersect->total_cost < min_cost)
1876
1926
    {
1877
1927
      /* Local minimum found, save it */
1878
 
      ror_intersect_cpy(&intersect_best, &intersect);
 
1928
      ror_intersect_cpy(intersect_best, intersect);
1879
1929
      intersect_scans_best= intersect_scans_end;
1880
 
      min_cost = intersect.total_cost;
 
1930
      min_cost = intersect->total_cost;
1881
1931
    }
1882
1932
  }
1883
1933
 
1886
1936
    return NULL;
1887
1937
  }
1888
1938
 
1889
 
  *are_all_covering= intersect.is_covering;
 
1939
  *are_all_covering= intersect->is_covering;
1890
1940
  uint32_t best_num= intersect_scans_best - intersect_scans;
1891
 
  ror_intersect_cpy(&intersect, &intersect_best);
 
1941
  ror_intersect_cpy(intersect, intersect_best);
1892
1942
 
1893
1943
  /*
1894
1944
    Ok, found the best ROR-intersection of non-CPK key scans.
1895
1945
    Check if we should add a CPK scan. If the obtained ROR-intersection is
1896
1946
    covering, it doesn't make sense to add CPK scan.
1897
1947
  */
1898
 
  if (cpk_scan && ! intersect.is_covering)
 
1948
  if (cpk_scan && !intersect->is_covering)
1899
1949
  {
1900
 
    if (ror_intersect_add(&intersect, cpk_scan, true) &&
1901
 
        (intersect.total_cost < min_cost))
 
1950
    if (ror_intersect_add(intersect, cpk_scan, true) &&
 
1951
        (intersect->total_cost < min_cost))
1902
1952
    {
1903
1953
      cpk_scan_used= true;
1904
1954
      intersect_best= intersect; //just set pointer here
1913
1963
      return trp;
1914
1964
 
1915
1965
    if (! (trp->first_scan=
1916
 
           (optimizer::RorScanInfo**)param->mem_root->alloc_root(sizeof(optimizer::RorScanInfo*)*best_num)))
 
1966
           (ROR_SCAN_INFO**)param->mem_root->alloc_root(sizeof(ROR_SCAN_INFO*)*best_num)))
1917
1967
      return NULL;
1918
 
    memcpy(trp->first_scan, intersect_scans, best_num*sizeof(optimizer::RorScanInfo*));
 
1968
    memcpy(trp->first_scan, intersect_scans, best_num*sizeof(ROR_SCAN_INFO*));
1919
1969
    trp->last_scan=  trp->first_scan + best_num;
1920
 
    trp->is_covering= intersect_best.is_covering;
1921
 
    trp->read_cost= intersect_best.total_cost;
 
1970
    trp->is_covering= intersect_best->is_covering;
 
1971
    trp->read_cost= intersect_best->total_cost;
1922
1972
    /* Prevent divisons by zero */
1923
 
    ha_rows best_rows = double2rows(intersect_best.out_rows);
 
1973
    ha_rows best_rows = double2rows(intersect_best->out_rows);
1924
1974
    if (! best_rows)
1925
1975
      best_rows= 1;
1926
1976
    set_if_smaller(param->table->quick_condition_rows, best_rows);
1927
1977
    trp->records= best_rows;
1928
 
    trp->index_scan_costs= intersect_best.index_scan_costs;
 
1978
    trp->index_scan_costs= intersect_best->index_scan_costs;
1929
1979
    trp->cpk_scan= cpk_scan_used? cpk_scan: NULL;
1930
1980
  }
1931
1981
  return trp;
3734
3784
  /* Ok got a tuple */
3735
3785
  RANGE_SEQ_ENTRY *cur= &seq->stack[seq->i];
3736
3786
 
3737
 
  range->ptr= (char*)(size_t)(key_tree->part);
 
3787
  range->ptr= (char*)(int)(key_tree->part);
3738
3788
  {
3739
3789
    range->range_flag= cur->min_key_flag | cur->max_key_flag;
3740
3790
 
3978
4028
                            uint32_t mrr_buf_size,
3979
4029
                            memory::Root *parent_alloc)
3980
4030
{
3981
 
  optimizer::QuickRangeSelect *quick= new optimizer::QuickRangeSelect(param->session,
3982
 
                                                                      param->table,
3983
 
                                                                      param->real_keynr[idx],
3984
 
                                                                      test(parent_alloc),
3985
 
                                                                      NULL);
 
4031
  optimizer::QuickRangeSelect *quick= NULL;
 
4032
  bool create_err= false;
 
4033
 
 
4034
  quick= new optimizer::QuickRangeSelect(param->session,
 
4035
                                         param->table,
 
4036
                                         param->real_keynr[idx],
 
4037
                                         test(parent_alloc),
 
4038
                                         NULL,
 
4039
                                         &create_err);
3986
4040
 
3987
4041
  if (quick)
3988
4042
  {
3989
 
          if (get_quick_keys(param,
 
4043
    if (create_err ||
 
4044
              get_quick_keys(param,
3990
4045
                       quick,
3991
4046
                       param->key[idx],
3992
4047
                       key_tree,
4207
4262
}
4208
4263
 
4209
4264
 
4210
 
bool optimizer::QuickSelectInterface::is_keys_used(const boost::dynamic_bitset<>& fields)
 
4265
bool optimizer::QuickSelectInterface::is_keys_used(const MyBitmap *fields)
4211
4266
{
4212
4267
  return is_key_used(head, index, fields);
4213
4268
}
4237
4292
                                                                 table_reference_st *ref,
4238
4293
                                                                 ha_rows records)
4239
4294
{
4240
 
  memory::Root *old_root= NULL;
4241
 
  memory::Root *alloc= NULL;
 
4295
  memory::Root *old_root, *alloc;
 
4296
  optimizer::QuickRangeSelect *quick= NULL;
4242
4297
  KeyInfo *key_info = &table->key_info[ref->key];
4243
4298
  KEY_PART *key_part;
4244
4299
  optimizer::QuickRange *range= NULL;
4245
4300
  uint32_t part;
 
4301
  bool create_err= false;
4246
4302
  optimizer::CostVector cost;
4247
4303
 
4248
4304
  old_root= session->mem_root;
4249
4305
  /* The following call may change session->mem_root */
4250
 
  optimizer::QuickRangeSelect *quick= new optimizer::QuickRangeSelect(session, table, ref->key, 0, 0);
 
4306
  quick= new optimizer::QuickRangeSelect(session, table, ref->key, 0, 0, &create_err);
4251
4307
  /* save mem_root set by QuickRangeSelect constructor */
4252
4308
  alloc= session->mem_root;
4253
4309
  /*
4256
4312
  */
4257
4313
  session->mem_root= old_root;
4258
4314
 
4259
 
  if (! quick)
 
4315
  if (!quick || create_err)
4260
4316
    return 0;                   /* no ranges found */
4261
4317
  if (quick->init())
4262
4318
    goto err;
4578
4634
  uint32_t key_infix_len= 0;          /* Length of key_infix. */
4579
4635
  optimizer::GroupMinMaxReadPlan *read_plan= NULL; /* The eventually constructed TRP. */
4580
4636
  uint32_t key_part_nr;
4581
 
  Order *tmp_group= NULL;
 
4637
  order_st *tmp_group= NULL;
4582
4638
  Item *item= NULL;
4583
4639
  Item_field *item_field= NULL;
4584
4640
 
5567
5623
}
5568
5624
 
5569
5625
 
5570
 
uint32_t optimizer::RorScanInfo::findFirstNotSet() const
5571
 
{
5572
 
  boost::dynamic_bitset<> map= bitsToBitset();
5573
 
  for (boost::dynamic_bitset<>::size_type i= 0; i < map.size(); i++)
5574
 
  {
5575
 
    if (! map.test(i))
5576
 
    {
5577
 
      return i;
5578
 
    }
5579
 
  }
5580
 
  return map.size();
5581
 
}
5582
 
 
5583
 
 
5584
 
size_t optimizer::RorScanInfo::getBitCount() const
5585
 
{
5586
 
  boost::dynamic_bitset<> tmp_bitset= bitsToBitset();
5587
 
  return tmp_bitset.count();
5588
 
}
5589
 
 
5590
 
 
5591
 
void optimizer::RorScanInfo::subtractBitset(const boost::dynamic_bitset<>& in_bitset)
5592
 
{
5593
 
  boost::dynamic_bitset<> tmp_bitset= bitsToBitset();
5594
 
  tmp_bitset-= in_bitset;
5595
 
  covered_fields= tmp_bitset.to_ulong();
5596
 
}
5597
 
 
5598
 
 
5599
 
boost::dynamic_bitset<> optimizer::RorScanInfo::bitsToBitset() const
5600
 
{
5601
 
  string res;
5602
 
  uint64_t conv= covered_fields;
5603
 
  while (conv)
5604
 
  {
5605
 
    res.push_back((conv & 1) + '0');
5606
 
    conv>>= 1;
5607
 
  }
5608
 
  if (! res.empty())
5609
 
  {
5610
 
    std::reverse(res.begin(), res.end());
5611
 
  }
5612
 
  string final(covered_fields_size - res.length(), '0');
5613
 
  final.append(res);
5614
 
  return (boost::dynamic_bitset<>(final));
5615
 
}
5616
 
 
5617
 
 
5618
5626
} /* namespace drizzled */