android_system_core/fs_mgr/liblp/builder.cpp

1351 lines
52 KiB
C++
Raw Normal View History

/*
* Copyright (C) 2018 The Android Open Source Project
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.apache.org/licenses/LICENSE-2.0
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
#include "liblp/builder.h"
#include <string.h>
#include <algorithm>
#include <limits>
#include <android-base/unique_fd.h>
#include "liblp/liblp.h"
#include "liblp/property_fetcher.h"
#include "reader.h"
#include "utility.h"
namespace android {
namespace fs_mgr {
std::ostream& operator<<(std::ostream& os, const Extent& extent) {
switch (extent.GetExtentType()) {
case ExtentType::kZero: {
os << "type: Zero";
break;
}
case ExtentType::kLinear: {
auto linear_extent = static_cast<const LinearExtent*>(&extent);
os << "type: Linear, physical sectors: " << linear_extent->physical_sector()
<< ", end sectors: " << linear_extent->end_sector();
break;
}
}
return os;
}
bool LinearExtent::AddTo(LpMetadata* out) const {
if (device_index_ >= out->block_devices.size()) {
LERROR << "Extent references unknown block device.";
return false;
}
out->extents.emplace_back(
LpMetadataExtent{num_sectors_, LP_TARGET_TYPE_LINEAR, physical_sector_, device_index_});
return true;
}
bool LinearExtent::operator==(const android::fs_mgr::Extent& other) const {
if (other.GetExtentType() != ExtentType::kLinear) {
return false;
}
auto other_ptr = static_cast<const LinearExtent*>(&other);
return num_sectors_ == other_ptr->num_sectors_ &&
physical_sector_ == other_ptr->physical_sector_ &&
device_index_ == other_ptr->device_index_;
}
bool LinearExtent::OverlapsWith(const LinearExtent& other) const {
if (device_index_ != other.device_index()) {
return false;
}
return physical_sector() < other.end_sector() && other.physical_sector() < end_sector();
}
bool LinearExtent::OverlapsWith(const Interval& interval) const {
if (device_index_ != interval.device_index) {
return false;
}
return physical_sector() < interval.end && interval.start < end_sector();
}
Interval LinearExtent::AsInterval() const {
return Interval(device_index(), physical_sector(), end_sector());
}
bool ZeroExtent::AddTo(LpMetadata* out) const {
out->extents.emplace_back(LpMetadataExtent{num_sectors_, LP_TARGET_TYPE_ZERO, 0, 0});
return true;
}
bool ZeroExtent::operator==(const android::fs_mgr::Extent& other) const {
return other.GetExtentType() == ExtentType::kZero && num_sectors_ == other.num_sectors();
}
Partition::Partition(std::string_view name, std::string_view group_name, uint32_t attributes)
: name_(name), group_name_(group_name), attributes_(attributes), size_(0) {}
void Partition::AddExtent(std::unique_ptr<Extent>&& extent) {
size_ += extent->num_sectors() * LP_SECTOR_SIZE;
if (LinearExtent* new_extent = extent->AsLinearExtent()) {
if (!extents_.empty() && extents_.back()->AsLinearExtent()) {
LinearExtent* prev_extent = extents_.back()->AsLinearExtent();
if (prev_extent->end_sector() == new_extent->physical_sector() &&
prev_extent->device_index() == new_extent->device_index()) {
// If the previous extent can be merged into this new one, do so
// to avoid creating unnecessary extents.
extent = std::make_unique<LinearExtent>(
prev_extent->num_sectors() + new_extent->num_sectors(),
prev_extent->device_index(), prev_extent->physical_sector());
extents_.pop_back();
}
}
}
extents_.push_back(std::move(extent));
}
void Partition::RemoveExtents() {
size_ = 0;
extents_.clear();
}
void Partition::ShrinkTo(uint64_t aligned_size) {
if (aligned_size == 0) {
RemoveExtents();
return;
}
// Remove or shrink extents of any kind until the total partition size is
// equal to the requested size.
uint64_t sectors_to_remove = (size_ - aligned_size) / LP_SECTOR_SIZE;
while (sectors_to_remove) {
Extent* extent = extents_.back().get();
if (extent->num_sectors() > sectors_to_remove) {
size_ -= sectors_to_remove * LP_SECTOR_SIZE;
extent->set_num_sectors(extent->num_sectors() - sectors_to_remove);
break;
}
size_ -= (extent->num_sectors() * LP_SECTOR_SIZE);
sectors_to_remove -= extent->num_sectors();
extents_.pop_back();
}
DCHECK(size_ == aligned_size);
}
Partition Partition::GetBeginningExtents(uint64_t aligned_size) const {
Partition p(name_, group_name_, attributes_);
for (const auto& extent : extents_) {
auto le = extent->AsLinearExtent();
if (le) {
p.AddExtent(std::make_unique<LinearExtent>(*le));
} else {
p.AddExtent(std::make_unique<ZeroExtent>(extent->num_sectors()));
}
}
p.ShrinkTo(aligned_size);
return p;
}
uint64_t Partition::BytesOnDisk() const {
uint64_t sectors = 0;
for (const auto& extent : extents_) {
if (!extent->AsLinearExtent()) {
continue;
}
sectors += extent->num_sectors();
}
return sectors * LP_SECTOR_SIZE;
}
std::unique_ptr<MetadataBuilder> MetadataBuilder::New(const IPartitionOpener& opener,
const std::string& super_partition,
uint32_t slot_number) {
std::unique_ptr<LpMetadata> metadata = ReadMetadata(opener, super_partition, slot_number);
if (!metadata) {
return nullptr;
}
return New(*metadata.get(), &opener);
}
std::unique_ptr<MetadataBuilder> MetadataBuilder::New(const std::string& super_partition,
uint32_t slot_number) {
return New(PartitionOpener(), super_partition, slot_number);
}
std::unique_ptr<MetadataBuilder> MetadataBuilder::New(
const std::vector<BlockDeviceInfo>& block_devices, const std::string& super_partition,
uint32_t metadata_max_size, uint32_t metadata_slot_count) {
std::unique_ptr<MetadataBuilder> builder(new MetadataBuilder());
if (!builder->Init(block_devices, super_partition, metadata_max_size, metadata_slot_count)) {
return nullptr;
}
return builder;
}
std::unique_ptr<MetadataBuilder> MetadataBuilder::New(const LpMetadata& metadata,
const IPartitionOpener* opener) {
std::unique_ptr<MetadataBuilder> builder(new MetadataBuilder());
if (!builder->Init(metadata)) {
return nullptr;
}
if (opener) {
for (size_t i = 0; i < builder->block_devices_.size(); i++) {
std::string partition_name = builder->GetBlockDevicePartitionName(i);
BlockDeviceInfo device_info;
if (opener->GetInfo(partition_name, &device_info)) {
builder->UpdateBlockDeviceInfo(i, device_info);
}
}
}
return builder;
}
std::unique_ptr<MetadataBuilder> MetadataBuilder::NewForUpdate(const IPartitionOpener& opener,
const std::string& source_partition,
uint32_t source_slot_number,
uint32_t target_slot_number,
bool always_keep_source_slot) {
auto metadata = ReadMetadata(opener, source_partition, source_slot_number);
if (!metadata) {
return nullptr;
}
// On retrofit DAP devices, modify the metadata so that it is suitable for being written
// to the target slot later. We detect retrofit DAP devices by checking the super partition
// name and system properties.
// See comments for UpdateMetadataForOtherSuper.
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
auto super_device = GetMetadataSuperBlockDevice(*metadata.get());
if (android::fs_mgr::GetBlockDevicePartitionName(*super_device) != "super" &&
IsRetrofitDynamicPartitionsDevice()) {
if (!UpdateMetadataForOtherSuper(metadata.get(), source_slot_number, target_slot_number)) {
return nullptr;
}
}
if (IPropertyFetcher::GetInstance()->GetBoolProperty("ro.virtual_ab.enabled", false)) {
if (always_keep_source_slot) {
// always_keep_source_slot implies the target build does not support snapshots.
// Clear unsupported attributes.
SetMetadataHeaderV0(metadata.get());
} else {
// !always_keep_source_slot implies the target build supports snapshots. Do snapshot
// updates.
if (!UpdateMetadataForInPlaceSnapshot(metadata.get(), source_slot_number,
target_slot_number)) {
return nullptr;
}
}
}
return New(*metadata.get(), &opener);
}
// For retrofit DAP devices, there are (conceptually) two super partitions. We'll need to translate
// block device and group names to update their slot suffixes.
// (On the other hand, On non-retrofit DAP devices there is only one location for metadata: the
// super partition. update_engine will remove and resize partitions as needed.)
bool MetadataBuilder::UpdateMetadataForOtherSuper(LpMetadata* metadata, uint32_t source_slot_number,
uint32_t target_slot_number) {
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
// Clear partitions and extents, since they have no meaning on the target
// slot. We also clear groups since they are re-added during OTA.
metadata->partitions.clear();
metadata->extents.clear();
metadata->groups.clear();
std::string source_slot_suffix = SlotSuffixForSlotNumber(source_slot_number);
std::string target_slot_suffix = SlotSuffixForSlotNumber(target_slot_number);
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
// Translate block devices.
auto source_block_devices = std::move(metadata->block_devices);
for (const auto& source_block_device : source_block_devices) {
std::string partition_name =
android::fs_mgr::GetBlockDevicePartitionName(source_block_device);
std::string slot_suffix = GetPartitionSlotSuffix(partition_name);
if (slot_suffix.empty() || slot_suffix != source_slot_suffix) {
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
// This should never happen. It means that the source metadata
// refers to a target or unknown block device.
LERROR << "Invalid block device for slot " << source_slot_suffix << ": "
<< partition_name;
return false;
}
std::string new_name =
partition_name.substr(0, partition_name.size() - slot_suffix.size()) +
target_slot_suffix;
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
auto new_device = source_block_device;
if (!UpdateBlockDevicePartitionName(&new_device, new_name)) {
LERROR << "Partition name too long: " << new_name;
return false;
}
liblp: Modify NewForUpdate to accomodate two super partitions. This method was designed for a single-super model, and now needs to change to accomodate two super partitions (system_a and system_b, for retrofitting). NewForUpdate is supposed to transition metadata from one block device to the next for updates. For normal devices this is a no-op, since metadata only exists on one partition (super). For retrofit devices, metadata exists on system_a and system_b. This has two implications. First, any references to the source slot must be rewritten. For example "vendor_b" must become "vendor_a". However this is not true of partition names. Partitions/extents are cleared in the updated metadata since they no longer have any meaning (the block device list has been rewritten). We also clear groups since they are re-added during OTA. The reason we have to do this rewriting is that slot suffixes are automatically applied in ReadMetadata. We do not have access to the original unsuffixed metadata that was written by the initial OTA. This was a conscious design decision, since it localizes retrofitting idiosyncracies to just a few places (ReadMetadata, NewForUpdate, and fastbootd), minimizing the number of external callers that have to understand auto-slot-suffixing. It would be arguably cleaner if retrofit metadata was always serialized *without* slot suffixes, thereby making NewForUpdate a no-op. However this would necessitate changes to the API elsewhere. The functions that read partition names would have to take a slot suffix, and this would further complicate MetadataBuilder and fastbootd. Another solution would be to augment LpMetadata to retain unsuffixed information, but this is probably not worthwhile given that retrofitting is intended to be surgical, and will have a shorter lifespan than the non-retrofit case. Bug: 116802789 Test: liblp_test gtest Change-Id: I33596d92b38c47bc70bc0aa37ed04f6f0b9d4b6f
2018-11-19 23:27:23 +00:00
metadata->block_devices.emplace_back(new_device);
}
return true;
}
MetadataBuilder::MetadataBuilder() : auto_slot_suffixing_(false) {
memset(&geometry_, 0, sizeof(geometry_));
geometry_.magic = LP_METADATA_GEOMETRY_MAGIC;
geometry_.struct_size = sizeof(geometry_);
memset(&header_, 0, sizeof(header_));
header_.magic = LP_METADATA_HEADER_MAGIC;
header_.major_version = LP_METADATA_MAJOR_VERSION;
header_.minor_version = LP_METADATA_MINOR_VERSION_MIN;
header_.header_size = sizeof(LpMetadataHeaderV1_0);
header_.partitions.entry_size = sizeof(LpMetadataPartition);
header_.extents.entry_size = sizeof(LpMetadataExtent);
header_.groups.entry_size = sizeof(LpMetadataPartitionGroup);
header_.block_devices.entry_size = sizeof(LpMetadataBlockDevice);
}
bool MetadataBuilder::Init(const LpMetadata& metadata) {
geometry_ = metadata.geometry;
block_devices_ = metadata.block_devices;
// Bump the version as necessary to copy any newer fields.
if (metadata.header.minor_version >= LP_METADATA_VERSION_FOR_EXPANDED_HEADER) {
RequireExpandedMetadataHeader();
header_.flags = metadata.header.flags;
}
for (const auto& group : metadata.groups) {
std::string group_name = GetPartitionGroupName(group);
if (!AddGroup(group_name, group.maximum_size)) {
return false;
}
}
for (const auto& partition : metadata.partitions) {
std::string group_name = GetPartitionGroupName(metadata.groups[partition.group_index]);
Partition* builder =
AddPartition(GetPartitionName(partition), group_name, partition.attributes);
if (!builder) {
return false;
}
ImportExtents(builder, metadata, partition);
}
return true;
}
void MetadataBuilder::ImportExtents(Partition* dest, const LpMetadata& metadata,
const LpMetadataPartition& source) {
for (size_t i = 0; i < source.num_extents; i++) {
const LpMetadataExtent& extent = metadata.extents[source.first_extent_index + i];
if (extent.target_type == LP_TARGET_TYPE_LINEAR) {
auto copy = std::make_unique<LinearExtent>(extent.num_sectors, extent.target_source,
extent.target_data);
dest->AddExtent(std::move(copy));
} else if (extent.target_type == LP_TARGET_TYPE_ZERO) {
auto copy = std::make_unique<ZeroExtent>(extent.num_sectors);
dest->AddExtent(std::move(copy));
}
}
}
static bool VerifyDeviceProperties(const BlockDeviceInfo& device_info) {
if (device_info.logical_block_size == 0) {
LERROR << "Block device " << device_info.partition_name
<< " logical block size must not be zero.";
return false;
}
if (device_info.logical_block_size % LP_SECTOR_SIZE != 0) {
LERROR << "Block device " << device_info.partition_name
<< " logical block size must be a multiple of 512.";
return false;
}
if (device_info.size % device_info.logical_block_size != 0) {
LERROR << "Block device " << device_info.partition_name
<< " size must be a multiple of its block size.";
return false;
}
if (device_info.alignment_offset % LP_SECTOR_SIZE != 0) {
LERROR << "Block device " << device_info.partition_name
<< " alignment offset is not sector-aligned.";
return false;
}
if (device_info.alignment % LP_SECTOR_SIZE != 0) {
LERROR << "Block device " << device_info.partition_name
<< " partition alignment is not sector-aligned.";
return false;
}
if (device_info.alignment_offset > device_info.alignment) {
LERROR << "Block device " << device_info.partition_name
<< " partition alignment offset is greater than its alignment.";
return false;
}
return true;
}
bool MetadataBuilder::Init(const std::vector<BlockDeviceInfo>& block_devices,
const std::string& super_partition, uint32_t metadata_max_size,
uint32_t metadata_slot_count) {
if (metadata_max_size < sizeof(LpMetadataHeader)) {
LERROR << "Invalid metadata maximum size.";
return false;
}
if (metadata_slot_count == 0) {
LERROR << "Invalid metadata slot count.";
return false;
}
if (block_devices.empty()) {
LERROR << "No block devices were specified.";
return false;
}
// Align the metadata size up to the nearest sector.
if (!AlignTo(metadata_max_size, LP_SECTOR_SIZE, &metadata_max_size)) {
LERROR << "Max metadata size " << metadata_max_size << " is too large.";
return false;
}
// Validate and build the block device list.
uint32_t logical_block_size = 0;
for (const auto& device_info : block_devices) {
if (!VerifyDeviceProperties(device_info)) {
return false;
}
if (!logical_block_size) {
logical_block_size = device_info.logical_block_size;
}
if (logical_block_size != device_info.logical_block_size) {
LERROR << "All partitions must have the same logical block size.";
return false;
}
LpMetadataBlockDevice out = {};
out.alignment = device_info.alignment;
out.alignment_offset = device_info.alignment_offset;
out.size = device_info.size;
if (device_info.partition_name.size() > sizeof(out.partition_name)) {
LERROR << "Partition name " << device_info.partition_name << " exceeds maximum length.";
return false;
}
strncpy(out.partition_name, device_info.partition_name.c_str(), sizeof(out.partition_name));
// In the case of the super partition, this field will be adjusted
// later. For all partitions, the first 512 bytes are considered
// untouched to be compatible code that looks for an MBR. Thus we
// start counting free sectors at sector 1, not 0.
uint64_t free_area_start = LP_SECTOR_SIZE;
bool ok;
if (out.alignment) {
ok = AlignTo(free_area_start, out.alignment, &free_area_start);
} else {
ok = AlignTo(free_area_start, logical_block_size, &free_area_start);
}
if (!ok) {
LERROR << "Integer overflow computing free area start";
return false;
}
out.first_logical_sector = free_area_start / LP_SECTOR_SIZE;
// There must be one logical block of space available.
uint64_t minimum_size = out.first_logical_sector * LP_SECTOR_SIZE + logical_block_size;
if (device_info.size < minimum_size) {
LERROR << "Block device " << device_info.partition_name
<< " is too small to hold any logical partitions.";
return false;
}
// The "root" of the super partition is always listed first.
if (device_info.partition_name == super_partition) {
block_devices_.emplace(block_devices_.begin(), out);
} else {
block_devices_.emplace_back(out);
}
}
if (GetBlockDevicePartitionName(0) != super_partition) {
LERROR << "No super partition was specified.";
return false;
}
LpMetadataBlockDevice& super = block_devices_[0];
// We reserve a geometry block (4KB) plus space for each copy of the
// maximum size of a metadata blob. Then, we double that space since
// we store a backup copy of everything.
uint64_t total_reserved = GetTotalMetadataSize(metadata_max_size, metadata_slot_count);
if (super.size < total_reserved) {
LERROR << "Attempting to create metadata on a block device that is too small.";
return false;
}
// Compute the first free sector, factoring in alignment.
uint64_t free_area_start = total_reserved;
bool ok;
if (super.alignment || super.alignment_offset) {
ok = AlignTo(free_area_start, super.alignment, &free_area_start);
} else {
ok = AlignTo(free_area_start, logical_block_size, &free_area_start);
}
if (!ok) {
LERROR << "Integer overflow computing free area start";
return false;
}
super.first_logical_sector = free_area_start / LP_SECTOR_SIZE;
// There must be one logical block of free space remaining (enough for one partition).
uint64_t minimum_disk_size = (super.first_logical_sector * LP_SECTOR_SIZE) + logical_block_size;
if (super.size < minimum_disk_size) {
LERROR << "Device must be at least " << minimum_disk_size << " bytes, only has "
<< super.size;
return false;
}
geometry_.metadata_max_size = metadata_max_size;
geometry_.metadata_slot_count = metadata_slot_count;
geometry_.logical_block_size = logical_block_size;
if (!AddGroup(std::string(kDefaultGroup), 0)) {
return false;
}
return true;
}
bool MetadataBuilder::AddGroup(std::string_view group_name, uint64_t maximum_size) {
if (FindGroup(group_name)) {
LERROR << "Group already exists: " << group_name;
return false;
}
groups_.push_back(std::make_unique<PartitionGroup>(group_name, maximum_size));
return true;
}
Partition* MetadataBuilder::AddPartition(const std::string& name, uint32_t attributes) {
return AddPartition(name, kDefaultGroup, attributes);
}
Partition* MetadataBuilder::AddPartition(std::string_view name, std::string_view group_name,
uint32_t attributes) {
if (name.empty()) {
LERROR << "Partition must have a non-empty name.";
return nullptr;
}
if (FindPartition(name)) {
LERROR << "Attempting to create duplication partition with name: " << name;
return nullptr;
}
if (!FindGroup(group_name)) {
LERROR << "Could not find partition group: " << group_name;
return nullptr;
}
partitions_.push_back(std::make_unique<Partition>(name, group_name, attributes));
return partitions_.back().get();
}
Partition* MetadataBuilder::FindPartition(std::string_view name) const {
for (const auto& partition : partitions_) {
if (partition->name() == name) {
return partition.get();
}
}
return nullptr;
}
PartitionGroup* MetadataBuilder::FindGroup(std::string_view group_name) const {
for (const auto& group : groups_) {
if (group->name() == group_name) {
return group.get();
}
}
return nullptr;
}
uint64_t MetadataBuilder::TotalSizeOfGroup(PartitionGroup* group) const {
uint64_t total = 0;
for (const auto& partition : partitions_) {
if (partition->group_name() != group->name()) {
continue;
}
total += partition->BytesOnDisk();
}
return total;
}
void MetadataBuilder::RemovePartition(std::string_view name) {
for (auto iter = partitions_.begin(); iter != partitions_.end(); iter++) {
if ((*iter)->name() == name) {
partitions_.erase(iter);
return;
}
}
}
void MetadataBuilder::ExtentsToFreeList(const std::vector<Interval>& extents,
std::vector<Interval>* free_regions) const {
// Convert the extent list into a list of gaps between the extents; i.e.,
// the list of ranges that are free on the disk.
for (size_t i = 1; i < extents.size(); i++) {
const Interval& previous = extents[i - 1];
const Interval& current = extents[i];
DCHECK(previous.device_index == current.device_index);
uint64_t aligned;
if (!AlignSector(block_devices_[current.device_index], previous.end, &aligned)) {
LERROR << "Sector " << previous.end << " caused integer overflow.";
continue;
}
if (aligned >= current.start) {
// There is no gap between these two extents, try the next one.
// Note that we check with >= instead of >, since alignment may
// bump the ending sector past the beginning of the next extent.
continue;
}
// The new interval represents the free space starting at the end of
// the previous interval, and ending at the start of the next interval.
free_regions->emplace_back(current.device_index, aligned, current.start);
}
}
auto MetadataBuilder::GetFreeRegions() const -> std::vector<Interval> {
std::vector<Interval> free_regions;
// Collect all extents in the partition table, per-device, then sort them
// by starting sector.
std::vector<std::vector<Interval>> device_extents(block_devices_.size());
for (const auto& partition : partitions_) {
for (const auto& extent : partition->extents()) {
LinearExtent* linear = extent->AsLinearExtent();
if (!linear) {
continue;
}
CHECK(linear->device_index() < device_extents.size());
auto& extents = device_extents[linear->device_index()];
extents.emplace_back(linear->device_index(), linear->physical_sector(),
linear->physical_sector() + extent->num_sectors());
}
}
// Add 0-length intervals for the first and last sectors. This will cause
// ExtentToFreeList() to treat the space in between as available.
for (size_t i = 0; i < device_extents.size(); i++) {
auto& extents = device_extents[i];
const auto& block_device = block_devices_[i];
uint64_t first_sector = block_device.first_logical_sector;
uint64_t last_sector = block_device.size / LP_SECTOR_SIZE;
extents.emplace_back(i, first_sector, first_sector);
extents.emplace_back(i, last_sector, last_sector);
std::sort(extents.begin(), extents.end());
ExtentsToFreeList(extents, &free_regions);
}
return free_regions;
}
bool MetadataBuilder::ValidatePartitionSizeChange(Partition* partition, uint64_t old_size,
uint64_t new_size, bool force_check) {
PartitionGroup* group = FindGroup(partition->group_name());
CHECK(group);
if (!force_check && new_size <= old_size) {
return true;
}
// Figure out how much we need to allocate, and whether our group has
// enough space remaining.
uint64_t space_needed = new_size - old_size;
if (group->maximum_size() > 0) {
uint64_t group_size = TotalSizeOfGroup(group);
if (group_size >= group->maximum_size() ||
group->maximum_size() - group_size < space_needed) {
LERROR << "Partition " << partition->name() << " is part of group " << group->name()
<< " which does not have enough space free (" << space_needed << " requested, "
<< group_size << " used out of " << group->maximum_size() << ")";
return false;
}
}
return true;
}
Interval Interval::Intersect(const Interval& a, const Interval& b) {
Interval ret = a;
if (a.device_index != b.device_index) {
ret.start = ret.end = a.start; // set length to 0 to indicate no intersection.
return ret;
}
ret.start = std::max(a.start, b.start);
ret.end = std::max(ret.start, std::min(a.end, b.end));
return ret;
}
std::vector<Interval> Interval::Intersect(const std::vector<Interval>& a,
const std::vector<Interval>& b) {
std::vector<Interval> ret;
for (const Interval& a_interval : a) {
for (const Interval& b_interval : b) {
auto intersect = Intersect(a_interval, b_interval);
if (intersect.length() > 0) ret.emplace_back(std::move(intersect));
}
}
return ret;
}
std::unique_ptr<Extent> Interval::AsExtent() const {
return std::make_unique<LinearExtent>(length(), device_index, start);
}
bool MetadataBuilder::GrowPartition(Partition* partition, uint64_t aligned_size,
const std::vector<Interval>& free_region_hint) {
uint64_t space_needed = aligned_size - partition->size();
uint64_t sectors_needed = space_needed / LP_SECTOR_SIZE;
DCHECK(sectors_needed * LP_SECTOR_SIZE == space_needed);
std::vector<Interval> free_regions = GetFreeRegions();
if (!free_region_hint.empty())
free_regions = Interval::Intersect(free_regions, free_region_hint);
const uint64_t sectors_per_block = geometry_.logical_block_size / LP_SECTOR_SIZE;
CHECK_NE(sectors_per_block, 0);
CHECK(sectors_needed % sectors_per_block == 0);
if (IsABDevice() && ShouldHalveSuper() && GetPartitionSlotSuffix(partition->name()) == "_b") {
// Allocate "a" partitions top-down and "b" partitions bottom-up, to
// minimize fragmentation during OTA.
free_regions = PrioritizeSecondHalfOfSuper(free_regions);
}
// Note we store new extents in a temporary vector, and only commit them
// if we are guaranteed enough free space.
std::vector<std::unique_ptr<LinearExtent>> new_extents;
// If the last extent in the partition has a size < alignment, then the
// difference is unallocatable due to being misaligned. We peek for that
// case here to avoid wasting space.
if (auto extent = ExtendFinalExtent(partition, free_regions, sectors_needed)) {
sectors_needed -= extent->num_sectors();
new_extents.emplace_back(std::move(extent));
}
for (auto& region : free_regions) {
// Note: this comes first, since we may enter the loop not needing any
// more sectors.
if (!sectors_needed) {
break;
}
if (region.length() % sectors_per_block != 0) {
// This should never happen, because it would imply that we
// once allocated an extent that was not a multiple of the
// block size. That extent would be rejected by DM_TABLE_LOAD.
LERROR << "Region " << region.start << ".." << region.end
<< " is not a multiple of the block size, " << sectors_per_block;
// If for some reason the final region is mis-sized we still want
// to be able to grow partitions. So just to be safe, round the
// region down to the nearest block.
region.end = region.start + (region.length() / sectors_per_block) * sectors_per_block;
if (!region.length()) {
continue;
}
}
uint64_t sectors = std::min(sectors_needed, region.length());
CHECK(sectors % sectors_per_block == 0);
auto extent = std::make_unique<LinearExtent>(sectors, region.device_index, region.start);
new_extents.push_back(std::move(extent));
sectors_needed -= sectors;
}
if (sectors_needed) {
LERROR << "Not enough free space to expand partition: " << partition->name();
return false;
}
// Everything succeeded, so commit the new extents.
for (auto& extent : new_extents) {
partition->AddExtent(std::move(extent));
}
return true;
}
std::vector<Interval> MetadataBuilder::PrioritizeSecondHalfOfSuper(
const std::vector<Interval>& free_list) {
const auto& super = block_devices_[0];
uint64_t first_sector = super.first_logical_sector;
uint64_t last_sector = super.size / LP_SECTOR_SIZE;
uint64_t midpoint = first_sector + (last_sector - first_sector) / 2;
// Choose an aligned sector for the midpoint. This could lead to one half
// being slightly larger than the other, but this will not restrict the
// size of partitions (it might lead to one extra extent if "B" overflows).
if (!AlignSector(super, midpoint, &midpoint)) {
LERROR << "Unexpected integer overflow aligning midpoint " << midpoint;
return free_list;
}
std::vector<Interval> first_half;
std::vector<Interval> second_half;
for (const auto& region : free_list) {
// Note: deprioritze if not the main super partition. Even though we
// don't call this for retrofit devices, we will allow adding additional
// block devices on non-retrofit devices.
if (region.device_index != 0 || region.end <= midpoint) {
first_half.emplace_back(region);
continue;
}
if (region.start < midpoint && region.end > midpoint) {
// Split this into two regions.
first_half.emplace_back(region.device_index, region.start, midpoint);
second_half.emplace_back(region.device_index, midpoint, region.end);
} else {
second_half.emplace_back(region);
}
}
second_half.insert(second_half.end(), first_half.begin(), first_half.end());
return second_half;
}
std::unique_ptr<LinearExtent> MetadataBuilder::ExtendFinalExtent(
Partition* partition, const std::vector<Interval>& free_list,
uint64_t sectors_needed) const {
if (partition->extents().empty()) {
return nullptr;
}
LinearExtent* extent = partition->extents().back()->AsLinearExtent();
if (!extent) {
return nullptr;
}
// If the sector ends where the next aligned chunk begins, then there's
// no missing gap to try and allocate.
const auto& block_device = block_devices_[extent->device_index()];
uint64_t next_aligned_sector;
if (!AlignSector(block_device, extent->end_sector(), &next_aligned_sector)) {
LERROR << "Integer overflow aligning sector " << extent->end_sector();
return nullptr;
}
if (extent->end_sector() == next_aligned_sector) {
return nullptr;
}
uint64_t num_sectors = std::min(next_aligned_sector - extent->end_sector(), sectors_needed);
auto new_extent = std::make_unique<LinearExtent>(num_sectors, extent->device_index(),
extent->end_sector());
if (IsAnyRegionAllocated(*new_extent.get()) ||
IsAnyRegionCovered(free_list, *new_extent.get())) {
LERROR << "Misaligned region " << new_extent->physical_sector() << ".."
<< new_extent->end_sector() << " was allocated or marked allocatable.";
return nullptr;
}
return new_extent;
}
bool MetadataBuilder::IsAnyRegionCovered(const std::vector<Interval>& regions,
const LinearExtent& candidate) const {
for (const auto& region : regions) {
if (candidate.OverlapsWith(region)) {
return true;
}
}
return false;
}
bool MetadataBuilder::IsAnyRegionAllocated(const LinearExtent& candidate) const {
for (const auto& partition : partitions_) {
for (const auto& extent : partition->extents()) {
LinearExtent* linear = extent->AsLinearExtent();
if (!linear) {
continue;
}
if (linear->OverlapsWith(candidate)) {
return true;
}
}
}
return false;
}
void MetadataBuilder::ShrinkPartition(Partition* partition, uint64_t aligned_size) {
partition->ShrinkTo(aligned_size);
}
std::unique_ptr<LpMetadata> MetadataBuilder::Export() {
if (!ValidatePartitionGroups()) {
return nullptr;
}
std::unique_ptr<LpMetadata> metadata = std::make_unique<LpMetadata>();
metadata->header = header_;
metadata->geometry = geometry_;
// Assign this early so the extent table can read it.
for (const auto& block_device : block_devices_) {
metadata->block_devices.emplace_back(block_device);
if (auto_slot_suffixing_) {
metadata->block_devices.back().flags |= LP_BLOCK_DEVICE_SLOT_SUFFIXED;
}
}
std::map<std::string, size_t> group_indices;
for (const auto& group : groups_) {
LpMetadataPartitionGroup out = {};
if (group->name().size() > sizeof(out.name)) {
LERROR << "Partition group name is too long: " << group->name();
return nullptr;
}
if (auto_slot_suffixing_ && group->name() != kDefaultGroup) {
out.flags |= LP_GROUP_SLOT_SUFFIXED;
}
strncpy(out.name, group->name().c_str(), sizeof(out.name));
out.maximum_size = group->maximum_size();
group_indices[group->name()] = metadata->groups.size();
metadata->groups.push_back(out);
}
// Flatten the partition and extent structures into an LpMetadata, which
// makes it very easy to validate, serialize, or pass on to device-mapper.
for (const auto& partition : partitions_) {
LpMetadataPartition part;
memset(&part, 0, sizeof(part));
if (partition->name().size() > sizeof(part.name)) {
LERROR << "Partition name is too long: " << partition->name();
return nullptr;
}
if (partition->attributes() & ~(LP_PARTITION_ATTRIBUTE_MASK)) {
LERROR << "Partition " << partition->name() << " has unsupported attribute.";
return nullptr;
}
if (partition->attributes() & LP_PARTITION_ATTRIBUTE_MASK_V1) {
static const uint16_t kMinVersion = LP_METADATA_VERSION_FOR_UPDATED_ATTR;
metadata->header.minor_version = std::max(metadata->header.minor_version, kMinVersion);
}
strncpy(part.name, partition->name().c_str(), sizeof(part.name));
part.first_extent_index = static_cast<uint32_t>(metadata->extents.size());
part.num_extents = static_cast<uint32_t>(partition->extents().size());
part.attributes = partition->attributes();
if (auto_slot_suffixing_) {
part.attributes |= LP_PARTITION_ATTR_SLOT_SUFFIXED;
}
auto iter = group_indices.find(partition->group_name());
if (iter == group_indices.end()) {
LERROR << "Partition " << partition->name() << " is a member of unknown group "
<< partition->group_name();
return nullptr;
}
part.group_index = iter->second;
for (const auto& extent : partition->extents()) {
if (!extent->AddTo(metadata.get())) {
return nullptr;
}
}
metadata->partitions.push_back(part);
}
metadata->header.partitions.num_entries = static_cast<uint32_t>(metadata->partitions.size());
metadata->header.extents.num_entries = static_cast<uint32_t>(metadata->extents.size());
metadata->header.groups.num_entries = static_cast<uint32_t>(metadata->groups.size());
metadata->header.block_devices.num_entries =
static_cast<uint32_t>(metadata->block_devices.size());
return metadata;
}
void MetadataBuilder::RequireExpandedMetadataHeader() {
if (header_.minor_version >= LP_METADATA_VERSION_FOR_EXPANDED_HEADER) {
return;
}
header_.minor_version = LP_METADATA_VERSION_FOR_EXPANDED_HEADER;
header_.header_size = sizeof(LpMetadataHeaderV1_2);
}
uint64_t MetadataBuilder::AllocatableSpace() const {
uint64_t total_size = 0;
for (const auto& block_device : block_devices_) {
total_size += block_device.size - (block_device.first_logical_sector * LP_SECTOR_SIZE);
}
return total_size;
}
uint64_t MetadataBuilder::UsedSpace() const {
uint64_t size = 0;
for (const auto& partition : partitions_) {
size += partition->size();
}
return size;
}
bool MetadataBuilder::AlignSector(const LpMetadataBlockDevice& block_device, uint64_t sector,
uint64_t* out) const {
// Note: when reading alignment info from the Kernel, we don't assume it
// is aligned to the sector size, so we round up to the nearest sector.
uint64_t lba = sector * LP_SECTOR_SIZE;
if (!AlignTo(lba, block_device.alignment, out)) {
return false;
}
if (!AlignTo(*out, LP_SECTOR_SIZE, out)) {
return false;
}
*out /= LP_SECTOR_SIZE;
return true;
}
bool MetadataBuilder::FindBlockDeviceByName(const std::string& partition_name,
uint32_t* index) const {
for (size_t i = 0; i < block_devices_.size(); i++) {
if (GetBlockDevicePartitionName(i) == partition_name) {
*index = i;
return true;
}
}
return false;
}
bool MetadataBuilder::HasBlockDevice(const std::string& partition_name) const {
uint32_t index;
return FindBlockDeviceByName(partition_name, &index);
}
bool MetadataBuilder::GetBlockDeviceInfo(const std::string& partition_name,
BlockDeviceInfo* info) const {
uint32_t index;
if (!FindBlockDeviceByName(partition_name, &index)) {
LERROR << "No device named " << partition_name;
return false;
}
info->size = block_devices_[index].size;
info->alignment = block_devices_[index].alignment;
info->alignment_offset = block_devices_[index].alignment_offset;
info->logical_block_size = geometry_.logical_block_size;
info->partition_name = partition_name;
return true;
}
bool MetadataBuilder::UpdateBlockDeviceInfo(const std::string& partition_name,
const BlockDeviceInfo& device_info) {
uint32_t index;
if (!FindBlockDeviceByName(partition_name, &index)) {
LERROR << "No device named " << partition_name;
return false;
}
return UpdateBlockDeviceInfo(index, device_info);
}
bool MetadataBuilder::UpdateBlockDeviceInfo(size_t index, const BlockDeviceInfo& device_info) {
CHECK(index < block_devices_.size());
LpMetadataBlockDevice& block_device = block_devices_[index];
if (device_info.size != block_device.size) {
LERROR << "Device size does not match (got " << device_info.size << ", expected "
<< block_device.size << ")";
return false;
}
if (geometry_.logical_block_size % device_info.logical_block_size) {
LERROR << "Device logical block size is misaligned (block size="
<< device_info.logical_block_size << ", alignment=" << geometry_.logical_block_size
<< ")";
return false;
}
// The kernel does not guarantee these values are present, so we only
// replace existing values if the new values are non-zero.
if (device_info.alignment) {
block_device.alignment = device_info.alignment;
}
if (device_info.alignment_offset) {
block_device.alignment_offset = device_info.alignment_offset;
}
return true;
}
bool MetadataBuilder::ResizePartition(Partition* partition, uint64_t requested_size,
const std::vector<Interval>& free_region_hint) {
// Align the space needed up to the nearest sector.
uint64_t aligned_size;
if (!AlignTo(requested_size, geometry_.logical_block_size, &aligned_size)) {
LERROR << "Cannot resize partition " << partition->name() << " to " << requested_size
<< " bytes; integer overflow.";
return false;
}
uint64_t old_size = partition->size();
if (!ValidatePartitionSizeChange(partition, old_size, aligned_size, false)) {
return false;
}
if (aligned_size > old_size) {
if (!GrowPartition(partition, aligned_size, free_region_hint)) {
return false;
}
} else if (aligned_size < partition->size()) {
ShrinkPartition(partition, aligned_size);
}
if (partition->size() != old_size) {
LINFO << "Partition " << partition->name() << " will resize from " << old_size
<< " bytes to " << aligned_size << " bytes";
}
return true;
}
std::vector<std::string> MetadataBuilder::ListGroups() const {
std::vector<std::string> names;
for (const auto& group : groups_) {
names.emplace_back(group->name());
}
return names;
}
void MetadataBuilder::RemoveGroupAndPartitions(std::string_view group_name) {
if (group_name == kDefaultGroup) {
// Cannot remove the default group.
return;
}
std::vector<std::string> partition_names;
for (const auto& partition : partitions_) {
if (partition->group_name() == group_name) {
partition_names.emplace_back(partition->name());
}
}
for (const auto& partition_name : partition_names) {
RemovePartition(partition_name);
}
for (auto iter = groups_.begin(); iter != groups_.end(); iter++) {
if ((*iter)->name() == group_name) {
groups_.erase(iter);
break;
}
}
}
static bool CompareBlockDevices(const LpMetadataBlockDevice& first,
const LpMetadataBlockDevice& second) {
// Note: we don't compare alignment, since it's a performance thing and
// won't affect whether old extents continue to work.
return first.first_logical_sector == second.first_logical_sector && first.size == second.size &&
android::fs_mgr::GetBlockDevicePartitionName(first) ==
android::fs_mgr::GetBlockDevicePartitionName(second);
}
bool MetadataBuilder::ImportPartitions(const LpMetadata& metadata,
const std::set<std::string>& partition_names) {
// The block device list must be identical. We do not try to be clever and
// allow ordering changes or changes that don't affect partitions. This
// process is designed to allow the most common flashing scenarios and more
// complex ones should require a wipe.
if (metadata.block_devices.size() != block_devices_.size()) {
LINFO << "Block device tables does not match.";
return false;
}
for (size_t i = 0; i < metadata.block_devices.size(); i++) {
const LpMetadataBlockDevice& old_device = metadata.block_devices[i];
const LpMetadataBlockDevice& new_device = block_devices_[i];
if (!CompareBlockDevices(old_device, new_device)) {
LINFO << "Block device tables do not match";
return false;
}
}
// Import named partitions. Note that we do not attempt to merge group
// information here. If the device changed its group names, the old
// partitions will fail to merge. The same could happen if the group
// allocation sizes change.
for (const auto& partition : metadata.partitions) {
std::string partition_name = GetPartitionName(partition);
if (partition_names.find(partition_name) == partition_names.end()) {
continue;
}
if (!ImportPartition(metadata, partition)) {
return false;
}
}
return true;
}
bool MetadataBuilder::ImportPartition(const LpMetadata& metadata,
const LpMetadataPartition& source) {
std::string partition_name = GetPartitionName(source);
Partition* partition = FindPartition(partition_name);
if (!partition) {
std::string group_name = GetPartitionGroupName(metadata.groups[source.group_index]);
partition = AddPartition(partition_name, group_name, source.attributes);
if (!partition) {
return false;
}
}
if (partition->size() > 0) {
LINFO << "Importing partition table would overwrite non-empty partition: "
<< partition_name;
return false;
}
ImportExtents(partition, metadata, source);
// Note: we've already increased the partition size by calling
// ImportExtents(). In order to figure out the size before that,
// we would have to iterate the extents and add up the linear
// segments. Instead, we just force ValidatePartitionSizeChange
// to check if the current configuration is acceptable.
if (!ValidatePartitionSizeChange(partition, partition->size(), partition->size(), true)) {
partition->RemoveExtents();
return false;
}
return true;
}
void MetadataBuilder::SetAutoSlotSuffixing() {
auto_slot_suffixing_ = true;
}
void MetadataBuilder::SetVirtualABDeviceFlag() {
RequireExpandedMetadataHeader();
header_.flags |= LP_HEADER_FLAG_VIRTUAL_AB_DEVICE;
}
bool MetadataBuilder::IsABDevice() {
return !IPropertyFetcher::GetInstance()->GetProperty("ro.boot.slot_suffix", "").empty();
fastbootd: Support two super partitions for retrofit devices. Retrofit devices will have two super partitions, spanning the A and B slots separately. By design an OTA will never cause "A" or "B" partitions to be assigned to the wrong super. However, the same is not true of fastbootd, where it is possible to flash the inactive slot. We do not want, for example, logical "system_a" flashing to super_b. When interacting with partitions, fastbootd now extracts the slot suffix from a GetSuperSlotSuffix() helper. On retrofit devices, if the partition name has a slot, that slot will override FastbootDevice::GetCurrentSlot. This forces partitions in the inactive slot to be assigned to the correct super. There are two consequences of this. First, partitions with no slot suffix will default to the current slot. That means it is possible to wind up with two "scratch" partitions, if "adb remount" is used on both the "A" and "B" slots. However, only the active slot's "scratch" will be visible to the user (either through adb or fastboot). Second, if one slot does not have dynamic partitions, flashing will default to fixed partitions. For example, if the A slot is logical and B is not, flashing "system_a" will be logical and "system_b" will be fixed. This works no matter which slot is active. We do not try to upgrade the inactive slot to dynamic partitions. Bug: 116802789 Test: fastboot set_active a fastboot flashall # dynamic partitions fastboot getvar is-logical:system_a # true fastboot getvar is-logical:system_b # false fastboot set_active b fastboot flashall --skip-secondary fastboot getvar is-logical:system_a # true fastboot getvar is-logical:system_b # true Booting both slots works. Change-Id: Ib3c91944aaee1a96b2f5ad69c90e215bd6c5a2e8
2018-11-10 04:41:33 +00:00
}
bool MetadataBuilder::IsRetrofitDynamicPartitionsDevice() {
return IPropertyFetcher::GetInstance()->GetBoolProperty("ro.boot.dynamic_partitions_retrofit",
false);
}
bool MetadataBuilder::ShouldHalveSuper() const {
return GetBlockDevicePartitionName(0) == LP_METADATA_DEFAULT_PARTITION_NAME &&
!IPropertyFetcher::GetInstance()->GetBoolProperty("ro.virtual_ab.enabled", false);
}
bool MetadataBuilder::AddLinearExtent(Partition* partition, const std::string& block_device,
uint64_t num_sectors, uint64_t physical_sector) {
uint32_t device_index;
if (!FindBlockDeviceByName(block_device, &device_index)) {
LERROR << "Could not find backing block device for extent: " << block_device;
return false;
}
auto extent = std::make_unique<LinearExtent>(num_sectors, device_index, physical_sector);
partition->AddExtent(std::move(extent));
return true;
}
std::vector<Partition*> MetadataBuilder::ListPartitionsInGroup(std::string_view group_name) {
std::vector<Partition*> partitions;
for (const auto& partition : partitions_) {
if (partition->group_name() == group_name) {
partitions.emplace_back(partition.get());
}
}
return partitions;
}
bool MetadataBuilder::ChangePartitionGroup(Partition* partition, std::string_view group_name) {
if (!FindGroup(group_name)) {
LERROR << "Partition cannot change to unknown group: " << group_name;
return false;
}
partition->set_group_name(group_name);
return true;
}
bool MetadataBuilder::ValidatePartitionGroups() const {
for (const auto& group : groups_) {
if (!group->maximum_size()) {
continue;
}
uint64_t used = TotalSizeOfGroup(group.get());
if (used > group->maximum_size()) {
LERROR << "Partition group " << group->name() << " exceeds maximum size (" << used
<< " bytes used, maximum " << group->maximum_size() << ")";
return false;
}
}
return true;
}
bool MetadataBuilder::ChangeGroupSize(const std::string& group_name, uint64_t maximum_size) {
if (group_name == kDefaultGroup) {
LERROR << "Cannot change the size of the default group";
return false;
}
PartitionGroup* group = FindGroup(group_name);
if (!group) {
LERROR << "Cannot change size of unknown partition group: " << group_name;
return false;
}
group->set_maximum_size(maximum_size);
return true;
}
std::string MetadataBuilder::GetBlockDevicePartitionName(uint64_t index) const {
return index < block_devices_.size()
? android::fs_mgr::GetBlockDevicePartitionName(block_devices_[index])
: "";
}
uint64_t MetadataBuilder::logical_block_size() const {
return geometry_.logical_block_size;
}
bool MetadataBuilder::VerifyExtentsAgainstSourceMetadata(
const MetadataBuilder& source_metadata, uint32_t source_slot_number,
const MetadataBuilder& target_metadata, uint32_t target_slot_number,
const std::vector<std::string>& partitions) {
for (const auto& base_name : partitions) {
// Find the partition in metadata with the slot suffix.
auto target_partition_name = base_name + SlotSuffixForSlotNumber(target_slot_number);
const auto target_partition = target_metadata.FindPartition(target_partition_name);
if (!target_partition) {
LERROR << "Failed to find partition " << target_partition_name << " in metadata slot "
<< target_slot_number;
return false;
}
auto source_partition_name = base_name + SlotSuffixForSlotNumber(source_slot_number);
const auto source_partition = source_metadata.FindPartition(source_partition_name);
if (!source_partition) {
LERROR << "Failed to find partition " << source_partition << " in metadata slot "
<< source_slot_number;
return false;
}
// We expect the partitions in the target metadata to have the identical extents as the
// one in the source metadata. Because they are copied in NewForUpdate.
if (target_partition->extents().size() != source_partition->extents().size()) {
LERROR << "Extents count mismatch for partition " << base_name << " target slot has "
<< target_partition->extents().size() << ", source slot has "
<< source_partition->extents().size();
return false;
}
for (size_t i = 0; i < target_partition->extents().size(); i++) {
const auto& src_extent = *source_partition->extents()[i];
const auto& tgt_extent = *target_partition->extents()[i];
if (tgt_extent != src_extent) {
LERROR << "Extents " << i << " is different for partition " << base_name;
LERROR << "tgt extent " << tgt_extent << "; src extent " << src_extent;
return false;
}
}
}
return true;
}
} // namespace fs_mgr
} // namespace android