DBImpl.cpp 6.2 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 9 10
#include "DBImpl.h"
#include "DBMetaImpl.h"
#include "Env.h"
X
Xu Peng 已提交
11

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

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

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

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

37
Status DBImpl::get_group(const std::string& group_id_, meta::GroupSchema& group_info_) {
38 39 40 41 42 43 44
    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 已提交
45 46
Status DBImpl::get_group_files(const std::string& group_id,
                               const int date_delta,
47
                               meta::GroupFilesSchema& group_files_info) {
X
Xu Peng 已提交
48
    return _pMeta->get_group_files(group_id, date_delta, group_files_info);
49

X
Xu Peng 已提交
50 51
}

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

X
Xu Peng 已提交
60 61 62 63 64 65
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 已提交
66 67 68 69 70 71 72 73 74 75 76 77 78 79 80
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();
    }
81 82
}

X
Xu Peng 已提交
83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
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 已提交
102 103 104

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

107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139

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;
    }

    faiss::IndexFlat innerIndex(group_file.dimension);
    faiss::IndexIDMap index(&innerIndex);

    meta::GroupFilesSchema updated;

    for (auto& file : files) {
        auto file_index = dynamic_cast<faiss::IndexIDMap*>(faiss::read_index(file.location.c_str()));
        index.add_with_ids(file_index->ntotal, dynamic_cast<faiss::IndexFlat*>(file_index->index)->xb.data(),
                file_index->id_map.data());
        auto file_schema = file;
        file_schema.file_type = meta::GroupFileSchema::TO_DELETE;
        updated.push_back(file_schema);
    }

    faiss::write_index(&index, group_file.location.c_str());
    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 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194

    if (has_merge) {
        try_build_index();
    }

    return Status::OK();
}

Status DBImpl::build_index(const meta::GroupFileSchema& file) {
    //PXU TODO
    return Status::OK();
}

Status DBImpl::background_build_index() {
    assert(bg_build_index_started_);
    meta::GroupFilesSchema to_index_files;
    // PXU TODO
    /* _pMeta->files_to_index(to_index_files); */
    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