Coverage Report

Created: 2026-03-15 22:14

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
be/src/exec/exchange/exchange_writer.cpp
Line
Count
Source
1
// Licensed to the Apache Software Foundation (ASF) under one
2
// or more contributor license agreements.  See the NOTICE file
3
// distributed with this work for additional information
4
// regarding copyright ownership.  The ASF licenses this file
5
// to you under the Apache License, Version 2.0 (the
6
// "License"); you may not use this file except in compliance
7
// with the License.  You may obtain a copy of the License at
8
//
9
//   http://www.apache.org/licenses/LICENSE-2.0
10
//
11
// Unless required by applicable law or agreed to in writing,
12
// software distributed under the License is distributed on an
13
// "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
14
// KIND, either express or implied.  See the License for the
15
// specific language governing permissions and limitations
16
// under the License.
17
18
#include "exec/exchange/exchange_writer.h"
19
20
#include <glog/logging.h>
21
22
#include <algorithm>
23
#include <cstdint>
24
#include <vector>
25
26
#include "common/logging.h"
27
#include "common/status.h"
28
#include "core/assert_cast.h"
29
#include "core/block/block.h"
30
#include "exec/operator/exchange_sink_operator.h"
31
#include "exec/sink/tablet_sink_hash_partitioner.h"
32
33
namespace doris {
34
#include "common/compile_check_begin.h"
35
36
ExchangeWriterBase::ExchangeWriterBase(ExchangeSinkLocalState& local_state)
37
13
        : _local_state(local_state), _partitioner(local_state.partitioner()) {}
38
39
template <typename ChannelPtrType>
40
Status ExchangeWriterBase::_handle_eof_channel(RuntimeState* state, ChannelPtrType channel,
41
0
                                               Status st) const {
42
0
    channel->set_receiver_eof(st);
43
    // Channel will not send RPC to the downstream when eof, so close channel by OK status.
44
0
    return channel->close(state);
45
0
}
46
47
// NOLINTBEGIN(readability-function-cognitive-complexity)
48
Status ExchangeWriterBase::_add_rows_impl(RuntimeState* state,
49
                                          std::vector<std::shared_ptr<Channel>>& channels,
50
6
                                          size_t channel_count, Block* block, bool eos) {
51
6
    Status status = Status::OK();
52
6
    uint32_t offset = 0;
53
23
    for (size_t i = 0; i < channel_count; ++i) {
54
17
        uint32_t size = _channel_rows_histogram[i];
55
17
        if (!channels[i]->is_receiver_eof() && size > 0) {
56
0
            VLOG_DEBUG << fmt::format("partition {} of {}, block:\n{}, start: {}, size: {}", i,
57
0
                                      channel_count, block->dump_data(), offset, size);
58
0
            status = channels[i]->add_rows(block, _origin_row_idx.data(), offset, size, false);
59
0
            HANDLE_CHANNEL_STATUS(state, channels[i], status);
60
0
        }
61
17
        offset += size;
62
17
    }
63
6
    if (eos) {
64
0
        for (int i = 0; i < channel_count; ++i) {
65
0
            if (!channels[i]->is_receiver_eof()) {
66
0
                VLOG_DEBUG << fmt::format("EOS partition {} of {}, block:\n{}", i, channel_count,
67
0
                                          block->dump_data());
68
0
                status = channels[i]->add_rows(block, _origin_row_idx.data(), 0, 0, true);
69
0
                HANDLE_CHANNEL_STATUS(state, channels[i], status);
70
0
            }
71
0
        }
72
0
    }
73
6
    return Status::OK();
74
6
}
75
// NOLINTEND(readability-function-cognitive-complexity)
76
77
0
Status ExchangeOlapWriter::write(RuntimeState* state, Block* block, bool eos) {
78
0
    Block prior_block;
79
0
    auto* tablet_partitioner = assert_cast<TabletSinkHashPartitioner*>(_partitioner);
80
0
    RETURN_IF_ERROR(tablet_partitioner->try_cut_in_line(prior_block));
81
0
    if (!prior_block.empty()) {
82
        // prior_block (batching rows) cuts in line, deal it first.
83
0
        RETURN_IF_ERROR(_write_impl(state, &prior_block));
84
0
        tablet_partitioner->finish_cut_in_line();
85
0
    }
86
87
0
    RETURN_IF_ERROR(_write_impl(state, block));
88
89
    // all data wrote. consider batched rows before eos.
90
0
    if (eos) {
91
        // get all batched rows
92
0
        tablet_partitioner->mark_last_block();
93
0
        Block final_batching_block;
94
0
        RETURN_IF_ERROR(tablet_partitioner->try_cut_in_line(final_batching_block));
95
0
        if (!final_batching_block.empty()) {
96
0
            RETURN_IF_ERROR(_write_impl(state, &final_batching_block, true));
97
0
        } else {
98
            // No batched rows, send empty block with eos signal.
99
0
            Block empty_block = block->clone_empty();
100
0
            RETURN_IF_ERROR(_write_impl(state, &empty_block, true));
101
0
        }
102
0
    }
103
0
    return Status::OK();
104
0
}
105
106
0
Status ExchangeOlapWriter::_write_impl(RuntimeState* state, Block* block, bool eos) {
107
0
    auto rows = block->rows();
108
0
    auto* tablet_partitioner = assert_cast<TabletSinkHashPartitioner*>(_partitioner);
109
0
    {
110
0
        SCOPED_TIMER(_local_state.split_block_hash_compute_timer());
111
0
        RETURN_IF_ERROR(tablet_partitioner->do_partitioning(state, block));
112
0
    }
113
0
    {
114
0
        SCOPED_TIMER(_local_state.distribute_rows_into_channels_timer());
115
0
        const auto& channel_ids = tablet_partitioner->get_channel_ids();
116
0
        const auto invalid_val = tablet_partitioner->invalid_sentinel();
117
0
        DCHECK_EQ(channel_ids.size(), rows);
118
119
        // decrease not sinked rows this time
120
0
        COUNTER_UPDATE(_local_state.rows_input_counter(),
121
0
                       -1LL * std::ranges::count(channel_ids, invalid_val));
122
123
0
        RETURN_IF_ERROR(_channel_add_rows(state, _local_state.channels,
124
0
                                          _local_state.channels.size(), channel_ids, rows, block,
125
0
                                          eos, invalid_val));
126
0
    }
127
0
    return Status::OK();
128
0
}
129
130
0
Status ExchangeTrivialWriter::write(RuntimeState* state, Block* block, bool eos) {
131
0
    auto rows = block->rows();
132
0
    {
133
0
        SCOPED_TIMER(_local_state.split_block_hash_compute_timer());
134
0
        RETURN_IF_ERROR(_partitioner->do_partitioning(state, block));
135
0
    }
136
0
    {
137
0
        SCOPED_TIMER(_local_state.distribute_rows_into_channels_timer());
138
0
        const auto& channel_ids = _partitioner->get_channel_ids();
139
140
0
        RETURN_IF_ERROR(_channel_add_rows(state, _local_state.channels,
141
0
                                          _local_state.channels.size(), channel_ids, rows, block,
142
0
                                          eos));
143
0
    }
144
145
0
    return Status::OK();
146
0
}
147
148
Status ExchangeOlapWriter::_channel_add_rows(RuntimeState* state,
149
                                             std::vector<std::shared_ptr<Channel>>& channels,
150
                                             size_t channel_count,
151
                                             const std::vector<HashValType>& channel_ids,
152
                                             size_t rows, Block* block, bool eos,
153
3
                                             HashValType invalid_val) {
154
3
    size_t effective_rows = 0;
155
3
    effective_rows =
156
8
            std::ranges::count_if(channel_ids, [=](int64_t cid) { return cid != invalid_val; });
157
158
    // row index will skip all skipped rows.
159
3
    _origin_row_idx.resize(effective_rows);
160
3
    _channel_rows_histogram.assign(channel_count, 0U);
161
3
    _channel_pos_offsets.resize(channel_count);
162
11
    for (size_t i = 0; i < rows; ++i) {
163
8
        if (channel_ids[i] == invalid_val) {
164
2
            continue;
165
2
        }
166
6
        auto cid = channel_ids[i];
167
6
        _channel_rows_histogram[cid]++;
168
6
    }
169
3
    _channel_pos_offsets[0] = 0;
170
8
    for (size_t i = 1; i < channel_count; ++i) {
171
5
        _channel_pos_offsets[i] = _channel_pos_offsets[i - 1] + _channel_rows_histogram[i - 1];
172
5
    }
173
11
    for (uint32_t i = 0; i < rows; ++i) {
174
8
        if (channel_ids[i] == invalid_val) {
175
2
            continue;
176
2
        }
177
6
        auto cid = channel_ids[i];
178
6
        auto pos = _channel_pos_offsets[cid]++;
179
6
        _origin_row_idx[pos] = i;
180
6
    }
181
182
3
    return _add_rows_impl(state, channels, channel_count, block, eos);
183
3
}
184
185
Status ExchangeTrivialWriter::_channel_add_rows(RuntimeState* state,
186
                                                std::vector<std::shared_ptr<Channel>>& channels,
187
                                                size_t channel_count,
188
                                                const std::vector<HashValType>& channel_ids,
189
3
                                                size_t rows, Block* block, bool eos) {
190
3
    _origin_row_idx.resize(rows);
191
3
    _channel_rows_histogram.assign(channel_count, 0U);
192
3
    _channel_pos_offsets.resize(channel_count);
193
12
    for (size_t i = 0; i < rows; ++i) {
194
9
        _channel_rows_histogram[channel_ids[i]]++;
195
9
    }
196
3
    _channel_pos_offsets[0] = 0;
197
9
    for (size_t i = 1; i < channel_count; ++i) {
198
6
        _channel_pos_offsets[i] = _channel_pos_offsets[i - 1] + _channel_rows_histogram[i - 1];
199
6
    }
200
12
    for (uint32_t i = 0; i < rows; i++) {
201
9
        auto cid = channel_ids[i];
202
9
        auto pos = _channel_pos_offsets[cid]++;
203
9
        _origin_row_idx[pos] = i;
204
9
    }
205
206
3
    return _add_rows_impl(state, channels, channel_count, block, eos);
207
3
}
208
209
} // namespace doris