的底层实现 ios_iOS汇编教程（七）ARM Exclusive 互斥锁与读写一致性的底层实现原理...

最新推荐文章于 2024-07-09 12:15:37 发布
最新推荐文章于 2024-07-09 12:15:37 发布
阅读量395 收藏
点赞数
文章标签： 的底层实现 ios
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_42372837/article/details/112575855
版权
本文深入探讨了 ARM 指令集中与 Exclusive 相关的指令，如何利用它们实现互斥锁以及保证读写一致性。通过 Load-Exclusive 和 Store-Exclusive 指令，以及 CAS 操作，理解多线程编程中的锁的底层原理。文章还提供了实验代码供读者实践。
摘要由CSDN通过智能技术生成

系列文章

  1. iOS汇编入门教程(一)ARM64汇编基础

  2. iOS汇编入门教程(二)在Xcode工程中嵌入汇编代码

  3. iOS汇编入门教程(三)汇编中的 Section 与数据存取

  4. iOS汇编教程(四)基于 LLDB 动态调试快速分析系统函数的实现

  5. iOS汇编教程(五)Objc Block 的内存布局和汇编表示

  6. iOS汇编教程(六)CPU 指令重排与内存屏障

简介

在多线程编程中，我们常常使用互斥锁来保证全局变量的线程安全，例如 pthread 中的 pthread_mutex，mach 中的 semaphore。他们通过 lock & unlock 或是 up & down 的方式来维护资源的状态，保证只有特定个数的线程能获得特定个数的资源。

那么单单从软件层面能否真正的实现互斥锁呢？答案是否定的，因为无论如何，程序的互斥状态都需要存储在内存中，在多线程操作互斥状态时，是无法保证互斥状态的线程安全的。也就是说，必须通过硬件支持，同时在处理器指令集层面提供原语，才能实现真正的互斥，也就是题目中提到的 Exclusive。

本文将介绍 ARM 指令集中与 Exclusive 相关的指令，通过学习这些指令，你不仅能够理解锁的本质和实现原理，还能掌握在汇编层面保证读写一致性的方法。

基本概念

Acquire and Release

在 上一篇文章 中，我们介绍了用于限制 CPU 乱序执行的内存屏障指令。类似的，Acquire 和 Release 也属于内存屏障，也是为了防止乱序执行带来逻辑错误。

Read-Acquire

Acquire 用于修饰内存读取指令，一条 read-acquire 的读指令会禁止它后面的内存操作指令被提前执行，即后续内存操作指令重排时无法向上越过屏障，下图[1]直观的描述了这一功能：

e0214714bb6985c67cc8bb95ade1a9ee.png

Write-Release

Release 用于修饰内存写指令，一条 write-release 的写指令会禁止它上面的内存操作指令被滞后到写指令完成后才执行，即写指令之前的内存操作指令重排时无法向下越过屏障，下图[2]直观描述了这一功能：

a2d91d11b29b4d8837a55fae41b57d24.png

Exclusive Monitor

工作过程

为了在硬件层面支持读写互斥，就需要判断一个地址是否已被其他处理器或核心修改，在 ARM 处理器中包含了被称为 Exclusive Monitor 的状态机来维护内存的互斥状态，从而保证读写一致性[2]。

状态机的起始状态为 Open，对于某地址的 Load-Exclusive 读操作会将读取的地址标记为 Exclusive 状态；在对同一地址进行 Store-Exclusive 写操作会先检查 Monitor 是否处于 Exclusive 状态，若处于该状态则将内容写入，并将状态置为 Open，如果在写入前发现 Monitor 已经处于 Open 状态，说明有其他处理器或核心已经写入内容，本次写入失败。

1fcdbe23977b262d86c50d802d7012d0.png

简言之，Load-Exclusive 读指令将读取的地址标记为 Exclusive，Store-Exclusive 执行只能写入状态为 Exclusive 的地址，并在成功后将地址重新标记为 Open，通过这种方式即可保证多读单写，即保证了读取效率，又防止了多写带来的一致性问题。

硬件实现

对于多核的体系结构，ARM 将 Exclusive Monitor 分为 Local 和 Global 两种。

013d2ff849bb843f5bcdce7729c09b20.png

Local Monitor

如果内存地址被标记为 Nonshareable，则它的可见性被局限在处理器内，对于这类内存的互斥状态只需要维护在处理其内部的 Local Monitor 中。

Local Monitor 只在处理器内维护了状态，由于不涉及多多处理器的状态共享，不需要对真正的内存进行标记，因此它的硬件既可以通过对内存地址进行标记实现，也可以通过追踪指令的执行实现。这也要求不进行内存共享的代码在使用 Local Monitor 编程时不能以 Local Monitor 会对地址进行检查为前提[2]。

Global Monitor

对于多处理器并发编程，可以通过在被标记为 Shareable 的内存单元中定义一个 mutex 信号量实现，为了保证 mutex 的多读单写，需要借助于所有处理器共享的硬件结构 Global Monitor，他会记录特定处理器对共享内存的 Exclusive 状态，从而保证多处理器并发时的多读单写。

Compare and Swap

Compare and Swap 简称为 CAS，是无锁编程中最常用的方式，它在修改某个共享的值 a 时，首先读取 a 的值，拷贝两份，分别存储为 pre_a 和 new_a，将 new_a 的值进行修改，在将 new_a 写回到内存之前，先检查内存中的 a 是否等于 pre_a，若等于则说明 a 的值未被他人修改，此时可以将 new_a 写入内存，否则说明当前读到的 a 已经不是最新的，写入失败。

显然，通过 CAS 和自旋锁搭配即可实现无锁的互斥写，但是 CAS 中的关键步骤 Compare & Swap 必须具有原子性，否则可能 Compare 时发现值未变化，但在 Compare 和 Swap 的间隙中有他人修改了值，从而导致多写。

Exclusive 指令

上述基本概念中我们介绍了三种概念，分别是 AcquireandRelease, ExclusiveMonitor 和 CompareandSwap，在汇编层面，他们都有特定的指令支持。

LDXR & STXR

LDXR 即 LDR 的 Exclusive 版本，它的用法与 LDR 完全一致，区别在于它含有 Load-Exclusive 语义，即将读取的内存单元状态置为 Exclusive。

STXR 即 STR 的 Exclusive 版本，由于需要是否 Store 成功，他相比于 STR 多了一个 32 位寄存器的参数用于接收执行结果，用法为：

STXR Ws, Xt, [Xn|SP{,#0}]

即尝试将 Xt 写入 [Xn|SP{,#0}]，如果写入成功则将 0 写入 Ws，否则将非 0 写入，它常常和 CBZ 指令搭配，如果写入失败则跳回到 LDXR，重新执行一遍 LDXR & STXR 操作，直至成功。

下面的例子给出了使用 LDXR & STXR 实现原子加一的过程：

; extern int atom_add(int *val);

_atom_add:

mov x9, x0 ; 备份 x0，为了失败时恢复

ldxr w0, [x9] ; 从val所在的内存中读取一个 int，并标记 Exclusive

add w0, w0, #1

stxr w8, w0, [x9] ; 尝试写回 val 位置，写入结果保存在 w8

cbz w8, atom_add_done ; 如果 w8 为 0 说明成功，跳到程序结束

mov x0, x9 ; 恢复备份的 x0，重新执行 atom_add

b _atom_add

atom_add_done:

ret

同样的例子存在于 libkern 提供的 OSAtomicAdd32 函数：

;int32_t OSAtomicAdd32(int32_t __theAmount, volatile int32_t *__theValue);

ldxr w8, [x1]

add w8, w8, w0

stxr w9, w8, [x1]

cbnz w9, _OSAtomicAdd32

mov x0, x8

ret lr

除了 Exclusive 语义外，LDXR & STXR 还有其 Acquire-Release 语义的 LDAXR & STLXR 版本，用于保证执行顺序。对于单纯的 Atomic Add 操作，前者已经足够；如果涉及到类似于 上一篇文章 提到的读写等待操作，则需要通过后者强保证不被乱序执行干扰。

CAS

ARM 提供了多条指令直接完成 Compare and Swap 操作，其中 CAS 是最基础的版本，它的使用方法如下[4]：

CAS Xs, Xt, [Xn|SP{,#0}] ; 64-bit, no memory ordering

尝试将 Xt 与内存中的值进行交换，首先比较 Xs 是否等于内存中的 [Xn|SP{,#0}]，如果相等则将 Xt 写入内存，同时将内存中的值写回到 Xs，因此只要在 CAS 之后判断 Xs 是否等于 Xt 即可知道是否写入成功，如果写入失败则 Xs 的值应为原始值，即 Xs ≠ Xt，如果写入成功则内存中的值已被更新，即 Xs = Xt。

下面的例子采用 CAS 方式同样实现了原子加一操作：

; extern int cas_add(int *val);

_cas_add:

mov x9, x0

ldr w10, [x9]

mov w11, w10 ; w11 is used to check cas status

add w10, w10, #1

cas w11, w10, [x9]

cmp w10, w11 ; if cas succeed, w11 = <new value in memory> = w10

b.ne _cas_add

mov w0, w10

ret

注意：为了在 iOS 系统上编译包含 CAS 指令的内容，需要给 .s 文件添加一个 Compile Flag: -march=armv8.1-a[5]。

同样的，CAS 也有其含有 Acquire-Release 语义的版本，分别是含有 Acquire 语义的 CASA, 含有 Release 语义的 CASL，和同时包含 Acquire-Release 两种语义的 CASAL。

实验代码

大家如果想亲自实践和验证这些指令，可以复用下面给出的实验代码，本文上述代码大部分出自这些代码。

main.m 中的代码，可新建一个 iOS Project 并在 main.m 中添加这些代码：

// main.m

#include

#define N 100

extern int atom_add(int *val);

extern int cas_add(int *val);

int as[10000] = {0};

int flags[10000] = {0};

int counter = 0;

void* pthread_add(void *arg1) {

int idx = *(int *)arg1;

// in this way will break the assert

// as[idx] += 1;

cas_add(as + idx);

__asm__ __volatile__("dmb sy");

atom_add(flags + idx);

return NULL;

}

void* pthread_end(void *arg1) {

int idx = *(int *)arg1;

while (flags[idx] != N);

assert(as[idx] == N);

printf("a = %d\n", as[idx]);

return NULL;

}

void test(int idx) {

printf("begin test %d\n", idx);

int n = N;

pthread_t threads[n + 1];

for (NSInteger i = 0; i < n; i++) {

int *copyIdx = calloc(1, 4);

*copyIdx = idx;

pthread_create(threads + i, NULL, &pthread_add, (void *)copyIdx);

}

for (NSInteger i = 0; i < n; i++) {

pthread_detach(threads[i]);

}

pthread_create(threads + n, NULL, (void *)pthread_end, (void *)(&idx));

pthread_detach(threads[n]);

}

int main(int argc, char * argv[]) {

printf("atom_add at %p\n", atom_add);

int round = 0;

while (true) {

test(round++);

}

// omit codes...

}

两种方式实现原子加一的汇编代码，需要添加Compile Flag: -march=armv8.1-a。

; exclusive.s

.section __TEXT,__text, regular, pure_instructions

.p2align 2

.global _atom_add, _cas_add

_atom_add:

mov x9, x0

ldxr w0, [x9]

add w0, w0, #1

stxr w8, w0, [x9]

cbz w8, atom_add_done

mov x0, x9

b _atom_add

atom_add_done:

ret

_cas_add:

mov x9, x0

ldr w10, [x9]

mov w11, w10 ; w11 is used to check cas status

add w10, w10, #1

cas w11, w10, [x9]

cmp w10, w11 ; if cas succeed, w11 = new value in memory = w10

b.ne _cas_add

mov w0, w10

ret

参考资料

[1]

Preshing on Programming. Acquire and Release Semantics: https://preshing.com/20120913/acquire-and-release-semantics/

[2]

ARM Info Center. Exclusive monitors: http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dht0008a/CJAGCFAF.html

[3]

Stack Overflow. ARM64: LDXR/STXR vs LDAXR/STLXR: https://stackoverflow.com/questions/21535058/arm64-ldxr-stxr-vs-ldaxr-stlxr

[4]

ARM Info Center. CASA, CASAL, CAS, CASL, CASAL, CAS, CASL: http://infocenter.arm.com/help/index.jsp?topic=/com.arm.doc.dht0008a/CJAGCFAF.html

[5]

GCC, the GNU Compiler Collection .AArch64 Options: https://gcc.gnu.org/onlinedocs/gcc-6.1.0/gcc/AArch64-Options.html

ELSON麦香包
关注
iOS汇编精讲（上篇）
Leo的专栏
04-21 6782
前言 日常的应用开发中，主要用的语言是Objective(Swift)，一些特殊场景下，可能还会用到C/C++，JavaScript，Shell，Python等。 那么，一个iOS开发者为什么要了解汇编这么底层的语言呢？ 因为看得懂汇编能够提高的代码调试和逆向能力。 本文是作者学习汇编过程中整理的笔记，分为上下两篇：上篇主要是一些基础准备，下篇介绍Objective C汇编和一些逆...
使用互斥锁实现读写锁
qq_41983709的博客
11-21 1638
下面是我的实现方式，如果不对。请大家指正！ 首先，我百度了一个测试用例： class Test { private : rw_lock rw; pthread_rwlock_t rwlock; static void* shared_task_handler(void* arg) { Test* testptr = static_ca...
iOS汇编入门教程（一）ARM64汇编基础
weixin_33774615的博客
03-16 345
前言 对于应用层开发人员而言，仅仅掌握Objective-C和系统框架即可较好的完成开发，但在涉及到应用加固、逆向分析等内容时仅有应用层开发技能就会显得非常的无力，因此掌握汇编对于突破iOS开发水平的瓶颈十分有效。 一个例子 以反调试为例，我们知道，通过调用ptrace函数可以阻止调试器依附。 ptrace(31, 0, 0, 0) 复制代码这种方式能够被函数hook轻易破解，例如使用facebo...
Arm64 基础指令集介绍
最新发布
想都是问题，做才有答案～～
07-09 777
Arm64 基础指令集介绍
【java多线程】2、JUC
努力充实，远方可期
04-24 1220
前瞻：java多线程、线程池讲解：https://blog.csdn.net/hancoder/article/details/105740288 1、什么是JUC： java.util.concurrent java.util.concurrent.atomic java.util.concurrent.locks 2、atomic、volatile https://www.cnblogs....
自旋锁 - ARM汇编同步机制实例（三）
生活需要深度
02-28 2221
//自选锁 static inline void spin_lock(spinlock_t *lock) { raw_spin_lock(&lock->rlock); } #define raw_spin_lock(lock) _raw_spin_lock(lock) void __lockfunc _raw_spin_lock(raw_spinlock_t *lock) { __raw_spin_lock(lock); } static inline void __r.
内核杂谈——qspinlock的流程理解
m0_37797953的博客
06-25 1149
在高版本内核中，arm64的spinlock加入了MCS锁的实现机制，改为qspinlock 独占 原先的实现方式是arch_spin_lock，使用ldaxr和stxr指令实现锁变量的修改。这两个指令暗含独占监视器的功能。 啰嗦一下独占操作的理解： ldxr和stxr是成对出现的。L = local；G = global 对于一个内存地址，没被任何cpu访问的话是开放的，任何cpu都可以去占有这段地址，只要cpu执行ldxr就会标记此内存已被占有（L）。 关键点在stxr。当一个cpu修改了独
crc.zip_CRC-8 汇编_crc_crc-8
09-24
总的来说，这个压缩包提供了两个关键的CRC算法的汇编实现，这对于理解CRC的工作原理、优化性能以及在资源受限的环境中应用CRC都是非常有价值的。无论是对于学习汇编语言、理解CRC算法，还是在实际项目中集成CRC校验...
XOR.rar_The Exclusive
09-21
This article is about XOR in the sense of an electronic logic gate (e.g. CMOS 4030). For XOR in the purely logical sense, see Exclusive disjunction. For other uses, see XOR (disambiguation).
mysql锁解决并发问题共7页.pdf.zip
10-30
MySQL数据库在处理高并发场景时，经常会遇到数据一致性与并发性能的挑战。为了解决这些问题，MySQL提供了多种锁机制，确保在多用户环境下数据的安全性和完整性。这份名为"mysql锁解决并发问题共7页.pdf"的文档很可能...
ARM7指令集及汇编（经典完整版）.pdf
03-15
ARM7指令集及汇编是微处理器行业的重要基础资料，尤其是对于从事嵌入式系统开发的工程师而言。ARM（Advanced RISC Machines）是一家设计高性能、低成本、低功耗RISC处理器的知名公司，其技术广泛应用于嵌入式控制、...
SylixOS arm64 自旋锁
兔兔里个花兔的博客
04-02 470
SylixOS 下自旋锁结构体，使用union ， SLD_uiLock 和 SLD_usSvcNow, SLDQ_usTicket共用空间 SLD_uiLock 代表了 是否上锁， SLD_usTicket 是当前自己编号，每次加锁后这个值会加1.依次递增。 SLDQ_usSvcNow 代表了目前正在锁的编号。 加入此时有四个加锁 SCL_usTicket 每次加锁都会递增加1。SLD...
基于CAS操作的atomic原子类型
qq_48083892的博客
01-01 499
实战
Linux Kernel中的同步机制的介绍
baron-周贺贺-代码改变世界ctw
02-27 1399
1、信号量 特点： 允许多个进程同时进入临界区，但大多数情况下只允许一个，即技术设置为1，这种又称之为二值信号量（互斥信号量） 信号量适合保护较长的临界区，因为竞争信号量时进程可睡眠，进程切换的代价很高。 (linux/include/linux/semaphore.h) /* Please don't access any members of this structure directly */ struct semaphore { raw_spinlock_t lock; unsigned.
volatile——指令重排的规则和内存屏障插入策略
专注写bug
08-18 932
文章目录前言JMM针对编译器制定的volatile重排序规则以第一规则做案例分析理解当第一个操作是普通读写什么是读？什么是写？关于第一步第二步JMM内存屏障插入策略代码案例分析参考资料 前言 前面博客中，重点说明了volatile的相关特性。 比如：保证共享变量在其他线程中的及时可见性，不能保证原子性。以及包括计算机指令重排的优点和缺点，以及案例说明了指令重排出现的可能性等。 但是，volatile读写和普通读写之间，指令重排的规则又是如何判断的？ 本篇博客将围绕这个技术点做相关说明。 JMM针对编译器制定
ARM V8A体系结构-第六章 A64指令集
u010681589的博客
12-14 3673
概述 现在许多应用程序编程是不需要用到汇编语言写代码的，但是在需要高度优化的情况下，汇编语言就会凸显它的优势。启动代码、设备驱动程序或开发操作系统时都需要用到汇编。最后，在调试C代码时能够阅读汇编代码，特别是理解汇编指令和C语句之间的映射，这是非常有用的。 1、指令助记符 A64汇编语言重载指令助记符，并根据操作数寄存器名称区分不同形式的指令。例如，下面的ADD指令都有不同的编码，但您只需要记住一个助记符，汇编程序会根据操作数自动选择正确的编码。 2、数据处理指令 这些是处理器的基本算术和逻辑运算，对通用
CPU结构、高速缓存、总线锁、缓存锁、缓存一致性协议、StoreBuffer、指令重排序、内存屏障
haoranhaoshi的博客
09-14 2452
CPU结构 任务管理器CPU部分右下中会展示高速缓存（L1、L2、L3）： 总线锁 总线层面解决数据一致性问题。 缓存锁 解决高速缓存中数据一致性问题（简称：缓存一致性问题）。避免多核CPU的线程中，复制的主内存数据不能及时同步。一个CPU内核的高速缓存中的数据更新，会让其他CPU内存的高速缓存中相同数据的缓存失效。然后此CPU内核的高速缓存中的数据同步到主内存，其他CPU内核的高速缓存中相同数据从主内存重新复制。 缓存一致性协议： MSI、MESI、MOSI... MES...
Linux获取ring0权限,Ring0和Ring3权限级
weixin_33967069的博客
04-29 690
本节的内容以知识为主，比较少技巧和经验。读者只需要了解，不需要熟练。如果你熟悉x86架构，请直接跳过这节。现在探讨内核程序和应用程序之间的本质区别。除了能用WDK编写内核程序和阅读一部分Windows的内核代码之外，我们还需要了解它们的本质是什么，它们和我们熟悉的应用程序有什么区别。Intel的x86处理器是通过Ring级别来进行访问控制的，级别共分4层，从Ring0到Ring3(后面简称R0、R...
Exclusive monitor在spinlock中的应用
baron-周贺贺-代码改变世界ctw
10-25 1040
目录1、Exclusive monitor概念2、独占访问在spinlock中的应用 1、Exclusive monitor概念 ARMv6 架构时引入了对内存位置进行独占访问的概念，提供了更灵活的原子内存更新。对应的独占访问的指令是:LDREX 和STREX. 而在armv8架构中，这两个指令变成了LDXR和STXR 独占监视器是一个简单的状态机，具有open和exclusive的两种状态。 为了支持处理器之间的同步，系统必须实现两组监视器，local和global。 Load-Exclusive 操作
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值