Kelvin Zhang | d567c8b | 2021-07-08 14:10:23 -0400 | [diff] [blame] | 1 | // |
| 2 | // Copyright (C) 2021 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 | // |
| 16 | |
| 17 | #ifndef UPDATE_ENGINE_PAYLOAD_CONSUMER_EXTENT_MAP_H_ |
| 18 | #define UPDATE_ENGINE_PAYLOAD_CONSUMER_EXTENT_MAP_H_ |
| 19 | |
| 20 | #include <functional> |
| 21 | #include <map> |
| 22 | #include <utility> |
| 23 | |
| 24 | #include "update_engine/common/utils.h" |
Kelvin Zhang | 9351f5d | 2021-08-17 19:29:49 -0700 | [diff] [blame^] | 25 | #include "update_engine/payload_generator/extent_utils.h" |
Kelvin Zhang | d567c8b | 2021-07-08 14:10:23 -0400 | [diff] [blame] | 26 | #include "update_engine/payload_generator/extent_ranges.h" |
| 27 | #include "update_engine/update_metadata.pb.h" |
| 28 | |
| 29 | namespace chromeos_update_engine { |
| 30 | |
| 31 | // Data structure for storing a disjoint set of extents. |
| 32 | // Currently the only usecase is for VABCPartitionWriter to keep track of which |
| 33 | // block belongs to which merge operation. Therefore this class only contains |
| 34 | // the minimal set of functions needed. |
| 35 | template <typename T, typename Comparator = ExtentLess> |
| 36 | class ExtentMap { |
| 37 | public: |
| 38 | bool AddExtent(const Extent& extent, T&& value) { |
Kelvin Zhang | 9351f5d | 2021-08-17 19:29:49 -0700 | [diff] [blame^] | 39 | if (set_.OverlapsWithExtent(extent)) { |
Kelvin Zhang | d567c8b | 2021-07-08 14:10:23 -0400 | [diff] [blame] | 40 | return false; |
| 41 | } |
| 42 | const auto& [it, inserted] = map_.insert({extent, std::forward<T>(value)}); |
| 43 | if (inserted) { |
| 44 | set_.AddExtent(extent); |
| 45 | } |
| 46 | return inserted; |
| 47 | } |
| 48 | |
| 49 | size_t size() const { return map_.size(); } |
| 50 | |
| 51 | // Return a pointer to entry which is intersecting |extent|. If T is already |
| 52 | // a pointer type, return T on success. This function always return |
| 53 | // |nullptr| on failure. Therefore you cannot store nullptr as an entry. |
| 54 | std::optional<T> Get(const Extent& extent) const { |
| 55 | const auto it = map_.find(extent); |
| 56 | if (it == map_.end()) { |
| 57 | LOG_IF(WARNING, set_.OverlapsWithExtent(extent)) |
| 58 | << "Looking up a partially intersecting extent isn't supported by " |
| 59 | "this data structure."; |
| 60 | return {}; |
| 61 | } |
| 62 | return {it->second}; |
| 63 | } |
| 64 | |
| 65 | // Return a set of extents that are contained in this extent map. |
| 66 | // If |extent| is completely covered by this extent map, a vector of itself |
| 67 | // will be returned. |
| 68 | // If only a subset of |extent| is covered by this extent map, a vector of |
| 69 | // parts in this map will be returned. |
| 70 | // If |extent| has no intersection with this map, an empty vector will be |
| 71 | // returned. |
| 72 | // E.g. extent map contains [0,5] and [10,15], GetIntersectingExtents([3, 12]) |
| 73 | // would return [3,5] and [10,12] |
| 74 | std::vector<Extent> GetIntersectingExtents(const Extent& extent) const { |
| 75 | return set_.GetIntersectingExtents(extent); |
| 76 | } |
| 77 | |
| 78 | // Complement of |GetIntersectingExtents|, return vector of extents which are |
| 79 | // part of |extent| but not covered by this map. |
| 80 | std::vector<Extent> GetNonIntersectingExtents(const Extent& extent) const { |
| 81 | return FilterExtentRanges({extent}, set_); |
| 82 | } |
| 83 | |
| 84 | private: |
| 85 | // Get a range of exents that potentially intersect with parameter |extent| |
| 86 | std::map<Extent, T, Comparator> map_; |
| 87 | ExtentRanges set_; |
| 88 | }; |
| 89 | } // namespace chromeos_update_engine |
| 90 | |
| 91 | #endif // UPDATE_ENGINE_PAYLOAD_CONSUMER_EXTENT_MAP_H_ |