DBImpl.cpp 12.6 KB
Newer Older
X
Xu Peng 已提交
1 2 3 4 5
/*******************************************************************************
 * Copyright 上海赜睿信息科技有限公司(Zilliz) - All Rights Reserved
 * Unauthorized copying of this file, via any medium is strictly prohibited.
 * Proprietary and confidential.
 ******************************************************************************/
6 7
#ifndef DBIMPL_CPP__
#define DBIMPL_CPP__
X
Xu Peng 已提交
8

X
Xu Peng 已提交
9
#include <assert.h>
X
Xu Peng 已提交
10
#include <chrono>
X
Xu Peng 已提交
11
#include <thread>
12
#include <iostream>
X
xj.lin 已提交
13 14
#include <cstring>
#include <wrapper/Topk.h>
15
#include <easylogging++.h>
X
Xu Peng 已提交
16
#include <cache/CpuCacheMgr.h>
17

X
Xu Peng 已提交
18 19 20
#include "DBImpl.h"
#include "DBMetaImpl.h"
#include "Env.h"
X
Xu Peng 已提交
21

X
Xu Peng 已提交
22 23 24
namespace zilliz {
namespace vecwise {
namespace engine {
X
Xu Peng 已提交
25

26 27
template<typename EngineT>
DBImpl<EngineT>::DBImpl(const Options& options)
X
Xu Peng 已提交
28 29
    : _env(options.env),
      _options(options),
30
      _bg_compaction_scheduled(false),
X
Xu Peng 已提交
31
      _shutting_down(false),
X
Xu Peng 已提交
32
      bg_build_index_started_(false),
X
Xu Peng 已提交
33
      _pMeta(new meta::DBMetaImpl(_options.meta)),
34
      _pMemMgr(new MemManager<EngineT>(_pMeta, _options)) {
X
Xu Peng 已提交
35
    start_timer_task(_options.memory_sync_interval);
X
Xu Peng 已提交
36 37
}

38 39
template<typename EngineT>
Status DBImpl<EngineT>::add_group(meta::GroupSchema& group_info) {
40
    return _pMeta->add_group(group_info);
41 42
}

43 44
template<typename EngineT>
Status DBImpl<EngineT>::get_group(meta::GroupSchema& group_info) {
45
    return _pMeta->get_group(group_info);
46 47
}

48 49
template<typename EngineT>
Status DBImpl<EngineT>::has_group(const std::string& group_id_, bool& has_or_not_) {
50 51 52
    return _pMeta->has_group(group_id_, has_or_not_);
}

53 54
template<typename EngineT>
Status DBImpl<EngineT>::get_group_files(const std::string& group_id,
X
Xu Peng 已提交
55
                               const int date_delta,
56
                               meta::GroupFilesSchema& group_files_info) {
X
Xu Peng 已提交
57
    return _pMeta->get_group_files(group_id, date_delta, group_files_info);
58

X
Xu Peng 已提交
59 60
}

61 62
template<typename EngineT>
Status DBImpl<EngineT>::add_vectors(const std::string& group_id_,
63
        size_t n, const float* vectors, IDNumbers& vector_ids_) {
X
Xu Peng 已提交
64 65 66 67 68 69
    Status status = _pMemMgr->add_vectors(group_id_, n, vectors, vector_ids_);
    if (!status.ok()) {
        return status;
    }
}

70 71
template<typename EngineT>
Status DBImpl<EngineT>::search(const std::string &group_id, size_t k, size_t nq,
X
xj.lin 已提交
72
                      const float *vectors, QueryResults &results) {
X
Xu Peng 已提交
73 74 75 76
    meta::DatesT dates = {meta::Meta::GetDate()};
    return search(group_id, k, nq, vectors, dates, results);
}

77 78
template<typename EngineT>
Status DBImpl<EngineT>::search(const std::string& group_id, size_t k, size_t nq,
X
Xu Peng 已提交
79 80
        const float* vectors, const meta::DatesT& dates, QueryResults& results) {

X
xj.lin 已提交
81
    meta::DatePartionedGroupFilesSchema files;
X
Xu Peng 已提交
82
    auto status = _pMeta->files_to_search(group_id, dates, files);
X
xj.lin 已提交
83 84
    if (!status.ok()) { return status; }

G
groot 已提交
85
    LOG(DEBUG) << "Search DateT Size=" << files.size();
X
Xu Peng 已提交
86

X
xj.lin 已提交
87 88 89 90
    meta::GroupFilesSchema index_files;
    meta::GroupFilesSchema raw_files;
    for (auto &day_files : files) {
        for (auto &file : day_files.second) {
X
xj.lin 已提交
91 92
            file.file_type == meta::GroupFileSchema::INDEX ?
            index_files.push_back(file) : raw_files.push_back(file);
X
xj.lin 已提交
93 94 95
        }
    }

X
xj.lin 已提交
96 97 98 99 100 101
    int dim = 0;
    if (!index_files.empty()) {
        dim = index_files[0].dimension;
    } else if (!raw_files.empty()) {
        dim = raw_files[0].dimension;
    } else {
G
groot 已提交
102
        LOG(DEBUG) << "no files to search";
X
xj.lin 已提交
103 104
        return Status::OK();
    }
X
xj.lin 已提交
105 106

    {
X
xj.lin 已提交
107 108 109 110 111 112 113 114 115 116 117 118 119 120
        // [{ids, distence}, ...]
        using SearchResult = std::pair<std::vector<long>, std::vector<float>>;
        std::vector<SearchResult> batchresult(nq); // allocate nq cells.

        auto cluster = [&](long *nns, float *dis) -> void {
            for (int i = 0; i < nq; ++i) {
                auto f_begin = batchresult[i].first.cbegin();
                auto s_begin = batchresult[i].second.cbegin();
                batchresult[i].first.insert(f_begin, nns + i * k, nns + i * k + k);
                batchresult[i].second.insert(s_begin, dis + i * k, dis + i * k + k);
            }
        };

        // Allocate Memory
X
xj.lin 已提交
121 122
        float *output_distence;
        long *output_ids;
X
xj.lin 已提交
123 124 125 126
        output_distence = (float *) malloc(k * nq * sizeof(float));
        output_ids = (long *) malloc(k * nq * sizeof(long));
        memset(output_distence, 0, k * nq * sizeof(float));
        memset(output_ids, 0, k * nq * sizeof(long));
X
xj.lin 已提交
127

X
Xu Peng 已提交
128 129
        long search_set_size = 0;

X
xj.lin 已提交
130 131
        auto search_in_index = [&](meta::GroupFilesSchema& file_vec) -> void {
            for (auto &file : file_vec) {
132
                EngineT index(file.dimension, file.location);
133 134
                index.Load();
                auto file_size = index.PhysicalSize()/(1024*1024);
X
Xu Peng 已提交
135
                search_set_size += file_size;
X
Xu Peng 已提交
136
                LOG(DEBUG) << "Search file_type " << file.file_type << " Of Size: "
X
Xu Peng 已提交
137
                    << file_size << " M";
138
                index.Search(nq, vectors, k, output_distence, output_ids);
X
xj.lin 已提交
139 140 141
                cluster(output_ids, output_distence); // cluster to each query
                memset(output_distence, 0, k * nq * sizeof(float));
                memset(output_ids, 0, k * nq * sizeof(long));
X
Xu Peng 已提交
142
            }
X
xj.lin 已提交
143
        };
X
xj.lin 已提交
144

X
xj.lin 已提交
145 146 147 148 149 150 151 152 153 154 155
        auto cluster_topk = [&]() -> void {
            QueryResult res;
            for (auto &result_pair : batchresult) {
                auto &dis = result_pair.second;
                auto &nns = result_pair.first;
                TopK(dis.data(), dis.size(), k, output_distence, output_ids);
                for (int i = 0; i < k; ++i) {
                    res.emplace_back(nns[output_ids[i]]); // mapping
                }
                results.push_back(res); // append to result list
                res.clear();
X
xj.lin 已提交
156 157
                memset(output_distence, 0, k * nq * sizeof(float));
                memset(output_ids, 0, k * nq * sizeof(long));
X
xj.lin 已提交
158 159
            }
        };
X
xj.lin 已提交
160 161 162

        search_in_index(raw_files);
        search_in_index(index_files);
X
Xu Peng 已提交
163 164

        LOG(DEBUG) << "Search Overall Set Size=" << search_set_size << " M";
X
xj.lin 已提交
165
        cluster_topk();
X
xj.lin 已提交
166 167 168 169 170

        free(output_distence);
        free(output_ids);
    }

X
xj.lin 已提交
171 172 173
    if (results.empty()) {
        return Status::NotFound("Group " + group_id + ", search result not found!");
    }
X
Xu Peng 已提交
174 175 176
    return Status::OK();
}

177 178
template<typename EngineT>
void DBImpl<EngineT>::start_timer_task(int interval_) {
X
Xu Peng 已提交
179
    bg_timer_thread_ = std::thread(&DBImpl<EngineT>::background_timer_task, this, interval_);
X
Xu Peng 已提交
180 181
}

182 183
template<typename EngineT>
void DBImpl<EngineT>::background_timer_task(int interval_) {
X
Xu Peng 已提交
184 185 186 187 188 189 190 191 192
    Status status;
    while (true) {
        if (!_bg_error.ok()) break;
        if (_shutting_down.load(std::memory_order_acquire)) break;

        std::this_thread::sleep_for(std::chrono::seconds(interval_));

        try_schedule_compaction();
    }
193 194
}

195 196
template<typename EngineT>
void DBImpl<EngineT>::try_schedule_compaction() {
X
Xu Peng 已提交
197 198 199 200
    if (_bg_compaction_scheduled) return;
    if (!_bg_error.ok()) return;

    _bg_compaction_scheduled = true;
201
    _env->schedule(&DBImpl<EngineT>::BGWork, this);
X
Xu Peng 已提交
202 203
}

204 205
template<typename EngineT>
void DBImpl<EngineT>::BGWork(void* db_) {
X
Xu Peng 已提交
206 207 208
    reinterpret_cast<DBImpl*>(db_)->background_call();
}

209 210
template<typename EngineT>
void DBImpl<EngineT>::background_call() {
X
Xu Peng 已提交
211 212 213
    std::lock_guard<std::mutex> lock(_mutex);
    assert(_bg_compaction_scheduled);

214 215
    if (!_bg_error.ok() || _shutting_down.load(std::memory_order_acquire))
        return ;
X
Xu Peng 已提交
216 217

    background_compaction();
X
Xu Peng 已提交
218 219 220

    _bg_compaction_scheduled = false;
    _bg_work_finish_signal.notify_all();
X
Xu Peng 已提交
221 222
}

223

224 225
template<typename EngineT>
Status DBImpl<EngineT>::merge_files(const std::string& group_id, const meta::DateT& date,
226 227
        const meta::GroupFilesSchema& files) {
    meta::GroupFileSchema group_file;
X
Xu Peng 已提交
228 229 230
    group_file.group_id = group_id;
    group_file.date = date;
    Status status = _pMeta->add_group_file(group_file);
X
Xu Peng 已提交
231

232
    if (!status.ok()) {
233
        LOG(INFO) << status.ToString() << std::endl;
234 235 236
        return status;
    }

237
    EngineT index(group_file.dimension, group_file.location);
238 239

    meta::GroupFilesSchema updated;
X
Xu Peng 已提交
240
    long  index_size = 0;
241 242

    for (auto& file : files) {
X
Xu Peng 已提交
243
        index.Merge(file.location);
244 245 246
        auto file_schema = file;
        file_schema.file_type = meta::GroupFileSchema::TO_DELETE;
        updated.push_back(file_schema);
X
Xu Peng 已提交
247
        LOG(DEBUG) << "Merging file " << file_schema.file_id;
X
Xu Peng 已提交
248
        index_size = index.Size();
X
Xu Peng 已提交
249 250

        if (index_size >= _options.index_trigger_size) break;
251 252
    }

X
Xu Peng 已提交
253
    index.Serialize();
X
Xu Peng 已提交
254 255 256 257 258 259

    if (index_size >= _options.index_trigger_size) {
        group_file.file_type = meta::GroupFileSchema::TO_INDEX;
    } else {
        group_file.file_type = meta::GroupFileSchema::RAW;
    }
X
Xu Peng 已提交
260
    group_file.rows = index_size;
261 262
    updated.push_back(group_file);
    status = _pMeta->update_files(updated);
X
Xu Peng 已提交
263 264
    LOG(DEBUG) << "New merged file " << group_file.file_id <<
        " of size=" << index.PhysicalSize()/(1024*1024) << " M";
265

X
Xu Peng 已提交
266
    index.Cache();
X
Xu Peng 已提交
267

268 269 270
    return status;
}

271 272
template<typename EngineT>
Status DBImpl<EngineT>::background_merge_files(const std::string& group_id) {
273
    meta::DatePartionedGroupFilesSchema raw_files;
X
Xu Peng 已提交
274 275 276 277
    auto status = _pMeta->files_to_merge(group_id, raw_files);
    if (!status.ok()) {
        return status;
    }
278

279 280 281
    /* if (raw_files.size() == 0) { */
    /*     return Status::OK(); */
    /* } */
282

X
Xu Peng 已提交
283 284
    bool has_merge = false;

285
    for (auto& kv : raw_files) {
X
Xu Peng 已提交
286
        auto files = kv.second;
X
Xu Peng 已提交
287
        if (files.size() <= _options.merge_trigger_number) {
X
Xu Peng 已提交
288 289
            continue;
        }
X
Xu Peng 已提交
290
        has_merge = true;
291 292
        merge_files(group_id, kv.first, kv.second);
    }
X
Xu Peng 已提交
293

294
    try_build_index();
X
Xu Peng 已提交
295

X
Xu Peng 已提交
296 297
    _pMeta->cleanup_ttl_files(1);

X
Xu Peng 已提交
298 299 300
    return Status::OK();
}

301 302
template<typename EngineT>
Status DBImpl<EngineT>::build_index(const meta::GroupFileSchema& file) {
X
Xu Peng 已提交
303
    meta::GroupFileSchema group_file;
X
Xu Peng 已提交
304 305 306
    group_file.group_id = file.group_id;
    group_file.date = file.date;
    Status status = _pMeta->add_group_file(group_file);
X
Xu Peng 已提交
307 308 309 310
    if (!status.ok()) {
        return status;
    }

311
    EngineT to_index(file.dimension, file.location);
312 313 314 315

    to_index.Load();
    auto index = to_index.BuildIndex(group_file.location);

X
Xu Peng 已提交
316
    group_file.file_type = meta::GroupFileSchema::INDEX;
317
    group_file.rows = index->Size();
X
Xu Peng 已提交
318

X
Xu Peng 已提交
319 320
    auto to_remove = file;
    to_remove.file_type = meta::GroupFileSchema::TO_DELETE;
X
Xu Peng 已提交
321

X
Xu Peng 已提交
322 323
    meta::GroupFilesSchema update_files = {to_remove, group_file};
    _pMeta->update_files(update_files);
X
Xu Peng 已提交
324

X
Xu Peng 已提交
325 326 327 328
    LOG(DEBUG) << "New index file " << group_file.file_id << " of size "
        << index->PhysicalSize()/(1024*1024) << " M"
        << " from file " << to_remove.file_id;

329
    index->Cache();
X
Xu Peng 已提交
330

X
Xu Peng 已提交
331 332 333
    return Status::OK();
}

334 335
template<typename EngineT>
void DBImpl<EngineT>::background_build_index() {
X
Xu Peng 已提交
336
    std::lock_guard<std::mutex> lock(build_index_mutex_);
X
Xu Peng 已提交
337 338
    assert(bg_build_index_started_);
    meta::GroupFilesSchema to_index_files;
X
Xu Peng 已提交
339
    _pMeta->files_to_index(to_index_files);
X
Xu Peng 已提交
340 341
    Status status;
    for (auto& file : to_index_files) {
X
Xu Peng 已提交
342
        /* LOG(DEBUG) << "Buiding index for " << file.location; */
X
Xu Peng 已提交
343 344 345
        status = build_index(file);
        if (!status.ok()) {
            _bg_error = status;
X
Xu Peng 已提交
346
            return;
X
Xu Peng 已提交
347 348
        }
    }
X
Xu Peng 已提交
349
    /* LOG(DEBUG) << "All Buiding index Done"; */
X
Xu Peng 已提交
350 351

    bg_build_index_started_ = false;
X
Xu Peng 已提交
352
    bg_build_index_finish_signal_.notify_all();
X
Xu Peng 已提交
353 354
}

355 356
template<typename EngineT>
Status DBImpl<EngineT>::try_build_index() {
X
Xu Peng 已提交
357
    if (bg_build_index_started_) return Status::OK();
X
Xu Peng 已提交
358
    if (_shutting_down.load(std::memory_order_acquire)) return Status::OK();
X
Xu Peng 已提交
359
    bg_build_index_started_ = true;
360
    std::thread build_index_task(&DBImpl<EngineT>::background_build_index, this);
X
Xu Peng 已提交
361
    build_index_task.detach();
X
Xu Peng 已提交
362
    return Status::OK();
363 364
}

365 366
template<typename EngineT>
void DBImpl<EngineT>::background_compaction() {
367 368
    std::vector<std::string> group_ids;
    _pMemMgr->serialize(group_ids);
369

X
Xu Peng 已提交
370 371 372 373 374 375 376
    Status status;
    for (auto group_id : group_ids) {
        status = background_merge_files(group_id);
        if (!status.ok()) {
            _bg_error = status;
            return;
        }
377
    }
X
Xu Peng 已提交
378 379
}

380 381
template<typename EngineT>
Status DBImpl<EngineT>::drop_all() {
X
Xu Peng 已提交
382 383 384
    return _pMeta->drop_all();
}

385 386
template<typename EngineT>
Status DBImpl<EngineT>::count(const std::string& group_id, long& result) {
X
Xu Peng 已提交
387 388 389
    return _pMeta->count(group_id, result);
}

390 391
template<typename EngineT>
DBImpl<EngineT>::~DBImpl() {
X
Xu Peng 已提交
392 393 394 395 396 397 398 399 400 401 402 403
    {
        std::unique_lock<std::mutex> lock(_mutex);
        _shutting_down.store(true, std::memory_order_release);
        while (_bg_compaction_scheduled) {
            _bg_work_finish_signal.wait(lock);
        }
    }
    {
        std::unique_lock<std::mutex> lock(build_index_mutex_);
        while (bg_build_index_started_) {
            bg_build_index_finish_signal_.wait(lock);
        }
X
Xu Peng 已提交
404
    }
X
Xu Peng 已提交
405
    bg_timer_thread_.join();
X
Xu Peng 已提交
406 407
    std::vector<std::string> ids;
    _pMemMgr->serialize(ids);
X
Xu Peng 已提交
408
    _env->Stop();
X
Xu Peng 已提交
409 410
}

X
Xu Peng 已提交
411 412 413
} // namespace engine
} // namespace vecwise
} // namespace zilliz
414 415

#endif