如何从汇编指令层面看穿 Thread.start() 本地方法调用对操作系统 CPU 页表切换的硬核开销

秋静酱_6410

秋静酱_6410

2026-05-30

294人浏览

原创

thread.start() 不触发页表切换(cr3不变),因.net线程共享进程地址空间;其汇编开销集中于栈分配、寄存器初始化及系统调用陷入,页表相关开销实为后续调度时的tlb刷新或pcid更新。

如何从汇编指令层面看穿 thread.start() 本地方法调用对操作系统 cpu 页表切换的硬核开销

Thread.Start() 本身不直接触发 CPU 页表切换,它在汇编层面的开销主要落在线程创建和上下文初始化阶段,而非页表操作本身。页表切换(即 CR3 寄存器更新)只发生在真正发生线程调度、且新线程属于不同进程(或不同地址空间)时——而 .NET 的 Thread 默认运行在**同一进程内**,共享同一个虚拟地址空间和页表基址(CR3 值不变)。所以关键要区分清楚:不是 Start() 调用导致页表切换,而是后续 OS 调度决策可能引发 TLB 刷新或 ASID/PCID 相关开销。

Start() 在汇编层的真实动作

调用 Thread.Start() 后,.NET 运行时最终会进入本地代码(如 coreclr 中的 Thread::TryEnsureActive),其汇编行为主要包括:

  • 分配线程私有堆栈内存(通常 1MB,默认保留+提交部分),这会触发动态内存分配及 VAD(Virtual Address Descriptor)插入,但不改 CR3
  • 初始化线程控制块(TCB)、设置初始寄存器上下文(RIP 指向 ThreadStartStub,RSP 指向新栈顶,RCX/RDX 等传参)
  • 调用系统 API 如 CreateThread(Windows)或 clone(2)(Linux),此时才真正陷入内核
  • 内核中完成 TCB 注册、调度队列入队,并标记线程状态为 READY —— 此刻仍未切换页表

页表切换实际发生的条件与时机

页表切换(CR3 更新)仅在以下情况由内核调度器执行:

TTS Free Online免费文本转语音
TTS Free Online免费文本转语音

一款在线免费文本转语音工具,可将输入的文字转换成语音,并提供包括普通话和部分方言在内的多种声音选择。

下载
  • 当前线程与待调度线程属于**不同进程**(即拥有不同 mm_struct / EPROCESS),此时必须加载目标进程的页目录基址
  • 在同一进程内跨逻辑核心迁移线程时,若启用 PCID(Process Context ID)或 ASID(ARM),则无需 CR3 写入,但需 TLB shootdown + PCID 绑定更新
  • .NET 中绝大多数 Thread 都是托管线程,共属一个 process,因此 Start() 后首次被调度时,CR3 不变,只刷新 TLB 条目(如 invlpg 或完整 TLB flush)

可观测的硬核开销点(非 CR3 切换,但密切相关)

真正构成“硬开销”的环节往往藏在 Start() 后的第一次上下文切换中:

  • TLB miss 爆发:新线程首次访问内存时,其工作集尚未载入本核 TLB,引发多次 miss + walk page table(多级页表遍历,最多 4–5 次内存访问)
  • PCID/ASID 切换延迟:即使 CR3 不变,内核仍需在 schedule() 中写入 MSR_IA32_PCID(x86-64)或 tcr_el1.ASID(ARM64),该 MSR 写操作本身有微秒级延迟
  • 栈指针切换与缓存预热:新栈位于不同 cache line 或 NUMA node,首次 push/pop 触发 cold cache miss,尤其影响 JIT 编译后方法入口的指令预取
  • 内核栈切换开销:每次从用户态陷入内核(如 clone 返回、或首次 syscalls),需保存/恢复完整的寄存器上下文 + 切换到内核栈,这部分在汇编中清晰可见(如 x86_64 的 swapgs + movq %rsp, percpu_kernel_sp)

如何验证这些开销?

可在 Linux 下配合 perf 工具抓取真实行为:

  • perf record -e 'syscalls:sys_enter_clone,syscalls:sys_exit_clone,mem-loads,dtlb_load_misses.miss_causes_a_walk' -- ./your-dotnet-app
  • 反汇编 coreclr 的 Thread::StartThread 查看 call qword ptr [CreateThread@GOT] 前后的寄存器准备逻辑
  • 用 objdump -d /proc//maps 找到线程栈地址,再用 pahole -C task_struct 查看内核中 thread_struct.cr3 字段是否被修改(同进程下应恒定)

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

操作系统

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

8957

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

6162

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

5532

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

984

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

828

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1176

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2369

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

19691

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1075

8

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Valgrind支持平台说明
Valgrind支持平台说明

共0课时 | 0人学习

ubuntu官方总文档
ubuntu官方总文档

共0课时 | 0人学习

PostgreSQL 教程
PostgreSQL 教程

共48课时 | 20.1万人学习