schedule.cpp 13.1 KB
Newer Older
Paul's avatar
Paul committed
1
2
3
#include <migraphx/schedule.hpp>
#include <migraphx/program.hpp>
#include <migraphx/instruction.hpp>
Paul's avatar
Paul committed
4
#include <migraphx/operators.hpp>
Paul's avatar
Paul committed
5
#include <migraphx/iterator_for.hpp>
Paul's avatar
Paul committed
6
#include <migraphx/dfor.hpp>
Paul's avatar
Paul committed
7
8
9
#include <migraphx/functional.hpp>
#include <migraphx/ranges.hpp>
#include <unordered_map>
Paul's avatar
Paul committed
10
#include <unordered_set>
11
#include <set>
Paul's avatar
Paul committed
12
#include <deque>
Paul's avatar
Paul committed
13
14
15
16

namespace migraphx {
inline namespace MIGRAPHX_INLINE_NS {

Paul's avatar
Paul committed
17
18
19
20
21
22
23
24
25
26
auto get_inputs()
{
    return [](auto i) { return i->inputs(); };
}

auto get_outputs()
{
    return [](auto i) { return i->outputs(); };
}

27
28
29
struct stream_info
{
    std::unordered_map<instruction_ref, std::size_t> ins2stream;
Paul's avatar
Paul committed
30
    std::unordered_map<instruction_ref, std::size_t> weights;
31
    std::unordered_map<instruction_ref, std::size_t> iweights;
Paul's avatar
Paul committed
32
33
34
35

    void accumulate_weights(instruction_ref last, const schedule_model& model)
    {
        fix<std::size_t>([&](auto self, auto ins) -> std::size_t {
Paul's avatar
Paul committed
36
            if(not contains(weights, ins))
Paul's avatar
Paul committed
37
            {
Paul's avatar
Paul committed
38
                std::size_t weight = 0;
Paul's avatar
Paul committed
39
                auto&& op          = ins->get_operator();
Paul's avatar
Paul committed
40
41
                if(not is_context_free(op) and op.name()[0] != '@')
                    weight = model.weight(op);
42
                iweights[ins] = weight;
Paul's avatar
Paul committed
43
44
45
                weights[ins] =
                    std::accumulate(ins->inputs().begin(),
                                    ins->inputs().end(),
Paul's avatar
Paul committed
46
                                    weight,
Paul's avatar
Paul committed
47
48
49
50
51
52
                                    [&](std::size_t w, instruction_ref i) { return w + self(i); });
            }
            return weights[ins];
        })(last);
    }

Paul's avatar
Paul committed
53
    struct partition
Paul's avatar
Paul committed
54
    {
Paul's avatar
Paul committed
55
56
57
58
        std::size_t weight = 0;
        std::vector<instruction_ref> instructions{};

        void add(instruction_ref ins, std::size_t w)
Paul's avatar
Paul committed
59
        {
Paul's avatar
Paul committed
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
            weight += w;
            instructions.push_back(ins);
        }
    };

    void assign_streams(program& p, std::size_t n)
    {
        const std::size_t min_partition_threshold = 2;
        partition critical;
        std::unordered_map<instruction_ref, std::deque<partition>> partitions;
        fix([&](auto self, auto ins, auto& part) {
            // If weight is zero then stop
            if(this->weights[ins] == 0)
                return;
            part.add(ins, this->iweights[ins]);

Paul's avatar
Paul committed
76
77
78
            auto max_it = std::max_element(ins->inputs().begin(),
                                           ins->inputs().end(),
                                           by(std::less<>{}, index_of(this->weights)));
Paul's avatar
Paul committed
79
80
81
            for(auto i : ins->inputs())
            {
                const auto weight = this->weights[i];
Paul's avatar
Paul committed
82
                if(i == *max_it or weight <= min_partition_threshold)
Paul's avatar
Paul committed
83
                {
Paul's avatar
Paul committed
84
                    self(i, part);
Paul's avatar
Paul committed
85
                }
Paul's avatar
Paul committed
86
87
88
89
90
91
92
93
94
95
                else
                {
                    partitions[ins].emplace_back();
                    self(i, partitions[ins].back());
                }
            }
        })(std::prev(p.end()), critical);

        // Set the critical partition to stream 0
        set_stream(critical, 0);
Paul's avatar
Paul committed
96
        std::vector<std::size_t> streams(n - 1);
Paul's avatar
Paul committed
97
        // Assign streams for the other partitions
Paul's avatar
Paul committed
98
        for(auto&& ins_part : partitions)
Paul's avatar
Paul committed
99
        {
Paul's avatar
Paul committed
100
101
102
103
104
            std::sort(
                ins_part.second.begin(), ins_part.second.end(), by(std::greater<>{}, [](auto&& x) {
                    return std::make_tuple(x.weight, x.instructions.size());
                }));
            for(auto&& part : ins_part.second)
Paul's avatar
Paul committed
105
106
            {
                auto stream = std::min_element(streams.begin(), streams.end()) - streams.begin();
Paul's avatar
Paul committed
107
                set_stream(part, stream + 1);
Paul's avatar
Paul committed
108
109
                streams[stream] += part.weight;
            }
Paul's avatar
Paul committed
110
111
        }
    }
112

Paul's avatar
Paul committed
113
114
    void set_stream(const partition& p, std::size_t n)
    {
Paul's avatar
Paul committed
115
116
        for(auto ins : p.instructions)
            if(iweights[ins] > 0)
Paul's avatar
Paul committed
117
118
119
                set_stream(ins, n);
    }

Paul's avatar
Paul committed
120
    void set_stream(instruction_ref ins, std::size_t n)
121
    {
Paul's avatar
Paul committed
122
123
        assert(iweights[ins] > 0);
        ins2stream[ins] = n;
124
    }
125

Paul's avatar
Paul committed
126
    std::size_t get_stream(instruction_ref ins) const { return ins2stream.at(ins); }
127

Paul's avatar
Paul committed
128
    bool has_stream(instruction_ref ins) const { return contains(ins2stream, ins); }
129

Paul's avatar
Paul committed
130
    bool different(const std::vector<std::size_t>& v) const
131
    {
Paul's avatar
Paul committed
132
        if(v.size() < 2)
133
            return false;
Paul's avatar
Paul committed
134
        return not std::all_of(v.begin(), v.end(), [&](std::size_t x) { return x == v.front(); });
135
136
    }

Paul's avatar
Paul committed
137
    template <class F>
Paul's avatar
Paul committed
138
    bool different(F f, std::size_t stream) const
Paul's avatar
Paul committed
139
    {
Paul's avatar
Paul committed
140
        bool result = false;
Paul's avatar
Paul committed
141
        f([&](auto s) {
Paul's avatar
Paul committed
142
            if(s != stream)
Paul's avatar
Paul committed
143
            {
Paul's avatar
Paul committed
144
145
                result = true;
                return false;
Paul's avatar
Paul committed
146
            }
Paul's avatar
Paul committed
147
            // cppcheck-suppress uselessAssignmentArg
Paul's avatar
Paul committed
148
149
150
            stream = s;
            return true;
        });
Paul's avatar
Paul committed
151
152
        return result;
    }
153

Paul's avatar
Paul committed
154
155
156
157
158
159
160
161
162
163
164
    template <class F>
    bool different(F f) const
    {
        bool result = false;
        f([&](auto s) {
            result = different(f, s);
            return false;
        });
        return result;
    }

Paul's avatar
Paul committed
165
    template <class Selector>
Paul's avatar
Paul committed
166
    auto get_streams_from(instruction_ref start, Selector select) const
Paul's avatar
Paul committed
167
168
169
170
171
    {
        return [=](auto f) {
            return fix<bool>([&](auto self, auto ins) {
                for(auto i : select(ins))
                {
172
                    if(iweights.at(i) == 0)
Paul's avatar
Paul committed
173
                    {
Paul's avatar
Paul committed
174
                        if(not self(i))
Paul's avatar
Paul committed
175
176
177
178
                            return false;
                    }
                    else
                    {
Paul's avatar
Paul committed
179
                        if(not f(get_stream(i)))
Paul's avatar
Paul committed
180
181
182
183
184
185
186
187
                            return false;
                    }
                }
                return true;
            })(start);
        };
    }

Paul's avatar
Paul committed
188
    std::unordered_set<std::size_t> get_streams(instruction_ref ins) const
Paul's avatar
Paul committed
189
    {
Paul's avatar
Paul committed
190
        if(has_stream(ins))
Paul's avatar
Paul committed
191
192
193
194
195
196
197
198
199
            return {get_stream(ins)};
        std::unordered_set<std::size_t> result;
        get_streams_from(ins, get_inputs())([&](auto s) {
            result.insert(s);
            return true;
        });
        return result;
    }

Paul's avatar
Paul committed
200
201
202
    template <class... Ts>
    bool is_merge_point(instruction_ref ins, Ts... xs) const
    {
Paul's avatar
Paul committed
203
        return different(get_streams_from(ins, get_inputs()), xs...);
Paul's avatar
Paul committed
204
    }
Paul's avatar
Paul committed
205

Paul's avatar
Paul committed
206
207
208
    template <class... Ts>
    bool is_split_point(instruction_ref ins, Ts... xs) const
    {
Paul's avatar
Paul committed
209
        return different(get_streams_from(ins, get_outputs()), xs...);
Paul's avatar
Paul committed
210
    }
211

Paul's avatar
Paul committed
212
213
214
215
216
217
218
219
220
221
222
223
224
    std::vector<instruction_ref> get_recorded_instructions(instruction_ref start)
    {
        std::vector<instruction_ref> result;
        std::unordered_map<std::size_t, instruction_ref> m;
        fix([&](auto self, auto ins) {
            for(auto i : ins->inputs())
            {
                if(iweights.at(i) == 0)
                {
                    self(i);
                    continue;
                }
                auto stream = get_stream(i);
Paul's avatar
Paul committed
225
                if(not contains(m, stream))
Paul's avatar
Paul committed
226
227
                    m[stream] = i;
                else
Paul's avatar
Paul committed
228
229
230
                    m[stream] = std::min(m[stream], i, by(std::less<>{}, [&](auto x) {
                                             return std::distance(x, start);
                                         }));
Paul's avatar
Paul committed
231
232
            }
        })(start);
Paul's avatar
Paul committed
233
234
        std::transform(
            m.begin(), m.end(), std::back_inserter(result), [](auto&& p) { return p.second; });
Paul's avatar
Paul committed
235
236
237
        return result;
    }

238
239
    std::vector<std::size_t> wait_for(instruction_ref ins) const
    {
Paul's avatar
Paul committed
240
        std::vector<std::size_t> result;
Paul's avatar
Paul committed
241
        get_streams_from(ins, get_inputs())([&](auto s) {
Paul's avatar
Paul committed
242
243
244
245
            result.push_back(s);
            return true;
        });
        // Remove duplicates
Paul's avatar
Paul committed
246
247
        std::sort(result.begin(), result.end());
        result.erase(std::unique(result.begin(), result.end()), result.end());
Paul's avatar
Paul committed
248
        // Remove the merged stream
Paul's avatar
Paul committed
249
        auto it = std::find(result.begin(), result.end(), get_stream(ins));
Paul's avatar
Paul committed
250
        if(it != result.end())
Paul's avatar
Paul committed
251
            result.erase(it);
Paul's avatar
Paul committed
252
        return result;
253
    }
Paul's avatar
Paul committed
254

Paul's avatar
Paul committed
255
256
    std::unordered_map<instruction_ref, std::vector<std::vector<instruction_ref>>>
    find_concurrent_instructions(program& p)
Paul's avatar
Paul committed
257
    {
Paul's avatar
Paul committed
258
        std::unordered_map<instruction_ref, std::vector<std::vector<instruction_ref>>> result;
Paul's avatar
Paul committed
259
260
        std::unordered_map<instruction_ref, std::unordered_set<instruction_ref>> merge_from;
        for(auto ins : reverse_iterator_for(p))
Paul's avatar
Paul committed
261
        {
Paul's avatar
Paul committed
262
            for(auto&& arg : ins->outputs())
Paul's avatar
Paul committed
263
            {
Paul's avatar
Paul committed
264
265
266
                if(is_merge_point(arg))
                    merge_from[ins].insert(arg);
                merge_from[ins].insert(merge_from[arg].begin(), merge_from[arg].end());
Paul's avatar
Paul committed
267
268
            }

Paul's avatar
Paul committed
269
270
271
272
            auto streams = get_streams(ins);

            // Collect concur instructions for each merge point.
            for(auto& merge : merge_from[ins])
Paul's avatar
Paul committed
273
            {
Paul's avatar
Paul committed
274
                for(auto stream : streams)
Paul's avatar
Paul committed
275
276
277
                {
                    if(result[merge].size() <= stream)
                        result[merge].resize(stream + 1);
Paul's avatar
Paul committed
278
279
                    auto&& r = result[merge][stream];
                    r.push_back(ins);
Paul's avatar
Paul committed
280
281
282
283
284
285
286
287
288
289
                    // Copy inputs if they dont have a stream(and are not a builtin and context
                    // free) Inputs without a stream can have a implicit dependency
                    std::copy_if(ins->inputs().begin(),
                                 ins->inputs().end(),
                                 std::back_inserter(r),
                                 [&](auto x) {
                                     return not this->has_stream(x) and
                                            not is_context_free(x->get_operator()) and
                                            x->name().front() != '@';
                                 });
Paul's avatar
Paul committed
290
                }
Paul's avatar
Paul committed
291
292
            }
        }
Paul's avatar
Paul committed
293
        return result;
Paul's avatar
Paul committed
294
    }
295
296
};

Paul's avatar
Paul committed
297
298
void schedule::apply(program& p) const
{
299
    stream_info si;
Paul's avatar
Paul committed
300
301
302
    auto last = std::prev(p.end());
    si.accumulate_weights(last, model);
    si.assign_streams(p, model.concurrency());
303

Paul's avatar
Paul committed
304
305
    // Topo sort
    fix([&](auto self, auto ins) {
Paul's avatar
Paul committed
306
        auto args = ins->inputs();
Paul's avatar
Paul committed
307
        std::sort(args.begin(), args.end(), by(std::less<>{}, [&](auto x) {
Paul's avatar
Paul committed
308
309
                      return std::make_tuple(si.weights[x], x->inputs().size());
                  }));
Paul's avatar
Paul committed
310
        for(auto i : args)
311
        {
Paul's avatar
Paul committed
312
313
            p.move_instruction(i, p.begin());
            self(i);
314
        }
Paul's avatar
Paul committed
315
    })(last);
Paul's avatar
Paul committed
316

Paul's avatar
Paul committed
317
318
319
320
321
    if(enabled(MIGRAPHX_TRACE_COMPILE{}))
    {
        p.annotate(std::cout, [&](auto ins) {
            std::cout << ":";
            std::cout << " weight=" << si.weights.at(ins);
Paul's avatar
Paul committed
322
            std::cout << " input={";
Paul's avatar
Paul committed
323
            si.get_streams_from(ins, get_inputs())([&](auto s) {
Paul's avatar
Paul committed
324
325
326
327
                std::cout << s << ",";
                return true;
            });
            std::cout << "}";
Paul's avatar
Paul committed
328
            if(si.has_stream(ins))
Paul's avatar
Paul committed
329
330
331
332
333
                std::cout << " stream=" << si.get_stream(ins);
        });
        std::cout << std::endl;
    }

334
    // Schedule instructions
Paul's avatar
Paul committed
335
336
    std::unordered_map<instruction_ref, std::size_t> ins2wait;
    std::size_t wait_id = 0;
Paul's avatar
Paul committed
337
338
    std::unordered_map<std::size_t, std::unordered_set<std::size_t>> waited_for;
    std::unordered_map<instruction_ref, std::unordered_set<std::size_t>> ins2waited;
Paul's avatar
Paul committed
339
    for(auto ins : iterator_for(p))
340
    {
Paul's avatar
Paul committed
341
        // Only schedule instructions that have a stream
Paul's avatar
Paul committed
342
        if(not si.has_stream(ins))
Paul's avatar
Paul committed
343
            continue;
344
        assert(si.weights[ins] > 0);
Paul's avatar
Paul committed
345
        // Schedule instruction on the stream
Paul's avatar
Paul committed
346
        auto stream = si.get_stream(ins);
Paul's avatar
Paul committed
347
        assert(stream < model.concurrency());
Paul's avatar
Paul committed
348
349
        model.sched(p, ins, stream);
        // Insert wait instructions
Paul's avatar
Paul committed
350
        if(si.is_merge_point(ins, stream))
Paul's avatar
Paul committed
351
        {
Paul's avatar
Paul committed
352
            for(auto i : si.get_recorded_instructions(ins))
Paul's avatar
Paul committed
353
            {
Paul's avatar
Paul committed
354
                if(not si.has_stream(i))
Paul's avatar
Paul committed
355
                    continue;
Paul's avatar
Paul committed
356
357
                auto istream = si.get_stream(i);
                if(stream == istream)
Paul's avatar
Paul committed
358
359
                    continue;
                // Create a new event if it hasn't been recorded
Paul's avatar
Paul committed
360
                if(not contains(ins2wait, i))
Paul's avatar
Paul committed
361
362
363
364
365
                {
                    ins2wait[i] = wait_id;
                    model.record(p, i, wait_id);
                    wait_id++;
                }
Paul's avatar
Paul committed
366
367
368
                auto w = ins2wait.at(i);
                // If we already waited for the event on this stream then dont
                // insert another wait event
Paul's avatar
Paul committed
369
                if(not contains(waited_for[stream], w))
Paul's avatar
Paul committed
370
371
372
373
374
                    model.wait(p, ins, w);
                // Store the event as waited
                waited_for[stream].insert(w);
                // Store all wait events that have been waited on prior to the recorded instruction
                waited_for[stream].insert(ins2waited[i].begin(), ins2waited[i].end());
Paul's avatar
Paul committed
375
            }
Paul's avatar
Paul committed
376
        }
Paul's avatar
Paul committed
377
378
379
380
381
        // Store wait events that have already been waited on
        if(si.is_split_point(ins, stream))
        {
            ins2waited[ins] = waited_for[stream];
        }
382
    }
Paul's avatar
Paul committed
383

Paul's avatar
Paul committed
384
385
    // Add memory conflicts
    auto concur_ins = si.find_concurrent_instructions(p);
Paul's avatar
Paul committed
386
    for(auto&& merge : concur_ins)
Paul's avatar
Paul committed
387
    {
Paul's avatar
Paul committed
388
        dfor(merge.second.size(), merge.second.size())([&](auto i, auto j) {
Paul's avatar
Paul committed
389
            if(i == j)
Paul's avatar
Paul committed
390
                return;
Paul's avatar
Paul committed
391
            for(auto ins1 : merge.second[i])
Paul's avatar
Paul committed
392
            {
Paul's avatar
Paul committed
393
                auto args = merge.second[j];
Paul's avatar
Paul committed
394
                args.insert(args.begin(), ins1);
Paul's avatar
Paul committed
395
                p.insert_instruction(merge.first, op::identity{}, args);
Paul's avatar
Paul committed
396
397
398
            }
        });
    }
Paul's avatar
Paul committed
399
400
401
402
}

} // namespace MIGRAPHX_INLINE_NS
} // namespace migraphx