DBImpl.cpp 104.5 KB
Newer Older
1
// Copyright (C) 2019-2020 Zilliz. All rights reserved.
J
jinhai 已提交
2
//
3 4
// Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance
// with the License. You may obtain a copy of the License at
J
jinhai 已提交
5
//
6 7 8 9 10
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software distributed under the License
// is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
// or implied. See the License for the specific language governing permissions and limitations under the License.
J
jinhai 已提交
11

S
starlord 已提交
12
#include "db/DBImpl.h"
Z
Zhiru Zhu 已提交
13 14

#include <assert.h>
15
#include <fiu-local.h>
Z
Zhiru Zhu 已提交
16 17 18 19 20

#include <algorithm>
#include <boost/filesystem.hpp>
#include <chrono>
#include <cstring>
21
#include <functional>
Z
Zhiru Zhu 已提交
22
#include <iostream>
23
#include <limits>
24
#include <mutex>
25
#include <queue>
Z
Zhiru Zhu 已提交
26 27
#include <set>
#include <thread>
28
#include <unordered_map>
Z
Zhiru Zhu 已提交
29 30
#include <utility>

S
starlord 已提交
31
#include "Utils.h"
S
starlord 已提交
32 33
#include "cache/CpuCacheMgr.h"
#include "cache/GpuCacheMgr.h"
34
#include "db/IDGenerator.h"
G
groot 已提交
35
#include "db/merge/MergeManagerFactory.h"
S
starlord 已提交
36
#include "engine/EngineFactory.h"
37
#include "index/knowhere/knowhere/index/vector_index/helpers/BuilderSuspend.h"
38
#include "index/knowhere/knowhere/index/vector_index/helpers/FaissIO.h"
39
#include "index/thirdparty/faiss/utils/distances.h"
40
#include "insert/MemManagerFactory.h"
S
starlord 已提交
41
#include "meta/MetaConsts.h"
S
starlord 已提交
42 43
#include "meta/MetaFactory.h"
#include "meta/SqliteMetaImpl.h"
G
groot 已提交
44
#include "metrics/Metrics.h"
G
groot 已提交
45
#include "scheduler/Definition.h"
S
starlord 已提交
46
#include "scheduler/SchedInst.h"
Y
Yu Kun 已提交
47
#include "scheduler/job/BuildIndexJob.h"
S
starlord 已提交
48 49
#include "scheduler/job/DeleteJob.h"
#include "scheduler/job/SearchJob.h"
50 51 52
#include "segment/SegmentReader.h"
#include "segment/SegmentWriter.h"
#include "utils/Exception.h"
S
starlord 已提交
53
#include "utils/Log.h"
G
groot 已提交
54
#include "utils/StringHelpFunctions.h"
S
starlord 已提交
55
#include "utils/TimeRecorder.h"
56 57
#include "utils/ValidationUtil.h"
#include "wal/WalDefinations.h"
X
Xu Peng 已提交
58

59 60
#include "search/TaskInst.h"

J
jinhai 已提交
61
namespace milvus {
X
Xu Peng 已提交
62
namespace engine {
X
Xu Peng 已提交
63

G
groot 已提交
64
namespace {
G
groot 已提交
65 66
constexpr uint64_t BACKGROUND_METRIC_INTERVAL = 1;
constexpr uint64_t BACKGROUND_INDEX_INTERVAL = 1;
G
groot 已提交
67
constexpr uint64_t WAIT_BUILD_INDEX_INTERVAL = 5;
G
groot 已提交
68

69 70 71 72 73 74 75 76
constexpr const char* JSON_ROW_COUNT = "row_count";
constexpr const char* JSON_PARTITIONS = "partitions";
constexpr const char* JSON_PARTITION_TAG = "tag";
constexpr const char* JSON_SEGMENTS = "segments";
constexpr const char* JSON_SEGMENT_NAME = "name";
constexpr const char* JSON_INDEX_NAME = "index_name";
constexpr const char* JSON_DATA_SIZE = "data_size";

G
groot 已提交
77
static const Status SHUTDOWN_ERROR = Status(DB_ERROR, "Milvus server is shutdown!");
G
groot 已提交
78

S
starlord 已提交
79
}  // namespace
G
groot 已提交
80

Y
Yu Kun 已提交
81
DBImpl::DBImpl(const DBOptions& options)
82
    : options_(options), initialized_(false), merge_thread_pool_(1, 1), index_thread_pool_(1, 1) {
S
starlord 已提交
83
    meta_ptr_ = MetaFactory::Build(options.meta_, options.mode_);
Z
zhiru 已提交
84
    mem_mgr_ = MemManagerFactory::Build(meta_ptr_, options_);
G
groot 已提交
85
    merge_mgr_ptr_ = MergeManagerFactory::Build(meta_ptr_, options_);
86 87 88 89 90 91 92 93 94 95

    if (options_.wal_enable_) {
        wal::MXLogConfiguration mxlog_config;
        mxlog_config.recovery_error_ignore = options_.recovery_error_ignore_;
        // 2 buffers in the WAL
        mxlog_config.buffer_size = options_.buffer_size_ / 2;
        mxlog_config.mxlog_path = options_.mxlog_path_;
        wal_mgr_ = std::make_shared<wal::WalManager>(mxlog_config);
    }

96 97
    SetIdentity("DBImpl");
    AddCacheInsertDataListener();
98
    AddUseBlasThresholdListener();
99
    knowhere::enable_faiss_logging();
100

S
starlord 已提交
101 102 103 104 105 106 107
    Start();
}

DBImpl::~DBImpl() {
    Stop();
}

S
starlord 已提交
108
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////
S
starlord 已提交
109
// external api
S
starlord 已提交
110
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////
S
starlord 已提交
111 112
Status
DBImpl::Start() {
113
    if (initialized_.load(std::memory_order_acquire)) {
S
starlord 已提交
114 115 116
        return Status::OK();
    }

117
    // LOG_ENGINE_TRACE_ << "DB service start";
118
    initialized_.store(true, std::memory_order_release);
S
starlord 已提交
119

G
groot 已提交
120 121 122 123 124 125 126 127 128 129
    // server may be closed unexpected, these un-merge files need to be merged when server restart
    // and soft-delete files need to be deleted when server restart
    std::set<std::string> merge_collection_ids;
    std::vector<meta::CollectionSchema> collection_schema_array;
    meta_ptr_->AllCollections(collection_schema_array);
    for (auto& schema : collection_schema_array) {
        merge_collection_ids.insert(schema.collection_id_);
    }
    StartMergeTask(merge_collection_ids, true);

130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154
    // wal
    if (options_.wal_enable_) {
        auto error_code = DB_ERROR;
        if (wal_mgr_ != nullptr) {
            error_code = wal_mgr_->Init(meta_ptr_);
        }
        if (error_code != WAL_SUCCESS) {
            throw Exception(error_code, "Wal init error!");
        }

        // recovery
        while (1) {
            wal::MXLogRecord record;
            auto error_code = wal_mgr_->GetNextRecovery(record);
            if (error_code != WAL_SUCCESS) {
                throw Exception(error_code, "Wal recovery error!");
            }
            if (record.type == wal::MXLogType::None) {
                break;
            }
            ExecWalRecord(record);
        }

        // for distribute version, some nodes are read only
        if (options_.mode_ != DBOptions::MODE::CLUSTER_READONLY) {
G
groot 已提交
155 156
            // background wal thread
            bg_wal_thread_ = std::thread(&DBImpl::BackgroundWalThread, this);
157 158 159 160
        }
    } else {
        // for distribute version, some nodes are read only
        if (options_.mode_ != DBOptions::MODE::CLUSTER_READONLY) {
G
groot 已提交
161 162
            // background flush thread
            bg_flush_thread_ = std::thread(&DBImpl::BackgroundFlushThread, this);
163
        }
Z
update  
zhiru 已提交
164
    }
S
starlord 已提交
165

G
groot 已提交
166 167 168 169 170 171 172
    // for distribute version, some nodes are read only
    if (options_.mode_ != DBOptions::MODE::CLUSTER_READONLY) {
        // background build index thread
        bg_index_thread_ = std::thread(&DBImpl::BackgroundIndexThread, this);
    }

    // background metric thread
Y
yukun 已提交
173
    fiu_do_on("options_metric_enable", options_.metric_enable_ = true);
G
groot 已提交
174 175 176
    if (options_.metric_enable_) {
        bg_metric_thread_ = std::thread(&DBImpl::BackgroundMetricThread, this);
    }
G
groot 已提交
177

S
starlord 已提交
178 179 180
    return Status::OK();
}

S
starlord 已提交
181 182
Status
DBImpl::Stop() {
183
    if (!initialized_.load(std::memory_order_acquire)) {
S
starlord 已提交
184 185
        return Status::OK();
    }
186

187
    initialized_.store(false, std::memory_order_release);
S
starlord 已提交
188

189 190
    if (options_.mode_ != DBOptions::MODE::CLUSTER_READONLY) {
        if (options_.wal_enable_) {
G
groot 已提交
191 192
            // wait wal thread finish
            swn_wal_.Notify();
193 194
            bg_wal_thread_.join();
        } else {
G
groot 已提交
195
            // flush all without merge
196 197 198 199
            wal::MXLogRecord record;
            record.type = wal::MXLogType::Flush;
            ExecWalRecord(record);

G
groot 已提交
200 201 202
            // wait flush thread finish
            swn_flush_.Notify();
            bg_flush_thread_.join();
203
        }
S
starlord 已提交
204

205 206
        WaitMergeFileFinish();

G
groot 已提交
207 208 209
        swn_index_.Notify();
        bg_index_thread_.join();

210
        meta_ptr_->CleanUpShadowFiles();
S
starlord 已提交
211 212
    }

G
groot 已提交
213
    // wait metric thread exit
G
groot 已提交
214 215 216 217
    if (options_.metric_enable_) {
        swn_metric_.Notify();
        bg_metric_thread_.join();
    }
G
groot 已提交
218

219
    // LOG_ENGINE_TRACE_ << "DB service stop";
S
starlord 已提交
220
    return Status::OK();
X
Xu Peng 已提交
221 222
}

S
starlord 已提交
223 224
Status
DBImpl::DropAll() {
S
starlord 已提交
225 226 227
    return meta_ptr_->DropAll();
}

S
starlord 已提交
228
Status
229
DBImpl::CreateCollection(meta::CollectionSchema& collection_schema) {
230
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
231
        return SHUTDOWN_ERROR;
S
starlord 已提交
232 233
    }

234
    meta::CollectionSchema temp_schema = collection_schema;
B
bigbraver 已提交
235
    temp_schema.index_file_size_ *= MB;  // store as MB
236
    if (options_.wal_enable_) {
237
        temp_schema.flush_lsn_ = wal_mgr_->CreateCollection(collection_schema.collection_id_);
238 239
    }

240
    return meta_ptr_->CreateCollection(temp_schema);
241 242
}

243 244 245 246 247 248 249
Status
DBImpl::CreateHybridCollection(meta::CollectionSchema& collection_schema, meta::hybrid::FieldsSchema& fields_schema) {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    meta::CollectionSchema temp_schema = collection_schema;
Y
yukun 已提交
250
    temp_schema.index_file_size_ *= MB;
251
    if (options_.wal_enable_) {
Y
yukun 已提交
252
        temp_schema.flush_lsn_ = wal_mgr_->CreateHybridCollection(collection_schema.collection_id_);
253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268
    }

    return meta_ptr_->CreateHybridCollection(temp_schema, fields_schema);
}

Status
DBImpl::DescribeHybridCollection(meta::CollectionSchema& collection_schema,
                                 milvus::engine::meta::hybrid::FieldsSchema& fields_schema) {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    auto stat = meta_ptr_->DescribeHybridCollection(collection_schema, fields_schema);
    return stat;
}

S
starlord 已提交
269
Status
270
DBImpl::DropCollection(const std::string& collection_id) {
271
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
272
        return SHUTDOWN_ERROR;
S
starlord 已提交
273 274
    }

275 276 277 278
    // dates partly delete files of the collection but currently we don't support
    LOG_ENGINE_DEBUG_ << "Prepare to delete collection " << collection_id;

    Status status;
279
    if (options_.wal_enable_) {
280
        wal_mgr_->DropCollection(collection_id);
281 282
    }

283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305
    status = mem_mgr_->EraseMemVector(collection_id);      // not allow insert
    status = meta_ptr_->DropCollections({collection_id});  // soft delete collection
    index_failed_checker_.CleanFailedIndexFileOfCollection(collection_id);

    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
    std::vector<std::string> partition_id_array;
    for (auto& schema : partition_array) {
        if (options_.wal_enable_) {
            wal_mgr_->DropCollection(schema.collection_id_);
        }
        status = mem_mgr_->EraseMemVector(schema.collection_id_);
        index_failed_checker_.CleanFailedIndexFileOfCollection(schema.collection_id_);
        partition_id_array.push_back(schema.collection_id_);
    }

    status = meta_ptr_->DropCollections(partition_id_array);
    fiu_do_on("DBImpl.DropCollection.failed", status = Status(DB_ERROR, ""));
    if (!status.ok()) {
        return status;
    }

    return Status::OK();
G
groot 已提交
306 307
}

S
starlord 已提交
308
Status
309
DBImpl::DescribeCollection(meta::CollectionSchema& collection_schema) {
310
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
311
        return SHUTDOWN_ERROR;
S
starlord 已提交
312 313
    }

314
    auto stat = meta_ptr_->DescribeCollection(collection_schema);
B
bigbraver 已提交
315
    collection_schema.index_file_size_ /= MB;  // return as MB
S
starlord 已提交
316
    return stat;
317 318
}

S
starlord 已提交
319
Status
320
DBImpl::HasCollection(const std::string& collection_id, bool& has_or_not) {
321
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
322
        return SHUTDOWN_ERROR;
S
starlord 已提交
323 324
    }

G
groot 已提交
325
    return meta_ptr_->HasCollection(collection_id, has_or_not, false);
326 327
}

328
Status
G
groot 已提交
329
DBImpl::HasNativeCollection(const std::string& collection_id, bool& has_or_not) {
330 331 332 333
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

G
groot 已提交
334
    return meta_ptr_->HasCollection(collection_id, has_or_not, true);
335 336
}

S
starlord 已提交
337
Status
338
DBImpl::AllCollections(std::vector<meta::CollectionSchema>& collection_schema_array) {
339
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
340
        return SHUTDOWN_ERROR;
S
starlord 已提交
341 342
    }

343 344
    std::vector<meta::CollectionSchema> all_collections;
    auto status = meta_ptr_->AllCollections(all_collections);
345

346 347 348 349 350
    // only return real collections, dont return partition collections
    collection_schema_array.clear();
    for (auto& schema : all_collections) {
        if (schema.owner_collection_.empty()) {
            collection_schema_array.push_back(schema);
351 352 353 354
        }
    }

    return status;
G
groot 已提交
355 356
}

357
Status
358
DBImpl::GetCollectionInfo(const std::string& collection_id, std::string& collection_info) {
359 360 361 362 363
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    // step1: get all partition ids
J
Jin Hai 已提交
364 365
    std::vector<meta::CollectionSchema> partition_array;
    auto status = meta_ptr_->ShowPartitions(collection_id, partition_array);
366

J
Jin Hai 已提交
367 368
    std::vector<int> file_types{meta::SegmentSchema::FILE_TYPE::RAW, meta::SegmentSchema::FILE_TYPE::TO_INDEX,
                                meta::SegmentSchema::FILE_TYPE::INDEX};
369

370 371 372
    milvus::json json_info;
    milvus::json json_partitions;
    size_t total_row_count = 0;
373

374
    auto get_info = [&](const std::string& col_id, const std::string& tag) {
G
groot 已提交
375 376
        meta::FilesHolder files_holder;
        status = meta_ptr_->FilesByType(col_id, file_types, files_holder);
377
        if (!status.ok()) {
J
Jin Hai 已提交
378
            std::string err_msg = "Failed to get collection info: " + status.ToString();
379
            LOG_ENGINE_ERROR_ << err_msg;
380 381 382
            return Status(DB_ERROR, err_msg);
        }

383 384 385 386 387
        milvus::json json_partition;
        json_partition[JSON_PARTITION_TAG] = tag;

        milvus::json json_segments;
        size_t row_count = 0;
G
groot 已提交
388
        milvus::engine::meta::SegmentsSchema& collection_files = files_holder.HoldFiles();
389
        for (auto& file : collection_files) {
390 391 392 393 394 395 396 397 398
            milvus::json json_segment;
            json_segment[JSON_SEGMENT_NAME] = file.segment_id_;
            json_segment[JSON_ROW_COUNT] = file.row_count_;
            json_segment[JSON_INDEX_NAME] = utils::GetIndexName(file.engine_type_);
            json_segment[JSON_DATA_SIZE] = (int64_t)file.file_size_;
            json_segments.push_back(json_segment);

            row_count += file.row_count_;
            total_row_count += file.row_count_;
399 400
        }

401 402 403 404 405 406 407
        json_partition[JSON_ROW_COUNT] = row_count;
        json_partition[JSON_SEGMENTS] = json_segments;

        json_partitions.push_back(json_partition);

        return Status::OK();
    };
408

409 410 411 412
    // step2: get default partition info
    status = get_info(collection_id, milvus::engine::DEFAULT_PARTITON_TAG);
    if (!status.ok()) {
        return status;
413 414
    }

415 416 417 418 419 420 421 422 423 424 425 426 427
    // step3: get partitions info
    for (auto& schema : partition_array) {
        status = get_info(schema.collection_id_, schema.partition_tag_);
        if (!status.ok()) {
            return status;
        }
    }

    json_info[JSON_ROW_COUNT] = total_row_count;
    json_info[JSON_PARTITIONS] = json_partitions;

    collection_info = json_info.dump();

428 429 430
    return Status::OK();
}

S
starlord 已提交
431
Status
G
groot 已提交
432 433
DBImpl::PreloadCollection(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
                          bool force) {
434
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
435
        return SHUTDOWN_ERROR;
S
starlord 已提交
436 437
    }

J
Jin Hai 已提交
438
    // step 1: get all collection files from parent collection
G
groot 已提交
439
    meta::FilesHolder files_holder;
G
groot 已提交
440
#if 0
G
groot 已提交
441
    auto status = meta_ptr_->FilesToSearch(collection_id, files_holder);
Y
Yu Kun 已提交
442 443 444
    if (!status.ok()) {
        return status;
    }
Y
Yu Kun 已提交
445

446
    // step 2: get files from partition collections
J
Jin Hai 已提交
447 448
    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
449
    for (auto& schema : partition_array) {
G
groot 已提交
450
        status = meta_ptr_->FilesToSearch(schema.collection_id_, files_holder);
G
groot 已提交
451
    }
G
groot 已提交
452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470
#else
    auto status = meta_ptr_->FilesToSearch(collection_id, files_holder);
    if (!status.ok()) {
        return status;
    }

    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);

    std::set<std::string> partition_ids;
    for (auto& schema : partition_array) {
        partition_ids.insert(schema.collection_id_);
    }

    status = meta_ptr_->FilesToSearchEx(collection_id, partition_ids, files_holder);
    if (!status.ok()) {
        return status;
    }
#endif
G
groot 已提交
471

Y
Yu Kun 已提交
472 473
    int64_t size = 0;
    int64_t cache_total = cache::CpuCacheMgr::GetInstance()->CacheCapacity();
Y
Yu Kun 已提交
474 475
    int64_t cache_usage = cache::CpuCacheMgr::GetInstance()->CacheUsage();
    int64_t available_size = cache_total - cache_usage;
Y
Yu Kun 已提交
476

477
    // step 3: load file one by one
G
groot 已提交
478
    milvus::engine::meta::SegmentsSchema& files_array = files_holder.HoldFiles();
479 480
    LOG_ENGINE_DEBUG_ << "Begin pre-load collection:" + collection_id + ", totally " << files_array.size()
                      << " files need to be pre-loaded";
J
Jin Hai 已提交
481
    TimeRecorderAuto rc("Pre-load collection:" + collection_id);
G
groot 已提交
482
    for (auto& file : files_array) {
G
groot 已提交
483 484 485 486 487 488
        // client break the connection, no need to continue
        if (context && context->IsConnectionBroken()) {
            LOG_ENGINE_DEBUG_ << "Client connection broken, stop load collection";
            break;
        }

489
        EngineType engine_type;
J
Jin Hai 已提交
490 491 492
        if (file.file_type_ == meta::SegmentSchema::FILE_TYPE::RAW ||
            file.file_type_ == meta::SegmentSchema::FILE_TYPE::TO_INDEX ||
            file.file_type_ == meta::SegmentSchema::FILE_TYPE::BACKUP) {
493 494
            engine_type =
                utils::IsBinaryMetricType(file.metric_type_) ? EngineType::FAISS_BIN_IDMAP : EngineType::FAISS_IDMAP;
495 496 497
        } else {
            engine_type = (EngineType)file.engine_type_;
        }
498 499 500 501

        auto json = milvus::json::parse(file.index_params_);
        ExecutionEnginePtr engine =
            EngineFactory::Build(file.dimension_, file.location_, engine_type, (MetricType)file.metric_type_, json);
502
        fiu_do_on("DBImpl.PreloadCollection.null_engine", engine = nullptr);
G
groot 已提交
503
        if (engine == nullptr) {
504
            LOG_ENGINE_ERROR_ << "Invalid engine type";
G
groot 已提交
505 506
            return Status(DB_ERROR, "Invalid engine type");
        }
Y
Yu Kun 已提交
507

508
        fiu_do_on("DBImpl.PreloadCollection.exceed_cache", size = available_size + 1);
509 510

        try {
511
            fiu_do_on("DBImpl.PreloadCollection.engine_throw_exception", throw std::exception());
512 513
            std::string msg = "Pre-loaded file: " + file.file_id_ + " size: " + std::to_string(file.file_size_);
            TimeRecorderAuto rc_1(msg);
514 515 516 517
            status = engine->Load(true);
            if (!status.ok()) {
                return status;
            }
518 519

            size += engine->Size();
G
groot 已提交
520
            if (!force && size > available_size) {
521
                LOG_ENGINE_DEBUG_ << "Pre-load cancelled since cache is almost full";
522
                return Status(SERVER_CACHE_FULL, "Cache is full");
Y
Yu Kun 已提交
523
            }
524
        } catch (std::exception& ex) {
J
Jin Hai 已提交
525
            std::string msg = "Pre-load collection encounter exception: " + std::string(ex.what());
526
            LOG_ENGINE_ERROR_ << msg;
527
            return Status(DB_ERROR, msg);
Y
Yu Kun 已提交
528 529
        }
    }
G
groot 已提交
530

Y
Yu Kun 已提交
531
    return Status::OK();
Y
Yu Kun 已提交
532 533
}

534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590
Status
DBImpl::ReLoadSegmentsDeletedDocs(const std::string& collection_id, const std::vector<int64_t>& segment_ids) {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    meta::FilesHolder files_holder;
    std::vector<size_t> file_ids;
    for (auto& id : segment_ids) {
        file_ids.emplace_back(id);
    }

    auto status = meta_ptr_->FilesByID(file_ids, files_holder);
    if (!status.ok()) {
        std::string err_msg = "Failed get file holders by ids: " + status.ToString();
        LOG_ENGINE_ERROR_ << err_msg;
        return Status(DB_ERROR, err_msg);
    }

    milvus::engine::meta::SegmentsSchema hold_files = files_holder.HoldFiles();

    for (auto& file : hold_files) {
        std::string segment_dir;
        utils::GetParentPath(file.location_, segment_dir);

        auto data_obj_ptr = cache::CpuCacheMgr::GetInstance()->GetIndex(file.location_);
        auto index = std::static_pointer_cast<knowhere::VecIndex>(data_obj_ptr);
        if (nullptr == index) {
            LOG_ENGINE_WARNING_ << "Index " << file.location_ << " not found";
            continue;
        }

        segment::SegmentReader segment_reader(segment_dir);

        segment::DeletedDocsPtr delete_docs = std::make_shared<segment::DeletedDocs>();
        segment_reader.LoadDeletedDocs(delete_docs);
        auto& docs_offsets = delete_docs->GetDeletedDocs();

        faiss::ConcurrentBitsetPtr blacklist = index->GetBlacklist();
        if (nullptr == blacklist) {
            LOG_ENGINE_WARNING_ << "Index " << file.location_ << " is empty";
            faiss::ConcurrentBitsetPtr concurrent_bitset_ptr =
                std::make_shared<faiss::ConcurrentBitset>(index->Count());
            index->SetBlacklist(concurrent_bitset_ptr);
            blacklist = concurrent_bitset_ptr;
        }

        for (auto& i : docs_offsets) {
            if (!blacklist->test(i)) {
                blacklist->set(i);
            }
        }
    }

    return Status::OK();
}

S
starlord 已提交
591
Status
592
DBImpl::UpdateCollectionFlag(const std::string& collection_id, int64_t flag) {
593
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
594
        return SHUTDOWN_ERROR;
S
starlord 已提交
595 596
    }

597
    return meta_ptr_->UpdateCollectionFlag(collection_id, flag);
S
starlord 已提交
598 599
}

S
starlord 已提交
600
Status
601
DBImpl::GetCollectionRowCount(const std::string& collection_id, uint64_t& row_count) {
602
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
603 604 605
        return SHUTDOWN_ERROR;
    }

606
    return GetCollectionRowCountRecursively(collection_id, row_count);
G
groot 已提交
607 608 609
}

Status
J
Jin Hai 已提交
610
DBImpl::CreatePartition(const std::string& collection_id, const std::string& partition_name,
G
groot 已提交
611
                        const std::string& partition_tag) {
612
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
613 614 615
        return SHUTDOWN_ERROR;
    }

616
    uint64_t lsn = 0;
G
groot 已提交
617 618 619 620 621
    if (options_.wal_enable_) {
        lsn = wal_mgr_->CreatePartition(collection_id, partition_tag);
    } else {
        meta_ptr_->GetCollectionFlushLSN(collection_id, lsn);
    }
J
Jin Hai 已提交
622
    return meta_ptr_->CreatePartition(collection_id, partition_name, partition_tag, lsn);
G
groot 已提交
623 624
}

G
groot 已提交
625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643
Status
DBImpl::HasPartition(const std::string& collection_id, const std::string& tag, bool& has_or_not) {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    // trim side-blank of tag, only compare valid characters
    // for example: " ab cd " is treated as "ab cd"
    std::string valid_tag = tag;
    server::StringHelpFunctions::TrimStringBlank(valid_tag);

    if (valid_tag == milvus::engine::DEFAULT_PARTITON_TAG) {
        has_or_not = true;
        return Status::OK();
    }

    return meta_ptr_->HasPartition(collection_id, valid_tag, has_or_not);
}

G
groot 已提交
644 645
Status
DBImpl::DropPartition(const std::string& partition_name) {
646
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
647
        return SHUTDOWN_ERROR;
S
starlord 已提交
648 649
    }

650
    mem_mgr_->EraseMemVector(partition_name);                // not allow insert
J
Jin Hai 已提交
651
    auto status = meta_ptr_->DropPartition(partition_name);  // soft delete collection
652
    if (!status.ok()) {
653
        LOG_ENGINE_ERROR_ << status.message();
654 655
        return status;
    }
G
groot 已提交
656

J
Jin Hai 已提交
657
    // scheduler will determine when to delete collection files
G
groot 已提交
658 659 660 661 662 663
    auto nres = scheduler::ResMgrInst::GetInstance()->GetNumOfComputeResource();
    scheduler::DeleteJobPtr job = std::make_shared<scheduler::DeleteJob>(partition_name, meta_ptr_, nres);
    scheduler::JobMgrInst::GetInstance()->Put(job);
    job->WaitAndDelete();

    return Status::OK();
G
groot 已提交
664 665
}

S
starlord 已提交
666
Status
J
Jin Hai 已提交
667
DBImpl::DropPartitionByTag(const std::string& collection_id, const std::string& partition_tag) {
668
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
669 670 671 672
        return SHUTDOWN_ERROR;
    }

    std::string partition_name;
J
Jin Hai 已提交
673
    auto status = meta_ptr_->GetPartitionName(collection_id, partition_tag, partition_name);
674
    if (!status.ok()) {
675
        LOG_ENGINE_ERROR_ << status.message();
676 677 678
        return status;
    }

G
groot 已提交
679 680 681 682
    if (options_.wal_enable_) {
        wal_mgr_->DropPartition(collection_id, partition_tag);
    }

G
groot 已提交
683 684 685 686
    return DropPartition(partition_name);
}

Status
J
Jin Hai 已提交
687
DBImpl::ShowPartitions(const std::string& collection_id, std::vector<meta::CollectionSchema>& partition_schema_array) {
688
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
689 690 691
        return SHUTDOWN_ERROR;
    }

J
Jin Hai 已提交
692
    return meta_ptr_->ShowPartitions(collection_id, partition_schema_array);
G
groot 已提交
693 694 695
}

Status
J
Jin Hai 已提交
696
DBImpl::InsertVectors(const std::string& collection_id, const std::string& partition_tag, VectorsData& vectors) {
697
    //    LOG_ENGINE_DEBUG_ << "Insert " << n << " vectors to cache";
698
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
699
        return SHUTDOWN_ERROR;
S
starlord 已提交
700
    }
Y
yu yunfeng 已提交
701

J
Jin Hai 已提交
702
    // insert vectors into target collection
703 704
    // (zhiru): generate ids
    if (vectors.id_array_.empty()) {
J
Jin Hai 已提交
705 706 707
        SafeIDGenerator& id_generator = SafeIDGenerator::GetInstance();
        Status status = id_generator.GetNextIDNumbers(vectors.vector_count_, vectors.id_array_);
        if (!status.ok()) {
708
            LOG_ENGINE_ERROR_ << LogOut("[%s][%ld] Get next id number fail: %s", "insert", 0, status.message().c_str());
J
Jin Hai 已提交
709 710
            return status;
        }
711 712
    }

713
    Status status;
714
    if (options_.wal_enable_) {
715 716
        std::string target_collection_name;
        status = GetPartitionByTag(collection_id, partition_tag, target_collection_name);
G
groot 已提交
717
        if (!status.ok()) {
718
            LOG_ENGINE_ERROR_ << LogOut("[%s][%ld] Get partition fail: %s", "insert", 0, status.message().c_str());
G
groot 已提交
719 720
            return status;
        }
721 722

        if (!vectors.float_data_.empty()) {
J
Jin Hai 已提交
723
            wal_mgr_->Insert(collection_id, partition_tag, vectors.id_array_, vectors.float_data_);
724
        } else if (!vectors.binary_data_.empty()) {
J
Jin Hai 已提交
725
            wal_mgr_->Insert(collection_id, partition_tag, vectors.id_array_, vectors.binary_data_);
726
        }
G
groot 已提交
727
        swn_wal_.Notify();
728 729 730
    } else {
        wal::MXLogRecord record;
        record.lsn = 0;  // need to get from meta ?
J
Jin Hai 已提交
731
        record.collection_id = collection_id;
732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747
        record.partition_tag = partition_tag;
        record.ids = vectors.id_array_.data();
        record.length = vectors.vector_count_;
        if (vectors.binary_data_.empty()) {
            record.type = wal::MXLogType::InsertVector;
            record.data = vectors.float_data_.data();
            record.data_size = vectors.float_data_.size() * sizeof(float);
        } else {
            record.type = wal::MXLogType::InsertBinary;
            record.ids = vectors.id_array_.data();
            record.length = vectors.vector_count_;
            record.data = vectors.binary_data_.data();
            record.data_size = vectors.binary_data_.size() * sizeof(uint8_t);
        }

        status = ExecWalRecord(record);
G
groot 已提交
748 749
    }

750 751 752
    return status;
}

753
Status
Y
yukun 已提交
754 755 756 757 758
CopyToAttr(std::vector<uint8_t>& record, uint64_t row_num, const std::vector<std::string>& field_names,
           std::unordered_map<std::string, meta::hybrid::DataType>& attr_types,
           std::unordered_map<std::string, std::vector<uint8_t>>& attr_datas,
           std::unordered_map<std::string, uint64_t>& attr_nbytes,
           std::unordered_map<std::string, uint64_t>& attr_data_size) {
759
    uint64_t offset = 0;
Y
yukun 已提交
760 761
    for (auto name : field_names) {
        switch (attr_types.at(name)) {
762 763
            case meta::hybrid::DataType::INT8: {
                std::vector<uint8_t> data;
Y
yukun 已提交
764
                data.resize(row_num * sizeof(int8_t));
765

Y
yukun 已提交
766 767
                std::vector<int64_t> attr_value(row_num, 0);
                memcpy(attr_value.data(), record.data() + offset, row_num * sizeof(int64_t));
768

Y
yukun 已提交
769 770
                std::vector<int8_t> raw_value(row_num, 0);
                for (uint64_t i = 0; i < row_num; ++i) {
771 772 773
                    raw_value[i] = attr_value[i];
                }

Y
yukun 已提交
774 775
                memcpy(data.data(), raw_value.data(), row_num * sizeof(int8_t));
                attr_datas.insert(std::make_pair(name, data));
776

Y
yukun 已提交
777 778 779
                attr_nbytes.insert(std::make_pair(name, sizeof(int8_t)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(int8_t)));
                offset += row_num * sizeof(int64_t);
780 781 782 783
                break;
            }
            case meta::hybrid::DataType::INT16: {
                std::vector<uint8_t> data;
Y
yukun 已提交
784
                data.resize(row_num * sizeof(int16_t));
785

Y
yukun 已提交
786 787
                std::vector<int64_t> attr_value(row_num, 0);
                memcpy(attr_value.data(), record.data() + offset, row_num * sizeof(int64_t));
788

Y
yukun 已提交
789 790
                std::vector<int16_t> raw_value(row_num, 0);
                for (uint64_t i = 0; i < row_num; ++i) {
791 792 793
                    raw_value[i] = attr_value[i];
                }

Y
yukun 已提交
794 795
                memcpy(data.data(), raw_value.data(), row_num * sizeof(int16_t));
                attr_datas.insert(std::make_pair(name, data));
796

Y
yukun 已提交
797 798 799
                attr_nbytes.insert(std::make_pair(name, sizeof(int16_t)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(int16_t)));
                offset += row_num * sizeof(int64_t);
800 801 802 803
                break;
            }
            case meta::hybrid::DataType::INT32: {
                std::vector<uint8_t> data;
Y
yukun 已提交
804
                data.resize(row_num * sizeof(int32_t));
805

Y
yukun 已提交
806 807
                std::vector<int64_t> attr_value(row_num, 0);
                memcpy(attr_value.data(), record.data() + offset, row_num * sizeof(int64_t));
808

Y
yukun 已提交
809 810
                std::vector<int32_t> raw_value(row_num, 0);
                for (uint64_t i = 0; i < row_num; ++i) {
811 812 813
                    raw_value[i] = attr_value[i];
                }

Y
yukun 已提交
814 815
                memcpy(data.data(), raw_value.data(), row_num * sizeof(int32_t));
                attr_datas.insert(std::make_pair(name, data));
816

Y
yukun 已提交
817 818 819
                attr_nbytes.insert(std::make_pair(name, sizeof(int32_t)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(int32_t)));
                offset += row_num * sizeof(int64_t);
820 821 822 823
                break;
            }
            case meta::hybrid::DataType::INT64: {
                std::vector<uint8_t> data;
Y
yukun 已提交
824 825 826 827 828 829
                data.resize(row_num * sizeof(int64_t));
                memcpy(data.data(), record.data() + offset, row_num * sizeof(int64_t));
                attr_datas.insert(std::make_pair(name, data));

                std::vector<int64_t> test_data(row_num);
                memcpy(test_data.data(), record.data(), row_num * sizeof(int64_t));
830

Y
yukun 已提交
831 832 833
                attr_nbytes.insert(std::make_pair(name, sizeof(int64_t)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(int64_t)));
                offset += row_num * sizeof(int64_t);
834 835 836 837
                break;
            }
            case meta::hybrid::DataType::FLOAT: {
                std::vector<uint8_t> data;
Y
yukun 已提交
838
                data.resize(row_num * sizeof(float));
839

Y
yukun 已提交
840 841
                std::vector<double> attr_value(row_num, 0);
                memcpy(attr_value.data(), record.data() + offset, row_num * sizeof(double));
842

Y
yukun 已提交
843 844
                std::vector<float> raw_value(row_num, 0);
                for (uint64_t i = 0; i < row_num; ++i) {
845 846 847
                    raw_value[i] = attr_value[i];
                }

Y
yukun 已提交
848 849
                memcpy(data.data(), raw_value.data(), row_num * sizeof(float));
                attr_datas.insert(std::make_pair(name, data));
850

Y
yukun 已提交
851 852 853
                attr_nbytes.insert(std::make_pair(name, sizeof(float)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(float)));
                offset += row_num * sizeof(double);
854 855 856 857
                break;
            }
            case meta::hybrid::DataType::DOUBLE: {
                std::vector<uint8_t> data;
Y
yukun 已提交
858 859 860
                data.resize(row_num * sizeof(double));
                memcpy(data.data(), record.data() + offset, row_num * sizeof(double));
                attr_datas.insert(std::make_pair(name, data));
861

Y
yukun 已提交
862 863 864
                attr_nbytes.insert(std::make_pair(name, sizeof(double)));
                attr_data_size.insert(std::make_pair(name, row_num * sizeof(double)));
                offset += row_num * sizeof(double);
865 866
                break;
            }
867 868
            default:
                break;
869 870
        }
    }
Y
yukun 已提交
871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920
    return Status::OK();
}

Status
DBImpl::InsertEntities(const std::string& collection_id, const std::string& partition_tag,
                       const std::vector<std::string>& field_names, Entity& entity,
                       std::unordered_map<std::string, meta::hybrid::DataType>& attr_types) {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    // Generate id
    if (entity.id_array_.empty()) {
        SafeIDGenerator& id_generator = SafeIDGenerator::GetInstance();
        Status status = id_generator.GetNextIDNumbers(entity.entity_count_, entity.id_array_);
        if (!status.ok()) {
            return status;
        }
    }

    Status status;
    std::unordered_map<std::string, std::vector<uint8_t>> attr_data;
    std::unordered_map<std::string, uint64_t> attr_nbytes;
    std::unordered_map<std::string, uint64_t> attr_data_size;
    status = CopyToAttr(entity.attr_value_, entity.entity_count_, field_names, attr_types, attr_data, attr_nbytes,
                        attr_data_size);
    if (!status.ok()) {
        return status;
    }

    wal::MXLogRecord record;
    record.lsn = 0;
    record.collection_id = collection_id;
    record.partition_tag = partition_tag;
    record.ids = entity.id_array_.data();
    record.length = entity.entity_count_;

    auto vector_it = entity.vector_data_.begin();
    if (vector_it->second.binary_data_.empty()) {
        record.type = wal::MXLogType::Entity;
        record.data = vector_it->second.float_data_.data();
        record.data_size = vector_it->second.float_data_.size() * sizeof(float);
        record.attr_data = attr_data;
        record.attr_nbytes = attr_nbytes;
        record.attr_data_size = attr_data_size;
    } else {
        //        record.type = wal::MXLogType::InsertBinary;
        //        record.data = entities.vector_data_[0].binary_data_.data();
        //        record.length = entities.vector_data_[0].binary_data_.size() * sizeof(uint8_t);
    }
921 922

    status = ExecWalRecord(record);
Y
yukun 已提交
923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968

#if 0
    if (options_.wal_enable_) {
        std::string target_collection_name;
        status = GetPartitionByTag(collection_id, partition_tag, target_collection_name);
        if (!status.ok()) {
            LOG_ENGINE_ERROR_ << LogOut("[%s][%ld] Get partition fail: %s", "insert", 0, status.message().c_str());
            return status;
        }

        auto vector_it = entity.vector_data_.begin();
        if (!vector_it->second.binary_data_.empty()) {
            wal_mgr_->InsertEntities(collection_id, partition_tag, entity.id_array_, vector_it->second.binary_data_,
                                     attr_nbytes, attr_data);
        } else if (!vector_it->second.float_data_.empty()) {
            wal_mgr_->InsertEntities(collection_id, partition_tag, entity.id_array_, vector_it->second.float_data_,
                                     attr_nbytes, attr_data);
        }
        swn_wal_.Notify();
    } else {
        // insert entities: collection_name is field id
        wal::MXLogRecord record;
        record.lsn = 0;
        record.collection_id = collection_id;
        record.partition_tag = partition_tag;
        record.ids = entity.id_array_.data();
        record.length = entity.entity_count_;

        auto vector_it = entity.vector_data_.begin();
        if (vector_it->second.binary_data_.empty()) {
            record.type = wal::MXLogType::Entity;
            record.data = vector_it->second.float_data_.data();
            record.data_size = vector_it->second.float_data_.size() * sizeof(float);
            record.attr_data = attr_data;
            record.attr_nbytes = attr_nbytes;
            record.attr_data_size = attr_data_size;
        } else {
            //        record.type = wal::MXLogType::InsertBinary;
            //        record.data = entities.vector_data_[0].binary_data_.data();
            //        record.length = entities.vector_data_[0].binary_data_.size() * sizeof(uint8_t);
        }

        status = ExecWalRecord(record);
    }
#endif

969 970 971
    return status;
}

972
Status
J
Jin Hai 已提交
973
DBImpl::DeleteVector(const std::string& collection_id, IDNumber vector_id) {
974 975
    IDNumbers ids;
    ids.push_back(vector_id);
J
Jin Hai 已提交
976
    return DeleteVectors(collection_id, ids);
977 978 979
}

Status
J
Jin Hai 已提交
980
DBImpl::DeleteVectors(const std::string& collection_id, IDNumbers vector_ids) {
981 982 983 984 985 986
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    Status status;
    if (options_.wal_enable_) {
J
Jin Hai 已提交
987
        wal_mgr_->DeleteById(collection_id, vector_ids);
G
groot 已提交
988
        swn_wal_.Notify();
989 990 991 992
    } else {
        wal::MXLogRecord record;
        record.lsn = 0;  // need to get from meta ?
        record.type = wal::MXLogType::Delete;
J
Jin Hai 已提交
993
        record.collection_id = collection_id;
994 995 996 997 998 999 1000 1001 1002 1003
        record.ids = vector_ids.data();
        record.length = vector_ids.size();

        status = ExecWalRecord(record);
    }

    return status;
}

Status
J
Jin Hai 已提交
1004
DBImpl::Flush(const std::string& collection_id) {
1005 1006 1007 1008 1009
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    Status status;
1010 1011
    bool has_collection;
    status = HasCollection(collection_id, has_collection);
1012 1013 1014
    if (!status.ok()) {
        return status;
    }
1015
    if (!has_collection) {
1016
        LOG_ENGINE_ERROR_ << "Collection to flush does not exist: " << collection_id;
J
Jin Hai 已提交
1017
        return Status(DB_NOT_FOUND, "Collection to flush does not exist");
1018 1019
    }

1020
    LOG_ENGINE_DEBUG_ << "Begin flush collection: " << collection_id;
1021 1022

    if (options_.wal_enable_) {
1023
        LOG_ENGINE_DEBUG_ << "WAL flush";
J
Jin Hai 已提交
1024
        auto lsn = wal_mgr_->Flush(collection_id);
1025
        if (lsn != 0) {
G
groot 已提交
1026 1027
            swn_wal_.Notify();
            flush_req_swn_.Wait();
1028 1029 1030 1031
        } else {
            // no collection flushed, call merge task to cleanup files
            std::set<std::string> merge_collection_ids;
            StartMergeTask(merge_collection_ids);
1032 1033
        }
    } else {
1034
        LOG_ENGINE_DEBUG_ << "MemTable flush";
G
groot 已提交
1035
        InternalFlush(collection_id);
1036 1037
    }

1038
    LOG_ENGINE_DEBUG_ << "End flush collection: " << collection_id;
1039 1040 1041 1042 1043 1044 1045 1046 1047 1048

    return status;
}

Status
DBImpl::Flush() {
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

1049
    LOG_ENGINE_DEBUG_ << "Begin flush all collections";
1050 1051

    Status status;
Y
yukun 已提交
1052
    fiu_do_on("options_wal_enable_false", options_.wal_enable_ = false);
1053
    if (options_.wal_enable_) {
1054
        LOG_ENGINE_DEBUG_ << "WAL flush";
1055 1056
        auto lsn = wal_mgr_->Flush();
        if (lsn != 0) {
G
groot 已提交
1057 1058
            swn_wal_.Notify();
            flush_req_swn_.Wait();
1059 1060 1061 1062
        } else {
            // no collection flushed, call merge task to cleanup files
            std::set<std::string> merge_collection_ids;
            StartMergeTask(merge_collection_ids);
1063 1064
        }
    } else {
1065
        LOG_ENGINE_DEBUG_ << "MemTable flush";
G
groot 已提交
1066
        InternalFlush();
1067 1068
    }

1069
    LOG_ENGINE_DEBUG_ << "End flush all collections";
1070 1071 1072 1073 1074

    return status;
}

Status
G
groot 已提交
1075
DBImpl::Compact(const std::shared_ptr<server::Context>& context, const std::string& collection_id, double threshold) {
1076 1077 1078 1079
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

1080 1081 1082
    engine::meta::CollectionSchema collection_schema;
    collection_schema.collection_id_ = collection_id;
    auto status = DescribeCollection(collection_schema);
1083 1084
    if (!status.ok()) {
        if (status.code() == DB_NOT_FOUND) {
1085
            LOG_ENGINE_ERROR_ << "Collection to compact does not exist: " << collection_id;
J
Jin Hai 已提交
1086
            return Status(DB_NOT_FOUND, "Collection to compact does not exist");
1087 1088 1089 1090
        } else {
            return status;
        }
    } else {
1091
        if (!collection_schema.owner_collection_.empty()) {
1092
            LOG_ENGINE_ERROR_ << "Collection to compact does not exist: " << collection_id;
J
Jin Hai 已提交
1093
            return Status(DB_NOT_FOUND, "Collection to compact does not exist");
1094 1095 1096
        }
    }

1097
    LOG_ENGINE_DEBUG_ << "Before compacting, wait for build index thread to finish...";
1098

G
groot 已提交
1099 1100 1101
    std::vector<meta::CollectionSchema> collection_array;
    status = meta_ptr_->ShowPartitions(collection_id, collection_array);
    collection_array.push_back(collection_schema);
1102

Z
update  
Zhiru Zhu 已提交
1103
    const std::lock_guard<std::mutex> index_lock(build_index_mutex_);
Z
Zhiru Zhu 已提交
1104
    const std::lock_guard<std::mutex> merge_lock(flush_merge_compact_mutex_);
Z
Zhiru Zhu 已提交
1105

1106
    LOG_ENGINE_DEBUG_ << "Compacting collection: " << collection_id;
Z
Zhiru Zhu 已提交
1107

1108
    // Get files to compact from meta.
J
Jin Hai 已提交
1109 1110
    std::vector<int> file_types{meta::SegmentSchema::FILE_TYPE::RAW, meta::SegmentSchema::FILE_TYPE::TO_INDEX,
                                meta::SegmentSchema::FILE_TYPE::BACKUP};
G
groot 已提交
1111
    meta::FilesHolder files_holder;
G
groot 已提交
1112
    status = meta_ptr_->FilesByTypeEx(collection_array, file_types, files_holder);
1113 1114
    if (!status.ok()) {
        std::string err_msg = "Failed to get files to compact: " + status.message();
1115
        LOG_ENGINE_ERROR_ << err_msg;
1116 1117 1118
        return Status(DB_ERROR, err_msg);
    }

G
groot 已提交
1119
    LOG_ENGINE_DEBUG_ << "Found " << files_holder.HoldFiles().size() << " segment to compact";
Z
Zhiru Zhu 已提交
1120 1121

    Status compact_status;
G
groot 已提交
1122 1123
    // attention: here is a copy, not reference, since files_holder.UnmarkFile will change the array internal
    milvus::engine::meta::SegmentsSchema files_to_compact = files_holder.HoldFiles();
Z
Zhiru Zhu 已提交
1124
    for (auto iter = files_to_compact.begin(); iter != files_to_compact.end();) {
G
groot 已提交
1125 1126 1127 1128 1129 1130
        // client break the connection, no need to continue
        if (context && context->IsConnectionBroken()) {
            LOG_ENGINE_DEBUG_ << "Client connection broken, stop compact operation";
            break;
        }

J
Jin Hai 已提交
1131
        meta::SegmentSchema file = *iter;
G
groot 已提交
1132 1133
        iter = files_to_compact.erase(iter);

Z
Zhiru Zhu 已提交
1134 1135 1136
        // Check if the segment needs compacting
        std::string segment_dir;
        utils::GetParentPath(file.location_, segment_dir);
1137

Z
Zhiru Zhu 已提交
1138
        segment::SegmentReader segment_reader(segment_dir);
Z
Zhiru Zhu 已提交
1139 1140
        size_t deleted_docs_size;
        status = segment_reader.ReadDeletedDocsSize(deleted_docs_size);
Z
Zhiru Zhu 已提交
1141
        if (!status.ok()) {
G
groot 已提交
1142
            files_holder.UnmarkFile(file);
G
groot 已提交
1143
            continue;  // skip this file and try compact next one
Z
Zhiru Zhu 已提交
1144 1145
        }

J
Jin Hai 已提交
1146
        meta::SegmentsSchema files_to_update;
Z
Zhiru Zhu 已提交
1147
        if (deleted_docs_size != 0) {
G
groot 已提交
1148
            compact_status = CompactFile(file, threshold, files_to_update);
Z
Zhiru Zhu 已提交
1149 1150

            if (!compact_status.ok()) {
1151 1152
                LOG_ENGINE_ERROR_ << "Compact failed for segment " << file.segment_id_ << ": "
                                  << compact_status.message();
G
groot 已提交
1153
                files_holder.UnmarkFile(file);
G
groot 已提交
1154
                continue;  // skip this file and try compact next one
Z
Zhiru Zhu 已提交
1155 1156
            }
        } else {
G
groot 已提交
1157
            files_holder.UnmarkFile(file);
1158
            LOG_ENGINE_DEBUG_ << "Segment " << file.segment_id_ << " has no deleted data. No need to compact";
G
groot 已提交
1159
            continue;  // skip this file and try compact next one
1160
        }
Z
Zhiru Zhu 已提交
1161

1162
        LOG_ENGINE_DEBUG_ << "Updating meta after compaction...";
1163
        status = meta_ptr_->UpdateCollectionFiles(files_to_update);
G
groot 已提交
1164
        files_holder.UnmarkFile(file);
G
groot 已提交
1165 1166 1167 1168
        if (!status.ok()) {
            compact_status = status;
            break;  // meta error, could not go on
        }
Z
Zhiru Zhu 已提交
1169 1170
    }

G
groot 已提交
1171
    if (compact_status.ok()) {
1172
        LOG_ENGINE_DEBUG_ << "Finished compacting collection: " << collection_id;
G
groot 已提交
1173
    }
1174

G
groot 已提交
1175
    return compact_status;
1176 1177 1178
}

Status
G
groot 已提交
1179 1180
DBImpl::CompactFile(const meta::SegmentSchema& file, double threshold, meta::SegmentsSchema& files_to_update) {
    LOG_ENGINE_DEBUG_ << "Compacting segment " << file.segment_id_ << " for collection: " << file.collection_id_;
1181

G
groot 已提交
1182 1183 1184 1185 1186 1187 1188 1189 1190 1191
    std::string segment_dir_to_merge;
    utils::GetParentPath(file.location_, segment_dir_to_merge);

    // no need to compact if deleted vectors are too few(less than threashold)
    if (file.row_count_ > 0 && threshold > 0.0) {
        segment::SegmentReader segment_reader_to_merge(segment_dir_to_merge);
        segment::DeletedDocsPtr deleted_docs_ptr;
        auto status = segment_reader_to_merge.LoadDeletedDocs(deleted_docs_ptr);
        if (status.ok()) {
            auto delete_items = deleted_docs_ptr->GetDeletedDocs();
G
groot 已提交
1192
            double delete_rate = (double)delete_items.size() / (double)(delete_items.size() + file.row_count_);
G
groot 已提交
1193 1194 1195 1196 1197 1198 1199 1200
            if (delete_rate < threshold) {
                LOG_ENGINE_DEBUG_ << "Delete rate less than " << threshold << ", no need to compact for"
                                  << segment_dir_to_merge;
                return Status::OK();
            }
        }
    }

J
Jin Hai 已提交
1201 1202
    // Create new collection file
    meta::SegmentSchema compacted_file;
G
groot 已提交
1203
    compacted_file.collection_id_ = file.collection_id_;
J
Jin Hai 已提交
1204
    compacted_file.file_type_ = meta::SegmentSchema::NEW_MERGE;  // TODO: use NEW_MERGE for now
G
groot 已提交
1205
    auto status = meta_ptr_->CreateCollectionFile(compacted_file);
1206 1207

    if (!status.ok()) {
1208
        LOG_ENGINE_ERROR_ << "Failed to create collection file: " << status.message();
1209 1210 1211
        return status;
    }

J
Jin Hai 已提交
1212
    // Compact (merge) file to the newly created collection file
1213 1214 1215 1216
    std::string new_segment_dir;
    utils::GetParentPath(compacted_file.location_, new_segment_dir);
    auto segment_writer_ptr = std::make_shared<segment::SegmentWriter>(new_segment_dir);

1217
    LOG_ENGINE_DEBUG_ << "Compacting begin...";
1218 1219 1220
    segment_writer_ptr->Merge(segment_dir_to_merge, compacted_file.file_id_);

    // Serialize
1221
    LOG_ENGINE_DEBUG_ << "Serializing compacted segment...";
1222 1223
    status = segment_writer_ptr->Serialize();
    if (!status.ok()) {
1224
        LOG_ENGINE_ERROR_ << "Failed to serialize compacted segment: " << status.message();
J
Jin Hai 已提交
1225
        compacted_file.file_type_ = meta::SegmentSchema::TO_DELETE;
1226
        auto mark_status = meta_ptr_->UpdateCollectionFile(compacted_file);
1227
        if (mark_status.ok()) {
1228
            LOG_ENGINE_DEBUG_ << "Mark file: " << compacted_file.file_id_ << " to to_delete";
1229
        }
G
groot 已提交
1230

1231 1232 1233
        return status;
    }

G
groot 已提交
1234
    // Update compacted file state, if origin file is backup or to_index, set compacted file to to_index
1235 1236 1237 1238 1239 1240
    compacted_file.file_size_ = segment_writer_ptr->Size();
    compacted_file.row_count_ = segment_writer_ptr->VectorCount();
    if ((file.file_type_ == (int32_t)meta::SegmentSchema::BACKUP ||
         file.file_type_ == (int32_t)meta::SegmentSchema::TO_INDEX) &&
        (compacted_file.row_count_ > meta::BUILD_INDEX_THRESHOLD)) {
        compacted_file.file_type_ = meta::SegmentSchema::TO_INDEX;
1241
    } else {
J
Jin Hai 已提交
1242
        compacted_file.file_type_ = meta::SegmentSchema::RAW;
1243 1244 1245
    }

    if (compacted_file.row_count_ == 0) {
1246
        LOG_ENGINE_DEBUG_ << "Compacted segment is empty. Mark it as TO_DELETE";
J
Jin Hai 已提交
1247
        compacted_file.file_type_ = meta::SegmentSchema::TO_DELETE;
1248 1249
    }

Z
Zhiru Zhu 已提交
1250
    files_to_update.emplace_back(compacted_file);
Z
Zhiru Zhu 已提交
1251

Z
Zhiru Zhu 已提交
1252 1253
    // Set all files in segment to TO_DELETE
    auto& segment_id = file.segment_id_;
G
groot 已提交
1254 1255
    meta::FilesHolder files_holder;
    status = meta_ptr_->GetCollectionFilesBySegmentId(segment_id, files_holder);
Z
Zhiru Zhu 已提交
1256 1257 1258
    if (!status.ok()) {
        return status;
    }
G
groot 已提交
1259 1260

    milvus::engine::meta::SegmentsSchema& segment_files = files_holder.HoldFiles();
Z
Zhiru Zhu 已提交
1261
    for (auto& f : segment_files) {
J
Jin Hai 已提交
1262
        f.file_type_ = meta::SegmentSchema::FILE_TYPE::TO_DELETE;
Z
Zhiru Zhu 已提交
1263 1264
        files_to_update.emplace_back(f);
    }
G
groot 已提交
1265
    files_holder.ReleaseFiles();
1266

1267 1268 1269
    LOG_ENGINE_DEBUG_ << "Compacted segment " << compacted_file.segment_id_ << " from "
                      << std::to_string(file.file_size_) << " bytes to " << std::to_string(compacted_file.file_size_)
                      << " bytes";
1270 1271 1272 1273 1274 1275 1276 1277 1278

    if (options_.insert_cache_immediately_) {
        segment_writer_ptr->Cache();
    }

    return status;
}

Status
G
groot 已提交
1279
DBImpl::GetVectorsByID(const engine::meta::CollectionSchema& collection, const IDNumbers& id_array,
1280
                       std::vector<engine::VectorsData>& vectors) {
1281 1282 1283 1284
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

G
groot 已提交
1285
    meta::FilesHolder files_holder;
J
Jin Hai 已提交
1286 1287
    std::vector<int> file_types{meta::SegmentSchema::FILE_TYPE::RAW, meta::SegmentSchema::FILE_TYPE::TO_INDEX,
                                meta::SegmentSchema::FILE_TYPE::BACKUP};
1288

G
groot 已提交
1289 1290 1291 1292 1293
    std::vector<meta::CollectionSchema> collection_array;
    auto status = meta_ptr_->ShowPartitions(collection.collection_id_, collection_array);

    collection_array.push_back(collection);
    status = meta_ptr_->FilesByTypeEx(collection_array, file_types, files_holder);
1294
    if (!status.ok()) {
G
groot 已提交
1295
        std::string err_msg = "Failed to get files for GetVectorByID: " + status.message();
1296
        LOG_ENGINE_ERROR_ << err_msg;
1297 1298 1299
        return status;
    }

G
groot 已提交
1300
    if (files_holder.HoldFiles().empty()) {
1301
        LOG_ENGINE_DEBUG_ << "No files to get vector by id from";
J
Jin Hai 已提交
1302
        return Status(DB_NOT_FOUND, "Collection is empty");
1303 1304 1305
    }

    cache::CpuCacheMgr::GetInstance()->PrintInfo();
G
groot 已提交
1306
    status = GetVectorsByIdHelper(id_array, vectors, files_holder);
1307 1308
    cache::CpuCacheMgr::GetInstance()->PrintInfo();

G
groot 已提交
1309 1310 1311 1312 1313
    if (vectors.empty()) {
        std::string msg = "Vectors not found in collection " + collection.collection_id_;
        LOG_ENGINE_DEBUG_ << msg;
    }

1314 1315 1316 1317
    return status;
}

Status
J
Jin Hai 已提交
1318
DBImpl::GetVectorIDs(const std::string& collection_id, const std::string& segment_id, IDNumbers& vector_ids) {
1319 1320 1321 1322
    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

J
Jin Hai 已提交
1323
    // step 1: check collection existence
1324 1325 1326
    bool has_collection;
    auto status = HasCollection(collection_id, has_collection);
    if (!has_collection) {
1327
        LOG_ENGINE_ERROR_ << "Collection " << collection_id << " does not exist: ";
J
Jin Hai 已提交
1328
        return Status(DB_NOT_FOUND, "Collection does not exist");
1329 1330 1331 1332 1333 1334
    }
    if (!status.ok()) {
        return status;
    }

    //  step 2: find segment
G
groot 已提交
1335 1336
    meta::FilesHolder files_holder;
    status = meta_ptr_->GetCollectionFilesBySegmentId(segment_id, files_holder);
1337 1338 1339 1340
    if (!status.ok()) {
        return status;
    }

G
groot 已提交
1341
    milvus::engine::meta::SegmentsSchema& collection_files = files_holder.HoldFiles();
1342
    if (collection_files.empty()) {
1343 1344 1345
        return Status(DB_NOT_FOUND, "Segment does not exist");
    }

J
Jin Hai 已提交
1346
    // check the segment is belong to this collection
1347
    if (collection_files[0].collection_id_ != collection_id) {
J
Jin Hai 已提交
1348
        // the segment could be in a partition under this collection
1349 1350 1351 1352
        meta::CollectionSchema collection_schema;
        collection_schema.collection_id_ = collection_files[0].collection_id_;
        status = DescribeCollection(collection_schema);
        if (collection_schema.owner_collection_ != collection_id) {
J
Jin Hai 已提交
1353
            return Status(DB_NOT_FOUND, "Segment does not belong to this collection");
1354 1355 1356 1357 1358
        }
    }

    // step 3: load segment ids and delete offset
    std::string segment_dir;
1359
    engine::utils::GetParentPath(collection_files[0].location_, segment_dir);
1360 1361 1362 1363 1364 1365 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 1377 1378 1379 1380 1381 1382 1383 1384
    segment::SegmentReader segment_reader(segment_dir);

    std::vector<segment::doc_id_t> uids;
    status = segment_reader.LoadUids(uids);
    if (!status.ok()) {
        return status;
    }

    segment::DeletedDocsPtr deleted_docs_ptr;
    status = segment_reader.LoadDeletedDocs(deleted_docs_ptr);
    if (!status.ok()) {
        return status;
    }

    // step 4: construct id array
    // avoid duplicate offset and erase from max offset to min offset
    auto& deleted_offset = deleted_docs_ptr->GetDeletedDocs();
    std::set<segment::offset_t, std::greater<segment::offset_t>> ordered_offset;
    for (segment::offset_t offset : deleted_offset) {
        ordered_offset.insert(offset);
    }
    for (segment::offset_t offset : ordered_offset) {
        uids.erase(uids.begin() + offset);
    }
    vector_ids.swap(uids);
S
starlord 已提交
1385

G
groot 已提交
1386
    return status;
X
Xu Peng 已提交
1387 1388
}

1389
Status
G
groot 已提交
1390 1391
DBImpl::GetVectorsByIdHelper(const IDNumbers& id_array, std::vector<engine::VectorsData>& vectors,
                             meta::FilesHolder& files_holder) {
G
groot 已提交
1392 1393
    // attention: this is a copy, not a reference, since the files_holder.UnMarkFile will change the array internal
    milvus::engine::meta::SegmentsSchema files = files_holder.HoldFiles();
1394
    LOG_ENGINE_DEBUG_ << "Getting vector by id in " << files.size() << " files, id count = " << id_array.size();
J
Jin Hai 已提交
1395

1396 1397 1398 1399 1400 1401 1402
    // sometimes not all of id_array can be found, we need to return empty vector for id not found
    // for example:
    // id_array = [1, -1, 2, -1, 3]
    // vectors should return [valid_vector, empty_vector, valid_vector, empty_vector, valid_vector]
    // the ID2RAW is to ensure returned vector sequence is consist with id_array
    using ID2VECTOR = std::map<int64_t, VectorsData>;
    ID2VECTOR map_id2vector;
1403

1404 1405 1406
    vectors.clear();

    IDNumbers temp_ids = id_array;
1407
    for (auto& file : files) {
G
groot 已提交
1408 1409 1410
        if (temp_ids.empty()) {
            break;  // all vectors found, no need to continue
        }
1411 1412 1413 1414 1415
        // Load bloom filter
        std::string segment_dir;
        engine::utils::GetParentPath(file.location_, segment_dir);
        segment::SegmentReader segment_reader(segment_dir);
        segment::IdBloomFilterPtr id_bloom_filter_ptr;
Y
yukun 已提交
1416 1417 1418 1419
        auto status = segment_reader.LoadBloomFilter(id_bloom_filter_ptr);
        if (!status.ok()) {
            return status;
        }
1420

1421 1422 1423 1424 1425 1426 1427 1428 1429 1430 1431
        for (IDNumbers::iterator it = temp_ids.begin(); it != temp_ids.end();) {
            int64_t vector_id = *it;
            // each id must has a VectorsData
            // if vector not found for an id, its VectorsData's vector_count = 0, else 1
            VectorsData& vector_ref = map_id2vector[vector_id];

            // Check if the id is present in bloom filter.
            if (id_bloom_filter_ptr->Check(vector_id)) {
                // Load uids and check if the id is indeed present. If yes, find its offset.
                std::vector<segment::doc_id_t> uids;
                auto status = segment_reader.LoadUids(uids);
1432 1433 1434
                if (!status.ok()) {
                    return status;
                }
1435 1436 1437 1438 1439 1440 1441 1442

                auto found = std::find(uids.begin(), uids.end(), vector_id);
                if (found != uids.end()) {
                    auto offset = std::distance(uids.begin(), found);

                    // Check whether the id has been deleted
                    segment::DeletedDocsPtr deleted_docs_ptr;
                    status = segment_reader.LoadDeletedDocs(deleted_docs_ptr);
1443
                    if (!status.ok()) {
J
Jin Hai 已提交
1444
                        LOG_ENGINE_ERROR_ << status.message();
1445 1446
                        return status;
                    }
1447 1448 1449 1450 1451 1452 1453 1454 1455 1456 1457 1458 1459 1460 1461 1462 1463 1464 1465 1466 1467 1468 1469 1470 1471 1472
                    auto& deleted_docs = deleted_docs_ptr->GetDeletedDocs();

                    auto deleted = std::find(deleted_docs.begin(), deleted_docs.end(), offset);
                    if (deleted == deleted_docs.end()) {
                        // Load raw vector
                        bool is_binary = utils::IsBinaryMetricType(file.metric_type_);
                        size_t single_vector_bytes = is_binary ? file.dimension_ / 8 : file.dimension_ * sizeof(float);
                        std::vector<uint8_t> raw_vector;
                        status =
                            segment_reader.LoadVectors(offset * single_vector_bytes, single_vector_bytes, raw_vector);
                        if (!status.ok()) {
                            LOG_ENGINE_ERROR_ << status.message();
                            return status;
                        }

                        vector_ref.vector_count_ = 1;
                        if (is_binary) {
                            vector_ref.binary_data_.swap(raw_vector);
                        } else {
                            std::vector<float> float_vector;
                            float_vector.resize(file.dimension_);
                            memcpy(float_vector.data(), raw_vector.data(), single_vector_bytes);
                            vector_ref.float_data_.swap(float_vector);
                        }
                        temp_ids.erase(it);
                        continue;
1473 1474 1475
                    }
                }
            }
1476 1477 1478

            it++;
        }
G
groot 已提交
1479 1480 1481

        // unmark file, allow the file to be deleted
        files_holder.UnmarkFile(file);
1482 1483 1484 1485 1486 1487 1488 1489
    }

    for (auto id : id_array) {
        VectorsData& vector_ref = map_id2vector[id];

        VectorsData data;
        data.vector_count_ = vector_ref.vector_count_;
        if (data.vector_count_ > 0) {
G
groot 已提交
1490 1491
            data.float_data_ = vector_ref.float_data_;    // copy data since there could be duplicated id
            data.binary_data_ = vector_ref.binary_data_;  // copy data since there could be duplicated id
1492
        }
1493
        vectors.emplace_back(data);
1494 1495 1496 1497 1498
    }

    return Status::OK();
}

S
starlord 已提交
1499
Status
G
groot 已提交
1500 1501
DBImpl::CreateIndex(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
                    const CollectionIndex& index) {
1502
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1503 1504 1505
        return SHUTDOWN_ERROR;
    }

G
groot 已提交
1506
    // step 1: wait merge file thread finished to avoid duplicate data bug
1507
    auto status = Flush();
G
groot 已提交
1508
    WaitMergeFileFinish();  // let merge file thread finish
G
groot 已提交
1509 1510 1511 1512 1513 1514 1515 1516

    // merge all files for this collection, including its partitions
    std::set<std::string> merge_collection_ids = {collection_id};
    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
    for (auto& schema : partition_array) {
        merge_collection_ids.insert(schema.collection_id_);
    }
G
groot 已提交
1517 1518
    StartMergeTask(merge_collection_ids, true);  // start force-merge task
    WaitMergeFileFinish();                       // let force-merge file thread finish
G
groot 已提交
1519

S
starlord 已提交
1520 1521 1522
    {
        std::unique_lock<std::mutex> lock(build_index_mutex_);

G
groot 已提交
1523
        // step 2: check index difference
1524
        CollectionIndex old_index;
J
Jin Hai 已提交
1525
        status = DescribeIndex(collection_id, old_index);
S
starlord 已提交
1526
        if (!status.ok()) {
1527
            LOG_ENGINE_ERROR_ << "Failed to get collection index info for collection: " << collection_id;
S
starlord 已提交
1528 1529 1530
            return status;
        }

G
groot 已提交
1531
        // step 3: update index info
1532 1533
        CollectionIndex new_index = index;
        new_index.metric_type_ = old_index.metric_type_;  // dont change metric type, it was defined by CreateCollection
S
starlord 已提交
1534
        if (!utils::IsSameIndex(old_index, new_index)) {
1535
            status = UpdateCollectionIndexRecursively(collection_id, new_index);
S
starlord 已提交
1536 1537 1538 1539 1540 1541
            if (!status.ok()) {
                return status;
            }
        }
    }

S
starlord 已提交
1542
    // step 4: wait and build index
1543
    status = index_failed_checker_.CleanFailedIndexFileOfCollection(collection_id);
G
groot 已提交
1544
    status = WaitCollectionIndexRecursively(context, collection_id, index);
S
starlord 已提交
1545

G
groot 已提交
1546
    return status;
S
starlord 已提交
1547 1548
}

S
starlord 已提交
1549
Status
1550
DBImpl::DescribeIndex(const std::string& collection_id, CollectionIndex& index) {
1551
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1552 1553 1554
        return SHUTDOWN_ERROR;
    }

1555
    return meta_ptr_->DescribeCollectionIndex(collection_id, index);
S
starlord 已提交
1556 1557
}

S
starlord 已提交
1558
Status
J
Jin Hai 已提交
1559
DBImpl::DropIndex(const std::string& collection_id) {
1560
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1561 1562 1563
        return SHUTDOWN_ERROR;
    }

1564
    LOG_ENGINE_DEBUG_ << "Drop index for collection: " << collection_id;
G
groot 已提交
1565
    auto status = DropCollectionIndexRecursively(collection_id);
G
groot 已提交
1566 1567
    std::set<std::string> merge_collection_ids = {collection_id};
    StartMergeTask(merge_collection_ids, true);  // merge small files after drop index
G
groot 已提交
1568
    return status;
S
starlord 已提交
1569 1570
}

S
starlord 已提交
1571
Status
1572 1573 1574
DBImpl::QueryByIDs(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
                   const std::vector<std::string>& partition_tags, uint64_t k, const milvus::json& extra_params,
                   const IDNumbers& id_array, ResultIds& result_ids, ResultDistances& result_distances) {
1575
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1576
        return SHUTDOWN_ERROR;
S
starlord 已提交
1577 1578
    }

1579 1580 1581 1582 1583 1584 1585 1586 1587 1588 1589 1590 1591 1592 1593 1594 1595 1596 1597 1598 1599 1600 1601 1602 1603 1604 1605 1606 1607 1608
    if (id_array.empty()) {
        return Status(DB_ERROR, "Empty id array during query by id");
    }

    TimeRecorder rc("Query by id in collection:" + collection_id);

    // get collection schema
    engine::meta::CollectionSchema collection_schema;
    collection_schema.collection_id_ = collection_id;
    auto status = DescribeCollection(collection_schema);
    if (!status.ok()) {
        if (status.code() == DB_NOT_FOUND) {
            std::string msg = "Collection to search does not exist: " + collection_id;
            LOG_ENGINE_ERROR_ << msg;
            return Status(DB_NOT_FOUND, msg);
        } else {
            return status;
        }
    } else {
        if (!collection_schema.owner_collection_.empty()) {
            std::string msg = "Collection to search does not exist: " + collection_id;
            LOG_ENGINE_ERROR_ << msg;
            return Status(DB_NOT_FOUND, msg);
        }
    }

    rc.RecordSection("get collection schema");

    // get target vectors data
    std::vector<milvus::engine::VectorsData> vectors;
G
groot 已提交
1609
    status = GetVectorsByID(collection_schema, id_array, vectors);
1610 1611 1612 1613 1614 1615 1616 1617 1618 1619 1620 1621 1622 1623 1624 1625 1626 1627 1628 1629 1630 1631 1632 1633 1634 1635 1636 1637 1638 1639 1640 1641 1642 1643 1644 1645 1646 1647 1648 1649 1650 1651 1652 1653 1654 1655 1656 1657 1658 1659 1660 1661 1662 1663 1664 1665 1666 1667 1668 1669 1670 1671 1672 1673 1674 1675 1676 1677 1678 1679 1680 1681 1682 1683 1684 1685 1686 1687 1688 1689 1690 1691 1692 1693 1694 1695
    if (!status.ok()) {
        std::string msg = "Failed to get vector data for collection: " + collection_id;
        LOG_ENGINE_ERROR_ << msg;
        return status;
    }

    // some vectors could not be found, no need to search them
    uint64_t valid_count = 0;
    bool is_binary = utils::IsBinaryMetricType(collection_schema.metric_type_);
    for (auto& vector : vectors) {
        if (vector.vector_count_ > 0) {
            valid_count++;
        }
    }

    // copy valid vectors data for search input
    uint64_t dimension = collection_schema.dimension_;
    VectorsData valid_vectors;
    valid_vectors.vector_count_ = valid_count;
    if (is_binary) {
        valid_vectors.binary_data_.resize(valid_count * dimension / 8);
    } else {
        valid_vectors.float_data_.resize(valid_count * dimension * sizeof(float));
    }

    int64_t valid_index = 0;
    for (size_t i = 0; i < vectors.size(); i++) {
        if (vectors[i].vector_count_ == 0) {
            continue;
        }
        if (is_binary) {
            memcpy(valid_vectors.binary_data_.data() + valid_index * dimension / 8, vectors[i].binary_data_.data(),
                   vectors[i].binary_data_.size());
        } else {
            memcpy(valid_vectors.float_data_.data() + valid_index * dimension, vectors[i].float_data_.data(),
                   vectors[i].float_data_.size() * sizeof(float));
        }
        valid_index++;
    }

    rc.RecordSection("construct query input");

    // search valid vectors
    ResultIds valid_result_ids;
    ResultDistances valid_result_distances;
    status = Query(context, collection_id, partition_tags, k, extra_params, valid_vectors, valid_result_ids,
                   valid_result_distances);
    if (!status.ok()) {
        std::string msg = "Failed to query by id in collection " + collection_id + ", error: " + status.message();
        LOG_ENGINE_ERROR_ << msg;
        return status;
    }

    if (valid_result_ids.size() != valid_count * k || valid_result_distances.size() != valid_count * k) {
        std::string msg = "Failed to query by id in collection " + collection_id + ", result doesn't match id count";
        return Status(DB_ERROR, msg);
    }

    rc.RecordSection("query vealid vectors");

    // construct result
    if (valid_count == id_array.size()) {
        result_ids.swap(valid_result_ids);
        result_distances.swap(valid_result_distances);
    } else {
        result_ids.resize(vectors.size() * k);
        result_distances.resize(vectors.size() * k);
        int64_t valid_index = 0;
        for (uint64_t i = 0; i < vectors.size(); i++) {
            if (vectors[i].vector_count_ > 0) {
                memcpy(result_ids.data() + i * k, valid_result_ids.data() + valid_index * k, k * sizeof(int64_t));
                memcpy(result_distances.data() + i * k, valid_result_distances.data() + valid_index * k,
                       k * sizeof(float));
                valid_index++;
            } else {
                memset(result_ids.data() + i * k, -1, k * sizeof(int64_t));
                for (uint64_t j = i * k; j < i * k + k; j++) {
                    result_distances[j] = std::numeric_limits<float>::max();
                }
            }
        }
    }

    rc.RecordSection("construct result");

    return status;
X
Xu Peng 已提交
1696 1697
}

1698 1699 1700 1701 1702 1703 1704 1705 1706 1707 1708 1709 1710
Status
DBImpl::HybridQuery(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
                    const std::vector<std::string>& partition_tags,
                    context::HybridSearchContextPtr hybrid_search_context, query::GeneralQueryPtr general_query,
                    std::unordered_map<std::string, engine::meta::hybrid::DataType>& attr_type, uint64_t& nq,
                    ResultIds& result_ids, ResultDistances& result_distances) {
    auto query_ctx = context->Child("Query");

    if (!initialized_.load(std::memory_order_acquire)) {
        return SHUTDOWN_ERROR;
    }

    Status status;
G
groot 已提交
1711
    meta::FilesHolder files_holder;
1712 1713 1714
    if (partition_tags.empty()) {
        // no partition tag specified, means search in whole table
        // get all table files from parent table
G
groot 已提交
1715
        status = meta_ptr_->FilesToSearch(collection_id, files_holder);
1716 1717 1718 1719 1720 1721 1722 1723 1724 1725
        if (!status.ok()) {
            return status;
        }

        std::vector<meta::CollectionSchema> partition_array;
        status = meta_ptr_->ShowPartitions(collection_id, partition_array);
        if (!status.ok()) {
            return status;
        }
        for (auto& schema : partition_array) {
G
groot 已提交
1726
            status = meta_ptr_->FilesToSearch(schema.collection_id_, files_holder);
1727
            if (!status.ok()) {
G
groot 已提交
1728
                return Status(DB_ERROR, "get files to search failed in HybridQuery");
1729 1730 1731
            }
        }

G
groot 已提交
1732 1733
        if (files_holder.HoldFiles().empty()) {
            return Status::OK();  // no files to search
1734 1735 1736 1737 1738 1739 1740
        }
    } else {
        // get files from specified partitions
        std::set<std::string> partition_name_array;
        GetPartitionsByTags(collection_id, partition_tags, partition_name_array);

        for (auto& partition_name : partition_name_array) {
G
groot 已提交
1741
            status = meta_ptr_->FilesToSearch(partition_name, files_holder);
1742
            if (!status.ok()) {
G
groot 已提交
1743
                return Status(DB_ERROR, "get files to search failed in HybridQuery");
1744 1745 1746
            }
        }

G
groot 已提交
1747
        if (files_holder.HoldFiles().empty()) {
1748 1749 1750 1751 1752
            return Status::OK();
        }
    }

    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info before query
G
groot 已提交
1753
    status = HybridQueryAsync(query_ctx, collection_id, files_holder, hybrid_search_context, general_query, attr_type,
1754 1755 1756 1757 1758 1759 1760 1761 1762 1763 1764
                              nq, result_ids, result_distances);
    if (!status.ok()) {
        return status;
    }
    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info after query

    query_ctx->GetTraceContext()->GetSpan()->Finish();

    return status;
}

S
starlord 已提交
1765
Status
J
Jin Hai 已提交
1766
DBImpl::Query(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
1767 1768
              const std::vector<std::string>& partition_tags, uint64_t k, const milvus::json& extra_params,
              const VectorsData& vectors, ResultIds& result_ids, ResultDistances& result_distances) {
1769
    milvus::server::ContextChild tracer(context, "Query");
Z
Zhiru Zhu 已提交
1770

1771
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1772
        return SHUTDOWN_ERROR;
S
starlord 已提交
1773 1774
    }

G
groot 已提交
1775
    Status status;
G
groot 已提交
1776
    meta::FilesHolder files_holder;
G
groot 已提交
1777
    if (partition_tags.empty()) {
G
groot 已提交
1778
#if 0
J
Jin Hai 已提交
1779 1780
        // no partition tag specified, means search in whole collection
        // get all collection files from parent collection
G
groot 已提交
1781
        status = meta_ptr_->FilesToSearch(collection_id, files_holder);
G
groot 已提交
1782 1783 1784 1785
        if (!status.ok()) {
            return status;
        }

J
Jin Hai 已提交
1786 1787
        std::vector<meta::CollectionSchema> partition_array;
        status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
1788
        for (auto& schema : partition_array) {
G
groot 已提交
1789
            status = meta_ptr_->FilesToSearch(schema.collection_id_, files_holder);
1790
        }
G
groot 已提交
1791 1792 1793 1794 1795 1796 1797 1798 1799 1800 1801 1802 1803 1804 1805 1806 1807 1808 1809 1810 1811
#else
        // no partition tag specified, means search in whole collection
        // get files from root collection
        status = meta_ptr_->FilesToSearch(collection_id, files_holder);
        if (!status.ok()) {
            return status;
        }

        // get files from partitions
        std::set<std::string> partition_ids;
        std::vector<meta::CollectionSchema> partition_array;
        status = meta_ptr_->ShowPartitions(collection_id, partition_array);
        for (auto& id : partition_array) {
            partition_ids.insert(id.collection_id_);
        }

        status = meta_ptr_->FilesToSearchEx(collection_id, partition_ids, files_holder);
        if (!status.ok()) {
            return status;
        }
#endif
1812

G
groot 已提交
1813 1814
        if (files_holder.HoldFiles().empty()) {
            return Status::OK();  // no files to search
G
groot 已提交
1815 1816
        }
    } else {
G
groot 已提交
1817
#if 0
G
groot 已提交
1818 1819
        // get files from specified partitions
        std::set<std::string> partition_name_array;
J
Jin Hai 已提交
1820
        status = GetPartitionsByTags(collection_id, partition_tags, partition_name_array);
T
Tinkerrr 已提交
1821 1822 1823
        if (!status.ok()) {
            return status;  // didn't match any partition.
        }
G
groot 已提交
1824 1825

        for (auto& partition_name : partition_name_array) {
G
groot 已提交
1826
            status = meta_ptr_->FilesToSearch(partition_name, files_holder);
1827
        }
G
groot 已提交
1828 1829 1830 1831 1832 1833
#else
        std::set<std::string> partition_name_array;
        status = GetPartitionsByTags(collection_id, partition_tags, partition_name_array);
        if (!status.ok()) {
            return status;  // didn't match any partition.
        }
1834

G
groot 已提交
1835 1836 1837 1838 1839 1840 1841
        std::set<std::string> partition_ids;
        for (auto& partition_name : partition_name_array) {
            partition_ids.insert(partition_name);
        }

        status = meta_ptr_->FilesToSearchEx(collection_id, partition_ids, files_holder);
#endif
G
groot 已提交
1842 1843
        if (files_holder.HoldFiles().empty()) {
            return Status::OK();  // no files to search
1844 1845 1846
        }
    }

S
starlord 已提交
1847
    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info before query
G
groot 已提交
1848
    status = QueryAsync(tracer.Context(), files_holder, k, extra_params, vectors, result_ids, result_distances);
S
starlord 已提交
1849
    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info after query
Z
Zhiru Zhu 已提交
1850

S
starlord 已提交
1851
    return status;
G
groot 已提交
1852
}
X
Xu Peng 已提交
1853

S
starlord 已提交
1854
Status
1855 1856 1857
DBImpl::QueryByFileID(const std::shared_ptr<server::Context>& context, const std::vector<std::string>& file_ids,
                      uint64_t k, const milvus::json& extra_params, const VectorsData& vectors, ResultIds& result_ids,
                      ResultDistances& result_distances) {
1858
    milvus::server::ContextChild tracer(context, "Query by file id");
Z
Zhiru Zhu 已提交
1859

1860
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1861
        return SHUTDOWN_ERROR;
S
starlord 已提交
1862 1863
    }

S
starlord 已提交
1864
    // get specified files
1865
    std::vector<size_t> ids;
Y
Yu Kun 已提交
1866
    for (auto& id : file_ids) {
1867
        std::string::size_type sz;
J
jinhai 已提交
1868
        ids.push_back(std::stoul(id, &sz));
1869 1870
    }

G
groot 已提交
1871 1872
    meta::FilesHolder files_holder;
    auto status = meta_ptr_->FilesByID(ids, files_holder);
1873 1874
    if (!status.ok()) {
        return status;
1875 1876
    }

G
groot 已提交
1877
    milvus::engine::meta::SegmentsSchema& search_files = files_holder.HoldFiles();
1878
    if (search_files.empty()) {
S
starlord 已提交
1879
        return Status(DB_ERROR, "Invalid file id");
G
groot 已提交
1880 1881
    }

S
starlord 已提交
1882
    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info before query
G
groot 已提交
1883
    status = QueryAsync(tracer.Context(), files_holder, k, extra_params, vectors, result_ids, result_distances);
S
starlord 已提交
1884
    cache::CpuCacheMgr::GetInstance()->PrintInfo();  // print cache info after query
Z
Zhiru Zhu 已提交
1885

S
starlord 已提交
1886
    return status;
1887 1888
}

S
starlord 已提交
1889
Status
Y
Yu Kun 已提交
1890
DBImpl::Size(uint64_t& result) {
1891
    if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
1892
        return SHUTDOWN_ERROR;
S
starlord 已提交
1893 1894
    }

S
starlord 已提交
1895
    return meta_ptr_->Size(result);
S
starlord 已提交
1896 1897 1898
}

///////////////////////////////////////////////////////////////////////////////////////////////////////////////////
S
starlord 已提交
1899
// internal methods
S
starlord 已提交
1900
///////////////////////////////////////////////////////////////////////////////////////////////////////////////////
S
starlord 已提交
1901
Status
G
groot 已提交
1902
DBImpl::QueryAsync(const std::shared_ptr<server::Context>& context, meta::FilesHolder& files_holder, uint64_t k,
1903 1904
                   const milvus::json& extra_params, const VectorsData& vectors, ResultIds& result_ids,
                   ResultDistances& result_distances) {
1905
    milvus::server::ContextChild tracer(context, "Query Async");
G
groot 已提交
1906
    server::CollectQueryMetrics metrics(vectors.vector_count_);
Y
Yu Kun 已提交
1907

G
groot 已提交
1908
    milvus::engine::meta::SegmentsSchema& files = files_holder.HoldFiles();
G
groot 已提交
1909 1910 1911
    if (files.size() > milvus::scheduler::TASK_TABLE_MAX_COUNT) {
        std::string msg =
            "Search files count exceed scheduler limit: " + std::to_string(milvus::scheduler::TASK_TABLE_MAX_COUNT);
1912
        LOG_ENGINE_ERROR_ << msg;
G
groot 已提交
1913 1914 1915
        return Status(DB_ERROR, msg);
    }

S
starlord 已提交
1916
    TimeRecorder rc("");
G
groot 已提交
1917

1918
    // step 1: construct search job
1919
    LOG_ENGINE_DEBUG_ << LogOut("Engine query begin, index file count: %ld", files.size());
1920
    scheduler::SearchJobPtr job = std::make_shared<scheduler::SearchJob>(tracer.Context(), k, extra_params, vectors);
Y
Yu Kun 已提交
1921
    for (auto& file : files) {
J
Jin Hai 已提交
1922
        scheduler::SegmentSchemaPtr file_ptr = std::make_shared<meta::SegmentSchema>(file);
W
wxyu 已提交
1923
        job->AddIndexFile(file_ptr);
G
groot 已提交
1924 1925
    }

1926 1927 1928
    // Suspend builder
    SuspendIfFirst();

1929
    // step 2: put search job to scheduler and wait result
S
starlord 已提交
1930
    scheduler::JobMgrInst::GetInstance()->Put(job);
W
wxyu 已提交
1931
    job->WaitResult();
1932

1933 1934 1935
    // Resume builder
    ResumeIfLast();

G
groot 已提交
1936
    files_holder.ReleaseFiles();
W
wxyu 已提交
1937 1938
    if (!job->GetStatus().ok()) {
        return job->GetStatus();
1939
    }
G
groot 已提交
1940

1941
    // step 3: construct results
G
groot 已提交
1942 1943
    result_ids = job->GetResultIds();
    result_distances = job->GetResultDistances();
S
starlord 已提交
1944
    rc.ElapseFromBegin("Engine query totally cost");
G
groot 已提交
1945 1946 1947 1948

    return Status::OK();
}

1949
Status
X
Xiaohai Xu 已提交
1950
DBImpl::HybridQueryAsync(const std::shared_ptr<server::Context>& context, const std::string& collection_id,
G
groot 已提交
1951
                         meta::FilesHolder& files_holder, context::HybridSearchContextPtr hybrid_search_context,
1952 1953 1954 1955 1956 1957 1958 1959 1960 1961 1962 1963 1964 1965 1966 1967 1968 1969 1970 1971 1972 1973 1974 1975 1976 1977 1978 1979 1980
                         query::GeneralQueryPtr general_query,
                         std::unordered_map<std::string, engine::meta::hybrid::DataType>& attr_type, uint64_t& nq,
                         ResultIds& result_ids, ResultDistances& result_distances) {
    auto query_async_ctx = context->Child("Query Async");

#if 0
    // Construct tasks
    for (auto file : files) {
        std::unordered_map<std::string, engine::DataType> types;
        auto it = attr_type.begin();
        for (; it != attr_type.end(); it++) {
            types.insert(std::make_pair(it->first, (engine::DataType)it->second));
        }

        auto file_ptr = std::make_shared<meta::TableFileSchema>(file);
        search::TaskPtr
            task = std::make_shared<search::Task>(context, file_ptr, general_query, types, hybrid_search_context);
        search::TaskInst::GetInstance().load_queue().push(task);
        search::TaskInst::GetInstance().load_cv().notify_one();
        hybrid_search_context->tasks_.emplace_back(task);
    }

#endif

    //#if 0
    TimeRecorder rc("");

    // step 1: construct search job
    VectorsData vectors;
G
groot 已提交
1981 1982
    milvus::engine::meta::SegmentsSchema& files = files_holder.HoldFiles();
    LOG_ENGINE_DEBUG_ << LogOut("Engine query begin, index file count: %ld", files_holder.HoldFiles().size());
1983 1984 1985 1986 1987 1988 1989 1990 1991 1992 1993
    scheduler::SearchJobPtr job =
        std::make_shared<scheduler::SearchJob>(query_async_ctx, general_query, attr_type, vectors);
    for (auto& file : files) {
        scheduler::SegmentSchemaPtr file_ptr = std::make_shared<meta::SegmentSchema>(file);
        job->AddIndexFile(file_ptr);
    }

    // step 2: put search job to scheduler and wait result
    scheduler::JobMgrInst::GetInstance()->Put(job);
    job->WaitResult();

G
groot 已提交
1994
    files_holder.ReleaseFiles();
1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010
    if (!job->GetStatus().ok()) {
        return job->GetStatus();
    }

    // step 3: construct results
    nq = job->vector_count();
    result_ids = job->GetResultIds();
    result_distances = job->GetResultDistances();
    rc.ElapseFromBegin("Engine query totally cost");

    query_async_ctx->GetTraceContext()->GetSpan()->Finish();
    //#endif

    return Status::OK();
}

S
starlord 已提交
2011
void
G
groot 已提交
2012
DBImpl::BackgroundIndexThread() {
G
groot 已提交
2013
    SetThreadName("index_thread");
Y
yu yunfeng 已提交
2014
    server::SystemInfo::GetInstance().Init();
X
Xu Peng 已提交
2015
    while (true) {
2016
        if (!initialized_.load(std::memory_order_acquire)) {
2017 2018
            WaitMergeFileFinish();
            WaitBuildIndexFinish();
S
starlord 已提交
2019

2020
            LOG_ENGINE_DEBUG_ << "DB background thread exit";
G
groot 已提交
2021 2022
            break;
        }
X
Xu Peng 已提交
2023

G
groot 已提交
2024
        swn_index_.Wait_For(std::chrono::seconds(BACKGROUND_INDEX_INTERVAL));
X
Xu Peng 已提交
2025

G
groot 已提交
2026
        WaitMergeFileFinish();
G
groot 已提交
2027 2028
        StartBuildIndexTask();
    }
X
Xu Peng 已提交
2029 2030
}

S
starlord 已提交
2031 2032
void
DBImpl::WaitMergeFileFinish() {
2033
    //    LOG_ENGINE_DEBUG_ << "Begin WaitMergeFileFinish";
2034 2035
    std::lock_guard<std::mutex> lck(merge_result_mutex_);
    for (auto& iter : merge_thread_results_) {
2036 2037
        iter.wait();
    }
2038
    //    LOG_ENGINE_DEBUG_ << "End WaitMergeFileFinish";
2039 2040
}

S
starlord 已提交
2041 2042
void
DBImpl::WaitBuildIndexFinish() {
2043
    //    LOG_ENGINE_DEBUG_ << "Begin WaitBuildIndexFinish";
2044
    std::lock_guard<std::mutex> lck(index_result_mutex_);
Y
Yu Kun 已提交
2045
    for (auto& iter : index_thread_results_) {
2046 2047
        iter.wait();
    }
2048
    //    LOG_ENGINE_DEBUG_ << "End WaitBuildIndexFinish";
2049 2050
}

S
starlord 已提交
2051 2052
void
DBImpl::StartMetricTask() {
G
groot 已提交
2053
    server::Metrics::GetInstance().KeepingAliveCounterIncrement(BACKGROUND_METRIC_INTERVAL);
G
groot 已提交
2054 2055
    int64_t cache_usage = cache::CpuCacheMgr::GetInstance()->CacheUsage();
    int64_t cache_total = cache::CpuCacheMgr::GetInstance()->CacheCapacity();
S
shengjh 已提交
2056 2057
    fiu_do_on("DBImpl.StartMetricTask.InvalidTotalCache", cache_total = 0);

J
JinHai-CN 已提交
2058 2059 2060 2061 2062 2063 2064
    if (cache_total > 0) {
        double cache_usage_double = cache_usage;
        server::Metrics::GetInstance().CpuCacheUsageGaugeSet(cache_usage_double * 100 / cache_total);
    } else {
        server::Metrics::GetInstance().CpuCacheUsageGaugeSet(0);
    }

Y
Yu Kun 已提交
2065
    server::Metrics::GetInstance().GpuCacheUsageGaugeSet();
G
groot 已提交
2066 2067 2068 2069 2070 2071 2072 2073
    uint64_t size;
    Size(size);
    server::Metrics::GetInstance().DataFileSizeGaugeSet(size);
    server::Metrics::GetInstance().CPUUsagePercentSet();
    server::Metrics::GetInstance().RAMUsagePercentSet();
    server::Metrics::GetInstance().GPUPercentGaugeSet();
    server::Metrics::GetInstance().GPUMemoryUsageGaugeSet();
    server::Metrics::GetInstance().OctetsSet();
S
starlord 已提交
2074

K
kun yu 已提交
2075
    server::Metrics::GetInstance().CPUCoreUsagePercentSet();
K
kun yu 已提交
2076 2077
    server::Metrics::GetInstance().GPUTemperature();
    server::Metrics::GetInstance().CPUTemperature();
2078
    server::Metrics::GetInstance().PushToGateway();
G
groot 已提交
2079 2080
}

S
starlord 已提交
2081
void
G
groot 已提交
2082
DBImpl::StartMergeTask(const std::set<std::string>& merge_collection_ids, bool force_merge_all) {
2083
    // LOG_ENGINE_DEBUG_ << "Begin StartMergeTask";
2084
    // merge task has been finished?
2085
    {
2086 2087
        std::lock_guard<std::mutex> lck(merge_result_mutex_);
        if (!merge_thread_results_.empty()) {
2088
            std::chrono::milliseconds span(10);
2089 2090
            if (merge_thread_results_.back().wait_for(span) == std::future_status::ready) {
                merge_thread_results_.pop_back();
2091
            }
G
groot 已提交
2092 2093
        }
    }
X
Xu Peng 已提交
2094

2095
    // add new merge task
2096
    {
2097 2098
        std::lock_guard<std::mutex> lck(merge_result_mutex_);
        if (merge_thread_results_.empty()) {
2099
            // start merge file thread
2100
            merge_thread_results_.push_back(
G
groot 已提交
2101
                merge_thread_pool_.enqueue(&DBImpl::BackgroundMerge, this, merge_collection_ids, force_merge_all));
2102
        }
G
groot 已提交
2103
    }
2104

2105
    // LOG_ENGINE_DEBUG_ << "End StartMergeTask";
X
Xu Peng 已提交
2106 2107
}

Y
yukun 已提交
2108 2109 2110 2111 2112 2113 2114 2115 2116 2117 2118 2119 2120 2121 2122 2123 2124 2125 2126 2127 2128 2129 2130 2131 2132 2133 2134 2135 2136 2137 2138 2139 2140 2141 2142 2143 2144 2145 2146 2147 2148 2149 2150 2151 2152 2153 2154 2155 2156 2157 2158 2159 2160 2161 2162 2163 2164 2165 2166 2167 2168 2169 2170 2171 2172 2173 2174 2175 2176 2177 2178 2179 2180 2181 2182 2183 2184 2185 2186 2187 2188 2189 2190 2191 2192 2193 2194 2195 2196 2197 2198 2199 2200 2201 2202
// Status
// DBImpl::MergeHybridFiles(const std::string& collection_id, meta::FilesHolder& files_holder) {
//    // const std::lock_guard<std::mutex> lock(flush_merge_compact_mutex_);
//
//    LOG_ENGINE_DEBUG_ << "Merge files for collection: " << collection_id;
//
//    // step 1: create table file
//    meta::SegmentSchema table_file;
//    table_file.collection_id_ = collection_id;
//    table_file.file_type_ = meta::SegmentSchema::NEW_MERGE;
//    Status status = meta_ptr_->CreateHybridCollectionFile(table_file);
//
//    if (!status.ok()) {
//        LOG_ENGINE_ERROR_ << "Failed to create collection: " << status.ToString();
//        return status;
//    }
//
//    // step 2: merge files
//    /*
//    ExecutionEnginePtr index =
//        EngineFactory::Build(table_file.dimension_, table_file.location_, (EngineType)table_file.engine_type_,
//                             (MetricType)table_file.metric_type_, table_file.nlist_);
//*/
//    meta::SegmentsSchema updated;
//
//    std::string new_segment_dir;
//    utils::GetParentPath(table_file.location_, new_segment_dir);
//    auto segment_writer_ptr = std::make_shared<segment::SegmentWriter>(new_segment_dir);
//
//    // attention: here is a copy, not reference, since files_holder.UnmarkFile will change the array internal
//    milvus::engine::meta::SegmentsSchema files = files_holder.HoldFiles();
//    for (auto& file : files) {
//        server::CollectMergeFilesMetrics metrics;
//        std::string segment_dir_to_merge;
//        utils::GetParentPath(file.location_, segment_dir_to_merge);
//        segment_writer_ptr->Merge(segment_dir_to_merge, table_file.file_id_);
//
//        files_holder.UnmarkFile(file);
//
//        auto file_schema = file;
//        file_schema.file_type_ = meta::SegmentSchema::TO_DELETE;
//        updated.push_back(file_schema);
//        int64_t size = segment_writer_ptr->Size();
//        if (size >= file_schema.index_file_size_) {
//            break;
//        }
//    }
//
//    // step 3: serialize to disk
//    try {
//        status = segment_writer_ptr->Serialize();
//        fiu_do_on("DBImpl.MergeFiles.Serialize_ThrowException", throw std::exception());
//        fiu_do_on("DBImpl.MergeFiles.Serialize_ErrorStatus", status = Status(DB_ERROR, ""));
//    } catch (std::exception& ex) {
//        std::string msg = "Serialize merged index encounter exception: " + std::string(ex.what());
//        LOG_ENGINE_ERROR_ << msg;
//        status = Status(DB_ERROR, msg);
//    }
//
//    if (!status.ok()) {
//        LOG_ENGINE_ERROR_ << "Failed to persist merged segment: " << new_segment_dir << ". Error: " <<
//        status.message();
//
//        // if failed to serialize merge file to disk
//        // typical error: out of disk space, out of memory or permission denied
//        table_file.file_type_ = meta::SegmentSchema::TO_DELETE;
//        status = meta_ptr_->UpdateCollectionFile(table_file);
//        LOG_ENGINE_DEBUG_ << "Failed to update file to index, mark file: " << table_file.file_id_ << " to to_delete";
//
//        return status;
//    }
//
//    // step 4: update table files state
//    // if index type isn't IDMAP, set file type to TO_INDEX if file size exceed index_file_size
//    // else set file type to RAW, no need to build index
//    if (!utils::IsRawIndexType(table_file.engine_type_)) {
//        table_file.file_type_ = (segment_writer_ptr->Size() >= (size_t)(table_file.index_file_size_))
//                                    ? meta::SegmentSchema::TO_INDEX
//                                    : meta::SegmentSchema::RAW;
//    } else {
//        table_file.file_type_ = meta::SegmentSchema::RAW;
//    }
//    table_file.file_size_ = segment_writer_ptr->Size();
//    table_file.row_count_ = segment_writer_ptr->VectorCount();
//    updated.push_back(table_file);
//    status = meta_ptr_->UpdateCollectionFiles(updated);
//    LOG_ENGINE_DEBUG_ << "New merged segment " << table_file.segment_id_ << " of size " << segment_writer_ptr->Size()
//                      << " bytes";
//
//    if (options_.insert_cache_immediately_) {
//        segment_writer_ptr->Cache();
//    }
//
//    return status;
//}
2203

S
starlord 已提交
2204
void
G
groot 已提交
2205
DBImpl::BackgroundMerge(std::set<std::string> collection_ids, bool force_merge_all) {
2206
    // LOG_ENGINE_TRACE_ << " Background merge thread start";
S
starlord 已提交
2207

G
groot 已提交
2208
    Status status;
2209
    for (auto& collection_id : collection_ids) {
G
groot 已提交
2210 2211
        const std::lock_guard<std::mutex> lock(flush_merge_compact_mutex_);

G
groot 已提交
2212 2213 2214 2215 2216
        auto old_strategy = merge_mgr_ptr_->Strategy();
        if (force_merge_all) {
            merge_mgr_ptr_->UseStrategy(MergeStrategyType::ADAPTIVE);
        }

G
groot 已提交
2217
        auto status = merge_mgr_ptr_->MergeFiles(collection_id);
G
groot 已提交
2218
        merge_mgr_ptr_->UseStrategy(old_strategy);
G
groot 已提交
2219
        if (!status.ok()) {
G
groot 已提交
2220 2221
            LOG_ENGINE_ERROR_ << "Failed to get merge files for collection: " << collection_id
                              << " reason:" << status.message();
G
groot 已提交
2222
        }
S
starlord 已提交
2223

2224
        if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
2225
            LOG_ENGINE_DEBUG_ << "Server will shutdown, skip merge action for collection: " << collection_id;
S
starlord 已提交
2226 2227
            break;
        }
G
groot 已提交
2228
    }
X
Xu Peng 已提交
2229

G
groot 已提交
2230
    //    meta_ptr_->Archive();
Z
update  
zhiru 已提交
2231

2232
    {
G
groot 已提交
2233
        uint64_t timeout = (options_.file_cleanup_timeout_ >= 0) ? options_.file_cleanup_timeout_ : 10;
G
groot 已提交
2234
        uint64_t ttl = timeout * meta::SECOND;  // default: file will be hard-deleted few seconds after soft-deleted
2235
        meta_ptr_->CleanUpFilesWithTTL(ttl);
Z
update  
zhiru 已提交
2236
    }
S
starlord 已提交
2237

2238
    // LOG_ENGINE_TRACE_ << " Background merge thread exit";
G
groot 已提交
2239
}
X
Xu Peng 已提交
2240

S
starlord 已提交
2241
void
G
groot 已提交
2242
DBImpl::StartBuildIndexTask() {
S
starlord 已提交
2243
    // build index has been finished?
2244 2245 2246 2247 2248 2249 2250
    {
        std::lock_guard<std::mutex> lck(index_result_mutex_);
        if (!index_thread_results_.empty()) {
            std::chrono::milliseconds span(10);
            if (index_thread_results_.back().wait_for(span) == std::future_status::ready) {
                index_thread_results_.pop_back();
            }
G
groot 已提交
2251 2252 2253
        }
    }

S
starlord 已提交
2254
    // add new build index task
2255 2256 2257
    {
        std::lock_guard<std::mutex> lck(index_result_mutex_);
        if (index_thread_results_.empty()) {
S
starlord 已提交
2258
            index_thread_results_.push_back(index_thread_pool_.enqueue(&DBImpl::BackgroundBuildIndex, this));
2259
        }
G
groot 已提交
2260
    }
X
Xu Peng 已提交
2261 2262
}

S
starlord 已提交
2263 2264
void
DBImpl::BackgroundBuildIndex() {
P
peng.xu 已提交
2265
    std::unique_lock<std::mutex> lock(build_index_mutex_);
G
groot 已提交
2266 2267 2268
    meta::FilesHolder files_holder;
    meta_ptr_->FilesToIndex(files_holder);

G
groot 已提交
2269
    milvus::engine::meta::SegmentsSchema to_index_files = files_holder.HoldFiles();
2270
    Status status = index_failed_checker_.IgnoreFailedIndexFiles(to_index_files);
2271

2272
    if (!to_index_files.empty()) {
G
groot 已提交
2273
        LOG_ENGINE_DEBUG_ << "Background build index thread begin " << to_index_files.size() << " files";
2274

2275
        // step 2: put build index task to scheduler
J
Jin Hai 已提交
2276
        std::vector<std::pair<scheduler::BuildIndexJobPtr, scheduler::SegmentSchemaPtr>> job2file_map;
2277
        for (auto& file : to_index_files) {
G
groot 已提交
2278
            scheduler::BuildIndexJobPtr job = std::make_shared<scheduler::BuildIndexJob>(meta_ptr_, options_);
J
Jin Hai 已提交
2279
            scheduler::SegmentSchemaPtr file_ptr = std::make_shared<meta::SegmentSchema>(file);
2280
            job->AddToIndexFiles(file_ptr);
G
groot 已提交
2281
            scheduler::JobMgrInst::GetInstance()->Put(job);
G
groot 已提交
2282
            job2file_map.push_back(std::make_pair(job, file_ptr));
2283
        }
G
groot 已提交
2284

G
groot 已提交
2285
        // step 3: wait build index finished and mark failed files
2286
        int64_t completed = 0;
G
groot 已提交
2287 2288
        for (auto iter = job2file_map.begin(); iter != job2file_map.end(); ++iter) {
            scheduler::BuildIndexJobPtr job = iter->first;
J
Jin Hai 已提交
2289
            meta::SegmentSchema& file_schema = *(iter->second.get());
G
groot 已提交
2290
            job->WaitBuildIndexFinish();
2291
            LOG_ENGINE_INFO_ << "Build Index Progress: " << ++completed << " of " << job2file_map.size();
G
groot 已提交
2292 2293
            if (!job->GetStatus().ok()) {
                Status status = job->GetStatus();
2294
                LOG_ENGINE_ERROR_ << "Building index job " << job->id() << " failed: " << status.ToString();
G
groot 已提交
2295

2296
                index_failed_checker_.MarkFailedIndexFile(file_schema, status.message());
G
groot 已提交
2297
            } else {
2298
                LOG_ENGINE_DEBUG_ << "Building index job " << job->id() << " succeed.";
G
groot 已提交
2299 2300

                index_failed_checker_.MarkSucceedIndexFile(file_schema);
G
groot 已提交
2301
            }
G
groot 已提交
2302 2303
            status = files_holder.UnmarkFile(file_schema);
            LOG_ENGINE_DEBUG_ << "Finish build index file " << file_schema.file_id_;
2304
        }
G
groot 已提交
2305

2306
        LOG_ENGINE_DEBUG_ << "Background build index thread finished";
G
groot 已提交
2307
        index_req_swn_.Notify();  // notify CreateIndex check circle
Y
Yu Kun 已提交
2308
    }
X
Xu Peng 已提交
2309 2310
}

G
groot 已提交
2311
Status
J
Jin Hai 已提交
2312
DBImpl::GetFilesToBuildIndex(const std::string& collection_id, const std::vector<int>& file_types,
G
groot 已提交
2313 2314 2315
                             meta::FilesHolder& files_holder) {
    files_holder.ReleaseFiles();
    auto status = meta_ptr_->FilesByType(collection_id, file_types, files_holder);
G
groot 已提交
2316

G
groot 已提交
2317 2318 2319 2320 2321 2322 2323 2324 2325 2326 2327
    // attention: here is a copy, not reference, since files_holder.UnmarkFile will change the array internal
    milvus::engine::meta::SegmentsSchema files = files_holder.HoldFiles();
    for (const milvus::engine::meta::SegmentSchema& file : files) {
        if (file.file_type_ == static_cast<int>(meta::SegmentSchema::RAW) &&
            file.row_count_ < meta::BUILD_INDEX_THRESHOLD) {
            // skip build index for files that row count less than certain threshold
            files_holder.UnmarkFile(file);
        } else if (index_failed_checker_.IsFailedIndexFile(file)) {
            // skip build index for files that failed before
            files_holder.UnmarkFile(file);
        }
G
groot 已提交
2328 2329 2330 2331 2332
    }

    return Status::OK();
}

2333
Status
J
Jin Hai 已提交
2334 2335
DBImpl::GetPartitionByTag(const std::string& collection_id, const std::string& partition_tag,
                          std::string& partition_name) {
2336 2337 2338
    Status status;

    if (partition_tag.empty()) {
J
Jin Hai 已提交
2339
        partition_name = collection_id;
2340 2341 2342 2343 2344 2345 2346 2347

    } else {
        // trim side-blank of tag, only compare valid characters
        // for example: " ab cd " is treated as "ab cd"
        std::string valid_tag = partition_tag;
        server::StringHelpFunctions::TrimStringBlank(valid_tag);

        if (valid_tag == milvus::engine::DEFAULT_PARTITON_TAG) {
J
Jin Hai 已提交
2348
            partition_name = collection_id;
2349 2350 2351
            return status;
        }

J
Jin Hai 已提交
2352
        status = meta_ptr_->GetPartitionName(collection_id, partition_tag, partition_name);
2353
        if (!status.ok()) {
2354
            LOG_ENGINE_ERROR_ << status.message();
2355 2356 2357 2358 2359 2360
        }
    }

    return status;
}

G
groot 已提交
2361
Status
J
Jin Hai 已提交
2362
DBImpl::GetPartitionsByTags(const std::string& collection_id, const std::vector<std::string>& partition_tags,
G
groot 已提交
2363
                            std::set<std::string>& partition_name_array) {
J
Jin Hai 已提交
2364 2365
    std::vector<meta::CollectionSchema> partition_array;
    auto status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
2366 2367

    for (auto& tag : partition_tags) {
2368 2369 2370 2371
        // trim side-blank of tag, only compare valid characters
        // for example: " ab cd " is treated as "ab cd"
        std::string valid_tag = tag;
        server::StringHelpFunctions::TrimStringBlank(valid_tag);
2372 2373

        if (valid_tag == milvus::engine::DEFAULT_PARTITON_TAG) {
J
Jin Hai 已提交
2374
            partition_name_array.insert(collection_id);
2375 2376 2377
            return status;
        }

G
groot 已提交
2378
        for (auto& schema : partition_array) {
2379
            if (server::StringHelpFunctions::IsRegexMatch(schema.partition_tag_, valid_tag)) {
J
Jin Hai 已提交
2380
                partition_name_array.insert(schema.collection_id_);
G
groot 已提交
2381 2382 2383 2384
            }
        }
    }

T
Tinkerrr 已提交
2385
    if (partition_name_array.empty()) {
G
groot 已提交
2386
        return Status(DB_PARTITION_NOT_FOUND, "The specified partiton does not exist");
T
Tinkerrr 已提交
2387 2388
    }

G
groot 已提交
2389 2390 2391 2392
    return Status::OK();
}

Status
2393
DBImpl::UpdateCollectionIndexRecursively(const std::string& collection_id, const CollectionIndex& index) {
J
Jin Hai 已提交
2394
    DropIndex(collection_id);
G
groot 已提交
2395
    WaitMergeFileFinish();  // DropIndex called StartMergeTask, need to wait merge thread finish
2396 2397
    auto status = meta_ptr_->UpdateCollectionIndex(collection_id, index);
    fiu_do_on("DBImpl.UpdateCollectionIndexRecursively.fail_update_collection_index",
S
shengjh 已提交
2398
              status = Status(DB_META_TRANSACTION_FAILED, ""));
G
groot 已提交
2399
    if (!status.ok()) {
2400
        LOG_ENGINE_ERROR_ << "Failed to update collection index info for collection: " << collection_id;
G
groot 已提交
2401 2402 2403
        return status;
    }

J
Jin Hai 已提交
2404 2405
    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
A
AzAz 已提交
2406 2407 2408
    if (!status.ok()) {
        return status;
    }
G
groot 已提交
2409
    for (auto& schema : partition_array) {
2410
        status = UpdateCollectionIndexRecursively(schema.collection_id_, index);
G
groot 已提交
2411 2412 2413 2414 2415 2416 2417 2418 2419
        if (!status.ok()) {
            return status;
        }
    }

    return Status::OK();
}

Status
G
groot 已提交
2420 2421
DBImpl::WaitCollectionIndexRecursively(const std::shared_ptr<server::Context>& context,
                                       const std::string& collection_id, const CollectionIndex& index) {
G
groot 已提交
2422 2423 2424
    // for IDMAP type, only wait all NEW file converted to RAW file
    // for other type, wait NEW/RAW/NEW_MERGE/NEW_INDEX/TO_INDEX files converted to INDEX files
    std::vector<int> file_types;
2425
    if (utils::IsRawIndexType(index.engine_type_)) {
G
groot 已提交
2426
        file_types = {
J
Jin Hai 已提交
2427 2428
            static_cast<int32_t>(meta::SegmentSchema::NEW),
            static_cast<int32_t>(meta::SegmentSchema::NEW_MERGE),
G
groot 已提交
2429 2430 2431
        };
    } else {
        file_types = {
J
Jin Hai 已提交
2432 2433 2434
            static_cast<int32_t>(meta::SegmentSchema::RAW),       static_cast<int32_t>(meta::SegmentSchema::NEW),
            static_cast<int32_t>(meta::SegmentSchema::NEW_MERGE), static_cast<int32_t>(meta::SegmentSchema::NEW_INDEX),
            static_cast<int32_t>(meta::SegmentSchema::TO_INDEX),
G
groot 已提交
2435 2436 2437 2438
        };
    }

    // get files to build index
G
groot 已提交
2439 2440 2441 2442
    {
        meta::FilesHolder files_holder;
        auto status = GetFilesToBuildIndex(collection_id, file_types, files_holder);
        int times = 1;
G
groot 已提交
2443
        uint64_t repeat = 0;
G
groot 已提交
2444
        while (!files_holder.HoldFiles().empty()) {
G
groot 已提交
2445 2446 2447 2448 2449 2450
            if (repeat % WAIT_BUILD_INDEX_INTERVAL == 0) {
                LOG_ENGINE_DEBUG_ << files_holder.HoldFiles().size() << " non-index files detected! Will build index "
                                  << times;
                if (!utils::IsRawIndexType(index.engine_type_)) {
                    status = meta_ptr_->UpdateCollectionFilesToIndex(collection_id);
                }
G
groot 已提交
2451
            }
G
groot 已提交
2452

2453
            auto ret = index_req_swn_.Wait_For(std::chrono::seconds(1));
G
groot 已提交
2454
            // client break the connection, no need to block, check every 1 second
G
groot 已提交
2455
            if (context && context->IsConnectionBroken()) {
G
groot 已提交
2456 2457 2458 2459
                LOG_ENGINE_DEBUG_ << "Client connection broken, build index in background";
                break;  // just break, not return, continue to update partitions files to to_index
            }

2460
            // check to_index files every 5 seconds or background index thread finished
G
groot 已提交
2461
            repeat++;
G
groot 已提交
2462
            if (repeat % WAIT_BUILD_INDEX_INTERVAL == 0) {
G
groot 已提交
2463 2464 2465
                GetFilesToBuildIndex(collection_id, file_types, files_holder);
                ++times;
            }
G
groot 已提交
2466 2467 2468 2469
        }
    }

    // build index for partition
J
Jin Hai 已提交
2470
    std::vector<meta::CollectionSchema> partition_array;
G
groot 已提交
2471
    auto status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
2472
    for (auto& schema : partition_array) {
G
groot 已提交
2473
        status = WaitCollectionIndexRecursively(context, schema.collection_id_, index);
2474
        fiu_do_on("DBImpl.WaitCollectionIndexRecursively.fail_build_collection_Index_for_partition",
S
shengjh 已提交
2475
                  status = Status(DB_ERROR, ""));
G
groot 已提交
2476 2477 2478 2479 2480
        if (!status.ok()) {
            return status;
        }
    }

G
groot 已提交
2481
    // failed to build index for some files, return error
2482
    std::string err_msg;
2483 2484
    index_failed_checker_.GetErrMsgForCollection(collection_id, err_msg);
    fiu_do_on("DBImpl.WaitCollectionIndexRecursively.not_empty_err_msg", err_msg.append("fiu"));
2485 2486
    if (!err_msg.empty()) {
        return Status(DB_ERROR, err_msg);
G
groot 已提交
2487 2488
    }

G
groot 已提交
2489 2490
    LOG_ENGINE_DEBUG_ << "WaitCollectionIndexRecursively finished";

G
groot 已提交
2491 2492 2493 2494
    return Status::OK();
}

Status
2495
DBImpl::DropCollectionIndexRecursively(const std::string& collection_id) {
2496
    LOG_ENGINE_DEBUG_ << "Drop index for collection: " << collection_id;
2497 2498
    index_failed_checker_.CleanFailedIndexFileOfCollection(collection_id);
    auto status = meta_ptr_->DropCollectionIndex(collection_id);
G
groot 已提交
2499 2500 2501 2502 2503
    if (!status.ok()) {
        return status;
    }

    // drop partition index
J
Jin Hai 已提交
2504 2505
    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
2506
    for (auto& schema : partition_array) {
2507 2508
        status = DropCollectionIndexRecursively(schema.collection_id_);
        fiu_do_on("DBImpl.DropCollectionIndexRecursively.fail_drop_collection_Index_for_partition",
S
shengjh 已提交
2509
                  status = Status(DB_ERROR, ""));
G
groot 已提交
2510 2511 2512 2513 2514 2515 2516 2517 2518
        if (!status.ok()) {
            return status;
        }
    }

    return Status::OK();
}

Status
2519
DBImpl::GetCollectionRowCountRecursively(const std::string& collection_id, uint64_t& row_count) {
G
groot 已提交
2520
    row_count = 0;
J
Jin Hai 已提交
2521
    auto status = meta_ptr_->Count(collection_id, row_count);
G
groot 已提交
2522 2523 2524 2525 2526
    if (!status.ok()) {
        return status;
    }

    // get partition row count
J
Jin Hai 已提交
2527 2528
    std::vector<meta::CollectionSchema> partition_array;
    status = meta_ptr_->ShowPartitions(collection_id, partition_array);
G
groot 已提交
2529
    for (auto& schema : partition_array) {
G
groot 已提交
2530
        uint64_t partition_row_count = 0;
2531 2532
        status = GetCollectionRowCountRecursively(schema.collection_id_, partition_row_count);
        fiu_do_on("DBImpl.GetCollectionRowCountRecursively.fail_get_collection_rowcount_for_partition",
S
shengjh 已提交
2533
                  status = Status(DB_ERROR, ""));
G
groot 已提交
2534 2535 2536 2537 2538 2539 2540 2541 2542 2543
        if (!status.ok()) {
            return status;
        }

        row_count += partition_row_count;
    }

    return Status::OK();
}

2544 2545 2546 2547
Status
DBImpl::ExecWalRecord(const wal::MXLogRecord& record) {
    fiu_return_on("DBImpl.ExexWalRecord.return", Status(););

G
groot 已提交
2548 2549
    auto collections_flushed = [&](const std::string collection_id,
                                   const std::set<std::string>& target_collection_names) -> uint64_t {
2550
        uint64_t max_lsn = 0;
G
groot 已提交
2551
        if (options_.wal_enable_ && !target_collection_names.empty()) {
G
groot 已提交
2552 2553
            uint64_t lsn = 0;
            for (auto& collection : target_collection_names) {
2554
                meta_ptr_->GetCollectionFlushLSN(collection, lsn);
2555 2556 2557 2558
                if (lsn > max_lsn) {
                    max_lsn = lsn;
                }
            }
G
groot 已提交
2559
            wal_mgr_->CollectionFlushed(collection_id, lsn);
2560 2561
        }

G
groot 已提交
2562
        std::set<std::string> merge_collection_ids;
G
groot 已提交
2563
        for (auto& collection : target_collection_names) {
G
groot 已提交
2564
            merge_collection_ids.insert(collection);
2565
        }
G
groot 已提交
2566
        StartMergeTask(merge_collection_ids);
2567 2568 2569
        return max_lsn;
    };

2570 2571 2572 2573
    auto force_flush_if_mem_full = [&]() -> uint64_t {
        if (mem_mgr_->GetCurrentMem() > options_.insert_buffer_size_) {
            LOG_ENGINE_DEBUG_ << LogOut("[%s][%ld] ", "insert", 0) << "Insert buffer size exceeds limit. Force flush";
            InternalFlush();
G
groot 已提交
2574 2575 2576
        }
    };

2577 2578 2579
    Status status;

    switch (record.type) {
2580 2581 2582 2583
        case wal::MXLogType::Entity: {
            std::string target_collection_name;
            status = GetPartitionByTag(record.collection_id, record.partition_tag, target_collection_name);
            if (!status.ok()) {
2584
                LOG_WAL_ERROR_ << LogOut("[%s][%ld] ", "insert", 0) << "Get partition fail: " << status.message();
2585 2586 2587
                return status;
            }

2588 2589 2590 2591
            status = mem_mgr_->InsertEntities(
                target_collection_name, record.length, record.ids, (record.data_size / record.length / sizeof(float)),
                (const float*)record.data, record.attr_nbytes, record.attr_data_size, record.attr_data, record.lsn);
            force_flush_if_mem_full();
2592

2593
            // metrics
2594 2595 2596
            milvus::server::CollectInsertMetrics metrics(record.length, status);
            break;
        }
2597
        case wal::MXLogType::InsertBinary: {
2598 2599
            std::string target_collection_name;
            status = GetPartitionByTag(record.collection_id, record.partition_tag, target_collection_name);
2600
            if (!status.ok()) {
2601
                LOG_WAL_ERROR_ << LogOut("[%s][%ld] ", "insert", 0) << "Get partition fail: " << status.message();
2602 2603 2604
                return status;
            }

2605
            status = mem_mgr_->InsertVectors(target_collection_name, record.length, record.ids,
2606
                                             (record.data_size / record.length / sizeof(uint8_t)),
2607 2608
                                             (const u_int8_t*)record.data, record.lsn);
            force_flush_if_mem_full();
2609 2610 2611 2612 2613 2614 2615

            // metrics
            milvus::server::CollectInsertMetrics metrics(record.length, status);
            break;
        }

        case wal::MXLogType::InsertVector: {
2616 2617
            std::string target_collection_name;
            status = GetPartitionByTag(record.collection_id, record.partition_tag, target_collection_name);
2618
            if (!status.ok()) {
2619
                LOG_WAL_ERROR_ << LogOut("[%s][%ld] ", "insert", 0) << "Get partition fail: " << status.message();
2620 2621 2622
                return status;
            }

2623
            status = mem_mgr_->InsertVectors(target_collection_name, record.length, record.ids,
2624
                                             (record.data_size / record.length / sizeof(float)),
2625 2626
                                             (const float*)record.data, record.lsn);
            force_flush_if_mem_full();
2627 2628 2629 2630 2631 2632 2633

            // metrics
            milvus::server::CollectInsertMetrics metrics(record.length, status);
            break;
        }

        case wal::MXLogType::Delete: {
J
Jin Hai 已提交
2634 2635
            std::vector<meta::CollectionSchema> partition_array;
            status = meta_ptr_->ShowPartitions(record.collection_id, partition_array);
2636 2637 2638 2639
            if (!status.ok()) {
                return status;
            }

2640
            std::vector<std::string> collection_ids{record.collection_id};
2641
            for (auto& partition : partition_array) {
2642 2643
                auto& partition_collection_id = partition.collection_id_;
                collection_ids.emplace_back(partition_collection_id);
2644 2645 2646
            }

            if (record.length == 1) {
2647
                for (auto& collection_id : collection_ids) {
J
Jin Hai 已提交
2648
                    status = mem_mgr_->DeleteVector(collection_id, *record.ids, record.lsn);
2649 2650 2651 2652 2653
                    if (!status.ok()) {
                        return status;
                    }
                }
            } else {
2654
                for (auto& collection_id : collection_ids) {
J
Jin Hai 已提交
2655
                    status = mem_mgr_->DeleteVectors(collection_id, record.length, record.ids, record.lsn);
2656 2657 2658 2659 2660 2661 2662 2663 2664
                    if (!status.ok()) {
                        return status;
                    }
                }
            }
            break;
        }

        case wal::MXLogType::Flush: {
J
Jin Hai 已提交
2665 2666 2667 2668
            if (!record.collection_id.empty()) {
                // flush one collection
                std::vector<meta::CollectionSchema> partition_array;
                status = meta_ptr_->ShowPartitions(record.collection_id, partition_array);
2669 2670 2671 2672
                if (!status.ok()) {
                    return status;
                }

2673
                std::vector<std::string> collection_ids{record.collection_id};
2674
                for (auto& partition : partition_array) {
2675 2676
                    auto& partition_collection_id = partition.collection_id_;
                    collection_ids.emplace_back(partition_collection_id);
2677 2678
                }

2679 2680
                std::set<std::string> flushed_collections;
                for (auto& collection_id : collection_ids) {
2681
                    const std::lock_guard<std::mutex> lock(flush_merge_compact_mutex_);
J
Jin Hai 已提交
2682
                    status = mem_mgr_->Flush(collection_id);
2683 2684 2685
                    if (!status.ok()) {
                        break;
                    }
2686
                    flushed_collections.insert(collection_id);
2687 2688
                }

G
groot 已提交
2689
                collections_flushed(record.collection_id, flushed_collections);
2690 2691

            } else {
2692 2693
                // flush all collections
                std::set<std::string> collection_ids;
2694 2695
                {
                    const std::lock_guard<std::mutex> lock(flush_merge_compact_mutex_);
2696
                    status = mem_mgr_->Flush(collection_ids);
2697 2698
                }

G
groot 已提交
2699
                uint64_t lsn = collections_flushed("", collection_ids);
2700 2701 2702 2703 2704 2705
                if (options_.wal_enable_) {
                    wal_mgr_->RemoveOldFiles(lsn);
                }
            }
            break;
        }
C
Cai Yudong 已提交
2706 2707 2708

        default:
            break;
2709 2710 2711 2712 2713 2714
    }

    return status;
}

void
G
groot 已提交
2715 2716 2717 2718 2719 2720 2721 2722 2723
DBImpl::InternalFlush(const std::string& collection_id) {
    wal::MXLogRecord record;
    record.type = wal::MXLogType::Flush;
    record.collection_id = collection_id;
    ExecWalRecord(record);
}

void
DBImpl::BackgroundWalThread() {
2724
    SetThreadName("wal_thread");
2725 2726
    server::SystemInfo::GetInstance().Init();

2727
    std::chrono::system_clock::time_point next_auto_flush_time;
2728
    auto get_next_auto_flush_time = [&]() {
2729
        return std::chrono::system_clock::now() + std::chrono::seconds(options_.auto_flush_interval_);
2730
    };
2731 2732 2733
    if (options_.auto_flush_interval_ > 0) {
        next_auto_flush_time = get_next_auto_flush_time();
    }
G
groot 已提交
2734
    InternalFlush();
2735
    while (true) {
2736 2737
        if (options_.auto_flush_interval_ > 0) {
            if (std::chrono::system_clock::now() >= next_auto_flush_time) {
G
groot 已提交
2738
                InternalFlush();
2739 2740
                next_auto_flush_time = get_next_auto_flush_time();
            }
2741 2742
        }

G
groot 已提交
2743
        wal::MXLogRecord record;
2744 2745
        auto error_code = wal_mgr_->GetNextRecord(record);
        if (error_code != WAL_SUCCESS) {
2746
            LOG_ENGINE_ERROR_ << "WAL background GetNextRecord error";
2747 2748 2749 2750 2751 2752
            break;
        }

        if (record.type != wal::MXLogType::None) {
            ExecWalRecord(record);
            if (record.type == wal::MXLogType::Flush) {
G
groot 已提交
2753 2754
                // notify flush request to return
                flush_req_swn_.Notify();
2755 2756

                // if user flush all manually, update auto flush also
J
Jin Hai 已提交
2757
                if (record.collection_id.empty() && options_.auto_flush_interval_ > 0) {
2758 2759 2760 2761 2762 2763
                    next_auto_flush_time = get_next_auto_flush_time();
                }
            }

        } else {
            if (!initialized_.load(std::memory_order_acquire)) {
G
groot 已提交
2764 2765
                InternalFlush();
                flush_req_swn_.Notify();
2766 2767
                WaitMergeFileFinish();
                WaitBuildIndexFinish();
2768
                LOG_ENGINE_DEBUG_ << "WAL background thread exit";
2769 2770 2771
                break;
            }

2772
            if (options_.auto_flush_interval_ > 0) {
G
groot 已提交
2773
                swn_wal_.Wait_Until(next_auto_flush_time);
2774
            } else {
G
groot 已提交
2775
                swn_wal_.Wait();
2776
            }
2777 2778 2779 2780
        }
    }
}

G
groot 已提交
2781 2782
void
DBImpl::BackgroundFlushThread() {
2783
    SetThreadName("flush_thread");
G
groot 已提交
2784 2785 2786
    server::SystemInfo::GetInstance().Init();
    while (true) {
        if (!initialized_.load(std::memory_order_acquire)) {
2787
            LOG_ENGINE_DEBUG_ << "DB background flush thread exit";
G
groot 已提交
2788 2789 2790 2791 2792 2793 2794 2795 2796 2797 2798 2799 2800 2801
            break;
        }

        InternalFlush();
        if (options_.auto_flush_interval_ > 0) {
            swn_flush_.Wait_For(std::chrono::seconds(options_.auto_flush_interval_));
        } else {
            swn_flush_.Wait();
        }
    }
}

void
DBImpl::BackgroundMetricThread() {
G
groot 已提交
2802
    SetThreadName("metric_thread");
G
groot 已提交
2803 2804 2805
    server::SystemInfo::GetInstance().Init();
    while (true) {
        if (!initialized_.load(std::memory_order_acquire)) {
2806
            LOG_ENGINE_DEBUG_ << "DB background metric thread exit";
G
groot 已提交
2807 2808 2809 2810 2811
            break;
        }

        swn_metric_.Wait_For(std::chrono::seconds(BACKGROUND_METRIC_INTERVAL));
        StartMetricTask();
G
groot 已提交
2812
        meta::FilesHolder::PrintInfo();
G
groot 已提交
2813 2814 2815
    }
}

2816 2817 2818 2819 2820
void
DBImpl::OnCacheInsertDataChanged(bool value) {
    options_.insert_cache_immediately_ = value;
}

2821 2822 2823 2824 2825
void
DBImpl::OnUseBlasThresholdChanged(int64_t threshold) {
    faiss::distance_compute_blas_threshold = threshold;
}

2826 2827 2828 2829 2830 2831 2832 2833 2834 2835 2836 2837 2838 2839 2840 2841 2842 2843
void
DBImpl::SuspendIfFirst() {
    std::lock_guard<std::mutex> lock(suspend_build_mutex_);
    if (++live_search_num_ == 1) {
        LOG_ENGINE_TRACE_ << "live_search_num_: " << live_search_num_;
        knowhere::BuilderSuspend();
    }
}

void
DBImpl::ResumeIfLast() {
    std::lock_guard<std::mutex> lock(suspend_build_mutex_);
    if (--live_search_num_ == 0) {
        LOG_ENGINE_TRACE_ << "live_search_num_: " << live_search_num_;
        knowhere::BuildResume();
    }
}

S
starlord 已提交
2844 2845
}  // namespace engine
}  // namespace milvus