1. Android属性系统概述Android属性系统是Android框架中一个重要的基础设施它提供了一种键值对存储机制用于系统各个组件之间的信息共享和配置管理。这套系统在Android启动过程中扮演着关键角色几乎所有系统服务和应用都会依赖属性系统来获取配置信息或运行时状态。属性系统的核心特点包括全局共享所有进程都可以读取属性值安全控制只有init进程可以直接修改属性高效访问通过共享内存实现快速读取分层管理支持不同分区的属性配置在Android 10及更高版本中属性系统经历了重大重构引入了更严格的安全控制和更高效的存储机制。本文将深入分析属性系统初始化过程中property_info文件的生成机制这是理解整个属性系统工作原理的基础。2. 属性系统初始化流程解析2.1 初始化入口与整体流程属性系统的初始化始于init进程的启动过程。在system/core/init/init.cpp中main()函数会调用SecondStageMain()进而触发property_init()函数void property_init() { // 创建属性文件存储目录 mkdir(/dev/__properties__, S_IRWXU | S_IXGRP | S_IXOTH); // 生成property_info文件 CreateSerializedPropertyInfo(); // 初始化属性存储区域 if (__system_property_area_init()) { LOG(FATAL) Failed to initialize property area; } // 加载属性信息新版本已移除 if (!property_info_area.LoadDefaultPath()) { LOG(FATAL) Failed to load serialized property info file; } }初始化过程主要分为三个关键步骤创建/dev/__properties__目录作为属性文件的存储位置生成property_info文件包含所有属性的安全上下文和类型信息初始化属性存储区域为后续属性访问建立基础2.2 property_info文件的作用property_info文件是属性系统安全机制的核心组成部分它存储了所有属性的SELinux安全上下文属性的数据类型信息属性的匹配规则精确匹配或前缀匹配这些信息主要用于控制哪些进程可以读取或设置特定属性验证属性值的合法性如类型检查优化属性查找效率在Android 10之前这些信息分散在各个property_contexts文件中现在则统一序列化到property_info文件中提高了访问效率和安全性。3. property_info文件生成过程3.1 加载属性配置信息CreateSerializedPropertyInfo()函数负责property_info文件的生成其核心流程如下void CreateSerializedPropertyInfo() { auto property_infos std::vectorPropertyInfoEntry(); // 从各分区加载property_contexts文件 if (access(/system/etc/selinux/plat_property_contexts, R_OK) ! -1) { LoadPropertyInfoFromFile(/system/etc/selinux/plat_property_contexts, property_infos); LoadPropertyInfoFromFile(/vendor/etc/selinux/vendor_property_contexts, property_infos); LoadPropertyInfoFromFile(/product/etc/selinux/product_property_contexts, property_infos); LoadPropertyInfoFromFile(/odm/etc/selinux/odm_property_contexts, property_infos); } else { // 回退路径 LoadPropertyInfoFromFile(/plat_property_contexts, property_infos); LoadPropertyInfoFromFile(/vendor_property_contexts, property_infos); LoadPropertyInfoFromFile(/product_property_contexts, property_infos); LoadPropertyInfoFromFile(/odm_property_contexts, property_infos); } // 序列化属性信息 auto serialized_contexts std::string(); auto error std::string(); if (!BuildTrie(property_infos, u:object_r:default_prop:s0, string, serialized_contexts, error)) { LOG(ERROR) Unable to serialize property contexts: error; return; } // 写入文件 constexpr static const char kPropertyInfosPath[] /dev/__properties__/property_info; if (!WriteStringToFile(serialized_contexts, kPropertyInfosPath, 0444, 0, 0, false)) { PLOG(ERROR) Unable to write serialized property infos to file; } selinux_android_restorecon(kPropertyInfosPath, 0); }3.2 属性配置解析细节LoadPropertyInfoFromFile()函数负责解析property_contexts文件其典型内容如下persist.bluetooth.btsnoopenable u:object_r:exported_bluetooth_prop:s0 exact bool persist.config.calibration_fac u:object_r:exported3_default_prop:s0 exact string persist.dbg.volte_avail_ovr u:object_r:exported3_default_prop:s0 exact int每行包含四个部分属性名如persist.bluetooth.btsnoopenableSELinux安全上下文如u:object_r:exported_bluetooth_prop:s0匹配标志exact表示精确匹配数据类型bool/string/int等解析过程使用PropertyInfoEntry结构体存储这些信息struct PropertyInfoEntry { std::string name; std::string context; std::string type; bool exact_match; };ParsePropertyInfoFile()函数逐行处理配置文件通过SpaceTokenizer分割每行内容并验证数据类型合法性bool ParsePropertyInfoLine(const std::string line, PropertyInfoEntry* out, std::string* error) { auto tokenizer SpaceTokenizer(line); // 解析属性名 auto property tokenizer.GetNext(); if (property.empty()) { *error Did not find a property entry in line ; return false; } // 解析安全上下文 auto context tokenizer.GetNext(); if (context.empty()) { *error Did not find a context entry in line ; return false; } // 解析匹配标志和类型 auto exact_match tokenizer.GetNext(); auto type_strings std::vectorstd::string(); auto type tokenizer.GetNext(); while (!type.empty()) { type_strings.emplace_back(type); type tokenizer.GetNext(); } // 验证类型合法性 if (!type_strings.empty() !IsTypeValid(type_strings)) { *error Type Join(type_strings, ) is not valid; return false; } // 填充输出结构 *out {property, context, Join(type_strings, ), exact_match exact}; return true; }4. 属性字典树的构建与序列化4.1 字典树数据结构设计属性系统使用字典树Trie来高效组织属性信息主要数据结构包括TrieBuilder字典树构建器class TrieBuilder { public: TrieBuilder(const std::string default_context, const std::string default_type); bool AddToTrie(const std::string name, const std::string context, const std::string type, bool exact, std::string* error); private: TrieBuilderNode builder_root_; // 根节点 std::setstd::string contexts_; // 所有安全上下文 std::setstd::string types_; // 所有类型 };TrieBuilderNode字典树节点class TrieBuilderNode { public: const PropertyEntryBuilder property_entry() const; const std::vectorTrieBuilderNode children() const; const std::vectorPropertyEntryBuilder prefixes() const; const std::vectorPropertyEntryBuilder exact_matches() const; private: PropertyEntryBuilder property_entry_; std::vectorTrieBuilderNode children_; std::vectorPropertyEntryBuilder prefixes_; std::vectorPropertyEntryBuilder exact_matches_; };PropertyEntryBuilder属性条目struct PropertyEntryBuilder { std::string name; const std::string* context; const std::string* type; };4.2 字典树构建过程BuildTrie()函数负责构建字典树bool BuildTrie(const std::vectorPropertyInfoEntry property_info, const std::string default_context, const std::string default_type, std::string* serialized_trie, std::string* error) { // 初始化字典树构建器 auto trie_builder TrieBuilder(default_context, default_type); // 添加所有属性到字典树 for (const auto [name, context, type, is_exact] : property_info) { if (!trie_builder.AddToTrie(name, context, type, is_exact, error)) { return false; } } // 序列化字典树 auto trie_serializer TrieSerializer(); *serialized_trie trie_serializer.SerializeTrie(trie_builder); return true; }属性添加到字典树的具体过程bool TrieBuilder::AddToTrie(const std::string name, const std::string* context, const std::string* type, bool exact, std::string* error) { TrieBuilderNode* current_node builder_root_; auto name_pieces Split(name, .); // 处理以点结尾的属性名 bool ends_with_dot false; if (name_pieces.back().empty()) { ends_with_dot true; name_pieces.pop_back(); } // 构建字典树路径 while (name_pieces.size() 1) { auto child current_node-FindChild(name_pieces.front()); if (child nullptr) { child current_node-AddChild(name_pieces.front()); } current_node child; name_pieces.erase(name_pieces.begin()); } // 根据匹配类型存储属性信息 if (exact) { if (!current_node-AddExactMatchContext(name_pieces.front(), context, type)) { *error Duplicate exact match detected for name ; return false; } } else if (!ends_with_dot) { if (!current_node-AddPrefixContext(name_pieces.front(), context, type)) { *error Duplicate prefix match detected for name ; return false; } } else { auto child current_node-FindChild(name_pieces.front()); if (child nullptr) { child current_node-AddChild(name_pieces.front()); } child-set_context(context); child-set_type(type); } return true; }4.3 字典树序列化机制TrieSerializer类负责将内存中的字典树序列化为二进制格式class TrieSerializer { public: std::string SerializeTrie(const TrieBuilder trie_builder) { arena_.reset(new TrieNodeArena()); // 写入头部信息 auto header arena_-AllocateObjectPropertyInfoAreaHeader(nullptr); header-current_version 1; header-minimum_supported_version 1; // 序列化安全上下文集合 header-contexts_offset arena_-size(); SerializeStrings(trie_builder.contexts()); // 序列化类型集合 header-types_offset arena_-size(); SerializeStrings(trie_builder.types()); // 序列化字典树结构 header-size arena_-size(); uint32_t root_trie_offset WriteTrieNode(trie_builder.builder_root()); header-root_offset root_trie_offset; // 更新最终大小 header-size arena_-size(); return arena_-truncated_data(); } private: std::unique_ptrTrieNodeArena arena_; };序列化后的数据格式如下头部信息PropertyInfoAreaHeader安全上下文集合类型集合字典树结构每个部分的序列化都通过TrieNodeArena管理内存分配确保数据对齐和高效访问。5. 关键实现细节与优化5.1 内存管理优化属性系统采用了几项关键的内存优化技术字符串池化所有安全上下文和类型字符串只存储一次通过索引引用const std::string* StringPointerFromContainer(const std::string string, std::setstd::string* container) { auto [iterator, _] container-emplace(string); return (*iterator); }紧凑存储使用偏移量而非指针避免指针大小问题struct PropertyEntry { uint32_t name_offset; // 属性名偏移 uint32_t namelen; // 属性名长度 uint32_t context_index; // 安全上下文索引 uint32_t type_index; // 类型索引 };内存对齐所有数据按4字节对齐提高访问效率void* AllocateData(size_t size, uint32_t* offset) { size_t aligned_size size (sizeof(uint32_t) - 1) ~(sizeof(uint32_t) - 1); if (current_data_pointer_ aligned_size data_.size()) { auto new_size (current_data_pointer_ aligned_size data_.size()) * 2; data_.resize(new_size, \0); } if (offset) *offset current_data_pointer_; uint32_t return_offset current_data_pointer_; current_data_pointer_ aligned_size; return data_[0] return_offset; }5.2 性能优化策略字典树结构将属性名按点分割后构建字典树实现高效的前缀匹配排序优化在序列化前对子节点、前缀和精确匹配进行排序提高查找效率// 按名称长度降序排列前缀匹配 std::sort(sorted_prefix_matches.begin(), sorted_prefix_matches.end(), [](const auto lhs, const auto rhs) { return lhs.name.size() rhs.name.size(); }); // 按名称字典序排列精确匹配 std::sort(sorted_exact_matches.begin(), sorted_exact_matches.end(), [](const auto lhs, const auto rhs) { return lhs.name rhs.name; }); // 按名称字典序排列子节点 std::sort(sorted_children.begin(), sorted_children.end(), [](const auto lhs, const auto rhs) { return lhs.name() rhs.name(); });延迟加载property_info文件在需要时才完全加载到内存5.3 安全增强措施SELinux集成每个属性都有明确的安全上下文控制访问权限类型检查属性值写入时进行类型验证精确匹配控制通过exact标志区分精确匹配和前缀匹配规则写保护property_info文件生成后设置为只读(0444)6. 实际应用与调试技巧6.1 常见属性操作命令查看所有属性adb shell getprop获取特定属性值adb shell getprop ro.build.version.release设置属性值需要root权限adb shell setprop debug.sf.latch_unsignaled 16.2 属性系统调试方法查看property_info文件内容adb shell ls -l /dev/__properties__/property_info adb shell cat /dev/__properties__/property_info | hexdump -C检查属性加载日志adb logcat | grep -i property验证属性SELinux上下文adb shell ls -Z /dev/__properties__/property_info6.3 开发注意事项自定义属性命名规范使用逆域名命名法如persist.vendor.sensor.calibration避免与系统属性冲突明确属性前缀用途ro/rw/persist等属性访问权限配置 在property_contexts文件中添加my.custom.property u:object_r:my_custom_prop:s0 exact string性能考量频繁访问的属性应使用持久化存储persist.前缀大量数据应考虑其他共享机制关键路径避免属性访问存在IPC开销7. 问题排查与案例分析7.1 常见问题及解决方案属性无法读取检查SELinux策略是否允许访问确认属性是否已正确定义验证属性名前缀是否匹配属性设置失败确认进程有足够权限通常只有init可以设置检查属性是否为只读ro.前缀验证属性类型是否匹配属性值异常检查是否有多个进程同时修改验证持久化存储是否正常确认没有超出属性值长度限制通常为92字节7.2 典型案例分析案例蓝牙Snoop日志无法启用现象设置persist.bluetooth.btsnoopenable属性无效排查步骤检查当前属性值adb shell getprop persist.bluetooth.btsnoopenable查看属性定义adb shell grep -r persist.bluetooth.btsnoopenable /system/etc/selinux/验证SELinux策略adb shell sesearch -A -s bluetooth -t exported_bluetooth_prop -c property -p write检查init进程日志adb logcat | grep -i property_set解决方案更新SELinux策略或使用正确的前缀设置属性7.3 性能优化实践优化场景系统启动时大量属性访问导致延迟优化方案延迟非关键属性初始化合并相关属性访问使用前缀匹配减少查找时间对高频访问属性进行缓存实现示例// 传统方式多次单独访问 bool featureA GetBoolProperty(vendor.feature.a.enabled, false); bool featureB GetBoolProperty(vendor.feature.b.enabled, false); // 优化方式批量获取 auto features GetPropertiesWithPrefix(vendor.feature.); bool featureA features[a.enabled] true; bool featureB features[b.enabled] true;
