Swift Module Interfaces
前言
今天看到一篇讲 Swift Crash 的文章一个 Swift Crash 引发的讨论...原文作者从Swift
源码和UIKitCore -[UIView(UIKitManual) autorelease]
汇编代码的角度对 crash 的原因进行了分析。
如下所示,下面是根据原文梳理的调用链:
但是,我们通过观察作者贴出来的汇编和源码会发现一些问题。
- 测试环境是
x86_64
模拟器(从汇编代码反推) -
__VaListBuilder.append { appendWords(arg._cVarArgEncoding) }
是 iOS 源码
但是,在 x86_64
架构下,上述appendWords(arg._cVarArgEncoding)
并不会被执行。
本文会通过两种方式对此进行证明。
本文只是完善
x86_64
场景的调用逻辑,不影响原文的结论。
方案一:根据宏定义区分
受宏定义[1]影响,原始的 Swift 代码会针对不同的架构&系统被编译为不同代码。
#if (arch(x86_64) && !os(Windows)) || arch(s390x) || (arch(arm64) && !(os(macOS) || os(iOS) || os(tvOS) || os(watchOS) || os(Windows)))
第一种,就是原文提到的 iPhone 设备使用的 __VaListBuilder.append { appendWords(arg._cVarArgEncoding) }
。
因为模拟器属于 x86_64 架构,所以,它会产生另外一套代码。(具体的代码,可以根据方案二获取)。
方案二:根据 Swift Module Interfaces 区分
考虑到宏定义的逻辑梳理比较复杂,我们下面讲讲第二种验证方案。
首先,我们需要先了解一下 .swiftinferface
文件。
通过下面的命令,我们可以手动构建 Swift Module Interfaces
文件。
xcrun swiftc -enable-library-evolution -emit-module-interface-path Manger.swiftinferface -module-name Manager ./Manager.swift
输入文件:
import Foundation
public class Manager: NSObject {
public func mode() {
print("mode")
}
@inlinable func mode1() {
print("mode1")
}
deinit {
let _ = String(format:"%P", self)
}
}
class MY {
func test() {
let _ = Manager()
}
}
autoreleasepool {
MY().test()
}
编译器构建的 Manger.swiftinferface
文件内容如下所示:
// swift-interface-format-version: 1.0
// swift-compiler-version: Apple Swift version 5.2.4 (swiftlang-1103.0.32.9 clang-1103.0.32.53)
// swift-module-flags: -target x86_64-apple-darwin19.6.0 -enable-objc-interop -enable-library-evolution -module-name test
import Foundation
import Swift
@objc @_inheritsConvenienceInitializers public class Manager : ObjectiveC.NSObject {
public func mode()
@inlinable internal func mode1() {
print("mode1")
}
@objc deinit
@objc override dynamic public init()
}
从上面的Manger.swiftinferface
文件,我们可以发现公共API 和 内联代码都会被保留构建产物中。
实际上,Swift Module Interfaces
文件具有以下特征:
- 包含文本格式的公共 API
- 包含可内联的代码
- 不同CPU架构架构可以具有不同的版本
- 跨编译器版本兼容性
通过打开 Xcode 的 “Build Libraries for Distribution” 开关,可以自动构建
.swiftinferface
文件
Swift.swiftinterface
根据 ABIStabilityManifesto.md#standard-library [2]文档,标准库必须保证二进制兼容性。
考虑到本文讨论的 appendWords(arg._cVarArgEncoding)
所在文件路径是 stdlib/public/core/VarArgs.swift
。
所以,我们可以尝试通过 Swift.swiftinterface
查看不同宏定义下对应的代码。
arm64
以 arm64
为例,func append(_ arg: Swift.CVarArg)
的源码比较简单,它会直接调用 appendWords(arg._cVarArgEncoding)
。
Arm64 对应的路径是
/Applications/Xcode.app/Contents/Developer/Platforms/iPhoneOS.platform/Developer/SDKs/iPhoneOS.sdk/usr/lib/swift/Swift.swiftmodule/arm64.swiftinterface
@_fixed_layout final internal class __VaListBuilder {
@inlinable internal init() {}
@inlinable final internal func append(_ arg: Swift.CVarArg) {
// Write alignment padding if necessary.
// This is needed on architectures where the ABI alignment of some
// supported vararg type is greater than the alignment of Int, such
// as non-iOS ARM. Note that we can't use alignof because it
// differs from ABI alignment on some architectures.
// Write the argument's value itself.
appendWords(arg._cVarArgEncoding)
}
iPhone 模拟器(x86_64)
而 iPhone 模拟器(x86_64) 却会出现不同的结果:
iPhone 模拟器(x86_64) 对应的路径是
/Applications/Xcode.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator.sdk/usr/lib/swift/Swift.swiftmodule/x86_64.swiftinterface
下面是 iPhone 模拟器(x86_64) func append(_ arg: Swift.CVarArg)
对应的源码。
@usableFromInline
@_fixed_layout final internal class __VaListBuilder {
...
@inlinable final internal func append(_ arg: Swift.CVarArg) {
var encoded = arg._cVarArgEncoding
let isDouble = arg is _CVarArgPassedAsDouble
if isDouble && fpRegistersUsed < _countFPRegisters {
var startIndex = _countGPRegisters
+ (fpRegistersUsed * _fpRegisterWords)
for w in encoded {
storage[startIndex] = w
startIndex += 1
}
fpRegistersUsed += 1
}
else if encoded.count == 1
&& !isDouble
&& gpRegistersUsed < _countGPRegisters {
let startIndex = gpRegistersUsed
storage[startIndex] = encoded[0]
gpRegistersUsed += 1
}
else {
for w in encoded {
storage.append(w)
}
}
}
...
}
从源码文中,我们并没有看到 appendWords(arg._cVarArgEncoding)
相关的代码。
综上,我们可以梳理到以下的依赖关系:
func append(_ arg: Swift.CVarArg)
不同实现版本统计
下表是作者根据 /Applications/Xcode.app/Contents/Developer/Platforms
路径下面的Swift.swiftinterface
整理的表格。
appendWords(arg._cVarArgEncoding) |
var encoded = arg._cVarArgEncoding |
---|---|
arm 系列(armv7s arm64 arm64e armv7k 等) |
x86_64 |
i386 |
参考文章
- [1] https://github.com/apple/swift/blob/55e7050ffc35489398246671e4029efcdd527c55/stdlib/public/core/VarArgs.swift#L433
- [2]https://github.com/apple/swift/blob/269d306b9d275aab5bd10f380a999e51901c5832/docs/ABIStabilityManifesto.md
- https://medium.com/swiftify/swift-5-1-module-format-stability-best-time-migrate-objective-c-frameworks-a0434f5352a3
- https://developer.apple.com/videos/play/wwdc2019/416/
- 概率论10 方差与标准差
- MySQL优化原理
- Python深入06 Python的内存管理
- 微信登陆代码
- HTML语义化:HTML5的新标签及IE5.5~9的部分兼容方案
- TCP/IP(八)之总结TCP/IP四层模型
- 在Orchard中使用Image Gallery模块
- CentOS7设置IP地址
- 服务器端Javascript
- ASP连接数据库
- 彻底隐藏你HTML网页的源代码
- java学习:JMM(java memory model)、volatile、synchronized、AtomicXXX理解
- 使用CSS制作文字环绕图片效果(文字内容包含<li>标签)
- ClojureScript魔法堂:搭建开发环境
- JavaScript 教程
- JavaScript 编辑工具
- JavaScript 与HTML
- JavaScript 与Java
- JavaScript 数据结构
- JavaScript 基本数据类型
- JavaScript 特殊数据类型
- JavaScript 运算符
- JavaScript typeof 运算符
- JavaScript 表达式
- JavaScript 类型转换
- JavaScript 基本语法
- JavaScript 注释
- Javascript 基本处理流程
- Javascript 选择结构
- Javascript if 语句
- Javascript if 语句的嵌套
- Javascript switch 语句
- Javascript 循环结构
- Javascript 循环结构实例
- Javascript 跳转语句
- Javascript 控制语句总结
- Javascript 函数介绍
- Javascript 函数的定义
- Javascript 函数调用
- Javascript 几种特殊的函数
- JavaScript 内置函数简介
- Javascript eval() 函数
- Javascript isFinite() 函数
- Javascript isNaN() 函数
- parseInt() 与 parseFloat()
- escape() 与 unescape()
- Javascript 字符串介绍
- Javascript length属性
- javascript 字符串函数
- Javascript 日期对象简介
- Javascript 日期对象用途
- Date 对象属性和方法
- Javascript 数组是什么
- Javascript 创建数组
- Javascript 数组赋值与取值
- Javascript 数组属性和方法
- MySQL MHA部署 Part 6 MHA故障转移测试
- 一步步搭建基于GTID的MySQL复制
- innobackupex命令总结
- 使用sysbench对数据库进行压测 Part2 sysbench语法介绍
- MySQL Galera Cluster全解析 Part 9 监控Galera Cluster
- redis的介绍及安装
- 使用oradebug捕获SQL语句
- MySQL information_schema详解 PROCESSLIST
- MySQL组复制(MGR)全解析 Part 6 监控MySQL组复制
- 代码审计day2
- 使用XtraBackup备份MySQL 8.0 Part 8 xtrabackup 命令总结
- 代码审计day5
- 使用innobackupex对数据库进行部分备份(指定表或数据库)
- 使用Django获取Linux性能数据并存放在redis中
- MySQL组复制(MGR)全解析 Part 5 MGR单主模式部署指南