mirror of
https://gitee.com/milvus-io/milvus.git
synced 2026-01-03 17:31:58 +08:00
related: #45993 This commit extends nullable vector support to the proxy layer, querynode, and adds comprehensive validation, search reduce, and field data handling for nullable vectors with sparse storage. Proxy layer changes: - Update validate_util.go checkAligned() with getExpectedVectorRows() helper to validate nullable vector field alignment using valid data count - Update checkFloatVectorFieldData/checkSparseFloatVectorFieldData for nullable vector validation with proper row count expectations - Add FieldDataIdxComputer in typeutil/schema.go for logical-to-physical index translation during search reduce operations - Update search_reduce_util.go reduceSearchResultData to use idxComputers for correct field data indexing with nullable vectors - Update task.go, task_query.go, task_upsert.go for nullable vector handling - Update msg_pack.go with nullable vector field data processing QueryNode layer changes: - Update segments/result.go for nullable vector result handling - Update segments/search_reduce.go with nullable vector offset translation Storage and index changes: - Update data_codec.go and utils.go for nullable vector serialization - Update indexcgowrapper/dataset.go and index.go for nullable vector indexing Utility changes: - Add FieldDataIdxComputer struct with Compute() method for efficient logical-to-physical index mapping across multiple field data - Update EstimateEntitySize() and AppendFieldData() with fieldIdxs parameter - Update funcutil.go with nullable vector support functions <!-- This is an auto-generated comment: release notes by coderabbit.ai --> ## Summary by CodeRabbit * **New Features** * Full support for nullable vector fields (float, binary, float16, bfloat16, int8, sparse) across ingest, storage, indexing, search and retrieval; logical↔physical offset mapping preserves row semantics. * Client: compaction control and compaction-state APIs. * **Bug Fixes** * Improved validation for adding vector fields (nullable + dimension checks) and corrected search/query behavior for nullable vectors. * **Chores** * Persisted validity maps with indexes and on-disk formats. * **Tests** * Extensive new and updated end-to-end nullable-vector tests. <sub>✏️ Tip: You can customize this high-level summary in your review settings.</sub> <!-- end of auto-generated comment: release notes by coderabbit.ai --> --------- Signed-off-by: marcelo-cjl <marcelo.chen@zilliz.com>
308 lines
11 KiB
C++
308 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.
|
|
#pragma once
|
|
|
|
#include "cachinglayer/CacheSlot.h"
|
|
#include "common/Chunk.h"
|
|
#include "common/OffsetMapping.h"
|
|
#include "common/bson_view.h"
|
|
namespace milvus {
|
|
|
|
using namespace milvus::cachinglayer;
|
|
|
|
class ChunkedColumnInterface {
|
|
public:
|
|
virtual ~ChunkedColumnInterface() = default;
|
|
|
|
// Default implementation does nothing.
|
|
virtual void
|
|
ManualEvictCache() const {
|
|
}
|
|
|
|
// Get raw data pointer of a specific chunk
|
|
virtual cachinglayer::PinWrapper<const char*>
|
|
DataOfChunk(milvus::OpContext* op_ctx, int chunk_id) const = 0;
|
|
|
|
// Check if the value at given offset is valid (not null)
|
|
virtual bool
|
|
IsValid(milvus::OpContext* op_ctx, size_t offset) const = 0;
|
|
|
|
// fn: (bool is_valid, size_t offset) -> void
|
|
// If offsets is nullptr, this function will iterate over all rows.
|
|
// Only BulkRawStringAt and BulkIsValid allow offsets to be nullptr.
|
|
// Other Bulk* methods can also support nullptr offsets, but not added at this moment.
|
|
virtual void
|
|
BulkIsValid(milvus::OpContext* ctx,
|
|
std::function<void(bool, size_t)> fn,
|
|
const int64_t* offsets,
|
|
int64_t count) const = 0;
|
|
|
|
// Check if the column can contain null values
|
|
virtual bool
|
|
IsNullable() const = 0;
|
|
|
|
// Get total number of rows in the column
|
|
virtual size_t
|
|
NumRows() const = 0;
|
|
|
|
// Get total number of chunks in the column
|
|
virtual int64_t
|
|
num_chunks() const = 0;
|
|
|
|
// Get total byte size of the column data
|
|
virtual size_t
|
|
DataByteSize() const = 0;
|
|
|
|
// Get number of rows in a specific chunk
|
|
virtual int64_t
|
|
chunk_row_nums(int64_t chunk_id) const = 0;
|
|
|
|
virtual PinWrapper<SpanBase>
|
|
Span(milvus::OpContext* op_ctx, int64_t chunk_id) const = 0;
|
|
|
|
virtual void
|
|
PrefetchChunks(milvus::OpContext* op_ctx,
|
|
const std::vector<int64_t>& chunk_ids) const = 0;
|
|
|
|
virtual PinWrapper<
|
|
std::pair<std::vector<std::string_view>, FixedVector<bool>>>
|
|
StringViews(milvus::OpContext* op_ctx,
|
|
int64_t chunk_id,
|
|
std::optional<std::pair<int64_t, int64_t>> offset_len =
|
|
std::nullopt) const = 0;
|
|
|
|
virtual PinWrapper<std::pair<std::vector<ArrayView>, FixedVector<bool>>>
|
|
ArrayViews(milvus::OpContext* op_ctx,
|
|
int64_t chunk_id,
|
|
std::optional<std::pair<int64_t, int64_t>> offset_len) const = 0;
|
|
|
|
virtual PinWrapper<
|
|
std::pair<std::vector<VectorArrayView>, FixedVector<bool>>>
|
|
VectorArrayViews(
|
|
milvus::OpContext* op_ctx,
|
|
int64_t chunk_id,
|
|
std::optional<std::pair<int64_t, int64_t>> offset_len) const = 0;
|
|
|
|
virtual PinWrapper<const size_t*>
|
|
VectorArrayOffsets(milvus::OpContext* op_ctx, int64_t chunk_id) const = 0;
|
|
|
|
virtual PinWrapper<
|
|
std::pair<std::vector<std::string_view>, FixedVector<bool>>>
|
|
StringViewsByOffsets(milvus::OpContext* op_ctx,
|
|
int64_t chunk_id,
|
|
const FixedVector<int32_t>& offsets) const = 0;
|
|
|
|
virtual PinWrapper<std::pair<std::vector<ArrayView>, FixedVector<bool>>>
|
|
ArrayViewsByOffsets(milvus::OpContext* op_ctx,
|
|
int64_t chunk_id,
|
|
const FixedVector<int32_t>& offsets) const = 0;
|
|
|
|
// Convert a global offset to (chunk_id, offset_in_chunk) pair
|
|
virtual std::pair<size_t, size_t>
|
|
GetChunkIDByOffset(int64_t offset) const = 0;
|
|
|
|
virtual std::pair<std::vector<milvus::cachinglayer::cid_t>,
|
|
std::vector<int64_t>>
|
|
GetChunkIDsByOffsets(const int64_t* offsets, int64_t count) const = 0;
|
|
|
|
virtual PinWrapper<Chunk*>
|
|
GetChunk(milvus::OpContext* op_ctx, int64_t chunk_id) const = 0;
|
|
|
|
virtual std::vector<PinWrapper<Chunk*>>
|
|
GetAllChunks(milvus::OpContext* op_ctx) const = 0;
|
|
|
|
// Get number of rows before a specific chunk
|
|
virtual int64_t
|
|
GetNumRowsUntilChunk(int64_t chunk_id) const = 0;
|
|
|
|
// Get vector of row counts before each chunk
|
|
virtual const std::vector<int64_t>&
|
|
GetNumRowsUntilChunk() const = 0;
|
|
|
|
const FixedVector<bool>&
|
|
GetValidData() const {
|
|
return valid_data_;
|
|
}
|
|
|
|
const std::vector<int64_t>&
|
|
GetValidCountPerChunk() const {
|
|
return valid_count_per_chunk_;
|
|
}
|
|
|
|
const OffsetMapping&
|
|
GetOffsetMapping() const {
|
|
return offset_mapping_;
|
|
}
|
|
|
|
virtual void
|
|
BuildValidRowIds(milvus::OpContext* op_ctx) {
|
|
ThrowInfo(ErrorCode::Unsupported,
|
|
"BuildValidRowIds not supported for this column type");
|
|
}
|
|
|
|
// Build offset mapping from valid_data
|
|
void
|
|
BuildOffsetMapping() {
|
|
if (!valid_data_.empty()) {
|
|
offset_mapping_.Build(valid_data_.data(), valid_data_.size());
|
|
}
|
|
}
|
|
|
|
virtual void
|
|
BulkValueAt(milvus::OpContext* op_ctx,
|
|
std::function<void(const char*, size_t)> fn,
|
|
const int64_t* offsets,
|
|
int64_t count) = 0;
|
|
|
|
virtual void
|
|
BulkPrimitiveValueAt(milvus::OpContext* op_ctx,
|
|
void* dst,
|
|
const int64_t* offsets,
|
|
int64_t count) = 0;
|
|
|
|
virtual void
|
|
BulkVectorValueAt(milvus::OpContext* op_ctx,
|
|
void* dst,
|
|
const int64_t* offsets,
|
|
int64_t element_sizeof,
|
|
int64_t count) = 0;
|
|
|
|
// fn: (std::string_view value, size_t offset, bool is_valid) -> void
|
|
// If offsets is nullptr, this function will iterate over all rows.
|
|
// Only BulkRawStringAt and BulkIsValid allow offsets to be nullptr.
|
|
// Other Bulk* methods can also support nullptr offsets, but not added at this moment.
|
|
virtual void
|
|
BulkRawStringAt(milvus::OpContext* op_ctx,
|
|
std::function<void(std::string_view, size_t, bool)> fn,
|
|
const int64_t* offsets = nullptr,
|
|
int64_t count = 0) const {
|
|
ThrowInfo(ErrorCode::Unsupported,
|
|
"BulkRawStringAt only supported for ChunkColumnInterface of "
|
|
"variable length type");
|
|
}
|
|
|
|
virtual void
|
|
BulkRawJsonAt(milvus::OpContext* op_ctx,
|
|
std::function<void(Json, size_t, bool)> fn,
|
|
const int64_t* offsets,
|
|
int64_t count) const {
|
|
ThrowInfo(
|
|
ErrorCode::Unsupported,
|
|
"RawJsonAt only supported for ChunkColumnInterface of Json type");
|
|
}
|
|
|
|
virtual void
|
|
BulkRawBsonAt(milvus::OpContext* op_ctx,
|
|
std::function<void(BsonView, uint32_t, uint32_t)> fn,
|
|
const uint32_t* row_offsets,
|
|
const uint32_t* value_offsets,
|
|
int64_t count) const {
|
|
ThrowInfo(ErrorCode::Unsupported,
|
|
"BulkRawBsonAt only supported for ChunkColumnInterface of "
|
|
"Bson type");
|
|
}
|
|
|
|
virtual void
|
|
BulkArrayAt(milvus::OpContext* op_ctx,
|
|
std::function<void(const ArrayView&, size_t)> fn,
|
|
const int64_t* offsets,
|
|
int64_t count) const {
|
|
ThrowInfo(ErrorCode::Unsupported,
|
|
"BulkArrayAt only supported for ChunkedArrayColumn");
|
|
}
|
|
|
|
virtual void
|
|
BulkVectorArrayAt(milvus::OpContext* op_ctx,
|
|
std::function<void(VectorFieldProto&&, size_t)> fn,
|
|
const int64_t* offsets,
|
|
int64_t count) const {
|
|
ThrowInfo(
|
|
ErrorCode::Unsupported,
|
|
"BulkVectorArrayAt only supported for ChunkedVectorArrayColumn");
|
|
}
|
|
|
|
static bool
|
|
IsPrimitiveDataType(DataType data_type) {
|
|
return data_type == DataType::INT8 || data_type == DataType::INT16 ||
|
|
data_type == DataType::INT32 || data_type == DataType::INT64 ||
|
|
data_type == DataType::FLOAT || data_type == DataType::DOUBLE ||
|
|
data_type == DataType::BOOL ||
|
|
data_type == DataType::TIMESTAMPTZ;
|
|
}
|
|
|
|
static bool
|
|
IsChunkedVariableColumnDataType(DataType data_type) {
|
|
return data_type == DataType::STRING ||
|
|
data_type == DataType::VARCHAR || data_type == DataType::TEXT ||
|
|
data_type == DataType::JSON || data_type == DataType::GEOMETRY;
|
|
}
|
|
|
|
static bool
|
|
IsChunkedArrayColumnDataType(DataType data_type) {
|
|
return data_type == DataType::ARRAY;
|
|
}
|
|
|
|
static bool
|
|
IsChunkedVectorArrayColumnDataType(DataType data_type) {
|
|
return data_type == DataType::VECTOR_ARRAY;
|
|
}
|
|
|
|
static bool
|
|
IsChunkedColumnDataType(DataType data_type) {
|
|
return !IsChunkedVariableColumnDataType(data_type) &&
|
|
!IsChunkedArrayColumnDataType(data_type);
|
|
}
|
|
|
|
protected:
|
|
FixedVector<bool> valid_data_;
|
|
std::vector<int64_t> valid_count_per_chunk_;
|
|
OffsetMapping offset_mapping_;
|
|
|
|
std::pair<std::vector<milvus::cachinglayer::cid_t>, std::vector<int64_t>>
|
|
ToChunkIdAndOffset(const int64_t* offsets, int64_t count) const {
|
|
AssertInfo(offsets != nullptr, "Offsets cannot be nullptr");
|
|
auto num_rows = NumRows();
|
|
for (int64_t i = 0; i < count; i++) {
|
|
if (offsets[i] < 0 || offsets[i] >= num_rows) {
|
|
ThrowInfo(ErrorCode::OutOfRange,
|
|
"offsets[{}] {} is out of range, num_rows: {}",
|
|
i,
|
|
offsets[i],
|
|
num_rows);
|
|
}
|
|
}
|
|
return GetChunkIDsByOffsets(offsets, count);
|
|
}
|
|
|
|
std::pair<std::vector<milvus::cachinglayer::cid_t>, std::vector<uint32_t>>
|
|
ToChunkIdAndOffset(const uint32_t* offsets, int64_t count) const {
|
|
AssertInfo(offsets != nullptr, "Offsets cannot be nullptr");
|
|
std::vector<milvus::cachinglayer::cid_t> cids;
|
|
cids.reserve(count);
|
|
std::vector<uint32_t> offsets_in_chunk;
|
|
offsets_in_chunk.reserve(count);
|
|
|
|
for (int64_t i = 0; i < count; i++) {
|
|
auto [chunk_id, offset_in_chunk] = GetChunkIDByOffset(offsets[i]);
|
|
cids.push_back(chunk_id);
|
|
offsets_in_chunk.push_back(offset_in_chunk);
|
|
}
|
|
return std::make_pair(std::move(cids), std::move(offsets_in_chunk));
|
|
}
|
|
};
|
|
|
|
} // namespace milvus
|