DBImpl.cpp 6.3 KB
Newer Older
X
Xu Peng 已提交
1
#include <assert.h>
X
Xu Peng 已提交
2
#include <chrono>
X
Xu Peng 已提交
3
#include <thread>
4
#include <iostream>
5 6 7
#include <faiss/IndexFlat.h>
#include <faiss/MetaIndexes.h>
#include <faiss/index_io.h>
X
Xu Peng 已提交
8
#include <faiss/AutoTune.h>
X
Xu Peng 已提交
9 10 11
#include "DBImpl.h"
#include "DBMetaImpl.h"
#include "Env.h"
X
Xu Peng 已提交
12

X
Xu Peng 已提交
13 14 15
namespace zilliz {
namespace vecwise {
namespace engine {
X
Xu Peng 已提交
16

X
Xu Peng 已提交
17
DBImpl::DBImpl(const Options& options_, const std::string& name_)
X
Xu Peng 已提交
18 19
    : _dbname(name_),
      _env(options_.env),
X
Xu Peng 已提交
20
      _options(options_),
21
      _bg_compaction_scheduled(false),
X
Xu Peng 已提交
22
      _shutting_down(false),
X
Xu Peng 已提交
23
      bg_build_index_started_(false),
X
Xu Peng 已提交
24
      _pMeta(new meta::DBMetaImpl(_options.meta)),
25
      _pMemMgr(new MemManager(_pMeta)) {
X
Xu Peng 已提交
26
    start_timer_task(options_.memory_sync_interval);
X
Xu Peng 已提交
27 28
}

X
Xu Peng 已提交
29 30
Status DBImpl::add_group(const GroupOptions& options,
        const std::string& group_id,
31
        meta::GroupSchema& group_info) {
X
Xu Peng 已提交
32 33
    assert((!options.has_id) ||
            (options.has_id && ("" != group_id)));
X
Xu Peng 已提交
34

X
Xu Peng 已提交
35
    return _pMeta->add_group(options, group_id, group_info);
36 37
}

38
Status DBImpl::get_group(const std::string& group_id_, meta::GroupSchema& group_info_) {
39 40 41 42 43 44 45
    return _pMeta->get_group(group_id_, group_info_);
}

Status DBImpl::has_group(const std::string& group_id_, bool& has_or_not_) {
    return _pMeta->has_group(group_id_, has_or_not_);
}

X
Xu Peng 已提交
46 47
Status DBImpl::get_group_files(const std::string& group_id,
                               const int date_delta,
48
                               meta::GroupFilesSchema& group_files_info) {
X
Xu Peng 已提交
49
    return _pMeta->get_group_files(group_id, date_delta, group_files_info);
50

X
Xu Peng 已提交
51 52
}

53 54
Status DBImpl::add_vectors(const std::string& group_id_,
        size_t n, const float* vectors, IDNumbers& vector_ids_) {
X
Xu Peng 已提交
55 56 57 58 59 60
    Status status = _pMemMgr->add_vectors(group_id_, n, vectors, vector_ids_);
    if (!status.ok()) {
        return status;
    }
}

X
Xu Peng 已提交
61 62 63 64 65 66
Status DBImpl::search(const std::string& group_id, size_t k, size_t nq,
        const float* vectors, QueryResults& results) {
    // PXU TODO
    return Status::OK();
}

X
Xu Peng 已提交
67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
void DBImpl::start_timer_task(int interval_) {
    std::thread bg_task(&DBImpl::background_timer_task, this, interval_);
    bg_task.detach();
}

void DBImpl::background_timer_task(int interval_) {
    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();
    }
82 83
}

X
Xu Peng 已提交
84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102
void DBImpl::try_schedule_compaction() {
    if (_bg_compaction_scheduled) return;
    if (!_bg_error.ok()) return;

    _bg_compaction_scheduled = true;
    _env->schedule(&DBImpl::BGWork, this);
}

void DBImpl::BGWork(void* db_) {
    reinterpret_cast<DBImpl*>(db_)->background_call();
}

void DBImpl::background_call() {
    std::lock_guard<std::mutex> lock(_mutex);
    assert(_bg_compaction_scheduled);

    if (!_bg_error.ok()) return;

    background_compaction();
X
Xu Peng 已提交
103 104 105

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

108 109 110 111 112 113 114 115 116

Status DBImpl::merge_files(const std::string& group_id, const meta::DateT& date,
        const meta::GroupFilesSchema& files) {
    meta::GroupFileSchema group_file;
    Status status = _pMeta->add_group_file(group_id, date, group_file);
    if (!status.ok()) {
        return status;
    }

X
Xu Peng 已提交
117
    std::shared_ptr<faiss::Index> index(faiss::index_factory(group_file.dimension, "IDMap,Flat"));
118 119 120 121 122

    meta::GroupFilesSchema updated;

    for (auto& file : files) {
        auto file_index = dynamic_cast<faiss::IndexIDMap*>(faiss::read_index(file.location.c_str()));
X
Xu Peng 已提交
123
        index->add_with_ids(file_index->ntotal, dynamic_cast<faiss::IndexFlat*>(file_index->index)->xb.data(),
124 125 126 127 128 129
                file_index->id_map.data());
        auto file_schema = file;
        file_schema.file_type = meta::GroupFileSchema::TO_DELETE;
        updated.push_back(file_schema);
    }

X
Xu Peng 已提交
130
    faiss::write_index(index.get(), group_file.location.c_str());
131 132 133 134 135 136 137 138 139
    group_file.file_type = meta::GroupFileSchema::RAW;
    updated.push_back(group_file);
    status = _pMeta->update_files(updated);

    return status;
}

Status DBImpl::background_merge_files(const std::string& group_id) {
    meta::DatePartionedGroupFilesSchema raw_files;
X
Xu Peng 已提交
140 141 142 143
    auto status = _pMeta->files_to_merge(group_id, raw_files);
    if (!status.ok()) {
        return status;
    }
144 145 146 147 148

    if (raw_files.size() == 0) {
        return Status::OK();
    }

X
Xu Peng 已提交
149 150
    bool has_merge = false;

151
    for (auto& kv : raw_files) {
X
Xu Peng 已提交
152 153 154 155
        auto files = kv.second;
        if (files.size() <= _options.raw_file_merge_trigger_number) {
            continue;
        }
X
Xu Peng 已提交
156
        has_merge = true;
157 158
        merge_files(group_id, kv.first, kv.second);
    }
X
Xu Peng 已提交
159 160 161 162 163 164 165 166 167 168

    if (has_merge) {
        try_build_index();
    }

    return Status::OK();
}

Status DBImpl::build_index(const meta::GroupFileSchema& file) {
    //PXU TODO
X
Xu Peng 已提交
169
    std::cout << ">>Building Index for: " << file.location << std::endl;
X
Xu Peng 已提交
170 171 172 173 174 175
    return Status::OK();
}

Status DBImpl::background_build_index() {
    assert(bg_build_index_started_);
    meta::GroupFilesSchema to_index_files;
X
Xu Peng 已提交
176
    _pMeta->files_to_index(to_index_files);
X
Xu Peng 已提交
177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194
    Status status;
    for (auto& file : to_index_files) {
        status = build_index(file);
        if (!status.ok()) {
            _bg_error = status;
            return status;
        }
    }

    bg_build_index_started_ = false;
    return Status::OK();
}

Status DBImpl::try_build_index() {
    if (bg_build_index_started_) return Status::OK();
    bg_build_index_started_ = true;
    std::thread build_index_task(&DBImpl::background_build_index, this);
    build_index_task.detach();
X
Xu Peng 已提交
195
    return Status::OK();
196 197
}

X
Xu Peng 已提交
198
void DBImpl::background_compaction() {
199 200
    std::vector<std::string> group_ids;
    _pMemMgr->serialize(group_ids);
201

X
Xu Peng 已提交
202 203 204 205 206 207 208 209
    Status status;
    for (auto group_id : group_ids) {
        /* std::cout << __func__ << " group_id=" << group_id << std::endl; */
        status = background_merge_files(group_id);
        if (!status.ok()) {
            _bg_error = status;
            return;
        }
210
    }
X
Xu Peng 已提交
211 212
}

X
Xu Peng 已提交
213
DBImpl::~DBImpl() {
X
Xu Peng 已提交
214
    std::unique_lock<std::mutex> lock(_mutex);
X
Xu Peng 已提交
215 216
    _shutting_down.store(true, std::memory_order_release);
    while (_bg_compaction_scheduled) {
X
Xu Peng 已提交
217
        _bg_work_finish_signal.wait(lock);
X
Xu Peng 已提交
218
    }
X
Xu Peng 已提交
219 220
}

X
Xu Peng 已提交
221 222 223 224 225 226 227 228 229 230 231
/*
 *  DB
 */

DB::~DB() {}

DB* DB::Open(const Options& options_, const std::string& name_) {
    DBImpl* impl = new DBImpl(options_, name_);
    return impl;
}

X
Xu Peng 已提交
232 233 234
} // namespace engine
} // namespace vecwise
} // namespace zilliz