SearchTask.cpp 14.5 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_) {
106 107 108
        if (file_->metric_type_ != static_cast<int>(MetricType::L2)) {
            metric_l2 = false;
        }
S
starlord 已提交
109 110
        index_engine_ = EngineFactory::Build(file_->dimension_, file_->location_, (EngineType)file_->engine_type_,
                                             (MetricType)file_->metric_type_, file_->nlist_);
W
wxyu 已提交
111
    }
W
wxyu 已提交
112 113
}

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

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

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

    if (!stat.ok()) {
148 149 150 151 152 153 154 155
        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);
        }
156

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

        return;
    }

W
wxyu 已提交
166
    size_t file_size = index_engine_->PhysicalSize();
167

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

    CollectFileMetrics(file_->file_type_, file_size);

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

    load_ctx->GetTraceContext()->GetSpan()->Finish();
184 185 186 187
}

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

190 191 192 193
    if (index_engine_ == nullptr) {
        return;
    }

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

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

Y
Yu Kun 已提交
199
    server::CollectDurationMetrics metrics(index_type_);
200

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

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

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

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

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

Y
yudong.cai 已提交
235
            // step 3: pick up topk result
Y
yudong.cai 已提交
236
            auto spec_k = index_engine_->Count() < topk ? index_engine_->Count() : topk;
G
groot 已提交
237 238 239 240 241
            {
                std::unique_lock<std::mutex> lock(search_job->mutex());
                XSearchTask::MergeTopkToResultSet(output_ids, output_distance, spec_k, nq, topk, metric_l2,
                                                  search_job->GetResultIds(), search_job->GetResultDistances());
            }
242

Y
yudong.cai 已提交
243
            span = rc.RecordSection(hdr + ", reduce topk");
S
starlord 已提交
244 245
            //            search_job->AccumReduceCost(span);
        } catch (std::exception& ex) {
246
            ENGINE_LOG_ERROR << "SearchTask encounter exception: " << ex.what();
S
starlord 已提交
247
            //            search_job->IndexSearchDone(index_id_);//mark as done avoid dead lock, even search failed
248 249
        }

Y
yudong.cai 已提交
250
        // step 4: notify to send result to client
W
wxyu 已提交
251
        search_job->SearchDone(index_id_);
252 253 254
    }

    rc.ElapseFromBegin("totally cost");
255 256 257

    // release index in resource
    index_engine_ = nullptr;
Z
Zhiru Zhu 已提交
258 259

    execute_ctx->GetTraceContext()->GetSpan()->Finish();
260 261
}

Y
yudong.cai 已提交
262
void
G
groot 已提交
263 264 265 266 267
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 已提交
268 269
    }

G
groot 已提交
270 271 272 273 274 275
    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 已提交
276
    for (uint64_t i = 0; i < nq; i++) {
G
groot 已提交
277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297
        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 已提交
298
            }
G
groot 已提交
299 300
            buf_k_j++;
        }
Y
youny626 已提交
301

G
groot 已提交
302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319
        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 已提交
320
                }
321 322 323
            }
        }
    }
G
groot 已提交
324 325
    tar_ids.swap(buf_ids);
    tar_distances.swap(buf_distances);
Y
yudong.cai 已提交
326
}
327

S
starlord 已提交
328 329
// void
// XSearchTask::MergeTopkArray(std::vector<int64_t>& tar_ids, std::vector<float>& tar_distance, uint64_t& tar_input_k,
330 331 332 333 334 335 336 337 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
//                            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;
//}
393

S
starlord 已提交
394 395
}  // namespace scheduler
}  // namespace milvus