CacheDictionary.cpp 38.3 KB
Newer Older
1
#include <functional>
2 3
#include <sstream>
#include <memory>
4
#include <Columns/ColumnsNumber.h>
5
#include <Columns/ColumnString.h>
6 7 8 9 10
#include <Common/BitHelpers.h>
#include <Common/randomSeed.h>
#include <Common/HashTable/Hash.h>
#include <Common/Stopwatch.h>
#include <Common/ProfilingScopedRWLock.h>
11 12
#include <Common/ProfileEvents.h>
#include <Common/CurrentMetrics.h>
13
#include <Common/typeid_cast.h>
14 15
#include <Dictionaries/CacheDictionary.h>
#include <Dictionaries/DictionaryBlockInputStream.h>
16 17 18
#include <ext/size.h>
#include <ext/range.h>
#include <ext/map.h>
19 20


21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
namespace ProfileEvents
{
    extern const Event DictCacheKeysRequested;
    extern const Event DictCacheKeysRequestedMiss;
    extern const Event DictCacheKeysRequestedFound;
    extern const Event DictCacheKeysExpired;
    extern const Event DictCacheKeysNotFound;
    extern const Event DictCacheKeysHit;
    extern const Event DictCacheRequestTimeNs;
    extern const Event DictCacheRequests;
    extern const Event DictCacheLockWriteNs;
    extern const Event DictCacheLockReadNs;
}

namespace CurrentMetrics
{
    extern const Metric DictCacheRequests;
}


41 42 43 44 45
namespace DB
{

namespace ErrorCodes
{
46 47 48
    extern const int TYPE_MISMATCH;
    extern const int BAD_ARGUMENTS;
    extern const int UNSUPPORTED_METHOD;
A
Alexey Milovidov 已提交
49
    extern const int LOGICAL_ERROR;
50 51 52
}


P
proller 已提交
53
inline size_t CacheDictionary::getCellIdx(const Key id) const
54
{
55 56 57
    const auto hash = intHash64(id);
    const auto idx = hash & size_overlap_mask;
    return idx;
58 59 60 61
}


CacheDictionary::CacheDictionary(const std::string & name, const DictionaryStructure & dict_struct,
62
    DictionarySourcePtr source_ptr, const DictionaryLifetime dict_lifetime,
63
    const size_t size)
64 65 66 67 68
    : name{name}, dict_struct(dict_struct),
        source_ptr{std::move(source_ptr)}, dict_lifetime(dict_lifetime),
        size{roundUpToPowerOfTwoOrZero(std::max(size, size_t(max_collision_length)))},
        size_overlap_mask{this->size - 1},
        cells{this->size},
69
        rnd_engine(randomSeed())
70
{
71
    if (!this->source_ptr->supportsSelectiveLoad())
72
        throw Exception{name + ": source cannot be used with CacheDictionary", ErrorCodes::UNSUPPORTED_METHOD};
73

74
    createAttributes();
75 76 77
}

CacheDictionary::CacheDictionary(const CacheDictionary & other)
78
    : CacheDictionary{other.name, other.dict_struct, other.source_ptr->clone(), other.dict_lifetime, other.size}
79 80 81
{}


A
Alexey Milovidov 已提交
82
void CacheDictionary::toParent(const PaddedPODArray<Key> & ids, PaddedPODArray<Key> & out) const
83
{
84
    const auto null_value = std::get<UInt64>(hierarchical_attribute->null_values);
85

86
    getItemsNumber<UInt64>(*hierarchical_attribute, ids, out, [&] (const size_t) { return null_value; });
87 88 89
}


90 91
/// Allow to use single value in same way as array.
static inline CacheDictionary::Key getAt(const PaddedPODArray<CacheDictionary::Key> & arr, const size_t idx) { return arr[idx]; }
A
Alexey Milovidov 已提交
92
static inline CacheDictionary::Key getAt(const CacheDictionary::Key & value, const size_t) { return value; }
93 94 95 96


template <typename AncestorType>
void CacheDictionary::isInImpl(
97 98 99
    const PaddedPODArray<Key> & child_ids,
    const AncestorType & ancestor_ids,
    PaddedPODArray<UInt8> & out) const
100
{
101 102
    /// Transform all children to parents until ancestor id or null_value will be reached.

103 104
    size_t out_size = out.size();
    memset(out.data(), 0xFF, out_size);        /// 0xFF means "not calculated"
105 106 107

    const auto null_value = std::get<UInt64>(hierarchical_attribute->null_values);

108
    PaddedPODArray<Key> children(out_size);
109 110 111 112 113 114 115 116
    PaddedPODArray<Key> parents(child_ids.begin(), child_ids.end());

    while (true)
    {
        size_t out_idx = 0;
        size_t parents_idx = 0;
        size_t new_children_idx = 0;

117
        while (out_idx < out_size)
118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135
        {
            /// Already calculated
            if (out[out_idx] != 0xFF)
            {
                ++out_idx;
                continue;
            }

            /// No parent
            if (parents[parents_idx] == null_value)
            {
                out[out_idx] = 0;
            }
            /// Found ancestor
            else if (parents[parents_idx] == getAt(ancestor_ids, parents_idx))
            {
                out[out_idx] = 1;
            }
A
alexey-milovidov 已提交
136
            /// Loop detected
137 138
            else if (children[new_children_idx] == parents[parents_idx])
            {
P
proller 已提交
139
                out[out_idx] = 1;
140
            }
A
alexey-milovidov 已提交
141
            /// Found intermediate parent, add this value to search at next loop iteration
142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160
            else
            {
                children[new_children_idx] = parents[parents_idx];
                ++new_children_idx;
            }

            ++out_idx;
            ++parents_idx;
        }

        if (new_children_idx == 0)
            break;

        /// Transform all children to its parents.
        children.resize(new_children_idx);
        parents.resize(new_children_idx);

        toParent(children, parents);
    }
161 162 163
}

void CacheDictionary::isInVectorVector(
164 165 166
    const PaddedPODArray<Key> & child_ids,
    const PaddedPODArray<Key> & ancestor_ids,
    PaddedPODArray<UInt8> & out) const
167
{
168
    isInImpl(child_ids, ancestor_ids, out);
169
}
170

171
void CacheDictionary::isInVectorConstant(
172 173 174
    const PaddedPODArray<Key> & child_ids,
    const Key ancestor_id,
    PaddedPODArray<UInt8> & out) const
175
{
176
    isInImpl(child_ids, ancestor_id, out);
177
}
178

179
void CacheDictionary::isInConstantVector(
180 181 182
    const Key child_id,
    const PaddedPODArray<Key> & ancestor_ids,
    PaddedPODArray<UInt8> & out) const
183
{
184
    /// Special case with single child value.
185

186
    const auto null_value = std::get<UInt64>(hierarchical_attribute->null_values);
187

188 189 190
    PaddedPODArray<Key> child(1, child_id);
    PaddedPODArray<Key> parent(1);
    std::vector<Key> ancestors(1, child_id);
191

192 193 194 195
    /// Iteratively find all ancestors for child.
    while (true)
    {
        toParent(child, parent);
196

197 198
        if (parent[0] == null_value)
            break;
199

200 201 202
        child[0] = parent[0];
        ancestors.push_back(parent[0]);
    }
203

204
    /// Assuming short hierarchy, so linear search is Ok.
205
    for (size_t i = 0, out_size = out.size(); i < out_size; ++i)
206
        out[i] = std::find(ancestors.begin(), ancestors.end(), ancestor_ids[i]) != ancestors.end();
207
}
208 209


210
#define DECLARE(TYPE)\
211
void CacheDictionary::get##TYPE(const std::string & attribute_name, const PaddedPODArray<Key> & ids, ResultArrayType<TYPE> & out) const\
212
{\
213 214
    auto & attribute = getAttribute(attribute_name);\
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::TYPE))\
215
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};\
216 217 218
    \
    const auto null_value = std::get<TYPE>(attribute.null_values);\
    \
219
    getItemsNumber<TYPE>(attribute, ids, out, [&] (const size_t) { return null_value; });\
220 221 222 223 224
}
DECLARE(UInt8)
DECLARE(UInt16)
DECLARE(UInt32)
DECLARE(UInt64)
225
DECLARE(UInt128)
226 227 228 229 230 231
DECLARE(Int8)
DECLARE(Int16)
DECLARE(Int32)
DECLARE(Int64)
DECLARE(Float32)
DECLARE(Float64)
232 233 234
DECLARE(Decimal32)
DECLARE(Decimal64)
DECLARE(Decimal128)
235 236
#undef DECLARE

A
Alexey Milovidov 已提交
237
void CacheDictionary::getString(const std::string & attribute_name, const PaddedPODArray<Key> & ids, ColumnString * out) const
238
{
239 240
    auto & attribute = getAttribute(attribute_name);
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::String))
241
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};
242

243
    const auto null_value = StringRef{std::get<String>(attribute.null_values)};
244

245
    getItemsString(attribute, ids, out, [&] (const size_t) { return null_value; });
246 247 248 249
}

#define DECLARE(TYPE)\
void CacheDictionary::get##TYPE(\
250
    const std::string & attribute_name, const PaddedPODArray<Key> & ids, const PaddedPODArray<TYPE> & def,\
251
    ResultArrayType<TYPE> & out) const\
252
{\
253 254
    auto & attribute = getAttribute(attribute_name);\
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::TYPE))\
255
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};\
256
    \
257
    getItemsNumber<TYPE>(attribute, ids, out, [&] (const size_t row) { return def[row]; });\
258 259 260 261 262
}
DECLARE(UInt8)
DECLARE(UInt16)
DECLARE(UInt32)
DECLARE(UInt64)
263
DECLARE(UInt128)
264 265 266 267 268 269
DECLARE(Int8)
DECLARE(Int16)
DECLARE(Int32)
DECLARE(Int64)
DECLARE(Float32)
DECLARE(Float64)
270 271 272
DECLARE(Decimal32)
DECLARE(Decimal64)
DECLARE(Decimal128)
273 274 275
#undef DECLARE

void CacheDictionary::getString(
276 277
    const std::string & attribute_name, const PaddedPODArray<Key> & ids, const ColumnString * const def,
    ColumnString * const out) const
278
{
279 280
    auto & attribute = getAttribute(attribute_name);
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::String))
281
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};
282

283
    getItemsString(attribute, ids, out, [&] (const size_t row) { return def->getDataAt(row); });
284 285 286 287
}

#define DECLARE(TYPE)\
void CacheDictionary::get##TYPE(\
288
    const std::string & attribute_name, const PaddedPODArray<Key> & ids, const TYPE def, ResultArrayType<TYPE> & out) const\
289
{\
290 291
    auto & attribute = getAttribute(attribute_name);\
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::TYPE))\
292
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};\
293
    \
294
    getItemsNumber<TYPE>(attribute, ids, out, [&] (const size_t) { return def; });\
295 296 297 298 299
}
DECLARE(UInt8)
DECLARE(UInt16)
DECLARE(UInt32)
DECLARE(UInt64)
300
DECLARE(UInt128)
301 302 303 304 305 306
DECLARE(Int8)
DECLARE(Int16)
DECLARE(Int32)
DECLARE(Int64)
DECLARE(Float32)
DECLARE(Float64)
307 308 309
DECLARE(Decimal32)
DECLARE(Decimal64)
DECLARE(Decimal128)
310 311 312
#undef DECLARE

void CacheDictionary::getString(
313 314
    const std::string & attribute_name, const PaddedPODArray<Key> & ids, const String & def,
    ColumnString * const out) const
315
{
316 317
    auto & attribute = getAttribute(attribute_name);
    if (!isAttributeTypeConvertibleTo(attribute.type, AttributeUnderlyingType::String))
318
        throw Exception{name + ": type mismatch: attribute " + attribute_name + " has type " + toString(attribute.type), ErrorCodes::TYPE_MISMATCH};
319

320
    getItemsString(attribute, ids, out, [&] (const size_t) { return StringRef{def}; });
321 322 323
}


324
/// returns cell_idx (always valid for replacing), 'cell is valid' flag, 'cell is outdated' flag
325 326 327 328 329 330 331 332
/// true  false   found and valid
/// false true    not found (something outdated, maybe our cell)
/// false false   not found (other id stored with valid data)
/// true  true    impossible
///
/// todo: split this func to two: find_for_get and find_for_set
CacheDictionary::FindResult CacheDictionary::findCellIdx(const Key & id, const CellMetadata::time_point_t now) const
{
333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361
    auto pos = getCellIdx(id);
    auto oldest_id = pos;
    auto oldest_time = CellMetadata::time_point_t::max();
    const auto stop = pos + max_collision_length;
    for (; pos < stop; ++pos)
    {
        const auto cell_idx = pos & size_overlap_mask;
        const auto & cell = cells[cell_idx];

        if (cell.id != id)
        {
            /// maybe we already found nearest expired cell (try minimize collision_length on insert)
            if (oldest_time > now && oldest_time > cell.expiresAt())
            {
                oldest_time = cell.expiresAt();
                oldest_id = cell_idx;
            }
            continue;
        }

        if (cell.expiresAt() < now)
        {
            return {cell_idx, false, true};
        }

        return {cell_idx, true, false};
    }

    return {oldest_id, false, false};
362 363
}

A
Alexey Milovidov 已提交
364
void CacheDictionary::has(const PaddedPODArray<Key> & ids, PaddedPODArray<UInt8> & out) const
365
{
366
    /// Mapping: <id> -> { all indices `i` of `ids` such that `ids[i]` = <id> }
367
    std::unordered_map<Key, std::vector<size_t>> outdated_ids;
368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413

    size_t cache_expired = 0, cache_not_found = 0, cache_hit = 0;

    const auto rows = ext::size(ids);
    {
        const ProfilingScopedReadRWLock read_lock{rw_lock, ProfileEvents::DictCacheLockReadNs};

        const auto now = std::chrono::system_clock::now();
        /// fetch up-to-date values, decide which ones require update
        for (const auto row : ext::range(0, rows))
        {
            const auto id = ids[row];
            const auto find_result = findCellIdx(id, now);
            const auto & cell_idx = find_result.cell_idx;
            if (!find_result.valid)
            {
                outdated_ids[id].push_back(row);
                if (find_result.outdated)
                    ++cache_expired;
                else
                    ++cache_not_found;
            }
            else
            {
                ++cache_hit;
                const auto & cell = cells[cell_idx];
                out[row] = !cell.isDefault();
            }
        }
    }

    ProfileEvents::increment(ProfileEvents::DictCacheKeysExpired, cache_expired);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysNotFound, cache_not_found);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysHit, cache_hit);

    query_count.fetch_add(rows, std::memory_order_relaxed);
    hit_count.fetch_add(rows - outdated_ids.size(), std::memory_order_release);

    if (outdated_ids.empty())
        return;

    std::vector<Key> required_ids(outdated_ids.size());
    std::transform(std::begin(outdated_ids), std::end(outdated_ids), std::begin(required_ids),
        [] (auto & pair) { return pair.first; });

    /// request new values
A
Alexey Milovidov 已提交
414 415 416
    update(required_ids,
    [&] (const auto id, const auto)
    {
417 418
        for (const auto row : outdated_ids[id])
            out[row] = true;
A
Alexey Milovidov 已提交
419 420 421
    },
    [&] (const auto id, const auto)
    {
422 423 424
        for (const auto row : outdated_ids[id])
            out[row] = false;
    });
425 426 427 428 429
}


void CacheDictionary::createAttributes()
{
430 431
    const auto attributes_size = dict_struct.attributes.size();
    attributes.reserve(attributes_size);
432 433

    bytes_allocated += size * sizeof(CellMetadata);
434
    bytes_allocated += attributes_size * sizeof(attributes.front());
435 436 437 438 439 440 441 442

    for (const auto & attribute : dict_struct.attributes)
    {
        attribute_index_by_name.emplace(attribute.name, attributes.size());
        attributes.push_back(createAttributeWithType(attribute.underlying_type, attribute.null_value));

        if (attribute.hierarchical)
        {
443
            hierarchical_attribute = & attributes.back();
444 445

            if (hierarchical_attribute->type != AttributeUnderlyingType::UInt64)
446
                throw Exception{name + ": hierarchical attribute must be UInt64.", ErrorCodes::TYPE_MISMATCH};
447 448
        }
    }
449 450
}

A
Alexey Milovidov 已提交
451
CacheDictionary::Attribute CacheDictionary::createAttributeWithType(const AttributeUnderlyingType type, const Field & null_value)
452
{
A
Alexey Milovidov 已提交
453
    Attribute attr{type, {}, {}};
454 455 456 457

    switch (type)
    {
        case AttributeUnderlyingType::UInt8:
A
Alexey Milovidov 已提交
458 459
            attr.null_values = null_value.get<UInt64>();
            attr.arrays = std::make_unique<ContainerType<UInt8>>(size);
460 461 462
            bytes_allocated += size * sizeof(UInt8);
            break;
        case AttributeUnderlyingType::UInt16:
A
Alexey Milovidov 已提交
463 464
            attr.null_values = null_value.get<UInt64>();
            attr.arrays = std::make_unique<ContainerType<UInt16>>(size);
465 466 467
            bytes_allocated += size * sizeof(UInt16);
            break;
        case AttributeUnderlyingType::UInt32:
A
Alexey Milovidov 已提交
468 469
            attr.null_values = null_value.get<UInt64>();
            attr.arrays = std::make_unique<ContainerType<UInt32>>(size);
470 471 472
            bytes_allocated += size * sizeof(UInt32);
            break;
        case AttributeUnderlyingType::UInt64:
A
Alexey Milovidov 已提交
473 474
            attr.null_values = null_value.get<UInt64>();
            attr.arrays = std::make_unique<ContainerType<UInt64>>(size);
475 476
            bytes_allocated += size * sizeof(UInt64);
            break;
477
        case AttributeUnderlyingType::UInt128:
A
Alexey Milovidov 已提交
478 479
            attr.null_values = null_value.get<UInt128>();
            attr.arrays = std::make_unique<ContainerType<UInt128>>(size);
480 481
            bytes_allocated += size * sizeof(UInt128);
            break;
482
        case AttributeUnderlyingType::Int8:
A
Alexey Milovidov 已提交
483 484
            attr.null_values = null_value.get<Int64>();
            attr.arrays = std::make_unique<ContainerType<Int8>>(size);
485 486 487
            bytes_allocated += size * sizeof(Int8);
            break;
        case AttributeUnderlyingType::Int16:
A
Alexey Milovidov 已提交
488 489
            attr.null_values = null_value.get<Int64>();
            attr.arrays = std::make_unique<ContainerType<Int16>>(size);
490 491 492
            bytes_allocated += size * sizeof(Int16);
            break;
        case AttributeUnderlyingType::Int32:
A
Alexey Milovidov 已提交
493 494
            attr.null_values = null_value.get<Int64>();
            attr.arrays = std::make_unique<ContainerType<Int32>>(size);
495 496 497
            bytes_allocated += size * sizeof(Int32);
            break;
        case AttributeUnderlyingType::Int64:
A
Alexey Milovidov 已提交
498 499
            attr.null_values = null_value.get<Int64>();
            attr.arrays = std::make_unique<ContainerType<Int64>>(size);
500 501
            bytes_allocated += size * sizeof(Int64);
            break;
502
        case AttributeUnderlyingType::Decimal32:
A
Alexey Milovidov 已提交
503 504
            attr.null_values = null_value.get<Decimal32>();
            attr.arrays = std::make_unique<ContainerType<Decimal32>>(size);
505 506 507
            bytes_allocated += size * sizeof(Decimal32);
            break;
        case AttributeUnderlyingType::Decimal64:
A
Alexey Milovidov 已提交
508 509
            attr.null_values = null_value.get<Decimal64>();
            attr.arrays = std::make_unique<ContainerType<Decimal64>>(size);
510 511 512
            bytes_allocated += size * sizeof(Decimal64);
            break;
        case AttributeUnderlyingType::Decimal128:
A
Alexey Milovidov 已提交
513 514
            attr.null_values = null_value.get<Decimal128>();
            attr.arrays = std::make_unique<ContainerType<Decimal128>>(size);
515 516
            bytes_allocated += size * sizeof(Decimal128);
            break;
517
        case AttributeUnderlyingType::Float32:
A
Alexey Milovidov 已提交
518 519
            attr.null_values = null_value.get<Float64>();
            attr.arrays = std::make_unique<ContainerType<Float32>>(size);
520 521 522
            bytes_allocated += size * sizeof(Float32);
            break;
        case AttributeUnderlyingType::Float64:
A
Alexey Milovidov 已提交
523 524
            attr.null_values = null_value.get<Float64>();
            attr.arrays = std::make_unique<ContainerType<Float64>>(size);
525 526 527
            bytes_allocated += size * sizeof(Float64);
            break;
        case AttributeUnderlyingType::String:
A
Alexey Milovidov 已提交
528 529
            attr.null_values = null_value.get<String>();
            attr.arrays = std::make_unique<ContainerType<StringRef>>(size);
530 531 532 533 534 535 536
            bytes_allocated += size * sizeof(StringRef);
            if (!string_arena)
                string_arena = std::make_unique<ArenaWithFreeLists>();
            break;
    }

    return attr;
537 538 539 540 541
}


template <typename OutputType, typename DefaultGetter>
void CacheDictionary::getItemsNumber(
542 543
    Attribute & attribute,
    const PaddedPODArray<Key> & ids,
544
    ResultArrayType<OutputType> & out,
545
    DefaultGetter && get_default) const
546
{
547
    if (false) {}
548
#define DISPATCH(TYPE) \
549 550 551 552 553 554
    else if (attribute.type == AttributeUnderlyingType::TYPE) \
        getItemsNumberImpl<TYPE, OutputType>(attribute, ids, out, std::forward<DefaultGetter>(get_default));
    DISPATCH(UInt8)
    DISPATCH(UInt16)
    DISPATCH(UInt32)
    DISPATCH(UInt64)
555
    DISPATCH(UInt128)
556 557 558 559 560 561
    DISPATCH(Int8)
    DISPATCH(Int16)
    DISPATCH(Int32)
    DISPATCH(Int64)
    DISPATCH(Float32)
    DISPATCH(Float64)
562 563 564
    DISPATCH(Decimal32)
    DISPATCH(Decimal64)
    DISPATCH(Decimal128)
565
#undef DISPATCH
566 567
    else
        throw Exception("Unexpected type of attribute: " + toString(attribute.type), ErrorCodes::LOGICAL_ERROR);
568 569 570 571
}

template <typename AttributeType, typename OutputType, typename DefaultGetter>
void CacheDictionary::getItemsNumberImpl(
572 573
    Attribute & attribute,
    const PaddedPODArray<Key> & ids,
574
    ResultArrayType<OutputType> & out,
575
    DefaultGetter && get_default) const
576
{
577
    /// Mapping: <id> -> { all indices `i` of `ids` such that `ids[i]` = <id> }
578
    std::unordered_map<Key, std::vector<size_t>> outdated_ids;
579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611
    auto & attribute_array = std::get<ContainerPtrType<AttributeType>>(attribute.arrays);
    const auto rows = ext::size(ids);

    size_t cache_expired = 0, cache_not_found = 0, cache_hit = 0;

    {
        const ProfilingScopedReadRWLock read_lock{rw_lock, ProfileEvents::DictCacheLockReadNs};

        const auto now = std::chrono::system_clock::now();
        /// fetch up-to-date values, decide which ones require update
        for (const auto row : ext::range(0, rows))
        {
            const auto id = ids[row];

            /** cell should be updated if either:
                *    1. ids do not match,
                *    2. cell has expired,
                *    3. explicit defaults were specified and cell was set default. */

            const auto find_result = findCellIdx(id, now);
            if (!find_result.valid)
            {
                outdated_ids[id].push_back(row);
                if (find_result.outdated)
                    ++cache_expired;
                else
                    ++cache_not_found;
            }
            else
            {
                ++cache_hit;
                const auto & cell_idx = find_result.cell_idx;
                const auto & cell = cells[cell_idx];
612
                out[row] = cell.isDefault() ? get_default(row) : static_cast<OutputType>(attribute_array[cell_idx]);
613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631
            }
        }
    }

    ProfileEvents::increment(ProfileEvents::DictCacheKeysExpired, cache_expired);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysNotFound, cache_not_found);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysHit, cache_hit);

    query_count.fetch_add(rows, std::memory_order_relaxed);
    hit_count.fetch_add(rows - outdated_ids.size(), std::memory_order_release);

    if (outdated_ids.empty())
        return;

    std::vector<Key> required_ids(outdated_ids.size());
    std::transform(std::begin(outdated_ids), std::end(outdated_ids), std::begin(required_ids),
        [] (auto & pair) { return pair.first; });

    /// request new values
A
Alexey Milovidov 已提交
632 633 634 635
    update(required_ids,
    [&] (const auto id, const auto cell_idx)
    {
        const auto attribute_value = attribute_array[cell_idx];
636

637
        for (const size_t row : outdated_ids[id])
638
            out[row] = static_cast<OutputType>(attribute_value);
A
Alexey Milovidov 已提交
639
    },
A
Alexey Milovidov 已提交
640
    [&] (const auto id, const auto)
A
Alexey Milovidov 已提交
641
    {
642
        for (const size_t row : outdated_ids[id])
A
Alexey Milovidov 已提交
643 644
            out[row] = get_default(row);
    });
645 646 647 648
}

template <typename DefaultGetter>
void CacheDictionary::getItemsString(
649 650 651 652
    Attribute & attribute,
    const PaddedPODArray<Key> & ids,
    ColumnString * out,
    DefaultGetter && get_default) const
653
{
654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701
    const auto rows = ext::size(ids);

    /// save on some allocations
    out->getOffsets().reserve(rows);

    auto & attribute_array = std::get<ContainerPtrType<StringRef>>(attribute.arrays);

    auto found_outdated_values = false;

    /// perform optimistic version, fallback to pessimistic if failed
    {
        const ProfilingScopedReadRWLock read_lock{rw_lock, ProfileEvents::DictCacheLockReadNs};

        const auto now = std::chrono::system_clock::now();
        /// fetch up-to-date values, discard on fail
        for (const auto row : ext::range(0, rows))
        {
            const auto id = ids[row];

            const auto find_result = findCellIdx(id, now);
            if (!find_result.valid)
            {
                found_outdated_values = true;
                break;
            }
            else
            {
                const auto & cell_idx = find_result.cell_idx;
                const auto & cell = cells[cell_idx];
                const auto string_ref = cell.isDefault() ? get_default(row) : attribute_array[cell_idx];
                out->insertData(string_ref.data, string_ref.size);
            }
        }
    }

    /// optimistic code completed successfully
    if (!found_outdated_values)
    {
        query_count.fetch_add(rows, std::memory_order_relaxed);
        hit_count.fetch_add(rows, std::memory_order_release);
        return;
    }

    /// now onto the pessimistic one, discard possible partial results from the optimistic path
    out->getChars().resize_assume_reserved(0);
    out->getOffsets().resize_assume_reserved(0);

    /// Mapping: <id> -> { all indices `i` of `ids` such that `ids[i]` = <id> }
702
    std::unordered_map<Key, std::vector<size_t>> outdated_ids;
703 704 705
    /// we are going to store every string separately
    std::unordered_map<Key, String> map;

706
    size_t total_length = 0;
707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753
    size_t cache_expired = 0, cache_not_found = 0, cache_hit = 0;
    {
        const ProfilingScopedReadRWLock read_lock{rw_lock, ProfileEvents::DictCacheLockReadNs};

        const auto now = std::chrono::system_clock::now();
        for (const auto row : ext::range(0, ids.size()))
        {
            const auto id = ids[row];

            const auto find_result = findCellIdx(id, now);
            if (!find_result.valid)
            {
                outdated_ids[id].push_back(row);
                if (find_result.outdated)
                    ++cache_expired;
                else
                    ++cache_not_found;
            }
            else
            {
                ++cache_hit;
                const auto & cell_idx = find_result.cell_idx;
                const auto & cell = cells[cell_idx];
                const auto string_ref = cell.isDefault() ? get_default(row) : attribute_array[cell_idx];

                if (!cell.isDefault())
                    map[id] = String{string_ref};

                total_length += string_ref.size + 1;
            }
        }
    }

    ProfileEvents::increment(ProfileEvents::DictCacheKeysExpired, cache_expired);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysNotFound, cache_not_found);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysHit, cache_hit);

    query_count.fetch_add(rows, std::memory_order_relaxed);
    hit_count.fetch_add(rows - outdated_ids.size(), std::memory_order_release);

    /// request new values
    if (!outdated_ids.empty())
    {
        std::vector<Key> required_ids(outdated_ids.size());
        std::transform(std::begin(outdated_ids), std::end(outdated_ids), std::begin(required_ids),
            [] (auto & pair) { return pair.first; });

A
Alexey Milovidov 已提交
754 755 756
        update(required_ids,
        [&] (const auto id, const auto cell_idx)
        {
757 758 759 760
            const auto attribute_value = attribute_array[cell_idx];

            map[id] = String{attribute_value};
            total_length += (attribute_value.size + 1) * outdated_ids[id].size();
A
Alexey Milovidov 已提交
761
        },
A
Alexey Milovidov 已提交
762
        [&] (const auto id, const auto)
A
Alexey Milovidov 已提交
763
        {
764 765 766 767 768 769 770 771 772 773 774 775 776 777 778
            for (const auto row : outdated_ids[id])
                total_length += get_default(row).size + 1;
        });
    }

    out->getChars().reserve(total_length);

    for (const auto row : ext::range(0, ext::size(ids)))
    {
        const auto id = ids[row];
        const auto it = map.find(id);

        const auto string_ref = it != std::end(map) ? StringRef{it->second} : get_default(row);
        out->insertData(string_ref.data, string_ref.size);
    }
779 780 781 782
}

template <typename PresentIdHandler, typename AbsentIdHandler>
void CacheDictionary::update(
783 784
    const std::vector<Key> & requested_ids,
    PresentIdHandler && on_cell_updated,
785
    AbsentIdHandler && on_id_not_found) const
786
{
787 788 789 790
    std::unordered_map<Key, UInt8> remaining_ids{requested_ids.size()};
    for (const auto id : requested_ids)
        remaining_ids.insert({ id, 0 });

791 792
    std::uniform_int_distribution<UInt64> distribution
    {
793 794 795 796 797
        dict_lifetime.min_sec,
        dict_lifetime.max_sec
    };

    const ProfilingScopedWriteRWLock write_lock{rw_lock, ProfileEvents::DictCacheLockWriteNs};
798

799 800 801 802 803 804 805 806 807 808 809 810
    {
        CurrentMetrics::Increment metric_increment{CurrentMetrics::DictCacheRequests};
        Stopwatch watch;
        auto stream = source_ptr->loadIds(requested_ids);
        stream->readPrefix();

        const auto now = std::chrono::system_clock::now();

        while (const auto block = stream->read())
        {
            const auto id_column = typeid_cast<const ColumnUInt64 *>(block.safeGetByPosition(0).column.get());
            if (!id_column)
811
                throw Exception{name + ": id column has type different from UInt64.", ErrorCodes::TYPE_MISMATCH};
812 813 814 815

            const auto & ids = id_column->getData();

            /// cache column pointers
816 817
            const auto column_ptrs = ext::map<std::vector>(ext::range(0, attributes.size()), [&block] (size_t i)
            {
818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864
                return block.safeGetByPosition(i + 1).column.get();
            });

            for (const auto i : ext::range(0, ids.size()))
            {
                const auto id = ids[i];

                const auto find_result = findCellIdx(id, now);
                const auto & cell_idx = find_result.cell_idx;

                auto & cell = cells[cell_idx];

                for (const auto attribute_idx : ext::range(0, attributes.size()))
                {
                    const auto & attribute_column = *column_ptrs[attribute_idx];
                    auto & attribute = attributes[attribute_idx];

                    setAttributeValue(attribute, cell_idx, attribute_column[i]);
                }

                /// if cell id is zero and zero does not map to this cell, then the cell is unused
                if (cell.id == 0 && cell_idx != zero_cell_idx)
                    element_count.fetch_add(1, std::memory_order_relaxed);

                cell.id = id;
                if (dict_lifetime.min_sec != 0 && dict_lifetime.max_sec != 0)
                    cell.setExpiresAt(std::chrono::system_clock::now() + std::chrono::seconds{distribution(rnd_engine)});
                else
                    cell.setExpiresAt(std::chrono::time_point<std::chrono::system_clock>::max());

                /// inform caller
                on_cell_updated(id, cell_idx);
                /// mark corresponding id as found
                remaining_ids[id] = 1;
            }
        }

        stream->readSuffix();

        ProfileEvents::increment(ProfileEvents::DictCacheKeysRequested, requested_ids.size());
        ProfileEvents::increment(ProfileEvents::DictCacheRequestTimeNs, watch.elapsed());
    }

    size_t not_found_num = 0, found_num = 0;

    const auto now = std::chrono::system_clock::now();
    /// Check which ids have not been found and require setting null_value
865
    for (const auto & id_found_pair : remaining_ids)
866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893
    {
        if (id_found_pair.second)
        {
            ++found_num;
            continue;
        }
        ++not_found_num;

        const auto id = id_found_pair.first;

        const auto find_result = findCellIdx(id, now);
        const auto & cell_idx = find_result.cell_idx;

        auto & cell = cells[cell_idx];

        /// Set null_value for each attribute
        for (auto & attribute : attributes)
            setDefaultAttributeValue(attribute, cell_idx);

        /// Check if cell had not been occupied before and increment element counter if it hadn't
        if (cell.id == 0 && cell_idx != zero_cell_idx)
            element_count.fetch_add(1, std::memory_order_relaxed);

        cell.id = id;
        if (dict_lifetime.min_sec != 0 && dict_lifetime.max_sec != 0)
            cell.setExpiresAt(std::chrono::system_clock::now() + std::chrono::seconds{distribution(rnd_engine)});
        else
            cell.setExpiresAt(std::chrono::time_point<std::chrono::system_clock>::max());
894

895 896 897 898 899 900 901 902 903
        cell.setDefault();

        /// inform caller that the cell has not been found
        on_id_not_found(id, cell_idx);
    }

    ProfileEvents::increment(ProfileEvents::DictCacheKeysRequestedMiss, not_found_num);
    ProfileEvents::increment(ProfileEvents::DictCacheKeysRequestedFound, found_num);
    ProfileEvents::increment(ProfileEvents::DictCacheRequests);
904 905 906
}


A
Alexey Milovidov 已提交
907
void CacheDictionary::setDefaultAttributeValue(Attribute & attribute, const Key idx) const
908
{
909 910 911 912 913 914
    switch (attribute.type)
    {
        case AttributeUnderlyingType::UInt8: std::get<ContainerPtrType<UInt8>>(attribute.arrays)[idx] = std::get<UInt8>(attribute.null_values); break;
        case AttributeUnderlyingType::UInt16: std::get<ContainerPtrType<UInt16>>(attribute.arrays)[idx] = std::get<UInt16>(attribute.null_values); break;
        case AttributeUnderlyingType::UInt32: std::get<ContainerPtrType<UInt32>>(attribute.arrays)[idx] = std::get<UInt32>(attribute.null_values); break;
        case AttributeUnderlyingType::UInt64: std::get<ContainerPtrType<UInt64>>(attribute.arrays)[idx] = std::get<UInt64>(attribute.null_values); break;
915
        case AttributeUnderlyingType::UInt128: std::get<ContainerPtrType<UInt128>>(attribute.arrays)[idx] = std::get<UInt128>(attribute.null_values); break;
916 917 918 919 920 921
        case AttributeUnderlyingType::Int8: std::get<ContainerPtrType<Int8>>(attribute.arrays)[idx] = std::get<Int8>(attribute.null_values); break;
        case AttributeUnderlyingType::Int16: std::get<ContainerPtrType<Int16>>(attribute.arrays)[idx] = std::get<Int16>(attribute.null_values); break;
        case AttributeUnderlyingType::Int32: std::get<ContainerPtrType<Int32>>(attribute.arrays)[idx] = std::get<Int32>(attribute.null_values); break;
        case AttributeUnderlyingType::Int64: std::get<ContainerPtrType<Int64>>(attribute.arrays)[idx] = std::get<Int64>(attribute.null_values); break;
        case AttributeUnderlyingType::Float32: std::get<ContainerPtrType<Float32>>(attribute.arrays)[idx] = std::get<Float32>(attribute.null_values); break;
        case AttributeUnderlyingType::Float64: std::get<ContainerPtrType<Float64>>(attribute.arrays)[idx] = std::get<Float64>(attribute.null_values); break;
922 923 924 925 926 927 928 929 930 931 932

        case AttributeUnderlyingType::Decimal32:
            std::get<ContainerPtrType<Decimal32>>(attribute.arrays)[idx] = std::get<Decimal32>(attribute.null_values);
            break;
        case AttributeUnderlyingType::Decimal64:
            std::get<ContainerPtrType<Decimal64>>(attribute.arrays)[idx] = std::get<Decimal64>(attribute.null_values);
            break;
        case AttributeUnderlyingType::Decimal128:
            std::get<ContainerPtrType<Decimal128>>(attribute.arrays)[idx] = std::get<Decimal128>(attribute.null_values);
            break;

933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948
        case AttributeUnderlyingType::String:
        {
            const auto & null_value_ref = std::get<String>(attribute.null_values);
            auto & string_ref = std::get<ContainerPtrType<StringRef>>(attribute.arrays)[idx];

            if (string_ref.data != null_value_ref.data())
            {
                if (string_ref.data)
                    string_arena->free(const_cast<char *>(string_ref.data), string_ref.size);

                string_ref = StringRef{null_value_ref};
            }

            break;
        }
    }
949 950
}

A
Alexey Milovidov 已提交
951
void CacheDictionary::setAttributeValue(Attribute & attribute, const Key idx, const Field & value) const
952
{
953 954 955 956 957 958
    switch (attribute.type)
    {
        case AttributeUnderlyingType::UInt8: std::get<ContainerPtrType<UInt8>>(attribute.arrays)[idx] = value.get<UInt64>(); break;
        case AttributeUnderlyingType::UInt16: std::get<ContainerPtrType<UInt16>>(attribute.arrays)[idx] = value.get<UInt64>(); break;
        case AttributeUnderlyingType::UInt32: std::get<ContainerPtrType<UInt32>>(attribute.arrays)[idx] = value.get<UInt64>(); break;
        case AttributeUnderlyingType::UInt64: std::get<ContainerPtrType<UInt64>>(attribute.arrays)[idx] = value.get<UInt64>(); break;
959
        case AttributeUnderlyingType::UInt128: std::get<ContainerPtrType<UInt128>>(attribute.arrays)[idx] = value.get<UInt128>(); break;
960 961 962 963 964 965
        case AttributeUnderlyingType::Int8: std::get<ContainerPtrType<Int8>>(attribute.arrays)[idx] = value.get<Int64>(); break;
        case AttributeUnderlyingType::Int16: std::get<ContainerPtrType<Int16>>(attribute.arrays)[idx] = value.get<Int64>(); break;
        case AttributeUnderlyingType::Int32: std::get<ContainerPtrType<Int32>>(attribute.arrays)[idx] = value.get<Int64>(); break;
        case AttributeUnderlyingType::Int64: std::get<ContainerPtrType<Int64>>(attribute.arrays)[idx] = value.get<Int64>(); break;
        case AttributeUnderlyingType::Float32: std::get<ContainerPtrType<Float32>>(attribute.arrays)[idx] = value.get<Float64>(); break;
        case AttributeUnderlyingType::Float64: std::get<ContainerPtrType<Float64>>(attribute.arrays)[idx] = value.get<Float64>(); break;
966 967 968 969 970

        case AttributeUnderlyingType::Decimal32: std::get<ContainerPtrType<Decimal32>>(attribute.arrays)[idx] = value.get<Decimal32>(); break;
        case AttributeUnderlyingType::Decimal64: std::get<ContainerPtrType<Decimal64>>(attribute.arrays)[idx] = value.get<Decimal64>(); break;
        case AttributeUnderlyingType::Decimal128: std::get<ContainerPtrType<Decimal128>>(attribute.arrays)[idx] = value.get<Decimal128>(); break;

971 972 973 974 975 976 977 978 979 980
        case AttributeUnderlyingType::String:
        {
            const auto & string = value.get<String>();
            auto & string_ref = std::get<ContainerPtrType<StringRef>>(attribute.arrays)[idx];
            const auto & null_value_ref = std::get<String>(attribute.null_values);

            /// free memory unless it points to a null_value
            if (string_ref.data && string_ref.data != null_value_ref.data())
                string_arena->free(const_cast<char *>(string_ref.data), string_ref.size);

981 982
            const auto str_size = string.size();
            if (str_size != 0)
983
            {
984 985 986
                auto string_ptr = string_arena->alloc(str_size + 1);
                std::copy(string.data(), string.data() + str_size + 1, string_ptr);
                string_ref = StringRef{string_ptr, str_size};
987 988 989 990 991 992 993
            }
            else
                string_ref = {};

            break;
        }
    }
994 995
}

A
Alexey Milovidov 已提交
996
CacheDictionary::Attribute & CacheDictionary::getAttribute(const std::string & attribute_name) const
997
{
998 999
    const auto it = attribute_index_by_name.find(attribute_name);
    if (it == std::end(attribute_index_by_name))
1000
        throw Exception{name + ": no such attribute '" + attribute_name + "'", ErrorCodes::BAD_ARGUMENTS};
1001 1002

    return attributes[it->second];
1003 1004
}

1005 1006
bool CacheDictionary::isEmptyCell(const UInt64 idx) const
{
1007
    return (idx != zero_cell_idx && cells[idx].id == 0) || (cells[idx].data
1008 1009 1010 1011 1012
        == ext::safe_bit_cast<CellMetadata::time_point_urep_t>(CellMetadata::time_point_t()));
}

PaddedPODArray<CacheDictionary::Key> CacheDictionary::getCachedIds() const
{
1013 1014
    const ProfilingScopedReadRWLock read_lock{rw_lock, ProfileEvents::DictCacheLockReadNs};

1015 1016 1017
    PaddedPODArray<Key> array;
    for (size_t idx = 0; idx < cells.size(); ++idx)
    {
N
Nikolai Kochetov 已提交
1018
        auto & cell = cells[idx];
1019
        if (!isEmptyCell(idx) && !cells[idx].isDefault())
1020 1021 1022 1023 1024 1025 1026
        {
            array.push_back(cell.id);
        }
    }
    return array;
}

1027
BlockInputStreamPtr CacheDictionary::getBlockInputStream(const Names & column_names, size_t max_block_size) const
1028
{
1029
    using BlockInputStreamType = DictionaryBlockInputStream<CacheDictionary, Key>;
1030
    return std::make_shared<BlockInputStreamType>(shared_from_this(), max_block_size, getCachedIds(), column_names);
1031 1032 1033
}


1034
}