mirror of
https://gitee.com/milvus-io/milvus.git
synced 2025-12-29 23:15:28 +08:00
261 lines
11 KiB
C++
261 lines
11 KiB
C++
// Licensed to the LF AI & Data foundation under one
|
|
// or more contributor license agreements. See the NOTICE file
|
|
// distributed with this work for additional information
|
|
// regarding copyright ownership. The ASF licenses this file
|
|
// to you 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
|
|
//
|
|
// 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.
|
|
|
|
#include "index/VectorDiskIndex.h"
|
|
#include "index/Meta.h"
|
|
#include "index/Utils.h"
|
|
|
|
#include "storage/LocalChunkManager.h"
|
|
#include "config/ConfigKnowhere.h"
|
|
#include "storage/Util.h"
|
|
#include "common/Utils.h"
|
|
|
|
namespace milvus::index {
|
|
|
|
#ifdef BUILD_DISK_ANN
|
|
|
|
#define kSearchListMaxValue1 200 // used if tok <= 20
|
|
#define kSearchListMaxValue2 65535 // used for topk > 20
|
|
|
|
template <typename T>
|
|
VectorDiskAnnIndex<T>::VectorDiskAnnIndex(const IndexType& index_type,
|
|
const MetricType& metric_type,
|
|
const IndexMode& index_mode,
|
|
storage::FileManagerImplPtr file_manager)
|
|
: VectorIndex(index_type, index_mode, metric_type) {
|
|
file_manager_ = std::dynamic_pointer_cast<storage::DiskFileManagerImpl>(file_manager);
|
|
auto& local_chunk_manager = storage::LocalChunkManager::GetInstance();
|
|
auto local_index_path_prefix = file_manager_->GetLocalIndexObjectPrefix();
|
|
AssertInfo(!local_chunk_manager.Exist(local_index_path_prefix),
|
|
"local index path " + local_index_path_prefix + " has been exist");
|
|
local_chunk_manager.CreateDir(local_index_path_prefix);
|
|
index_ = std::make_unique<knowhere::IndexDiskANN<T>>(local_index_path_prefix, metric_type, file_manager);
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
VectorDiskAnnIndex<T>::Load(const BinarySet& binary_set /* not used */, const Config& config) {
|
|
auto prepare_config = parse_prepare_config(config);
|
|
knowhere::Config cfg;
|
|
knowhere::DiskANNPrepareConfig::Set(cfg, prepare_config);
|
|
|
|
auto index_files = GetValueFromConfig<std::vector<std::string>>(config, "index_files");
|
|
AssertInfo(index_files.has_value(), "index file paths is empty when load disk ann index data");
|
|
file_manager_->CacheIndexToDisk(index_files.value());
|
|
auto ok = index_->Prepare(cfg);
|
|
AssertInfo(ok, "load disk index failed");
|
|
SetDim(index_->Dim());
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
VectorDiskAnnIndex<T>::BuildWithDataset(const DatasetPtr& dataset, const Config& config) {
|
|
auto& local_chunk_manager = storage::LocalChunkManager::GetInstance();
|
|
auto build_config = parse_build_config(config);
|
|
auto segment_id = file_manager_->GetFileDataMeta().segment_id;
|
|
auto field_id = file_manager_->GetFileDataMeta().field_id;
|
|
auto local_data_path = storage::GenFieldRawDataPathPrefix(segment_id, field_id) + "raw_data";
|
|
build_config.data_path = local_data_path;
|
|
if (!local_chunk_manager.Exist(local_data_path)) {
|
|
local_chunk_manager.CreateFile(local_data_path);
|
|
}
|
|
|
|
int64_t offset = 0;
|
|
auto num = uint32_t(milvus::GetDatasetRows(dataset));
|
|
local_chunk_manager.Write(local_data_path, offset, &num, sizeof(num));
|
|
offset += sizeof(num);
|
|
|
|
auto dim = uint32_t(milvus::GetDatasetDim(dataset));
|
|
local_chunk_manager.Write(local_data_path, offset, &dim, sizeof(dim));
|
|
offset += sizeof(dim);
|
|
|
|
auto data_size = num * dim * sizeof(float);
|
|
auto raw_data = const_cast<void*>(milvus::GetDatasetTensor(dataset));
|
|
local_chunk_manager.Write(local_data_path, offset, raw_data, data_size);
|
|
|
|
knowhere::Config cfg;
|
|
knowhere::DiskANNBuildConfig::Set(cfg, build_config);
|
|
|
|
index_->BuildAll(nullptr, cfg);
|
|
|
|
local_chunk_manager.RemoveDir(storage::GetSegmentRawDataPathPrefix(segment_id));
|
|
// TODO ::
|
|
// SetDim(index_->Dim());
|
|
}
|
|
|
|
template <typename T>
|
|
std::unique_ptr<SearchResult>
|
|
VectorDiskAnnIndex<T>::Query(const DatasetPtr dataset, const SearchInfo& search_info, const BitsetView& bitset) {
|
|
AssertInfo(GetMetricType() == search_info.metric_type_,
|
|
"Metric type of field index isn't the same with search info");
|
|
auto num_queries = milvus::GetDatasetRows(dataset);
|
|
auto topk = search_info.topk_;
|
|
|
|
knowhere::DiskANNQueryConfig query_config;
|
|
query_config.k = topk;
|
|
|
|
// set search list
|
|
auto search_list_size = GetValueFromConfig<uint32_t>(search_info.search_params_, DISK_ANN_QUERY_LIST);
|
|
AssertInfo(search_list_size.has_value(), "param " + std::string(DISK_ANN_QUERY_LIST) + "is empty");
|
|
query_config.search_list_size = search_list_size.value();
|
|
|
|
AssertInfo(query_config.search_list_size > topk, "search_list should be greater than topk");
|
|
AssertInfo(query_config.search_list_size <= std::max(uint32_t(topk * 10), uint32_t(kSearchListMaxValue1)) &&
|
|
query_config.search_list_size <= uint32_t(kSearchListMaxValue2),
|
|
"search_list should be less than max(topk*10, 200) and less than 65535");
|
|
|
|
// set beamwidth
|
|
query_config.beamwidth = search_beamwidth_;
|
|
|
|
knowhere::Config cfg;
|
|
knowhere::DiskANNQueryConfig::Set(cfg, query_config);
|
|
|
|
auto final_result = index_->Query(dataset, cfg, bitset);
|
|
auto ids = milvus::GetDatasetIDs(final_result);
|
|
float* distances = (float*)milvus::GetDatasetDistance(final_result);
|
|
|
|
auto round_decimal = search_info.round_decimal_;
|
|
auto total_num = num_queries * topk;
|
|
|
|
if (round_decimal != -1) {
|
|
const float multiplier = pow(10.0, round_decimal);
|
|
for (int i = 0; i < total_num; i++) {
|
|
distances[i] = round(distances[i] * multiplier) / multiplier;
|
|
}
|
|
}
|
|
auto result = std::make_unique<SearchResult>();
|
|
result->seg_offsets_.resize(total_num);
|
|
result->distances_.resize(total_num);
|
|
result->total_nq_ = num_queries;
|
|
result->unity_topK_ = topk;
|
|
|
|
std::copy_n(ids, total_num, result->seg_offsets_.data());
|
|
std::copy_n(distances, total_num, result->distances_.data());
|
|
|
|
return result;
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
VectorDiskAnnIndex<T>::CleanLocalData() {
|
|
auto& local_chunk_manager = storage::LocalChunkManager::GetInstance();
|
|
local_chunk_manager.RemoveDir(file_manager_->GetLocalIndexObjectPrefix());
|
|
local_chunk_manager.RemoveDir(file_manager_->GetLocalRawDataObjectPrefix());
|
|
}
|
|
|
|
template <typename T>
|
|
knowhere::DiskANNBuildConfig
|
|
VectorDiskAnnIndex<T>::parse_build_config(const Config& config) {
|
|
Config build_config = config;
|
|
parse_config(build_config);
|
|
|
|
// set disk ann build config
|
|
knowhere::DiskANNBuildConfig build_disk_ann_config;
|
|
|
|
// set max degree
|
|
auto max_degree = GetValueFromConfig<uint32_t>(build_config, DISK_ANN_MAX_DEGREE);
|
|
AssertInfo(max_degree.has_value(), "param " + std::string(DISK_ANN_MAX_DEGREE) + "is empty");
|
|
build_disk_ann_config.max_degree = max_degree.value();
|
|
|
|
// set build list
|
|
auto search_list_size = GetValueFromConfig<uint32_t>(build_config, DISK_ANN_SEARCH_LIST_SIZE);
|
|
AssertInfo(search_list_size.has_value(), "param " + std::string(DISK_ANN_SEARCH_LIST_SIZE) + "is empty");
|
|
build_disk_ann_config.search_list_size = search_list_size.value();
|
|
|
|
// set search dram budget
|
|
auto search_dram_budget_gb = GetValueFromConfig<float>(build_config, DISK_ANN_PQ_CODE_BUDGET);
|
|
AssertInfo(search_dram_budget_gb.has_value(), "param " + std::string(DISK_ANN_PQ_CODE_BUDGET) + "is empty");
|
|
build_disk_ann_config.pq_code_budget_gb = search_dram_budget_gb.value();
|
|
|
|
// set build dram budget
|
|
auto build_dram_budget_gb = GetValueFromConfig<float>(build_config, DISK_ANN_BUILD_DRAM_BUDGET);
|
|
AssertInfo(build_dram_budget_gb.has_value(), "param " + std::string(DISK_ANN_BUILD_DRAM_BUDGET) + "is empty");
|
|
build_disk_ann_config.build_dram_budget_gb = build_dram_budget_gb.value();
|
|
|
|
// set num build thread
|
|
auto num_threads = GetValueFromConfig<uint32_t>(build_config, DISK_ANN_BUILD_THREAD_NUM);
|
|
AssertInfo(num_threads.has_value(), "param " + std::string(DISK_ANN_BUILD_THREAD_NUM) + "is empty");
|
|
build_disk_ann_config.num_threads = num_threads.value();
|
|
|
|
// set pq bytes
|
|
auto pq_disk_bytes = GetValueFromConfig<uint32_t>(build_config, DISK_ANN_PQ_DIMS);
|
|
AssertInfo(pq_disk_bytes.has_value(), "param " + std::string(DISK_ANN_PQ_DIMS) + "is empty");
|
|
build_disk_ann_config.disk_pq_dims = pq_disk_bytes.value();
|
|
|
|
return build_disk_ann_config;
|
|
}
|
|
|
|
template <typename T>
|
|
knowhere::DiskANNPrepareConfig
|
|
VectorDiskAnnIndex<T>::parse_prepare_config(const Config& config) {
|
|
Config prepare_config = config;
|
|
parse_config(prepare_config);
|
|
|
|
knowhere::DiskANNPrepareConfig prepare_disk_ann_config;
|
|
prepare_disk_ann_config.warm_up = false;
|
|
prepare_disk_ann_config.use_bfs_cache = false;
|
|
|
|
// set prepare thread num
|
|
auto num_threads = GetValueFromConfig<uint32_t>(prepare_config, DISK_ANN_LOAD_THREAD_NUM);
|
|
AssertInfo(num_threads.has_value(), "param " + std::string(DISK_ANN_LOAD_THREAD_NUM) + "is empty");
|
|
prepare_disk_ann_config.num_threads = num_threads.value();
|
|
|
|
// get search_cache_budget_gb
|
|
auto search_cache_budget_gb = GetValueFromConfig<float>(prepare_config, DISK_ANN_SEARCH_CACHE_BUDGET);
|
|
AssertInfo(search_cache_budget_gb.has_value(), "param " + std::string(DISK_ANN_SEARCH_CACHE_BUDGET) + "is empty");
|
|
prepare_disk_ann_config.search_cache_budget_gb = search_cache_budget_gb.value();
|
|
|
|
// update search_beamwidth
|
|
auto beamwidth = GetValueFromConfig<uint32_t>(prepare_config, DISK_ANN_QUERY_BEAMWIDTH);
|
|
if (beamwidth.has_value()) {
|
|
search_beamwidth_ = beamwidth.value();
|
|
}
|
|
|
|
return prepare_disk_ann_config;
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
VectorDiskAnnIndex<T>::parse_config(Config& config) {
|
|
auto stoi_closure = [](const std::string& s) -> uint32_t { return std::stoi(s); };
|
|
auto stof_closure = [](const std::string& s) -> float { return std::stof(s); };
|
|
|
|
/***************************** meta *******************************/
|
|
CheckParameter<int>(config, knowhere::meta::DIM, stoi_closure, std::nullopt);
|
|
CheckParameter<int>(config, knowhere::meta::TOPK, stoi_closure, std::nullopt);
|
|
|
|
/************************** DiskAnn build Params ************************/
|
|
CheckParameter<int>(config, DISK_ANN_MAX_DEGREE, stoi_closure, std::nullopt);
|
|
CheckParameter<int>(config, DISK_ANN_SEARCH_LIST_SIZE, stoi_closure, std::nullopt);
|
|
CheckParameter<float>(config, DISK_ANN_PQ_CODE_BUDGET, stof_closure, std::nullopt);
|
|
CheckParameter<float>(config, DISK_ANN_BUILD_DRAM_BUDGET, stof_closure, std::nullopt);
|
|
CheckParameter<int>(config, DISK_ANN_BUILD_THREAD_NUM, stoi_closure, std::optional{8});
|
|
CheckParameter<int>(config, DISK_ANN_PQ_DIMS, stoi_closure, std::optional{0});
|
|
|
|
/************************** DiskAnn prepare Params ************************/
|
|
CheckParameter<int>(config, DISK_ANN_LOAD_THREAD_NUM, stoi_closure, std::optional{8});
|
|
CheckParameter<float>(config, DISK_ANN_SEARCH_CACHE_BUDGET, stof_closure, std::nullopt);
|
|
|
|
/************************** DiskAnn query Params ************************/
|
|
CheckParameter<int>(config, DISK_ANN_QUERY_BEAMWIDTH, stoi_closure, std::nullopt);
|
|
}
|
|
|
|
template class VectorDiskAnnIndex<float>;
|
|
|
|
#endif
|
|
|
|
} // namespace milvus::index
|