Understanding Swift’s value type thread safety - 代码分析(二)
示范代码
`
func testScenarioA2() throws {
var store: Int = 100
DispatchQueue.concurrentPerform(iterations: 1_000_000) { _ in
store.negate()
_ = store
}
}
`
开启线程race诊断后,出现以下错误
Swift access race in closure #1 (Swift.Int) -> () in UnderstandStruct.testScenarioA2() throws -> ()
查看汇编
`
0x100002a30 <+0>: pushq %rbp
0x100002a31 <+1>: movq %rsp, %rbp
0x100002a34 <+4>: subq $0x20, %rsp
0x100002a38 <+8>: movq 0x8(%rbp), %rdi
0x100002a3c <+12>: movq %rsi, -0x10(%rbp)
0x100002a40 <+16>: callq 0x100003bac ; symbol stub for: __tsan_func_entry
0x100002a45 <+21>: xorl %esi, %esi
0x100002a47 <+23>: leaq -0x8(%rbp), %rax
0x100002a4b <+27>: movq %rax, %rdi
0x100002a4e <+30>: movl $0x8, %edx
0x100002a53 <+35>: callq 0x100003c06 ; symbol stub for: memset
0x100002a58 <+40>: xorl %ecx, %ecx
0x100002a5a <+42>: movl %ecx, %esi
0x100002a5c <+44>: movq -0x10(%rbp), %rdx
0x100002a60 <+48>: movq %rdx, -0x8(%rbp)
-> 0x100002a64 <+52>: movq %rdx, %rdi
0x100002a67 <+55>: movl $0x1, %edx
0x100002a6c <+60>: movq %rax, -0x18(%rbp)
0x100002a70 <+64>: callq 0x100003ba6 ; symbol stub for: __tsan_external_write
0x100002a75 <+69>: movq -0x10(%rbp), %rax
0x100002a79 <+73>: movq %rax, %rdi
0x100002a7c <+76>: callq 0x100003bbe ; symbol stub for: __tsan_read8
0x100002a81 <+81>: xorl %ecx, %ecx
0x100002a83 <+83>: movl %ecx, %eax
0x100002a85 <+85>: movq -0x10(%rbp), %rdx
0x100002a89 <+89>: subq (%rdx), %rax
0x100002a8c <+92>: seto %r8b
0x100002a90 <+96>: testb $0x1, %r8b
0x100002a94 <+100>: movq %rax, -0x20(%rbp)
0x100002a98 <+104>: jne 0x100002ac1 ; <+145> [inlined] Swift runtime failure: arithmetic overflow at main.swift:13
0x100002a9a <+106>: movq -0x10(%rbp), %rdi
0x100002a9e <+110>: callq 0x100003bc4 ; symbol stub for: __tsan_write8
0x100002aa3 <+115>: movq -0x10(%rbp), %rax
0x100002aa7 <+119>: movq -0x20(%rbp), %rcx
0x100002aab <+123>: movq %rcx, (%rax)
0x100002aae <+126>: movq %rax, %rdi
0x100002ab1 <+129>: callq 0x100003bbe ; symbol stub for: __tsan_read8
0x100002ab6 <+134>: callq 0x100003bb2 ; symbol stub for: __tsan_func_exit
0x100002abb <+139>: addq $0x20, %rsp
0x100002abf <+143>: popq %rbp
0x100002ac0 <+144>: retq
0x100002ac1 <+145>: ud2
0x100002ac3 <+147>: nopw %cs:(%rax,%rax)
0x100002acd <+157>: nopl (%rax)
`
0x100002aab <+123>: movq %rcx, (%rax)
rax是store的地址,直接将计算结果赋给指向的地址。
结论
- 对于堆中的变量 store,系统会自动生成 begin_access 和 end_access插桩的检测竞争代码,该代码不影响实际逻辑的执行
- 对于store的值的改变,不同线程中都是一条mov指令,所以这里存在的线程竞争不会导致crash
参考
`
bb0(%0 : $Int, %1 : $Int):
debug_value %0 : $Int // id: %2
debug_value_addr %1 : $Int, var, name "store", argno 2 // id: %3
%4 = begin_access [modify] [unknown] %1 : $Int // users: %7, %6
// function_ref SignedNumeric.negate()
%5 = function_ref @$ss13SignedNumericPsE6negateyyF : $@convention(method) <τ_0_0 where τ_0_0 : SignedNumeric> (@inout τ_0_0) -> () // user: %6
%6 = apply %5(%4) : $@convention(method) <τ_0_0 where τ_0_0 : SignedNumeric> (@inout τ_0_0) -> ()
end_access %4 : $Int // id: %7
%8 = begin_access [read] [unknown] %1 : $Int // users: %10, %9
%9 = load [trivial] %8 : $Int
end_access %8 : $*Int // id: %10
%11 = tuple () // user: %12
return %11 : $() // id: %12
}
`
Understanding Swift’s value type thread safety - 代码分析(二)的更多相关文章
- Linux内核启动代码分析二之开发板相关驱动程序加载分析
Linux内核启动代码分析二之开发板相关驱动程序加载分析 1 从linux开始启动的函数start_kernel开始分析,该函数位于linux-2.6.22/init/main.c start_ke ...
- Android4.0图库Gallery2代码分析(二) 数据管理和数据加载
Android4.0图库Gallery2代码分析(二) 数据管理和数据加载 2012-09-07 11:19 8152人阅读 评论(12) 收藏 举报 代码分析android相册优化工作 Androi ...
- SQL注入原理及代码分析(二)
前言 上一篇文章中,对union注入.报错注入.布尔盲注等进行了分析,接下来这篇文章,会对堆叠注入.宽字节注入.cookie注入等进行分析.第一篇文章地址:SQL注入原理及代码分析(一) 如果想要了解 ...
- android4.0 的图库Gallery2代码分析(二)
最近迫于生存压力,不得不给人兼职打工.故在博文中加了个求点击的链接.麻烦有时间的博友们帮我点击一下.没时间的不用勉强啊.不过请放心,我是做技术的,肯定链接没病毒,就是我打工的淘宝店铺.嘻嘻.http: ...
- 信息管理代码分析<二>读取二进制文件数据
first和end做为全局变量,分别指向链表的头和尾.建立链表的方式也比较简易,从二进制文件数据块中,依次从头到尾读取,每读取一个就建立一个结点. /*基本模型*/ EMP *emp1; while( ...
- FLINK流计算拓扑任务代码分析<二>
首先 是 StreamExecutionEnvironment see = StreamExecutionEnvironment.getExecutionEnvironment(); 我们在编写 fl ...
- XSS原理及代码分析
前言 XSS又叫跨站脚本攻击,是一种对网站应用程序的安全漏洞攻击技术.它允许恶意用户将代码注入网页,其他用户在浏览网页时就会受到影响.XSS分为三种:反射型,存储型,和DOM型.下面我会构造有缺陷的代 ...
- Effective Java 70 Document thread safety
Principle The presence of the synchronized modifier in a method declaration is an implementation det ...
- 折返(Reentrancy)VS线程安全(Thread safety)
在Wiki上,折返例如,下面的定义(接) In computing, a computer program or subroutine is called reentrant if it can be ...
- clang的线程安全分析模块 thread safety analysis
介绍 Clang的线程安全分析模块是C++语言的一个扩展,能对代码中潜在的竞争条件进行警告.这种分析是完全静态的(即编译时进行),没有运行时的消耗.当前这个功能还在开发中,但它已经具备了足够的成熟度, ...
随机推荐
- js es6 模板字符
前言 es的模板字符,也就是定义了块的概念. 模板字符的二个条件: 1.必须在``中,这个`不是单引号而是反单引号,是tab的上面一个. 2.在#{}中,这个就有点意思了,里面不像后台的块级,在这里不 ...
- mm系列权重文件瘦身
瘦身脚本: (会在resnet50.pth文件的同级目录下生成一个resnet50_thin.pth) import os import torch root_dir = os.getcwd() de ...
- 有用的JavaScript技巧
首次为变量赋值时务必使用var关键字 变量没有声明而直接赋值得话,默认会作为一个新的全局变量,要尽量避免使用全局变量. 使用===取代== ==和!=操作符会在需要的情况下自动转换数据类型.但===和 ...
- ERP财务管理有哪些功能?如何选择合适的ERP软件开发商定制开发适合自己的ERP财务管理?
企业日常运营中,分工明确.结构清晰的财务管理非常重要,因此在完整的ERP解决方案中,财务管理是不可或缺的部分,甚至财务管理是整个ERP解决方案的核心,其它功能模块都围绕着财务管理构建价值链创造流程,最 ...
- 如何基于Django中的WebSockets和异步视图来实现实时通信功能
本文分享自华为云社区<结合Django中的WebSockets和异步视图实现实时通信功能的完整指南>,作者: 柠檬味拥抱. 在现代Web应用程序中,实时通信已经成为了必不可少的功能之一.无 ...
- sql多表分页查询【oracle】
sql多表查询[oracle] 做个记录,好歹是写出来了,使用左连接的方法,进行四表查询,且使用rownum进行分页 把涉及内容的全部替换了,不过应该都看得懂,就不说了 select * from ( ...
- 力扣580(MySQL)-统计各专业人数(中等)
题目: 一所大学有 2 个数据表,分别是 student 和 department ,这两个表保存着每个专业的学生数据和院系数据. 写一个查询语句,查询 department 表中每个专业的学生人数 ...
- 力扣203(java&python)-移除链表元素(简单)
题目: 给你一个链表的头节点 head 和一个整数 val ,请你删除链表中所有满足 Node.val == val 的节点,并返回 新的头节点 . 示例1: 输入:head = [1,2,6,3,4 ...
- 链栈的实现 C语言/C++
堆栈的链式存储C/C++实现--链栈 与顺序栈相比,链栈的优点在于不存在栈满上溢的问题.链栈通常使用单链表实现,进栈.出栈操作就是在单链表表头的 插入.删除操作.用单链表实现链栈时,使用不带头结点的单 ...
- HarmonyOS NEXT应用开发之MpChart图表实现案例
介绍 MpChart是一个包含各种类型图表的图表库,主要用于业务数据汇总,例如销售数据走势图,股价走势图等场景中使用,方便开发者快速实现图表UI.本示例主要介绍如何使用三方库MpChart实现柱状图U ...