tvm
Loading...
Searching...
No Matches
search_strategy.h
Go to the documentation of this file.
1/*
2 * Licensed to the Apache Software Foundation (ASF) under one
3 * or more contributor license agreements. See the NOTICE file
4 * distributed with this work for additional information
5 * regarding copyright ownership. The ASF licenses this file
6 * to you under the Apache License, Version 2.0 (the
7 * "License"); you may not use this file except in compliance
8 * with the License. You may obtain a copy of the License at
9 *
10 * http://www.apache.org/licenses/LICENSE-2.0
11 *
12 * Unless required by applicable law or agreed to in writing,
13 * software distributed under the License is distributed on an
14 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
15 * KIND, either express or implied. See the License for the
16 * specific language governing permissions and limitations
17 * under the License.
18 */
19#ifndef TVM_S_TIR_META_SCHEDULE_SEARCH_STRATEGY_H_
20#define TVM_S_TIR_META_SCHEDULE_SEARCH_STRATEGY_H_
21
22#include <tvm/ffi/container/array.h>
23#include <tvm/ffi/function.h>
24#include <tvm/ffi/optional.h>
25#include <tvm/ffi/reflection/registry.h>
26#include <tvm/ir/prim/expr.h>
27#include <tvm/runtime/base.h>
34
35namespace tvm {
36namespace s_tir {
37using namespace tvm::prim;
38namespace meta_schedule {
39
40// Forward declaration
41class TuneContext;
42class SearchStrategy;
43
80class SearchStrategyNode : public ffi::Object {
81 public:
83 virtual ~SearchStrategyNode() = default;
84
91
104 const ffi::Array<s_tir::Schedule>& design_spaces,
105 const ffi::Optional<Database>& database,
106 const ffi::Optional<CostModel>& cost_model) = 0;
107
113 virtual void PostTuning() = 0;
114
119 virtual ffi::Optional<ffi::Array<MeasureCandidate>> GenerateMeasureCandidates() = 0;
120
126 virtual void NotifyRunnerResults(const ffi::Array<MeasureCandidate>& measure_candidates,
127 const ffi::Array<RunnerResult>& results) = 0;
128
133 virtual SearchStrategy Clone() const = 0;
134
135 static constexpr const bool _type_mutable = true;
136 TVM_FFI_DECLARE_OBJECT_INFO("s_tir.meta_schedule.SearchStrategy", SearchStrategyNode,
137 ffi::Object);
138};
139
144class SearchStrategy : public ffi::ObjectRef {
145 public:
150 using FInitializeWithTuneContext = ffi::TypedFunction<void(const TuneContext&)>;
154 using FPreTuning = ffi::TypedFunction<void(
155 int max_trials, int num_trials_per_iter, const ffi::Array<s_tir::Schedule>&,
156 const ffi::Optional<Database>&, const ffi::Optional<CostModel>&)>;
158 using FPostTuning = ffi::TypedFunction<void()>;
164 ffi::TypedFunction<ffi::Optional<ffi::Array<MeasureCandidate>>()>;
169 using FNotifyRunnerResults = ffi::TypedFunction<void(const ffi::Array<MeasureCandidate>&,
170 const ffi::Array<RunnerResult>&)>;
175 using FClone = ffi::TypedFunction<SearchStrategy()>;
187 FInitializeWithTuneContext f_initialize_with_tune_context, //
188 FPreTuning f_pre_tuning, //
189 FPostTuning f_post_tuning, //
190 FGenerateMeasureCandidates f_generate_measure_candidates, //
191 FNotifyRunnerResults f_notify_runner_results, //
192 FClone f_clone);
193
199
202
215 double init_measured_ratio, //
216 int init_min_unmeasured, //
217 int max_fail_count, //
218 int genetic_num_iters, //
219 double genetic_mutate_prob, //
221 double eps_greedy);
222
224};
225
228 public:
235
248
249 static void RegisterReflection() {
250 // `f_initialize_with_tune_context` is not registered
251 // `f_pre_tuning` is not registered
252 // `f_post_tuning` is not registered
253 // `f_generate_measure_candidates` is not registered
254 // `f_notify_runner_results` is not registered
255 // `f_clone` is not registered
256 namespace refl = tvm::ffi::reflection;
257 refl::ObjectDef<PySearchStrategyNode>();
258 }
259
262 const ffi::Array<s_tir::Schedule>& design_spaces,
263 const ffi::Optional<Database>& database,
264 const ffi::Optional<CostModel>& cost_model) final;
267 void NotifyRunnerResults(const ffi::Array<MeasureCandidate>& measure_candidates,
268 const ffi::Array<RunnerResult>& results);
270 TVM_FFI_DECLARE_OBJECT_INFO_FINAL("s_tir.meta_schedule.PySearchStrategy", PySearchStrategyNode,
272};
273
274} // namespace meta_schedule
275} // namespace s_tir
276} // namespace tvm
277
278#endif // TVM_S_TIR_META_SCHEDULE_SEARCH_STRATEGY_H_
RAII wrapper function to enter and exit a context object similar to python's with syntax.
Definition with_context.h:59
Managed reference to MeasureCandidateNode.
Definition measure_candidate.h:57
The python side customizable class for measure candidate generation.
Definition search_strategy.h:227
SearchStrategy::FGenerateMeasureCandidates FGenerateMeasureCandidates
Definition search_strategy.h:232
SearchStrategy::FInitializeWithTuneContext FInitializeWithTuneContext
Definition search_strategy.h:229
void PreTuning(int max_trials, int num_trials_per_iter, const ffi::Array< s_tir::Schedule > &design_spaces, const ffi::Optional< Database > &database, const ffi::Optional< CostModel > &cost_model) final
Pre-tuning for the search strategy.
static void RegisterReflection()
Definition search_strategy.h:249
SearchStrategy::FPostTuning FPostTuning
Definition search_strategy.h:231
void NotifyRunnerResults(const ffi::Array< MeasureCandidate > &measure_candidates, const ffi::Array< RunnerResult > &results)
Update the search strategy with measurement results.
FGenerateMeasureCandidates f_generate_measure_candidates
The packed function to the GenerateMeasureCandidates method.
Definition search_strategy.h:243
void InitializeWithTuneContext(const TuneContext &context) final
Initialize the search strategy with tuning context.
SearchStrategy Clone() const final
Clone the search strategy.
FInitializeWithTuneContext f_initialize_with_tune_context
The packed function to the InitializeWithTuneContext method.
Definition search_strategy.h:237
SearchStrategy::FClone FClone
Definition search_strategy.h:234
FNotifyRunnerResults f_notify_runner_results
The packed function to the NotifyRunnerResults method.
Definition search_strategy.h:245
void PostTuning() final
Post-tuning for the search strategy.
ffi::Optional< ffi::Array< MeasureCandidate > > GenerateMeasureCandidates() final
Generate measure candidates from design spaces for measurement.
FPostTuning f_post_tuning
The packed function to the PostTuning method.
Definition search_strategy.h:241
TVM_FFI_DECLARE_OBJECT_INFO_FINAL("s_tir.meta_schedule.PySearchStrategy", PySearchStrategyNode, SearchStrategyNode)
FPreTuning f_pre_tuning
The packed function to the PreTuning method.
Definition search_strategy.h:239
FClone f_clone
The packed function to the Clone method.
Definition search_strategy.h:247
SearchStrategy::FNotifyRunnerResults FNotifyRunnerResults
Definition search_strategy.h:233
SearchStrategy::FPreTuning FPreTuning
Definition search_strategy.h:230
Managed reference to RunnerResultNode.
Definition runner.h:96
The search strategy for measure candidates generation.
Definition search_strategy.h:80
virtual ~SearchStrategyNode()=default
Virtual destructor.
static constexpr const bool _type_mutable
Definition search_strategy.h:135
virtual void NotifyRunnerResults(const ffi::Array< MeasureCandidate > &measure_candidates, const ffi::Array< RunnerResult > &results)=0
Update the search strategy with measurement results.
virtual ffi::Optional< ffi::Array< MeasureCandidate > > GenerateMeasureCandidates()=0
Generate measure candidates from design spaces for measurement.
virtual void PreTuning(int max_trials, int num_trials_per_iter, const ffi::Array< s_tir::Schedule > &design_spaces, const ffi::Optional< Database > &database, const ffi::Optional< CostModel > &cost_model)=0
Pre-tuning for the search strategy.
virtual SearchStrategy Clone() const =0
Clone the search strategy.
TVM_FFI_DECLARE_OBJECT_INFO("s_tir.meta_schedule.SearchStrategy", SearchStrategyNode, ffi::Object)
virtual void PostTuning()=0
Post-tuning for the search strategy.
virtual void InitializeWithTuneContext(const TuneContext &context)=0
Initialize the search strategy with tuning context.
Managed reference to SearchStrategyNode.
Definition search_strategy.h:144
ffi::TypedFunction< ffi::Optional< ffi::Array< MeasureCandidate > >()> FGenerateMeasureCandidates
The function type of GenerateMeasureCandidates method.
Definition search_strategy.h:164
static SearchStrategy PySearchStrategy(FInitializeWithTuneContext f_initialize_with_tune_context, FPreTuning f_pre_tuning, FPostTuning f_post_tuning, FGenerateMeasureCandidates f_generate_measure_candidates, FNotifyRunnerResults f_notify_runner_results, FClone f_clone)
Create a search strategy with customized methods on the python-side.
ffi::TypedFunction< void()> FPostTuning
The function type of PostTuning method.
Definition search_strategy.h:158
ffi::TypedFunction< void(int max_trials, int num_trials_per_iter, const ffi::Array< s_tir::Schedule > &, const ffi::Optional< Database > &, const ffi::Optional< CostModel > &)> FPreTuning
The function type of PreTuning method.
Definition search_strategy.h:156
TVM_FFI_DEFINE_OBJECT_REF_METHODS_NULLABLE(SearchStrategy, ffi::ObjectRef, SearchStrategyNode)
ffi::TypedFunction< void(const ffi::Array< MeasureCandidate > &, const ffi::Array< RunnerResult > &)> FNotifyRunnerResults
The function type of NotifyRunnerResults method.
Definition search_strategy.h:170
ffi::TypedFunction< SearchStrategy()> FClone
The function type of Clone method.
Definition search_strategy.h:175
ffi::TypedFunction< void(const TuneContext &)> FInitializeWithTuneContext
The function type of InitializeWithTuneContext method.
Definition search_strategy.h:150
static SearchStrategy ReplayFunc()
Constructor of replay func search strategy.
static SearchStrategy EvolutionarySearch(int population_size, double init_measured_ratio, int init_min_unmeasured, int max_fail_count, int genetic_num_iters, double genetic_mutate_prob, int genetic_max_fail_count, double eps_greedy)
Constructor of evolutionary search strategy.
static SearchStrategy ReplayTrace(int max_fail_count)
Constructor of replay trace search strategy.
Managed reference to TuneContextNode.
Definition tune_context.h:101
TIR expressions.
Definition builtin.h:25
An object that builds and maintains block scope and StmtSref mapping for Dependence analysis.
Definition analyzer.h:40