SearchTask.cpp 15.1 KB
Newer Older
J
jinhai 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// Licensed to the Apache Software Foundation (ASF) 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.

S
starlord 已提交
18
#include "scheduler/task/SearchTask.h"
19

W
wxyu 已提交
20
#include <src/scheduler/SchedInst.h>
Z
Zhiru Zhu 已提交
21

S
starlord 已提交
22
#include <algorithm>
Z
Zhiru Zhu 已提交
23
#include <memory>
S
starlord 已提交
24
#include <string>
25
#include <thread>
S
starlord 已提交
26
#include <utility>
27

Z
Zhiru Zhu 已提交
28 29 30 31 32 33
#include "db/engine/EngineFactory.h"
#include "metrics/Metrics.h"
#include "scheduler/job/SearchJob.h"
#include "utils/Log.h"
#include "utils/TimeRecorder.h"

34
namespace milvus {
W
wxyu 已提交
35
namespace scheduler {
36 37 38 39

static constexpr size_t PARALLEL_REDUCE_THRESHOLD = 10000;
static constexpr size_t PARALLEL_REDUCE_BATCH = 1000;

40
// TODO(wxyu): remove unused code
S
starlord 已提交
41 42
// bool
// NeedParallelReduce(uint64_t nq, uint64_t topk) {
43 44 45 46 47 48 49 50 51 52
//    server::ServerConfig &config = server::ServerConfig::GetInstance();
//    server::ConfigNode &db_config = config.GetConfig(server::CONFIG_DB);
//    bool need_parallel = db_config.GetBoolValue(server::CONFIG_DB_PARALLEL_REDUCE, false);
//    if (!need_parallel) {
//        return false;
//    }
//
//    return nq * topk >= PARALLEL_REDUCE_THRESHOLD;
//}
//
S
starlord 已提交
53 54
// void
// ParallelReduce(std::function<void(size_t, size_t)> &reduce_function, size_t max_index) {
55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
//    size_t reduce_batch = PARALLEL_REDUCE_BATCH;
//
//    auto thread_count = std::thread::hardware_concurrency() - 1; //not all core do this work
//    if (thread_count > 0) {
//        reduce_batch = max_index / thread_count + 1;
//    }
//    ENGINE_LOG_DEBUG << "use " << thread_count <<
//                     " thread parallelly do reduce, each thread process " << reduce_batch << " vectors";
//
//    std::vector<std::shared_ptr<std::thread> > thread_array;
//    size_t from_index = 0;
//    while (from_index < max_index) {
//        size_t to_index = from_index + reduce_batch;
//        if (to_index > max_index) {
//            to_index = max_index;
//        }
//
//        auto reduce_thread = std::make_shared<std::thread>(reduce_function, from_index, to_index);
//        thread_array.push_back(reduce_thread);
//
//        from_index = to_index;
//    }
//
//    for (auto &thread_ptr : thread_array) {
//        thread_ptr->join();
//    }
//}
82 83 84

void
CollectFileMetrics(int file_type, size_t file_size) {
Y
yudong.cai 已提交
85
    server::MetricsBase& inst = server::Metrics::GetInstance();
86
    switch (file_type) {
W
wxyu 已提交
87 88
        case TableFileSchema::RAW:
        case TableFileSchema::TO_INDEX: {
Y
yudong.cai 已提交
89 90 91
            inst.RawFileSizeHistogramObserve(file_size);
            inst.RawFileSizeTotalIncrement(file_size);
            inst.RawFileSizeGaugeSet(file_size);
92 93 94
            break;
        }
        default: {
Y
yudong.cai 已提交
95 96 97
            inst.IndexFileSizeHistogramObserve(file_size);
            inst.IndexFileSizeTotalIncrement(file_size);
            inst.IndexFileSizeGaugeSet(file_size);
98 99 100 101 102
            break;
        }
    }
}

Z
Zhiru Zhu 已提交
103 104
XSearchTask::XSearchTask(const std::shared_ptr<server::Context>& context, TableFileSchemaPtr file, TaskLabelPtr label)
    : Task(TaskType::SearchTask, std::move(label)), context_(context), file_(file) {
W
wxyu 已提交
105
    if (file_) {
G
groot 已提交
106 107 108 109
        // distance -- value 0 means two vectors equal, ascending reduce, L2/HAMMING/JACCARD/TONIMOTO ...
        // similarity -- infinity value means two vectors equal, descending reduce, IP
        if (file_->metric_type_ == static_cast<int>(MetricType::IP)) {
            ascending_reduce = false;
110
        }
S
starlord 已提交
111 112
        index_engine_ = EngineFactory::Build(file_->dimension_, file_->location_, (EngineType)file_->engine_type_,
                                             (MetricType)file_->metric_type_, file_->nlist_);
W
wxyu 已提交
113
    }
W
wxyu 已提交
114 115
}

116 117
void
XSearchTask::Load(LoadType type, uint8_t device_id) {
Z
Zhiru Zhu 已提交
118 119
    auto load_ctx = context_->Follower("XSearchTask::Load " + std::to_string(file_->id_));

S
starlord 已提交
120
    TimeRecorder rc("");
W
wxyu 已提交
121 122
    Status stat = Status::OK();
    std::string error_msg;
123
    std::string type_str;
124 125

    try {
W
wxyu 已提交
126
        if (type == LoadType::DISK2CPU) {
W
wxyu 已提交
127
            stat = index_engine_->Load();
128
            type_str = "DISK2CPU";
W
wxyu 已提交
129
        } else if (type == LoadType::CPU2GPU) {
W
wxyu 已提交
130 131 132 133 134
            bool hybrid = false;
            if (index_engine_->IndexEngineType() == engine::EngineType::FAISS_IVFSQ8H) {
                hybrid = true;
            }
            stat = index_engine_->CopyToGpu(device_id, hybrid);
G
groot 已提交
135
            type_str = "CPU2GPU:" + std::to_string(device_id);
W
wxyu 已提交
136
        } else if (type == LoadType::GPU2CPU) {
W
wxyu 已提交
137
            stat = index_engine_->CopyToCpu();
138
            type_str = "GPU2CPU";
W
wxyu 已提交
139
        } else {
W
wxyu 已提交
140 141
            error_msg = "Wrong load type";
            stat = Status(SERVER_UNEXPECTED_ERROR, error_msg);
W
wxyu 已提交
142
        }
S
starlord 已提交
143 144
    } catch (std::exception& ex) {
        // typical error: out of disk space or permition denied
W
wxyu 已提交
145 146 147 148 149
        error_msg = "Failed to load index file: " + std::string(ex.what());
        stat = Status(SERVER_UNEXPECTED_ERROR, error_msg);
    }

    if (!stat.ok()) {
150 151 152 153 154 155 156 157
        Status s;
        if (stat.ToString().find("out of memory") != std::string::npos) {
            error_msg = "out of memory: " + type_str;
            s = Status(SERVER_OUT_OF_MEMORY, error_msg);
        } else {
            error_msg = "Failed to load index file: " + type_str;
            s = Status(SERVER_UNEXPECTED_ERROR, error_msg);
        }
158

S
starlord 已提交
159
        if (auto job = job_.lock()) {
W
wxyu 已提交
160 161 162
            auto search_job = std::static_pointer_cast<scheduler::SearchJob>(job);
            search_job->SearchDone(file_->id_);
            search_job->GetStatus() = s;
163 164 165 166 167
        }

        return;
    }

W
wxyu 已提交
168
    size_t file_size = index_engine_->PhysicalSize();
169

G
groot 已提交
170
    std::string info = "Search task load file id:" + std::to_string(file_->id_) + " " + type_str +
J
JinHai-CN 已提交
171
                       " file type:" + std::to_string(file_->file_type_) + " size:" + std::to_string(file_size) +
S
starlord 已提交
172
                       " bytes from location: " + file_->location_ + " totally cost";
173
    double span = rc.ElapseFromBegin(info);
S
starlord 已提交
174 175 176
    //    for (auto &context : search_contexts_) {
    //        context->AccumLoadCost(span);
    //    }
177 178 179

    CollectFileMetrics(file_->file_type_, file_size);

S
starlord 已提交
180
    // step 2: return search task for later execution
181 182
    index_id_ = file_->id_;
    index_type_ = file_->file_type_;
S
starlord 已提交
183
    //    search_contexts_.swap(search_contexts_);
Z
Zhiru Zhu 已提交
184 185

    load_ctx->GetTraceContext()->GetSpan()->Finish();
186 187 188 189
}

void
XSearchTask::Execute() {
Z
Zhiru Zhu 已提交
190 191
    auto execute_ctx = context_->Follower("XSearchTask::Execute " + std::to_string(index_id_));

192 193 194 195
    if (index_engine_ == nullptr) {
        return;
    }

S
starlord 已提交
196 197
    //    ENGINE_LOG_DEBUG << "Searching in file id:" << index_id_ << " with "
    //                     << search_contexts_.size() << " tasks";
198

S
starlord 已提交
199
    TimeRecorder rc("DoSearch file id:" + std::to_string(index_id_));
200

Y
Yu Kun 已提交
201
    server::CollectDurationMetrics metrics(index_type_);
202

S
starlord 已提交
203
    std::vector<int64_t> output_ids;
J
jinhai 已提交
204
    std::vector<float> output_distance;
W
wxyu 已提交
205 206 207

    if (auto job = job_.lock()) {
        auto search_job = std::static_pointer_cast<scheduler::SearchJob>(job);
S
starlord 已提交
208
        // step 1: allocate memory
W
wxyu 已提交
209 210 211
        uint64_t nq = search_job->nq();
        uint64_t topk = search_job->topk();
        uint64_t nprobe = search_job->nprobe();
G
groot 已提交
212
        const engine::VectorsData& vectors = search_job->vectors();
Y
yudong.cai 已提交
213 214 215

        output_ids.resize(topk * nq);
        output_distance.resize(topk * nq);
S
starlord 已提交
216 217
        std::string hdr =
            "job " + std::to_string(search_job->id()) + " nq " + std::to_string(nq) + " topk " + std::to_string(topk);
218 219

        try {
S
starlord 已提交
220
            // step 2: search
W
wxyu 已提交
221 222 223 224 225
            bool hybrid = false;
            if (index_engine_->IndexEngineType() == engine::EngineType::FAISS_IVFSQ8H &&
                ResMgrInst::GetInstance()->GetResource(path().Last())->type() == ResourceType::CPU) {
                hybrid = true;
            }
G
groot 已提交
226 227 228 229 230 231 232 233
            Status s;
            if (!vectors.float_data_.empty()) {
                s = index_engine_->Search(nq, vectors.float_data_.data(), topk, nprobe, output_distance.data(),
                                          output_ids.data(), hybrid);
            } else if (!vectors.binary_data_.empty()) {
                s = index_engine_->Search(nq, vectors.binary_data_.data(), topk, nprobe, output_distance.data(),
                                          output_ids.data(), hybrid);
            }
234 235 236 237 238
            if (!s.ok()) {
                search_job->GetStatus() = s;
                search_job->SearchDone(index_id_);
                return;
            }
239

Y
yudong.cai 已提交
240
            double span = rc.RecordSection(hdr + ", do search");
S
starlord 已提交
241
            //            search_job->AccumSearchCost(span);
242

Y
yudong.cai 已提交
243
            // step 3: pick up topk result
Y
yudong.cai 已提交
244
            auto spec_k = index_engine_->Count() < topk ? index_engine_->Count() : topk;
G
groot 已提交
245 246
            {
                std::unique_lock<std::mutex> lock(search_job->mutex());
G
groot 已提交
247
                XSearchTask::MergeTopkToResultSet(output_ids, output_distance, spec_k, nq, topk, ascending_reduce,
G
groot 已提交
248 249
                                                  search_job->GetResultIds(), search_job->GetResultDistances());
            }
250

Y
yudong.cai 已提交
251
            span = rc.RecordSection(hdr + ", reduce topk");
S
starlord 已提交
252 253
            //            search_job->AccumReduceCost(span);
        } catch (std::exception& ex) {
254
            ENGINE_LOG_ERROR << "SearchTask encounter exception: " << ex.what();
S
starlord 已提交
255
            //            search_job->IndexSearchDone(index_id_);//mark as done avoid dead lock, even search failed
256 257
        }

Y
yudong.cai 已提交
258
        // step 4: notify to send result to client
W
wxyu 已提交
259
        search_job->SearchDone(index_id_);
260 261 262
    }

    rc.ElapseFromBegin("totally cost");
263 264 265

    // release index in resource
    index_engine_ = nullptr;
Z
Zhiru Zhu 已提交
266 267

    execute_ctx->GetTraceContext()->GetSpan()->Finish();
268 269
}

Y
yudong.cai 已提交
270
void
G
groot 已提交
271 272 273 274 275
XSearchTask::MergeTopkToResultSet(const scheduler::ResultIds& src_ids, const scheduler::ResultDistances& src_distances,
                                  size_t src_k, size_t nq, size_t topk, bool ascending, scheduler::ResultIds& tar_ids,
                                  scheduler::ResultDistances& tar_distances) {
    if (src_ids.empty()) {
        return;
Y
yudong.cai 已提交
276 277
    }

G
groot 已提交
278 279 280 281 282 283
    size_t tar_k = tar_ids.size() / nq;
    size_t buf_k = std::min(topk, src_k + tar_k);

    scheduler::ResultIds buf_ids(nq * buf_k, -1);
    scheduler::ResultDistances buf_distances(nq * buf_k, 0.0);

Y
yudong.cai 已提交
284
    for (uint64_t i = 0; i < nq; i++) {
G
groot 已提交
285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305
        size_t buf_k_j = 0, src_k_j = 0, tar_k_j = 0;
        size_t buf_idx, src_idx, tar_idx;

        size_t buf_k_multi_i = buf_k * i;
        size_t src_k_multi_i = topk * i;
        size_t tar_k_multi_i = tar_k * i;

        while (buf_k_j < buf_k && src_k_j < src_k && tar_k_j < tar_k) {
            src_idx = src_k_multi_i + src_k_j;
            tar_idx = tar_k_multi_i + tar_k_j;
            buf_idx = buf_k_multi_i + buf_k_j;

            if ((ascending && src_distances[src_idx] < tar_distances[tar_idx]) ||
                (!ascending && src_distances[src_idx] > tar_distances[tar_idx])) {
                buf_ids[buf_idx] = src_ids[src_idx];
                buf_distances[buf_idx] = src_distances[src_idx];
                src_k_j++;
            } else {
                buf_ids[buf_idx] = tar_ids[tar_idx];
                buf_distances[buf_idx] = tar_distances[tar_idx];
                tar_k_j++;
Y
youny626 已提交
306
            }
G
groot 已提交
307 308
            buf_k_j++;
        }
Y
youny626 已提交
309

G
groot 已提交
310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327
        if (buf_k_j < buf_k) {
            if (src_k_j < src_k) {
                while (buf_k_j < buf_k && src_k_j < src_k) {
                    buf_idx = buf_k_multi_i + buf_k_j;
                    src_idx = src_k_multi_i + src_k_j;
                    buf_ids[buf_idx] = src_ids[src_idx];
                    buf_distances[buf_idx] = src_distances[src_idx];
                    src_k_j++;
                    buf_k_j++;
                }
            } else {
                while (buf_k_j < buf_k && tar_k_j < tar_k) {
                    buf_idx = buf_k_multi_i + buf_k_j;
                    tar_idx = tar_k_multi_i + tar_k_j;
                    buf_ids[buf_idx] = tar_ids[tar_idx];
                    buf_distances[buf_idx] = tar_distances[tar_idx];
                    tar_k_j++;
                    buf_k_j++;
Y
yudong.cai 已提交
328
                }
329 330 331
            }
        }
    }
G
groot 已提交
332 333
    tar_ids.swap(buf_ids);
    tar_distances.swap(buf_distances);
Y
yudong.cai 已提交
334
}
335

S
starlord 已提交
336 337
// void
// XSearchTask::MergeTopkArray(std::vector<int64_t>& tar_ids, std::vector<float>& tar_distance, uint64_t& tar_input_k,
338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400
//                            const std::vector<int64_t>& src_ids, const std::vector<float>& src_distance,
//                            uint64_t src_input_k, uint64_t nq, uint64_t topk, bool ascending) {
//    if (src_ids.empty() || src_distance.empty()) {
//        return;
//    }
//
//    uint64_t output_k = std::min(topk, tar_input_k + src_input_k);
//    std::vector<int64_t> id_buf(nq * output_k, -1);
//    std::vector<float> dist_buf(nq * output_k, 0.0);
//
//    uint64_t buf_k, src_k, tar_k;
//    uint64_t src_idx, tar_idx, buf_idx;
//    uint64_t src_input_k_multi_i, tar_input_k_multi_i, buf_k_multi_i;
//
//    for (uint64_t i = 0; i < nq; i++) {
//        src_input_k_multi_i = src_input_k * i;
//        tar_input_k_multi_i = tar_input_k * i;
//        buf_k_multi_i = output_k * i;
//        buf_k = src_k = tar_k = 0;
//        while (buf_k < output_k && src_k < src_input_k && tar_k < tar_input_k) {
//            src_idx = src_input_k_multi_i + src_k;
//            tar_idx = tar_input_k_multi_i + tar_k;
//            buf_idx = buf_k_multi_i + buf_k;
//            if ((ascending && src_distance[src_idx] < tar_distance[tar_idx]) ||
//                (!ascending && src_distance[src_idx] > tar_distance[tar_idx])) {
//                id_buf[buf_idx] = src_ids[src_idx];
//                dist_buf[buf_idx] = src_distance[src_idx];
//                src_k++;
//            } else {
//                id_buf[buf_idx] = tar_ids[tar_idx];
//                dist_buf[buf_idx] = tar_distance[tar_idx];
//                tar_k++;
//            }
//            buf_k++;
//        }
//
//        if (buf_k < output_k) {
//            if (src_k < src_input_k) {
//                while (buf_k < output_k && src_k < src_input_k) {
//                    src_idx = src_input_k_multi_i + src_k;
//                    buf_idx = buf_k_multi_i + buf_k;
//                    id_buf[buf_idx] = src_ids[src_idx];
//                    dist_buf[buf_idx] = src_distance[src_idx];
//                    src_k++;
//                    buf_k++;
//                }
//            } else {
//                while (buf_k < output_k && tar_k < tar_input_k) {
//                    tar_idx = tar_input_k_multi_i + tar_k;
//                    buf_idx = buf_k_multi_i + buf_k;
//                    id_buf[buf_idx] = tar_ids[tar_idx];
//                    dist_buf[buf_idx] = tar_distance[tar_idx];
//                    tar_k++;
//                    buf_k++;
//                }
//            }
//        }
//    }
//
//    tar_ids.swap(id_buf);
//    tar_distance.swap(dist_buf);
//    tar_input_k = output_k;
//}
401

S
starlord 已提交
402 403
}  // namespace scheduler
}  // namespace milvus