mirror of https://github.com/milvus-io/milvus.git
464 lines
14 KiB
C++
464 lines
14 KiB
C++
#include <assert.h>
|
|
#include <sstream>
|
|
#include <fmt/format.h>
|
|
#include <set>
|
|
#include <iostream>
|
|
#include <map>
|
|
|
|
#include "tantivy-binding.h"
|
|
#include "rust-binding.h"
|
|
#include "rust-array.h"
|
|
#include "rust-hashmap.h"
|
|
|
|
namespace milvus::tantivy {
|
|
using Map = std::map<std::string, std::string>;
|
|
|
|
static constexpr const char* DEFAULT_TOKENIZER_NAME = "milvus_tokenizer";
|
|
static const char* DEFAULT_analyzer_params = "{}";
|
|
static constexpr uintptr_t DEFAULT_NUM_THREADS = 4;
|
|
static constexpr uintptr_t DEFAULT_OVERALL_MEMORY_BUDGET_IN_BYTES =
|
|
DEFAULT_NUM_THREADS * 15 * 1024 * 1024;
|
|
|
|
template <typename T>
|
|
inline TantivyDataType
|
|
guess_data_type() {
|
|
if constexpr (std::is_same_v<T, bool>) {
|
|
return TantivyDataType::Bool;
|
|
}
|
|
|
|
if constexpr (std::is_integral_v<T>) {
|
|
return TantivyDataType::I64;
|
|
}
|
|
|
|
if constexpr (std::is_floating_point_v<T>) {
|
|
return TantivyDataType::F64;
|
|
}
|
|
|
|
throw fmt::format("guess_data_type: unsupported data type: {}",
|
|
typeid(T).name());
|
|
}
|
|
|
|
// TODO: should split this into IndexWriter & IndexReader.
|
|
struct TantivyIndexWrapper {
|
|
using IndexWriter = void*;
|
|
using IndexReader = void*;
|
|
|
|
NO_COPY_OR_ASSIGN(TantivyIndexWrapper);
|
|
|
|
TantivyIndexWrapper() = default;
|
|
|
|
TantivyIndexWrapper(TantivyIndexWrapper&& other) noexcept {
|
|
writer_ = other.writer_;
|
|
reader_ = other.reader_;
|
|
finished_ = other.finished_;
|
|
path_ = other.path_;
|
|
other.writer_ = nullptr;
|
|
other.reader_ = nullptr;
|
|
other.finished_ = false;
|
|
other.path_ = "";
|
|
}
|
|
|
|
TantivyIndexWrapper&
|
|
operator=(TantivyIndexWrapper&& other) noexcept {
|
|
if (this != &other) {
|
|
free();
|
|
writer_ = other.writer_;
|
|
reader_ = other.reader_;
|
|
path_ = other.path_;
|
|
finished_ = other.finished_;
|
|
other.writer_ = nullptr;
|
|
other.reader_ = nullptr;
|
|
other.finished_ = false;
|
|
other.path_ = "";
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
// create index writer for non-text type.
|
|
TantivyIndexWrapper(const char* field_name,
|
|
TantivyDataType data_type,
|
|
const char* path,
|
|
uintptr_t num_threads = DEFAULT_NUM_THREADS,
|
|
uintptr_t overall_memory_budget_in_bytes =
|
|
DEFAULT_OVERALL_MEMORY_BUDGET_IN_BYTES) {
|
|
writer_ = tantivy_create_index(field_name,
|
|
data_type,
|
|
path,
|
|
num_threads,
|
|
overall_memory_budget_in_bytes);
|
|
path_ = std::string(path);
|
|
}
|
|
|
|
// load index. create index reader.
|
|
explicit TantivyIndexWrapper(const char* path) {
|
|
assert(tantivy_index_exist(path));
|
|
reader_ = tantivy_load_index(path);
|
|
path_ = std::string(path);
|
|
}
|
|
|
|
// create index writer for text type with tokenizer.
|
|
TantivyIndexWrapper(const char* field_name,
|
|
bool in_ram,
|
|
const char* path,
|
|
const char* tokenizer_name = DEFAULT_TOKENIZER_NAME,
|
|
const char* analyzer_params = DEFAULT_analyzer_params,
|
|
uintptr_t num_threads = DEFAULT_NUM_THREADS,
|
|
uintptr_t overall_memory_budget_in_bytes =
|
|
DEFAULT_OVERALL_MEMORY_BUDGET_IN_BYTES) {
|
|
writer_ = tantivy_create_text_writer(field_name,
|
|
path,
|
|
tokenizer_name,
|
|
analyzer_params,
|
|
num_threads,
|
|
overall_memory_budget_in_bytes,
|
|
in_ram);
|
|
path_ = std::string(path);
|
|
}
|
|
|
|
// create reader.
|
|
void
|
|
create_reader() {
|
|
if (writer_ != nullptr) {
|
|
reader_ = tantivy_create_reader_from_writer(writer_);
|
|
} else if (!path_.empty()) {
|
|
assert(tantivy_index_exist(path_.c_str()));
|
|
reader_ = tantivy_load_index(path_.c_str());
|
|
}
|
|
}
|
|
|
|
~TantivyIndexWrapper() {
|
|
free();
|
|
}
|
|
|
|
void
|
|
register_tokenizer(const char* tokenizer_name,
|
|
const char* analyzer_params) {
|
|
if (reader_ != nullptr) {
|
|
tantivy_register_tokenizer(
|
|
reader_, tokenizer_name, analyzer_params);
|
|
}
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
add_data(const T* array, uintptr_t len, int64_t offset_begin) {
|
|
assert(!finished_);
|
|
|
|
if constexpr (std::is_same_v<T, bool>) {
|
|
tantivy_index_add_bools(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int8_t>) {
|
|
tantivy_index_add_int8s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int16_t>) {
|
|
tantivy_index_add_int16s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int32_t>) {
|
|
tantivy_index_add_int32s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int64_t>) {
|
|
tantivy_index_add_int64s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, float>) {
|
|
tantivy_index_add_f32s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, double>) {
|
|
tantivy_index_add_f64s(writer_, array, len, offset_begin);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
// TODO: not very efficient, a lot of overhead due to rust-ffi call.
|
|
for (uintptr_t i = 0; i < len; i++) {
|
|
tantivy_index_add_string(
|
|
writer_,
|
|
static_cast<const std::string*>(array)[i].c_str(),
|
|
offset_begin + i);
|
|
}
|
|
return;
|
|
}
|
|
|
|
throw fmt::format("InvertedIndex.add_data: unsupported data type: {}",
|
|
typeid(T).name());
|
|
}
|
|
|
|
template <typename T>
|
|
void
|
|
add_multi_data(const T* array, uintptr_t len, int64_t offset) {
|
|
assert(!finished_);
|
|
|
|
if constexpr (std::is_same_v<T, bool>) {
|
|
tantivy_index_add_multi_bools(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int8_t>) {
|
|
tantivy_index_add_multi_int8s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int16_t>) {
|
|
tantivy_index_add_multi_int16s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int32_t>) {
|
|
tantivy_index_add_multi_int32s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, int64_t>) {
|
|
tantivy_index_add_multi_int64s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, float>) {
|
|
tantivy_index_add_multi_f32s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, double>) {
|
|
tantivy_index_add_multi_f64s(writer_, array, len, offset);
|
|
return;
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
std::vector<const char*> views;
|
|
for (uintptr_t i = 0; i < len; i++) {
|
|
views.push_back(array[i].c_str());
|
|
}
|
|
tantivy_index_add_multi_keywords(
|
|
writer_, views.data(), len, offset);
|
|
return;
|
|
}
|
|
|
|
throw fmt::format(
|
|
"InvertedIndex.add_multi_data: unsupported data type: {}",
|
|
typeid(T).name());
|
|
}
|
|
|
|
inline void
|
|
finish() {
|
|
if (finished_) {
|
|
return;
|
|
}
|
|
|
|
tantivy_finish_index(writer_);
|
|
writer_ = nullptr;
|
|
finished_ = true;
|
|
}
|
|
|
|
inline void
|
|
commit() {
|
|
if (writer_ != nullptr) {
|
|
tantivy_commit_index(writer_);
|
|
}
|
|
}
|
|
|
|
inline void
|
|
reload() {
|
|
if (reader_ != nullptr) {
|
|
tantivy_reload_index(reader_);
|
|
}
|
|
}
|
|
|
|
inline uint32_t
|
|
count() {
|
|
return tantivy_index_count(reader_);
|
|
}
|
|
|
|
public:
|
|
template <typename T>
|
|
RustArrayWrapper
|
|
term_query(T term) {
|
|
auto array = [&]() {
|
|
if constexpr (std::is_same_v<T, bool>) {
|
|
return tantivy_term_query_bool(reader_, term);
|
|
}
|
|
|
|
if constexpr (std::is_integral_v<T>) {
|
|
return tantivy_term_query_i64(reader_,
|
|
static_cast<int64_t>(term));
|
|
}
|
|
|
|
if constexpr (std::is_floating_point_v<T>) {
|
|
return tantivy_term_query_f64(reader_,
|
|
static_cast<double>(term));
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
return tantivy_term_query_keyword(
|
|
reader_, static_cast<std::string>(term).c_str());
|
|
}
|
|
|
|
throw fmt::format(
|
|
"InvertedIndex.term_query: unsupported data type: {}",
|
|
typeid(T).name());
|
|
}();
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
template <typename T>
|
|
RustArrayWrapper
|
|
lower_bound_range_query(T lower_bound, bool inclusive) {
|
|
auto array = [&]() {
|
|
if constexpr (std::is_integral_v<T>) {
|
|
return tantivy_lower_bound_range_query_i64(
|
|
reader_, static_cast<int64_t>(lower_bound), inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_floating_point_v<T>) {
|
|
return tantivy_lower_bound_range_query_f64(
|
|
reader_, static_cast<double>(lower_bound), inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
return tantivy_lower_bound_range_query_keyword(
|
|
reader_,
|
|
static_cast<std::string>(lower_bound).c_str(),
|
|
inclusive);
|
|
}
|
|
|
|
throw fmt::format(
|
|
"InvertedIndex.lower_bound_range_query: unsupported data type: "
|
|
"{}",
|
|
typeid(T).name());
|
|
}();
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
template <typename T>
|
|
RustArrayWrapper
|
|
upper_bound_range_query(T upper_bound, bool inclusive) {
|
|
auto array = [&]() {
|
|
if constexpr (std::is_integral_v<T>) {
|
|
return tantivy_upper_bound_range_query_i64(
|
|
reader_, static_cast<int64_t>(upper_bound), inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_floating_point_v<T>) {
|
|
return tantivy_upper_bound_range_query_f64(
|
|
reader_, static_cast<double>(upper_bound), inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
return tantivy_upper_bound_range_query_keyword(
|
|
reader_,
|
|
static_cast<std::string>(upper_bound).c_str(),
|
|
inclusive);
|
|
}
|
|
|
|
throw fmt::format(
|
|
"InvertedIndex.upper_bound_range_query: unsupported data type: "
|
|
"{}",
|
|
typeid(T).name());
|
|
}();
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
template <typename T>
|
|
RustArrayWrapper
|
|
range_query(T lower_bound,
|
|
T upper_bound,
|
|
bool lb_inclusive,
|
|
bool ub_inclusive) {
|
|
auto array = [&]() {
|
|
if constexpr (std::is_integral_v<T>) {
|
|
return tantivy_range_query_i64(
|
|
reader_,
|
|
static_cast<int64_t>(lower_bound),
|
|
static_cast<int64_t>(upper_bound),
|
|
lb_inclusive,
|
|
ub_inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_floating_point_v<T>) {
|
|
return tantivy_range_query_f64(reader_,
|
|
static_cast<double>(lower_bound),
|
|
static_cast<double>(upper_bound),
|
|
lb_inclusive,
|
|
ub_inclusive);
|
|
}
|
|
|
|
if constexpr (std::is_same_v<T, std::string>) {
|
|
return tantivy_range_query_keyword(
|
|
reader_,
|
|
static_cast<std::string>(lower_bound).c_str(),
|
|
static_cast<std::string>(upper_bound).c_str(),
|
|
lb_inclusive,
|
|
ub_inclusive);
|
|
}
|
|
|
|
throw fmt::format(
|
|
"InvertedIndex.range_query: unsupported data type: {}",
|
|
typeid(T).name());
|
|
}();
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
RustArrayWrapper
|
|
prefix_query(const std::string& prefix) {
|
|
auto array = tantivy_prefix_query_keyword(reader_, prefix.c_str());
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
RustArrayWrapper
|
|
regex_query(const std::string& pattern) {
|
|
auto array = tantivy_regex_query(reader_, pattern.c_str());
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
RustArrayWrapper
|
|
match_query(const std::string& query) {
|
|
auto array = tantivy_match_query(reader_, query.c_str());
|
|
return RustArrayWrapper(array);
|
|
}
|
|
|
|
public:
|
|
inline IndexWriter
|
|
get_writer() {
|
|
return writer_;
|
|
}
|
|
|
|
inline IndexReader
|
|
get_reader() {
|
|
return reader_;
|
|
}
|
|
|
|
private:
|
|
void
|
|
check_search() {
|
|
// TODO
|
|
}
|
|
|
|
void
|
|
free() {
|
|
if (writer_ != nullptr) {
|
|
tantivy_free_index_writer(writer_);
|
|
}
|
|
|
|
if (reader_ != nullptr) {
|
|
tantivy_free_index_reader(reader_);
|
|
}
|
|
}
|
|
|
|
private:
|
|
bool finished_ = false;
|
|
IndexWriter writer_ = nullptr;
|
|
IndexReader reader_ = nullptr;
|
|
std::string path_;
|
|
};
|
|
} // namespace milvus::tantivy
|