GC终结标记 SuspendEE 是怎么回事

news/2024/9/20 14:29:02/文章来源:https://www.cnblogs.com/huangxincheng/p/18371228

一:背景

1. 讲故事

写这篇是起源于训练营里有位朋友提到了一个问题,在 !t -special 输出中有一个 SuspendEE 字样,这个字样在 coreclr 中怎么弄的?输出如下:


0:000> !t -special
ThreadCount:      3
UnstartedThread:  0
BackgroundThread: 2
PendingThread:    0
DeadThread:       0
Hosted Runtime:   noLock  DBG   ID     OSID ThreadOBJ           State GC Mode     GC Alloc Context                  Domain           Count Apt Exception0    1     4ab0 000001CC44E5C490    2a020 Cooperative 0000000000000000:0000000000000000 000001cc44e520d0 -00001 MTA (GC) 11    2     19d8 000001CC44E84700    21220 Preemptive  0000000000000000:0000000000000000 000001cc44e520d0 -00001 Ukn (Finalizer) 12    3     6668 000001CC44ED4520    2b220 Preemptive  0000000000000000:0000000000000000 000001cc44e520d0 -00001 MTA OSID Special thread type0 4ab0 SuspendEE 10 3b6c DbgHelper 11 19d8 Finalizer 

哈哈,其实我特别能理解,很多人学了高级调试之后好奇心会爆棚,看啥都想探究底层,有一种技术上的重生,这篇我们就好好聊一聊。

二:WinDbg 分析

1. SuspendEE 标记是什么

这个单词全称为 Suspend Engine Execution, 即 冻结执行引擎 ,那冻结执行引擎的入口方法在哪里呢?这个考验着你对GC运作骨架图的认识,在 coreclr 源码中有一个骨架图,简化后如下:

GarbageCollectGeneration(){SuspendEE();garbage_collect();RestartEE();}garbage_collect(){generation_to_condemn();gc1();}

上面的 SuspendEE() 即 SOS 中的 SuspendEE 标记的入口函数,接下来我们深入探究下这个方法。

2. SuspendEE 到底做了什么

如果你仔细阅读过 SuspendEE() 方法的源代码,你会发现核心枚举变量是 ThreadType_DynamicSuspendEE,它起到了定乾坤的作用,参考代码如下:


thread_local size_t t_ThreadType;void ThreadSuspend::SuspendEE(SUSPEND_REASON reason)
{// set tls flags for compat with SOSClrFlsSetThreadType(ThreadType_DynamicSuspendEE);
}void ClrFlsSetThreadType(TlsThreadTypeFlag flag)
{t_ThreadType |= flag;gCurrentThreadInfo.m_EETlsData = (void**)&t_ThreadType - TlsIdx_ThreadType;
}enum PredefinedTlsSlots
{TlsIdx_ThreadType = 11 // bit flags to indicate special thread's type
};enum TlsThreadTypeFlag // flag used for thread type in Tls data
{ThreadType_DynamicSuspendEE = 0x00000020,
}

从上面的代码中可以看到 t_ThreadType 是一个 C++ 级的线程本地存储,意味着每一个线程都有其备份,同时它也是 SuspendEE 标记的核心来源,如果 m_EETlsData 的第 11号 槽位为 0x20 的时候, SuspendEE 标记就会被成功打下,并且可以通过 gCurrentThreadInfo.m_EETlsData 变量去跟踪来源,有了这么多信息之后,接下来就可以代码验证了。

三:案例验证

1. 一段测试代码

代码非常简单,就是一个简单的手工 GC触发。

internal class Program{static void Main(string[] args){Debugger.Break();GC.Collect();Console.ReadLine();}}

接下来使用 windbg 在入口的 SuspendEE 方法上下断点 bp coreclr!ThreadSuspend::SuspendEE 观察,截图如下:

一旦将 ThreadType_DynamicSuspendEE=0x20 赋值之后,接下来用 windbg 去做个验证。


0:000> x coreclr!*gCurrentThreadInfo*
000001a1`668ee8c0 coreclr!gCurrentThreadInfo = struct ThreadLocalInfo0:000> dx -id 0,0 -r1 (*((coreclr!ThreadLocalInfo *)0x1a1668ee8c0))
(*((coreclr!ThreadLocalInfo *)0x1a1668ee8c0))                 [Type: ThreadLocalInfo][+0x000] m_pThread        : 0x1a166902e50 [Type: Thread *][+0x008] m_pAppDomain     : 0x1a166948b40 [Type: AppDomain *][+0x010] m_EETlsData      : 0x1a1668ee880 [Type: void * *]0:000> dp 0x1a1668ee880
000001a1`668ee880  00000000`00000000 00000000`00000000
000001a1`668ee890  00000000`00000000 00000000`00000000
000001a1`668ee8a0  00000000`00000000 00000000`00000000
000001a1`668ee8b0  00000000`00000000 00000000`00000000
000001a1`668ee8c0  000001a1`66902e50 000001a1`66948b40
000001a1`668ee8d0  000001a1`668ee880 00000000`00000020

从上面输出可以看到 000001a1668ee8d0+0x8 地址的内容已经被成功种下,相信这时候 !t -special 也能拿到标记了。


0:000> !t -specialLock  DBG   ID     OSID ThreadOBJ           State GC Mode     GC Alloc Context                  Domain           Count Apt Exception0    1     640c 000001A166902E50    2a020 Preemptive  000001A16B0094A8:000001A16B00A5B8 000001a166948b40 -00001 MTA (GC) 11    2     3e50 000001A16692B2D0    21220 Preemptive  0000000000000000:0000000000000000 000001a166948b40 -00001 Ukn (Finalizer) 12    3     6a24 000001A16699F8F0    2b220 Preemptive  0000000000000000:0000000000000000 000001a166948b40 -00001 MTA OSID Special thread type0 640c SuspendEE 10 76b0 DbgHelper 11 3e50 Finalizer 

那这个 0x20 什么时候被拿掉呢? 这个在源码中也能找到相应的答案,继续 go 运行,输出如下:


void ClrFlsClearThreadType(TlsThreadTypeFlag flag)
{t_ThreadType &= ~flag;
}0:012> dp 0x1a1668ee880
000001a1`668ee880  00000000`00000000 00000000`00000000
000001a1`668ee890  00000000`00000000 00000000`00000000
000001a1`668ee8a0  00000000`00000000 00000000`00000000
000001a1`668ee8b0  00000000`00000000 00000000`00000000
000001a1`668ee8c0  000001a1`66902e50 000001a1`66948b40
000001a1`668ee8d0  000001a1`668ee880 00000000`00000000

当然如果你去寻找 sos 的源码实现,也会找到相应的答案。


HRESULT PrintSpecialThreads()
{...if (ThreadType & ThreadType_DynamicSuspendEE){type += "SuspendEE ";}...return Status;
}

四:总结

挖掘这个标记的前世今生回头看其实还是挺有意思的,coreclr 居然新增了 m_EETlsData 字段来给 sos 做妥协,哈哈,这彰显了 sos 一等公民的地位。
图片名称

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/784738.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

怎么一键清理电脑垃圾,清理垃圾的简单快捷的方法有哪些

一键清理电脑垃圾以及清理垃圾的简单快捷方法主要包括以下几种: 一、使用专业的电脑清理软件 优点:这些软件通常具有强大的扫描和清理能力,能够自动识别并删除系统中的垃圾文件、临时文件、无用注册表项等,同时提供一键清理功能,操作简便快捷。 操作步骤: 下载并安装专业…

ByteHouse案例实践:某销售数据平台如何基于OLAP大幅提升复杂查询效率?

ByteHouse是火山引擎推出的一款定位为OLAP的分析型数据库,基于ClickHouse进行架构升级和优化,在复杂查询层面拥有显著优势。更多技术交流、求职机会,欢迎关注字节跳动数据平台微信公众号,回复【1】进入官方交流群 在现如今激烈的市场竞争中,销售数据是企业下一步市场决策…

使用 OpenTelemetry (OTel) 实现 Elastic RUM (真实用户监控)

本文继续介绍 OpenTelemetry 与 Elastic Observability 的结合,详细讲解了如何使用 Docker Compose 或 Kubernetes 设置 OpenTelemetry 演示。 Elastic 真实用户监控(RUM)捕捉用户与网页浏览器的交互,并从性能角度提供有关“真实用户体验”的详细视图。 Elastic 的 RUM Age…

我们是如何测试数百个页面的

自动化测试是确保软件质量和提供良好用户体验的有效方式。在 Woovi,我们拥有数千个页面,用户与我们的第一次接触通常会通过这些展示我们产品的页面。因此,我们需要确保每个页面都能正常运行。每一个访问我们页面的用户都代表着一个新的潜在客户。 测试页面的挑战 Woovi 的页…

MBR30100CT-ASEMI低压降肖特基MBR30100CT

MBR30100CT-ASEMI低压降肖特基MBR30100CT编辑:ll MBR30100CT-ASEMI低压降肖特基MBR30100CT 型号:MBR30100CT 品牌:ASEMI 封装:TO-220 批号:最新 恢复时间:35ns 最大平均正向电流(IF):30A 最大循环峰值反向电压(VRRM):100V 最大正向电压(VF):0.70V~0.90V 工作温度…

浅谈HTML

html是一种标签语言,用来写前端页面的,通常结合CSS和js来写。 主要用于web开发,B/S架构的系统,所谓B/S其实也是一种特殊的C/S,只不过此时浏览器变成了客户端。 B/S架构:B是browser,S是server C/S架构:C是client,S是server **什么是 HTML?** HTML 是用来描述网页的一种语…

小学智慧教育平台(网址:https://basic.smartedu.cn

信息科技教学指南及配套课件,可在国家中小学智慧教育平台免费使用导读:日前,教育部发布关于印发《2024年义务教育国家课程教学用书目录(根据2022年版课程标准修订)》的通知,根据2022年版义务教育课程标准修订的教材将于2024年秋季学期陆续投入使用。注:以下附文件全文及…

建立自己的Github博客网站

建立自己的博客网站来装逼是不错的方式,在没有代码基础的情况下,Github可以提供免费的网站服务,你只需要有一个GitHub账号就可以了(注意GitHub需要用邮箱注册),在注册完成剩下的就按接下的步骤就行了 1 相关工具安装 1.Node环境 Hexo是基于 Node.js 驱动的一款博客框架,所以…

jian-li-blog

建立自己的博客网站来装逼是不错的方式,在没有代码基础的情况下,Github可以提供免费的网站服务,你只需要有一个GitHub账号就可以了(注意GitHub需要用邮箱注册),在注册完成剩下的就按接下的步骤就行了 1 相关工具安装 1.Node环境 Hexo是基于 Node.js 驱动的一款博客框架,所以…

VSCode系列 - 如何用VSCode搭建C++高效开发环境(2)

1. 插件的用法1.1. C/C++1.1.1. 插件介绍 1.1.2. 插件配置1.2. Clang-Format 1.3. cpp-check-lint1.3.1. cpplint 1.3.2. cppcheck 1.3.3. 插件的使用1.4. C/C++ Advanced Lint1.4.1. 插件介绍 1.4.2. 插件配置1.5. Bracket Pair Colorizer1.5.1. 插件介绍 1.5.2. 功能配置1.6.…

求教!!!

有哪位大佬知道这是什么图(箭头),如何以前端的方式实现呢

顶尖企业级项目管理软件评测:哪个适合你?

国内外主流的 10 款企业级项目管理软件对比:PingCode、Worktile、禅道、TAPD、云效、Teamwork、Quickbase、Notion、Jira、Procore。在选择企业级项目管理软件时,许多团队面临着如何找到既能满足他们复杂项目需求又具有成本效益的解决方案的挑战。市场上众多的选项可能让人感…