.NET Core 3.0 可卸载程序集原理简析

文章转载授权级别：A       预计阅读时间：8分钟      损失发量：不好统计

因为最近在群里被问到如何理解 .NET Core 3.0 可卸载程序集，所以就写了这篇简单的分析。

因为时间实在很少，这篇文章只简单的罗列了相关的代码，请配合官方说明文档理解。

另外，书籍《.NET Core 底层原理》预计 11 月出版，出版社比较拖 :O。

Azulx: 昨晚下班群里问的农神，今早就出来了，这效率。 

链接

可卸载程序集的官方说明文档如下:

  • https://github.com/dotnet/coreclr/blob/release/3.0/Documentation/design-docs/unloadability.md

程序集中的 IL 代码经过 JIT 编译后，会储存原生代码在 LoaderAllocator 管理的 Code Heap 中，LoaderAllocator 的代码地址如下:

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.hpp

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.cpp

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.inl

负责分配原生代码的是 CodeManager ，代码地址如下:

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/codeman.h

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/codeman.cpp

GC 实现代码如下:

  • https://raw.githubusercontent.com/dotnet/coreclr/release/3.0/src/gc/gc.cpp

对象头 (MethodTable) 代码如下:

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/methodtable.h

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/methodtable.inl

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/methodtable.cpp

AssemblyLoadContext 的代码如下:

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/System.Private.CoreLib/shared/System/Runtime/Loader/AssemblyLoadContext.cs  

分析

在 .NET Core 中我们不能新建 AppDomain (尽管有默认的几个 AppDomain)，程序集会通过 AssemblyLoadContext 管理。简单的来说，AssemblyLoadContext 负责管理有依赖关系的一组程序集，例如程序集 A 依赖程序集 B，那么 A 和 B 需要使用同一个 AssemblyLoadContext 加载。每个 AssemblyLoadContext 都会关联不同的 LoaderAllocator，也就是拥有不同的 Code Heap。

.NET Core 3.0 开始允许卸载用户创建的 AssemblyLoadContext ，也就是回收 AssemblyLoadContext 为程序集分配的各种资源，包括 JIT 生成的原生代码，PreCode，类型元数据等，流程大致如下:

  • 用户创建 AssemblyLoadContext (isCollectible = true)

  • 用户使用 AssemblyLoadContext 加载程序集 A

  • 用户使用 AssemblyLoadContext 加载程序集 B

  • 用户创建程序集 A 和 B 中的类型的实例，并执行其中的方法

  • 用户卸载 AssemblyLoadContext

  • .NET Core 等待所有程序集 A 和 B 中的类型的实例都被回收后，释放 AssemblyLoadContext 管理的 LoaderAllocator 分配的资源

可以参考下图理解 (这是经过简化的流程，详细流程可以看前面给出的官方说明文档链接):

640?wx_fmt=png

卸载 AssemblyLoadContext 时，取消对 LoaderAllocator 的关联的代码如下:

https://github.com/dotnet/coreclr/blob/release/3.0/src/binder/clrprivbinderassemblyloadcontext.cpp#L276  

GC 标记对象时，同时标记关联的 LoaderAllocator 的代码如下 (在 gc.cpp 里面):

#define go_through_object_cl(mt,o,size,parm,exp)                            	
{                                                                           	// 如果对象的 MethodTable 是由可回收的 AssemblyLoadContext 加载的	if (header(o)->Collectible())                                           	{                                                                       	// 获取关联的 LoaderAllocator	uint8_t* class_obj = get_class_object (o);                             	uint8_t** parm = &class_obj;                                           	// 标记 LoaderAllocator (根据 exp 的具体逻辑而定)	do {exp} while (false);                                             	}                                                                       	// 如果对象包含引用类型的成员	if (header(o)->ContainsPointers())                                      	{                                                                       	go_through_object_nostart(mt,o,size,parm,exp);                      	}                                                                       	
}
// 调用 MethodTable::GetLoaderAllocatorObjectForGC	
#define get_class_object(i) GCToEEInterface::GetLoaderAllocatorObjectForGC((Object *)i)

LoaderAllocator 被回收以后到释放资源的相关代码 (被回收之前的逻辑参考官方说明文档):

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.cpp#L520

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/appdomain.cpp#L857

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/appdomain.cpp#L817

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/appdomain.hpp#L3086

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/appdomain.cpp#L6240

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/appdomain.cpp#L6283

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.cpp#L88

  • https://github.com/dotnet/coreclr/blob/release/3.0/src/vm/loaderallocator.cpp#L1301  

说明就到此为止了。你可能会奇怪为什么这篇文章没有提到 Assembly 和 DomainAssembly ，这是因为它们在可卸载程序集的实现中并不重要，资源是通过 AssemblyLoadContext 关联的 LoaderAllocator 统一分配和释放的，与其说是可卸载程序集，不如说是可卸载程序集加载上下文 (AssemblyLoadContext)。 

https://github.com/dotnetcore640?wx_fmt=gif

打赏一杯酒，削减三分愁。跟着我们走，脱发包你有。

640?wx_fmt=png

640?wx_fmt=png

组织打赏账户为柠檬的账户，请标注「NCC」，并留下您的名字，以下地址可查看收支明细：https://github.com/dotnetcore/Home/blob/master/Statement-of-Income-and-Expense.md640?wx_fmt=png640?wx_fmt=png
OpenNCC，专注.NET技术的公众号
https://www.dotnetcore.xyz
640?wx_fmt=png
640?wx_fmt=png微信ID：OpenNCC
640?wx_fmt=png长按左侧二维码关注

欢迎打赏组织

给予我们更多的支持

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

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

相关文章

P4331 [BalticOI 2004]Sequence 数字序列（左偏树）

P4331 [BalticOI 2004]Sequence 数字序列（左偏树）

P4331 [BalticOI 2004]Sequence 数字序列 给定一个序列整数a1,a2,a3,…,an−1,ana_1, a_2, a_3, \dots, a_{n - 1}, a_na1​,a2​,a3​,…,an−1​,an​&#xff0c;要找一个整数序列bbb&#xff0c;满足b1<b2<b3<⋯<bn−1<bnb_1 < b_2 < b_3< \dots&…
阅读更多...
.NetCore技术研究-ConfigurationManager在单元测试下的坑

.NetCore技术研究-ConfigurationManager在单元测试下的坑

最近在将原有代码迁移.NET Core, 代码的迁移基本很快&#xff0c;当然也遇到了不少坑&#xff0c;重构了不少&#xff0c;后续逐步总结分享给大家。今天总结分享一下ConfigurationManager遇到的一个问题。先说一下场景&#xff1a;迁移.NET Core后&#xff0c;已有的配置文件&a…
阅读更多...
E 速度即转发（牛客挑战赛48）（树套树）

E 速度即转发（牛客挑战赛48）（树套树）

速度即转发 给定一个长度为nnn的数组aaa&#xff0c;里面元素为a1,a2,a3,…,an−1,ana_1, a_2, a_3, \dots, a_{n - 1}, a_na1​,a2​,a3​,…,an−1​,an​。 有两种操作&#xff1a; 修改apka_p kap​k。给定l,r,kl, r, kl,r,k&#xff0c;设S(x)∑ilrmax(ai−x,0)S(x) …
阅读更多...
volatile实现原理

volatile实现原理

先Mark&#xff0c;后续完成 https://segmentfault.com/a/1190000017255405 http://ifeve.com/volatile/ http://cmsblogs.com/?hmsrtoutiao.io&p2092&utm_mediumtoutiao.io&utm_sourcetoutiao.io https://my.oschina.net/u/2288283/blog/656572 https://blog.…
阅读更多...
分析一次double强转float的翻车原因

分析一次double强转float的翻车原因

人逢喜事精神爽,总算熬到下班撩~~正准备和同事打个招呼回家,被同事拖住问了.?‍♂️: 你们组做的那块代码,把double类型数据成float有问题啊?.?‍♀️: 嗯?不对是正常啊,float精度是没有double高,但float能保存到小数点后好多位,对我们来说完全够用了!?‍♂️: 不是啊,这不…
阅读更多...
L 苍天阻我寻你，此情坚贞如一（西南科技大学2021届新生赛）（线段树）

L 苍天阻我寻你，此情坚贞如一（西南科技大学2021届新生赛）（线段树）

苍天阻我寻你&#xff0c;此情坚贞如一 给定两个长度为nnn的数组a,ba, ba,b&#xff0c;满足−103≤ai,bi≤103-10 ^ 3 \leq a_i, b_i \leq 10 ^ 3−103≤ai​,bi​≤103&#xff0c;每个数字xxx表示向前走xxx步&#xff0c;如果是负数则后退嘛&#xff0c;设小AAA执行aaa数组…
阅读更多...
Java并发常用方法 sleep 和 wait

Java并发常用方法 sleep 和 wait

一&#xff1a;sleep 和 wait sleep()方法&#xff1a; 功能&#xff1a;让当前线程休眠指定时间&#xff0c;休眠时间的准确性依赖于系统时钟和CPU调度机制是Thread类的静态方法可在任何地方调用&#xff0c;需要处理InterruptedException当前线程调用sleep()方法&#xff0…
阅读更多...
.NET Core 3.0之深入源码理解Host(二)

.NET Core 3.0之深入源码理解Host(二)

写在前面停了近一个月的技术博客&#xff0c;随着正式脱离996的魔窟&#xff0c;接下来也正式恢复了。本文从源码角度进一步讨论.NET Core 3.0 中关于Host扩展的一些技术点&#xff0c;主要内容是关于创建Long Run Program的创建与守护。关于Host&#xff0c;我们最容易想到的就…
阅读更多...
Finding Hotels（牛客国庆集训派对Day7 ）（2016ICPC青岛K）（K-D Tree）

Finding Hotels（牛客国庆集训派对Day7 ）（2016ICPC青岛K）（K-D Tree）

Finding Hotels 给定二维平面上nnn个点&#xff0c;每个点描述为x,y,cx, y, cx,y,c&#xff0c;x,yx, yx,y为坐标&#xff0c;ccc为该点的价值&#xff0c; 有mmm个询问&#xff0c;每次询问给x,y,cx, y, cx,y,c&#xff0c;要求&#xff0c;点的价值小于等于ccc的条件下&…
阅读更多...
Java多线程常用方法 wait 和 notify

Java多线程常用方法 wait 和 notify

一&#xff1a;从一道面试题说起 启动两个线程, 一个输出 1,3,5,7…99, 另一个输出 2,4,6,8…100 最后 STDOUT 中按序输出 1,2,3,4,5…100 要求用 Java 的 wait notify 机制来实现 解法&#xff1a; public class Test {private static Object lock new Object();private st…
阅读更多...
dotNET Core实现分布式环境下的流水号唯一

dotNET Core实现分布式环境下的流水号唯一

业务背景在管理系统中&#xff0c;很多功能模块都会涉及到各种类型的编号&#xff0c;例如&#xff1a;流程编号、订单号、合同编号等等。编号各有各自的规则&#xff0c;但通常有一个流水号来确定编号的唯一性&#xff0c;保证流水号的唯一&#xff0c;在不同的环境中实现方式…
阅读更多...
单位根反演小记

单位根反演小记

单位根反演 一个等式&#xff1a;[n∣a]1n∑k0n−1wnak[n \mid a] \frac{1}{n} \sum\limits_{k 0} ^{n - 1}w_n ^{ak}[n∣a]n1​k0∑n−1​wnak​ 证明&#xff1a; wnaw_n ^ awna​是nnn次单位根的aaa次方&#xff0c;所以这里是一个公比为wnaw_n ^ awna​的等比数列&…
阅读更多...
.NET Core3发布Json API

.NET Core3发布Json API

我们给DNC3&#xff08;.NET Core 3&#xff09;上了一个新包&#xff0c;叫做System.Text.Json(点我下载)&#xff0c;支持读写器&#xff0c;DOM&#xff08;文档对象模型&#xff09;&#xff0c;和序列化&#xff0c;在这篇博文里&#xff0c;我会告诉大家为什么要做这个&a…
阅读更多...
Java ThreadLocal

Java ThreadLocal

** 一&#xff1a;ThreadLocal的简要介绍及使用 ** Java中的ThreadLocal类允许我们创建只能被同一个线程读写的变量。因此&#xff0c;如果一段代码含有一个ThreadLocal变量的引用&#xff0c;即使两个线程同时执行这段代码&#xff0c;它们也无法访问到对方的ThreadLocal变…
阅读更多...
P5591 小猪佩奇学数学（单位根反演）

P5591 小猪佩奇学数学（单位根反演）

P5591 小猪佩奇学数学 ∑i0n(in)pi⌊ik⌋⌊ik⌋i−i%kk1k∑i0n(in)pi(i−i%k)1k∑i0n(in)pii−1k∑i0n(in)pi(imodk)\sum_{i 0} ^{n} (_i ^ n) \times p ^ i \times \lfloor \frac{i}{k} \rfloor\\ \lfloor \frac{i}{k} \rfloor \frac{i - i \% k}{k}\\ \frac{1}{k} \sum_{i …
阅读更多...
认证方案之初步认识JWT

认证方案之初步认识JWT

前言&#xff1a;现在越来越多的项目或多或少会用到JWT&#xff0c;为什么会出现使用JWT这样的场景的呢&#xff1f;假设现在有一个APP&#xff0c;后台是分布式系统。APP的首页模块部署在上海机房的服务器上&#xff0c;子页面模块部署在深圳机房的服务器上。此时你从首页登录…
阅读更多...
Java实现生产消费模型的5种方式

Java实现生产消费模型的5种方式

** 前言 ** 生产者和消费者问题是线程模型中的经典问题&#xff1a;生产者和消费者在同一时间段内共用同一个存储空间&#xff0c;生产者往存储空间中添加产品&#xff0c;消费者从存储空间中取走产品&#xff0c;当存储空间为空时&#xff0c;消费者阻塞&#xff0c;当存储…
阅读更多...
C#.NET 一颗璀璨的全能明星

C#.NET 一颗璀璨的全能明星

C# 是微软推出的一种基于.NET框架的、面向对象的高级编程语言&#xff0c;她可以做什么呢&#xff1f;1.桌面开发&#xff0c;WinForm/GUI可视化编程&#xff1a;Windows开发中的葵花宝典&#xff0c;霸主地位至今无出其右&#xff0c;开发效率令人发指&#xff0c;大部分营销软…
阅读更多...
#3328. PYXFIB（单位根反演）

#3328. PYXFIB（单位根反演）

#3328. PYXFIB ∑i0⌊nk⌋CnikFik∑i0nCniFi[i≡0(modk)]i≡0(modk)&#xff0c;单位根反演有1k∑j0k−1wkij1k∑i0nCniFi∑j0k−1wkij\sum_{i 0} ^{\lfloor \frac{n}{k} \rfloor} C_{n} ^{i \times k} \times F_{i \times k}\\ \sum_{i 0} ^{n} C_n ^{i} \times F_i \times …
阅读更多...
Leetcode 86. 分隔链表

Leetcode 86. 分隔链表

给定一个链表和一个特定值 x&#xff0c;对链表进行分隔&#xff0c;使得所有小于 x 的节点都在大于或等于 x 的节点之前。你应当保留两个分区中每个节点的初始相对位置。示例:输入: head 1->4->3->2->5->2, x 3输出: 1->2->2->4->3->5题目分析…
阅读更多...
最新文章

Copyright @ 2022~2023