android Linker:namespace隔离机制

为了解决碎片化、升级慢问题,android从8.0开始推出了Project Treble计划,诣在分离android framework和硬件驱动的耦合,system分区只存放原生android相关,vendor分区存放厂商相关定制。
主要通过HIDL、VNDK、SELinux来实现隔离,今天主要介绍VNDK相关的Linker namespace隔离机制。

VNDK

为了支持system分区可以升级到最新版本,而vendor分区保持不变,这意味着在不同时间编译的二进制文件必须能够相互配合使用,因此vendor分区程序只能访问system分区稳定的动态库。

共享库可分为以下三个子类别:

  • LL-NDK 库:是已知稳定的框架共享库。它们的开发者致力于保持其 API/ABI 稳定性。

    • LL-NDK 包含以下库:libEGL.so、libGLESv1_CM.so、libGLESv2.so、libGLESv3.so、libandroid_net.so、libc.so、libdl.so、liblog.so、libm.so、libnativewindow.so、libneuralnetworks.so、libsync.so、libvndksupport.so 和 libvulkan.so。
  • VNDK 库 (VNDK): 是指可以安全复制两次的框架共享库。框架模块和供应商模块可以与其各自的库副本相关联。

  • 框架专用库 (FWK-ONLY) :被视为框架内部实现细节,不稳定,不得由供应商模块访问。

Same-Process HAL (SP-HAL):是一组预先确定的 HAL,作为供应商共享库进行实现,并被加载到框架进程中。SP-HAL 由链接器命名空间进行隔离。SP-HAL 必须仅依赖于 LL-NDK 和 VNDK-SP。
VNDK-SP:是一部分预定义的符合条件的 VNDK 库。SP-HAL 和 VNDK-SP 均由 Google 定义。

Linker:namespace

Linker namespace解决了 Treble VNDK 设计中的两个难题:

  • 将 SP-HAL 共享库及其依赖项(包括 VNDK-SP 库)加载到框架进程中。这种情况下应该有一些防止
    出现符号冲突的机制。
  • dlopen() 和 android_dlopen_ext() 可能会引入一些在编译时不可见的运行时依赖项,这些依赖项使用
    静态分析很难检测到。

例如:
/system/lib/libcutils.so
/system/lib/vndk-sp/libcutils.so
这两个库可能有不同的符号。它们将加载到不同的链接器命名空间中,以便框架模块可以依赖于 /system/lib/libcutils.so,SP-HAL 共享库可以依赖于 /system/lib/vndk-sp/libcutils.so。
另一方面,比如libc.so 的依赖项libnetd_client.so被加载到libc.so 所在的命名空间中,其他命名空间将无法访问这些依赖项,可有效防止错综的依赖。

Namespace实现原理

简单来说就是用vector实现多个namespace功能的,没有namespace的linker只有一个LSPath和ALList,启用namespace后使用vector实现多个LSPath和ALList的相互隔离。

std::vector namespaces
std::vector search_paths_;
soinfo_list_t soinfo_list_;

LSPath:搜索路径(Library Search Path)
ALList:已加载库列表(Alread Loaded Library list)


Namespace配置文件

ROM中配置文件位置:/system/etc/ld.config.txt、/system/etc/ld.config.vndk_lite.txt
配置说明:顾名思义,大部分配置即使不解释也能明白用途,详细解释参考谷歌官方介绍https://source.android.google.cn/devices/architecture/vndk/linker-namespace

dir.system = /system/bin
dir.vendor = /vendor/bin

[system]
additional.namespaces = sphal

namespace.default.isolated = true  //true为仅加载搜索目录下的库,flase可以自行指定path
namespace.default.search.paths = /system/${LIB}:/vendor/${LIB} //不搜索子目录
namespace.default.permitted.paths = /system/${LIB}:/vendor/${LIB} //搜索子目录

namespace.sphal.isolated = true
namespace.sphal.visible = true    //visible 为 true,该程序将能够获取链接器命名空间句柄,该句柄随后可传递到 android_dlopen_ext()。
namespace.sphal.search.paths = /vendor/${LIB}
namespace.sphal.links = default //如果无法加载到 sphal 命名空间,则动态链接器会尝试从 default 命名空间加载此共享库。
namespace.sphal.link.default.shared_libs = libc.so:libm.so //如果请求的库不是 libc.so、libm.so,则动态链接器会忽略从 sphal 到 default 命名空间的链接。

[vendor]
namespace.default.isolated = false
namespace.default.search.paths = /vendor/${LIB}:/system/${LIB}
namespace.default.permitted.paths = /system/${LIB}/vndk-28

Namespace:system|vendor/bin

bin程序启动时linker会根据配置文件初始化namespace,得到默认namespace:

static const char* const kLdConfigFilePath = "/system/etc/ld.config.txt";
static const char* const kLdConfigVndkLiteFilePath = "/system/etc/ld.config.vndk_lite.txt";
//初始化namespace,从/proc/self/exe确定路径
std::vector init_default_namespaces(const char* executable_path);

so加载时调用的System.loadLibrary()、dlopen()、android_dlopen_ext()最终都走到do_dlopen():

  • void* caller_addr = __builtin_return_address(0);//得到当前函数返回地址
  • soinfo* const caller = find_containing_library(caller_addr);//查找地址所在的动态库
  • android_namespace_t* ns = get_caller_namespace(caller);//ns为调用库所在命名空间

也就是说新加载so的namespace与加载者保持一致。关键代码如下:

void* dlopen(const char* filename, int flag) {
  const void* caller_addr = __builtin_return_address(0);//得到当前函数返回地址
  return __loader_dlopen(filename, flag, caller_addr);
}

void* do_dlopen(const char* name, int flags,
                const android_dlextinfo* extinfo,
                const void* caller_addr) {
  soinfo* const caller = find_containing_library(caller_addr);//查找地址所在的动态库
  android_namespace_t* ns = get_caller_namespace(caller);//ns为调用库所在命名空间

  soinfo* si = find_library(ns, translated_name, flags, extinfo, caller);//根据ns来find
}
//根据ns来load
if (load_library(ns, task, zip_archive_cache, load_tasks, rtld_flags, search_linked_namespaces)) {
  return true;
}

struct soinfo {
  soinfo(android_namespace_t* ns, const char* name, const struct stat* file_stat,
         off64_t file_offset, int rtld_flags);
  android_namespace_t* primary_namespace_;
  android_namespace_list_t secondary_namespaces_;
}

Namespace:APK

System.loadLibrary()--> nativeLoad() -->Runtime.c::Runtime_nativeLoad()-->JVM_NativeLoad()-->Openjdkjvm.cc::JVM_NativeLoad()-->java_vm_ext.cc::LoadNativeLibrary()-->native_loader.cpp::OpenNativeLibrary()-->android_dlopen_ext()--> libdl.cpp::android_dlopen_ext()

System.loadLibrary()走到OpenNativeLibrary() 将创建一个 classloader- namespace命名空间,并将它们链接到 default 命名空间。

static constexpr const char* kClassloaderNamespaceName = "classloader-namespace";
const char* namespace_name = kClassloaderNamespaceName;

android_namespace_t* ns = android_create_namespace(namespace_name,
                                                 nullptr,
                                                 library_path.c_str(),
                                                 namespace_type,
                                                 permitted_path.c_str(),
                                                 parent_ns.get_android_ns());

if (!android_link_namespaces(ns, nullptr, system_exposed_libraries.c_str())) { //nullptr将取default namespace
*error_msg = dlerror();
return false;
}

//system_exposed_libraries
static constexpr const char kPublicNativeLibrariesSystemConfigPathFromRoot[] =
    "/etc/public.libraries.txt";
static constexpr const char kPublicNativeLibrariesVendorConfig[] =
    "/vendor/etc/public.libraries.txt";

apk namespace 补充

system APP可以访问/system/lib,但是update后不能访问。
必须访问public.txt导出的库,否则update后加载so将crash。

frameworks/base/core/java/android/app/LoadedApk.java:

boolean isBundledApp = mApplicationInfo.isSystemApp()
        && !mApplicationInfo.isUpdatedSystemApp();

if (isBundledApp) {
    libraryPermittedPath += File.pathSeparator
            + Paths.get(getAppDir()).getParent().toString();
    // This is necessary to grant bundled apps access to
    // libraries located in subdirectories of /system/lib
    libraryPermittedPath += File.pathSeparator + defaultSearchPaths;
}

VNDK升级架构概览

你可能感兴趣的:(android Linker:namespace隔离机制)