blob: 52b6d1e05ec3d8e9ada838da729571cc9452d56d [file] [log] [blame]
Alex Deymoaea4c1c2015-08-19 20:24:43 -07001//
2// Copyright (C) 2015 The Android Open Source Project
3//
4// Licensed under the Apache License, Version 2.0 (the "License");
5// you may not use this file except in compliance with the License.
6// You may obtain a copy of the License at
7//
8// http://www.apache.org/licenses/LICENSE-2.0
9//
10// Unless required by applicable law or agreed to in writing, software
11// distributed under the License is distributed on an "AS IS" BASIS,
12// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13// See the License for the specific language governing permissions and
14// limitations under the License.
15//
Alex Deymo5c6c6552015-06-03 19:06:50 +020016
17#ifndef UPDATE_ENGINE_PAYLOAD_GENERATOR_EXTENT_UTILS_H_
18#define UPDATE_ENGINE_PAYLOAD_GENERATOR_EXTENT_UTILS_H_
19
Colin Cross26b82b12021-12-22 10:09:19 -080020#include <limits>
Sen Jiang55c4f9b2016-02-10 11:26:20 -080021#include <string>
Alex Deymo5c6c6552015-06-03 19:06:50 +020022#include <vector>
23
Kelvin Zhangb05e4e22020-09-25 16:16:19 -040024#include <base/logging.h>
25
Kelvin Zhange532af32024-01-10 15:29:02 -080026#include "update_engine/common/utils.h"
Alex Deymo39910dc2015-11-09 17:04:30 -080027#include "update_engine/payload_consumer/payload_constants.h"
Alex Deymo5c6c6552015-06-03 19:06:50 +020028#include "update_engine/update_metadata.pb.h"
29
30// Utility functions for manipulating Extents and lists of blocks.
31
32namespace chromeos_update_engine {
Kelvin Zhange532af32024-01-10 15:29:02 -080033struct ExtentLess {
34 constexpr bool operator()(const Extent& x, const Extent& y) const {
35 if (x.start_block() == y.start_block()) {
36 return x.num_blocks() < y.num_blocks();
37 }
38 return x.start_block() < y.start_block();
39 }
40};
Alex Deymo5c6c6552015-06-03 19:06:50 +020041
42// |block| must either be the next block in the last extent or a block
43// in the next extent. This function will not handle inserting block
44// into an arbitrary place in the extents.
45void AppendBlockToExtents(std::vector<Extent>* extents, uint64_t block);
46
Alex Deymo14158572015-06-13 03:37:08 -070047// Takes a collection (vector or RepeatedPtrField) of Extent and
48// returns a vector of the blocks referenced, in order.
Amin Hassani232f8f92019-01-14 16:15:31 -080049template <typename T>
Alex Deymo14158572015-06-13 03:37:08 -070050std::vector<uint64_t> ExpandExtents(const T& extents) {
51 std::vector<uint64_t> ret;
Amin Hassanid8b67f42017-12-06 13:47:52 -080052 for (const auto& extent : extents) {
Alex Deymo14158572015-06-13 03:37:08 -070053 if (extent.start_block() == kSparseHole) {
54 ret.resize(ret.size() + extent.num_blocks(), kSparseHole);
55 } else {
56 for (uint64_t block = extent.start_block();
Amin Hassani232f8f92019-01-14 16:15:31 -080057 block < (extent.start_block() + extent.num_blocks());
58 block++) {
Alex Deymo14158572015-06-13 03:37:08 -070059 ret.push_back(block);
60 }
61 }
62 }
63 return ret;
64}
65
66// Stores all Extents in 'extents' into 'out'.
67void StoreExtents(const std::vector<Extent>& extents,
68 google::protobuf::RepeatedPtrField<Extent>* out);
69
70// Stores all extents in |extents| into |out_vector|.
71void ExtentsToVector(const google::protobuf::RepeatedPtrField<Extent>& extents,
72 std::vector<Extent>* out_vector);
73
Sen Jiang55c4f9b2016-02-10 11:26:20 -080074// Returns a string representing all extents in |extents|.
75std::string ExtentsToString(const std::vector<Extent>& extents);
Kelvin Zhang40d96662021-02-24 14:21:29 -050076std::string ExtentsToString(
77 const google::protobuf::RepeatedPtrField<Extent>& extents);
Sen Jiang55c4f9b2016-02-10 11:26:20 -080078
Alex Deymo14158572015-06-13 03:37:08 -070079// Takes a pointer to extents |extents| and extents |extents_to_add|, and
80// merges them by adding |extents_to_add| to |extents| and normalizing.
81void ExtendExtents(
Amin Hassani232f8f92019-01-14 16:15:31 -080082 google::protobuf::RepeatedPtrField<Extent>* extents,
83 const google::protobuf::RepeatedPtrField<Extent>& extents_to_add);
Alex Deymo14158572015-06-13 03:37:08 -070084
Alex Deymo52490e72015-06-04 14:53:44 +020085// Takes a vector of extents and normalizes those extents. Expects the extents
86// to be sorted by start block. E.g. if |extents| is [(1, 2), (3, 5), (10, 2)]
87// then |extents| will be changed to [(1, 7), (10, 2)].
88void NormalizeExtents(std::vector<Extent>* extents);
89
90// Return a subsequence of the list of blocks passed. Both the passed list of
91// blocks |extents| and the return value are expressed as a list of Extent, not
92// blocks. The returned list skips the first |block_offset| blocks from the
93// |extents| and cotains |block_count| blocks (or less if |extents| is shorter).
94std::vector<Extent> ExtentsSublist(const std::vector<Extent>& extents,
Amin Hassani232f8f92019-01-14 16:15:31 -080095 uint64_t block_offset,
96 uint64_t block_count);
Alex Deymo52490e72015-06-04 14:53:44 +020097
Kelvin Zhang4bb49202021-07-08 21:39:05 -040098bool operator==(const Extent& a, const Extent& b) noexcept;
99
100bool operator!=(const Extent& a, const Extent& b) noexcept;
Alex Deymo5c6c6552015-06-03 19:06:50 +0200101
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400102// TODO(zhangkelvin) This is ugly. Rewrite using C++20's coroutine once
103// that's available. Unfortunately with C++17 this is the best I could do.
104
105// An iterator that takes a sequence of extents, and iterate over blocks
106// inside this sequence of extents.
107// Example usage:
108
109// BlockIterator it1{src_extents};
110// while(!it1.is_end()) {
111// auto block = *it1;
112// Do stuff with |block|
113// }
114struct BlockIterator {
115 explicit BlockIterator(
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700116 const google::protobuf::RepeatedPtrField<Extent>& extents)
117 : extents_(extents) {}
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400118
119 BlockIterator& operator++() {
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700120 CHECK_LT(cur_extent_, extents_.size());
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400121 block_offset_++;
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700122 if (block_offset_ >= extents_[cur_extent_].num_blocks()) {
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400123 cur_extent_++;
124 block_offset_ = 0;
125 }
126 return *this;
127 }
128
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700129 [[nodiscard]] bool is_end() { return cur_extent_ >= extents_.size(); }
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400130 [[nodiscard]] uint64_t operator*() {
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700131 return extents_[cur_extent_].start_block() + block_offset_;
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400132 }
133
Kelvin Zhangd11e2fc2022-10-24 15:40:30 -0700134 const google::protobuf::RepeatedPtrField<Extent>& extents_;
Kelvin Zhangb05e4e22020-09-25 16:16:19 -0400135 int cur_extent_ = 0;
136 size_t block_offset_ = 0;
137};
138
Kelvin Zhangeb8703b2020-12-10 14:17:21 -0500139std::ostream& operator<<(std::ostream& out, const Extent& extent);
Kelvin Zhang4bb49202021-07-08 21:39:05 -0400140std::ostream& operator<<(std::ostream& out, const std::vector<Extent>& extent);
Kelvin Zhange532af32024-01-10 15:29:02 -0800141std::ostream& operator<<(std::ostream& out, const std::set<Extent>& extents);
142
143std::ostream& operator<<(std::ostream& out,
144 const std::set<Extent, ExtentLess>& extents);
145std::ostream& operator<<(
146 std::ostream& out,
147 Range<std::set<Extent, ExtentLess>::const_iterator> range);
148
Kelvin Zhang4bb49202021-07-08 21:39:05 -0400149std::ostream& operator<<(
150 std::ostream& out,
151 const google::protobuf::RepeatedPtrField<Extent>& extent);
Kelvin Zhangeb8703b2020-12-10 14:17:21 -0500152
Kelvin Zhang02df21b2021-01-07 14:55:18 -0500153template <typename Container>
154size_t GetNthBlock(const Container& extents, const size_t n) {
155 size_t cur_block_count = 0;
156 for (const auto& extent : extents) {
Kelvin Zhangf7f7cc32021-07-15 16:14:00 -0400157 if (n - cur_block_count < extent.num_blocks()) {
Kelvin Zhang02df21b2021-01-07 14:55:18 -0500158 return extent.start_block() + (n - cur_block_count);
159 }
160 cur_block_count += extent.num_blocks();
161 }
162 return std::numeric_limits<size_t>::max();
163}
164
Kelvin Zhang52c4b792021-08-18 18:32:47 -0700165constexpr bool ExtentContains(const Extent& extent, size_t block) {
166 return extent.start_block() <= block &&
167 block < extent.start_block() + extent.num_blocks();
168}
169
Kelvin Zhangcb9932f2023-01-20 15:39:33 -0800170// return true iff |big| extent contains |small| extent
171constexpr bool ExtentContains(const Extent& big, const Extent& small) {
172 return big.start_block() <= small.start_block() &&
173 small.start_block() + small.num_blocks() <=
174 big.start_block() + big.num_blocks();
175}
176
Alex Deymo5c6c6552015-06-03 19:06:50 +0200177} // namespace chromeos_update_engine
178
179#endif // UPDATE_ENGINE_PAYLOAD_GENERATOR_EXTENT_UTILS_H_