| Alex Deymo | aea4c1c | 2015-08-19 20:24:43 -0700 | [diff] [blame] | 1 | // | 
|  | 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 Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 16 |  | 
|  | 17 | #include "update_engine/payload_generator/block_mapping.h" | 
|  | 18 |  | 
|  | 19 | #include <fcntl.h> | 
|  | 20 | #include <sys/stat.h> | 
|  | 21 | #include <sys/types.h> | 
|  | 22 |  | 
|  | 23 | #include <functional> | 
|  | 24 | #include <string> | 
| Amin Hassani | 232f8f9 | 2019-01-14 16:15:31 -0800 | [diff] [blame] | 25 | #include <utility> | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 26 | #include <vector> | 
|  | 27 |  | 
| Alex Deymo | 39910dc | 2015-11-09 17:04:30 -0800 | [diff] [blame] | 28 | #include "update_engine/common/utils.h" | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 29 |  | 
|  | 30 | using std::string; | 
|  | 31 | using std::vector; | 
|  | 32 |  | 
|  | 33 | namespace { | 
|  | 34 |  | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 35 | size_t HashValue(const brillo::Blob& blob) { | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 36 | std::hash<string> hash_fn; | 
|  | 37 | return hash_fn(string(blob.begin(), blob.end())); | 
|  | 38 | } | 
|  | 39 |  | 
|  | 40 | }  // namespace | 
|  | 41 |  | 
|  | 42 | namespace chromeos_update_engine { | 
|  | 43 |  | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 44 | BlockMapping::BlockId BlockMapping::AddBlock(const brillo::Blob& block_data) { | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 45 | return AddBlock(-1, 0, block_data); | 
|  | 46 | } | 
|  | 47 |  | 
|  | 48 | BlockMapping::BlockId BlockMapping::AddDiskBlock(int fd, off_t byte_offset) { | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 49 | brillo::Blob blob(block_size_); | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 50 | ssize_t bytes_read = 0; | 
|  | 51 | if (!utils::PReadAll(fd, blob.data(), block_size_, byte_offset, &bytes_read)) | 
|  | 52 | return -1; | 
|  | 53 | if (static_cast<size_t>(bytes_read) != block_size_) | 
|  | 54 | return -1; | 
|  | 55 | return AddBlock(fd, byte_offset, blob); | 
|  | 56 | } | 
|  | 57 |  | 
|  | 58 | bool BlockMapping::AddManyDiskBlocks(int fd, | 
|  | 59 | off_t initial_byte_offset, | 
|  | 60 | size_t num_blocks, | 
| Alex Deymo | 39910dc | 2015-11-09 17:04:30 -0800 | [diff] [blame] | 61 | vector<BlockId>* block_ids) { | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 62 | bool ret = true; | 
|  | 63 | block_ids->resize(num_blocks); | 
|  | 64 | for (size_t block = 0; block < num_blocks; block++) { | 
| Amin Hassani | 232f8f9 | 2019-01-14 16:15:31 -0800 | [diff] [blame] | 65 | (*block_ids)[block] = | 
|  | 66 | AddDiskBlock(fd, initial_byte_offset + block * block_size_); | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 67 | ret = ret && (*block_ids)[block] != -1; | 
|  | 68 | } | 
|  | 69 | return ret; | 
|  | 70 | } | 
|  | 71 |  | 
|  | 72 | BlockMapping::BlockId BlockMapping::AddBlock(int fd, | 
|  | 73 | off_t byte_offset, | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 74 | const brillo::Blob& block_data) { | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 75 | if (block_data.size() != block_size_) | 
|  | 76 | return -1; | 
|  | 77 | size_t h = HashValue(block_data); | 
|  | 78 |  | 
|  | 79 | // We either reuse a UniqueBlock or create a new one. If we need a new | 
|  | 80 | // UniqueBlock it could also be part of a new or existing bucket (if there is | 
|  | 81 | // a hash collision). | 
| Amin Hassani | 232f8f9 | 2019-01-14 16:15:31 -0800 | [diff] [blame] | 82 | vector<UniqueBlock>* bucket = nullptr; | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 83 |  | 
|  | 84 | auto mapping_it = mapping_.find(h); | 
|  | 85 | if (mapping_it == mapping_.end()) { | 
|  | 86 | bucket = &mapping_[h]; | 
|  | 87 | } else { | 
|  | 88 | for (UniqueBlock& existing_block : mapping_it->second) { | 
|  | 89 | bool equals = false; | 
|  | 90 | if (!existing_block.CompareData(block_data, &equals)) | 
|  | 91 | return -1; | 
|  | 92 | if (equals) | 
|  | 93 | return existing_block.block_id; | 
|  | 94 | } | 
|  | 95 | bucket = &mapping_it->second; | 
|  | 96 | } | 
|  | 97 |  | 
|  | 98 | // No existing block was found at this point, so we create and fill in a new | 
|  | 99 | // one. | 
|  | 100 | bucket->emplace_back(); | 
| Amin Hassani | 232f8f9 | 2019-01-14 16:15:31 -0800 | [diff] [blame] | 101 | UniqueBlock* new_ublock = &bucket->back(); | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 102 |  | 
|  | 103 | new_ublock->times_read = 1; | 
|  | 104 | new_ublock->fd = fd; | 
|  | 105 | new_ublock->byte_offset = byte_offset; | 
|  | 106 | new_ublock->block_id = used_block_ids++; | 
|  | 107 | // We need to cache blocks that are not referencing any disk location. | 
|  | 108 | if (fd == -1) | 
|  | 109 | new_ublock->block_data = block_data; | 
|  | 110 |  | 
|  | 111 | return new_ublock->block_id; | 
|  | 112 | } | 
|  | 113 |  | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 114 | bool BlockMapping::UniqueBlock::CompareData(const brillo::Blob& other_block, | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 115 | bool* equals) { | 
|  | 116 | if (!block_data.empty()) { | 
|  | 117 | *equals = block_data == other_block; | 
|  | 118 | return true; | 
|  | 119 | } | 
|  | 120 | const size_t block_size = other_block.size(); | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 121 | brillo::Blob blob(block_size); | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 122 | ssize_t bytes_read = 0; | 
|  | 123 | if (!utils::PReadAll(fd, blob.data(), block_size, byte_offset, &bytes_read)) | 
|  | 124 | return false; | 
|  | 125 | if (static_cast<size_t>(bytes_read) != block_size) | 
|  | 126 | return false; | 
|  | 127 | *equals = blob == other_block; | 
|  | 128 |  | 
|  | 129 | // We increase the number of times we had to read this block from disk and | 
|  | 130 | // we cache this block based on that. This caching method is optimized for | 
|  | 131 | // the common use case of having two partitions that share blocks between them | 
|  | 132 | // but have few repeated blocks inside each partition, such as the block | 
|  | 133 | // with all zeros or duplicated files. | 
|  | 134 | times_read++; | 
|  | 135 | if (times_read > 3) | 
|  | 136 | block_data = std::move(blob); | 
|  | 137 | return true; | 
|  | 138 | } | 
|  | 139 |  | 
|  | 140 | bool MapPartitionBlocks(const string& old_part, | 
|  | 141 | const string& new_part, | 
|  | 142 | size_t old_size, | 
|  | 143 | size_t new_size, | 
|  | 144 | size_t block_size, | 
|  | 145 | vector<BlockMapping::BlockId>* old_block_ids, | 
|  | 146 | vector<BlockMapping::BlockId>* new_block_ids) { | 
|  | 147 | BlockMapping mapping(block_size); | 
| Alex Vakulenko | 3f39d5c | 2015-10-13 09:27:13 -0700 | [diff] [blame] | 148 | if (mapping.AddBlock(brillo::Blob(block_size, '\0')) != 0) | 
| Alex Deymo | f006135 | 2015-07-01 14:59:15 -0700 | [diff] [blame] | 149 | return false; | 
|  | 150 | int old_fd = HANDLE_EINTR(open(old_part.c_str(), O_RDONLY)); | 
|  | 151 | int new_fd = HANDLE_EINTR(open(new_part.c_str(), O_RDONLY)); | 
|  | 152 | ScopedFdCloser old_fd_closer(&old_fd); | 
|  | 153 | ScopedFdCloser new_fd_closer(&new_fd); | 
|  | 154 |  | 
|  | 155 | TEST_AND_RETURN_FALSE(mapping.AddManyDiskBlocks( | 
|  | 156 | old_fd, 0, old_size / block_size, old_block_ids)); | 
|  | 157 | TEST_AND_RETURN_FALSE(mapping.AddManyDiskBlocks( | 
|  | 158 | new_fd, 0, new_size / block_size, new_block_ids)); | 
|  | 159 | return true; | 
|  | 160 | } | 
|  | 161 |  | 
|  | 162 | }  // namespace chromeos_update_engine |