Re: [Tarantool-patches] [PATCH v1 1/1] sql: enable autoindex optimization

[Vladislav Shpilevoy <v.shpilevoy@tarantool.org>]

Спасибо за ответы!

>         > + int cursor, int reg_out, int reg_eph)
>         > +{
>         > + assert(reg_out != 0);
>         > + struct Vdbe *v = parse->pVdbe;
>         > + int col_cnt = idx_def->key_def->part_count;
>         > + int reg_base = sqlGetTempRange(parse, col_cnt + 1);
>         > + for (int j = 0; j < col_cnt; j++) {
>         > + uint32_t tabl_col = idx_def->key_def->parts[j].fieldno;
>         > + sqlVdbeAddOp3(v, OP_Column, cursor, tabl_col, reg_base + j);
>         > + /*
>         > + * If the column type is NUMBER but the number
>         > + * is an integer, then it might be stored in the
>         > + * table as an integer (using a compact
>         > + * representation) then converted to REAL by an
>         > + * OP_Realify opcode. But we are getting
>         > + * ready to store this value back into an index,
>         > + * where it should be converted by to INTEGER
>         > + * again. So omit the OP_Realify opcode if
>         > + * it is present
>         > + */
>         > + sqlVdbeDeletePriorOpcode(v, OP_Realify);
>         > + }
>         > + sqlVdbeAddOp2(v, OP_NextIdEphemeral, reg_eph, reg_base + col_cnt);
>         > + sqlVdbeAddOp3(v, OP_MakeRecord, reg_base, col_cnt + 1, reg_out);
>         > +
>         > + sqlReleaseTempRange(parse, reg_base, col_cnt);
>         > + return reg_base;
>         > +}
>         > +
>         > /*
>         > - * Generate code to construct the Index object for an automatic index
>         > - * and to set up the WhereLevel object pLevel so that the code generator
>         > - * makes use of the automatic index.
>         > + * Generate code to construct the ephemeral space that contains used in query
>         > + * fields of one of the tables. The index of this ephemeral space will be known
>         > + * as an "automatic index". Also, this functions set up the WhereLevel object
>         > + * pLevel so that the code generator makes use of the automatic index.
>         > */
>         > static void
>         > constructAutomaticIndex(Parse * pParse, /* The parsing context */
>         > @@ -801,9 +852,11 @@ constructAutomaticIndex(Parse * pParse, /* The parsing context */
>         > n = 0;
>         > idxCols = 0;
>         > uint32_t size = sizeof(struct key_part_def) * nKeyCol;
>         > - struct key_part_def *part_def = malloc(size);
>         > + struct region *region = &fiber()->gc;
>         > + size_t used = region_used(region);
>         > + struct key_part_def *part_def = region_alloc(region, size);
> 
>         Это раздолбает с ASANом из-за отсутствия выравнивания. Нужен region_alloc_array.
> 
> Исправлю, но мне казалочь, что это временый объект и его выравнивание нигде не проверяется.

Временный или нет - это не важно. Если эта память используется, значит
делается доступ по адресу, который вернулся из аллока. Выровнено доложно
быть абсолтюно все. Если ты используешь память как struct key_part_def,
значит память должна быть выровнена по alignof(struct key_part_def).

Можно не выравнивать только PACKED структуры и байтовые массивы типа
строк, где доступ побайтовый (выравнивание = 1).

Проверок на выровненность действительно нет в обычных сборках. Но есть
на сборке с асаном - он генерирует их во время компиляции, хоть в коде
ты их и не видишь. Еще могут быть на некоторых процах, где доступ по
невыровненному адресу может крешнуть.