关于 Natasha

动态构建已经成为了封装者们的家常便饭,从现有的开发趋势来看,普通反射性能之低,会迫使开发者转向EMIT/表达式树等构建方式,但是无论是EMIT还是表达式树,都会依赖于反射的元数据。

Natasha 通过使用 Roslyn技术,已经解决了上述的问题,在保证高效可靠的同时,提供了一条相对完整的动态编译链,以C#语法轻松构建动态代码,学习成本很低,排查以及维护方面有正确友好的异常输出。为此以Roslyn相关模块功能为基础,封装了Natasha, Natasha使用友好的API和层级分明的模板,极大的提升了开发者构建动态代码的体验,让事情变得更简单,人人都可以低成本构建动态代码,人人都可以定制自己喜爱的动态功能。

文章内容未经许可,禁止转载!

Natasha 属于 NCC(.NET Core Community) 成员项目。

项目仓库:https://github.com/dotnetcore/Natasha

一、 2.0预览版本增加了哪些功能

大部分为底层的升级优化,例如:

  • 引擎兼容 Core3.0

    • 优化编译流程,增加编译前语法检测及日志,统一采用流加载方式

    • 在 Vito 的建议下改进了日志目录及命名

    • ALC 同类覆盖编译

    • 支持域的创建、卸载、锁操作

    • 支持共享域与独立域协作

    • 支持独立域的程序集创建、覆盖操作

    • 支持插件及依赖的加载

  • 构建方面的强化,例如:

    • 支持枚举的构建和编译

    • 在 Vito 的建议下增加了多维数组反解器

    • 在 Vito 的建议下增加了锯齿数组反解器

    • 命名反解器支持锯齿和多维数组

二、我们经历了哪些实践

本项目由 Net_win、Vito、myFirstway、白开水组队开发,可在运行时动态生成克隆方法。深度克隆作为基础项目,锻炼了开源工作者的类型辨识技能,趟过了坑为以后的封装之路打下基础。

本项目由 AzulX 和 FUTURE* 开发,可以对运行时实体类、静态类的字段/属性进行动态调用和赋值,目前有两个主要分支,哈希二叉查找算法动态实现以及 FUTURE* 的指针二叉查找算法动态实现,在算法的动态实现上,Natasha 表现出了相当强大的优势。

三、谈一谈‘热更新’

'热更新'是 Core3.0 的亮点特性之一,不少小伙伴在看到译文的时候可能就已经想到了N多场景,历经两代 .NET 的洗礼,‘热更新’现在发展到什么样子了?下面简单谈一谈:

.NET Framework 开荒时期有 AppDomain 域之隔离术,包括有创建、加载程序集、卸载等方法,囊括百家程序集,一刀以斩之。对于前辈们来说谈到 AppDomain 可以口若悬河滔滔不绝,可惜我进入 C# 时间比较晚,对 AppDomain 的印象并不是很深,在应用上也没有什么造诣,仅此泛泛而言。

时间进入了 .NETCore 时代,AppDomain 在升级大潮中受到了致命打击, Create 方法和 Unload 方法经岁月升级后的源码中充斥着 throw 和 throw ,完全丧失了功能,取而代之的是 ALC(AssemblyLoadContext) ,Core3.0 的 ALC 是一个更为完善的操作类,官方为其定义了三大洪荒场景:

1、插件编程

2、动态编译,运行/刷新代码,网站/脚本引擎

3、外部程序集的一次性内省(我个人理解就是类的信息,IsArray ,  IsClass 这种元数据只读属性)

据描述:Roslyn 之前一直用 AppDomain , 每个测试都腰酸背痛相当慢,自从换了 ALC( A blue Ca.) 一口气上5楼不费劲!官方画了大饼:未来 Roslyn 分析器执行编译时也都在ALC里进行,用完就卸载,卸磨就杀驴。

AppDomain 当初被定位在高性能、安全,历史证明这个定位跟 GPS 一样不准,ASP.NET 深受其害,历史车轮碾过了 ASP.NET 迎来了 ASP.NET Core ,在域功能被阉割的期间,ASP.NET Core 转向了相对静态的模型,增加了若干学习成本,详见 dotnet watch 命令。还有 Razor , 它从 .cshtml 编译到 .dll 的环境就是 ALC ,自建了一个名为 Razor-Server 的域环境。

另外还涉及到 LINQPad 和 Prism 框架, 精力有限,谁有兴趣就去研究研究吧。

ALC 的场景和案例可能激起了您的好奇心,下面讲一下 ALC 的应用:

我们可以在程序里创建多个 ALC 实例,但前提是你需要继承并实现它。每一个 ALC 的实例都是一个域(这里我就不叫它上下文了)。程序刚跑起来的时候是在 Defualt 域中的,这个域属于系统域卸不了,又称为共享域,不同域之间是无法访问和引用的不同域中信息的,却共用 Default 域中的信息,这个域至关重要,所以尽量避免向其中加载乱七八糟的程序集。

ALC 的使用需要注意以下几点:

1、子类继承时需指定 ALC 的构造参数,base(isCollectible) , 这个参数可以赋予 ALC 卸载的能力。

2、时刻注意反射信息的引用,只有清除引用,才能保证 ALC 实例被 GC 回收。

3、在针对不同域的编程时可使用 EnterContextualReflection 方法锁住域内上下文,EnterContextualReflection 方法是放在 using 里的,这样你的花括号内就是一个域,并用 CurrentContextualReflectionContext 属性来获取当前操作域。

4、注意 ALC 被线程占用的情况,被占用的对象是无法被回收的,如果你在测试中没有达到预期,除了排除代码问题之外你还需要注意函数是否被内联进入主线程或一个带有阻塞功能的线程,如果你不确定,可以在方法上使用 [MethodImpl(MethodImplOptions.NoInlining)] 阻止代码内联优化,正常情况下优化功能是开启的 。

5、插件加载要注意与插件 dll 同目录的依赖文件,3.0 提供了 AssemblyDependencyResolver 操作类自动解析依赖,建议使用带有.deps.json文件的完整插件。

6、当你的外部文件引用并使用了 Json.net/SqlConnection 等(测试日期9月3日),会造成不可回收的情况,不是你的代码出问题了,而是库本身的问题(待解决,3.1或者5.0)。

对 ALC 封装的一些建议:

1、如果没有非托管代码,尽量不要在析构函数里折腾代码。

2、如果你的域管理代码有些复杂,建议对外给个 IDispose 接口,以便清除对该域的程序集、元数据等信息的引用。

3、肉眼观测内存时,测试代码中尽量不要在 Main 函数里做元数据的相关操作,主线程是 GC 的一个干扰点。

4、若对内存的开销比较敏感,请尽可能分域,并结合弱引用实现创建与销毁。

5、有时显式调用 Unload 方法会报异常,可以在 Dispose 里清除完引用之后再使用,实测你不用 Unload 方法也能回收。

Core3.0 中随 ALC 一起的还有反射的自省信息。

例如:MemberInfo.IsCollectible 、 Assembly.IsCollectible 等元数据,它将告诉你它是否能被回收,当然了这种自省的信息都是只读的。说到只读,.NET 中还存有一条进化路线即 :ReflectionOnlyLoad -> TypeLoader -> MetadataLoadContext (感谢WeiHanLi提供的信息), 只读元数据,相比 ALC 可执行,可调用,MLC ( MetadataLoadContext 在包 System.Reflection.MetadataLoadContext 中) 关注的是元数据只读操作,它并不能执行程序集的内容,仅仅反射出元数据,配套使用的是PathAssemblyResolver.

对于无法卸载的情况,官方建议使用 windbg sos 组件进行调试,新版 sos 将独立出来,各位可以使用以下命令进行安装(建议开源工作者在封装此功能时添加UT测试检测卸载功能,尽可能保证在正常的情况下不需要用户自己去调试)。

$ dotnet tool install -g dotnet-sos --version 3.0.0-preview8.19412.1

$ dotnet-sos install

更多的实践还需要大家去探索。

四、Natasha是如何实现‘热更新’的

  • 关于域的操作您可以
//创建一个域
DomainManagment.Create("MyDomain");
//移除一个域,移除将无法进行DomainManagment的其他任何操作
DomainManagment.Remove("MyDomain");
//判断域是否被卸载(被GC回收)
DomainManagment.IsDeleted("MyDomain");
//获取一个ALC上下文
DomainManagment.Get("MyDomain"); //锁住已存在的域上下文
using(DomainManagment.Lock("MyDomain"))
{
var domain = DomainManagment.CurrentDomain;
//code in 'MyDomain' domain
}
//创建并锁定一个域上下文
using(DomainManagment.CreateAndLock("MyDomain"))
{
var domain = DomainManagment.CurrentDomain;
//code in 'MyDomain' domain
}
  • 关于程序域的插件操作
//向域中注入插件
string dllPath = @"1/2/3.dll";
var domain = DomainManagment.Get/Create("MyDomain");
var assembly = domain.LoadFile(dllPath); //锁域与插件解构操作
string dllPath = @"1/2/3.dll";
using(DomainManagment.CreateAndLock("MyDomain"))
{
var (Assembly,TypeCache) = dllPath;
//Assembly: Assembly
//TypeCache: ConcurrentDictionary<string,Type>
} //将引用从当前域内移除,下次编译将不会带着该程序集的信息
//下面方法三选一均可实现引用移除操作
domain.RemoveDll(dllPath);
domain.RemoveAssembly(assembly);
domain.RemoveType(type);
  • 关于程序集的操作
//从指定域创建一个程序集操作实例
var asm = domain.CreateAssembly("MyAssembly"); //向程序集中添加一段已经写好的类/结构体/接口/枚举
asm.AddScript(@"using xxx; namespace xxx{xxxx}");
asm.AddFile(@"Class1.cs"); //使用Natasha内置的操作类
asm.CreateEnum(name=null);
asm.CreateClass(name=null);
asm.CreateStruct(name=null);
asm.CreateInterface(name=null); //使用Natasha内置的方法操作类
//并不是很推荐使用这两个方法
//建议在一个单独的程序集内编译方法
asm.CreateFastMethod(name=null);
asm.CreateFakeMethod(name=null); //使用程序集进行编译并获得程序集
var assembly = asm.Complier();
asm.GetType(name);
  • 结合域和程序集动态编译,实例
using(DomainManagment.CreateAndLock("MyDomain"))
{
var domain = DomainManagment.CurrentDomain;
var assembly = domain.CreateAssembly("MyAssembly"); //创建一个接口
assembly
.CreateInterface("InterfaceTest")
.Using("System")
.OopAccess(AccessTypes.Public)
.OopBody("string ShowMethod(string str);"); //创建一个类并实现接口
assembly
.CreateClass("TestClass")
.Using("System")
.OopAccess(AccessTypes.Public)
.Inheritance("InterfaceTest")
.Method(method => method
.MemberAccess(AccessTypes.Public)
.Name("ShowMethod")
.Param<string>("str")
.Body("return str+\" World!\";")
.Return<string>()); //编译并获取类型
var result = assembly.Complier();
var type = assembly.GetType("TestClass"); //Operator默认单独创建一个程序集
var @delegate = FastMethodOperator.New
.Using(type)
.MethodBody(@"
TestClass obj = new TestClass();
return obj.ShowMethod(arg);")
.Complie<Func<string, string>>(); @delegate("Hello"); //result = "Hello World!";
domain.Dispose(); //卸磨杀驴
}

文章内容未经许可,禁止转载!

Natasha 属于 NCC(.NET Core Community) 成员项目。

项目仓库:https://github.com/dotnetcore/Natasha

兼容 .NET Core3.0, Natasha 框架实现 隔离域与热编译操作的更多相关文章

  1. Yii2.0高级框架数据库增删改查的一些操作(转)

    yii2.0框架是PHP开发的一个比较高效率的框架,集合了作者的大量心血,下面通过用户为例给大家详解yii2.0高级框架数据库增删改查的一些操作 --------------------------- ...

  2. Yii2.0高级框架数据库增删改查的一些操作

    yii2.0框架是PHP开发的一个比较高效率的框架,集合了作者的大量心血,下面通过用户为例给大家详解yii2.0高级框架数据库增删改查的一些操作 --------------------------- ...

  3. 一个基于Net Core3.0的WPF框架Hello World实例

    目录 一个基于Net Core3.0的WPF框架Hello World实例 1.创建WPF解决方案 1.1 创建Net Core版本的WPF工程 1.2 指定项目名称,路径,解决方案名称 2. 依赖库 ...

  4. .Net Core3.0 WebApi 项目框架搭建 五: 轻量型ORM+异步泛型仓储

    .Net Core3.0 WebApi 项目框架搭建:目录 SqlSugar介绍 SqlSugar是国人开发者开发的一款基于.NET的ORM框架,是可以运行在.NET 4.+ & .NET C ...

  5. .Net Core3.0 WebApi 项目框架搭建:目录

    一.目录 .Net Core3.0 WebApi 项目框架搭建 一:实现简单的Resful Api .Net Core3.0 WebApi 项目框架搭建 二:API 文档神器 Swagger .Net ...

  6. .Net Core3.0 WebApi 项目框架搭建 一:实现简单的Resful Api

    .Net Core3.0 WebApi 项目框架搭建:目录 开发环境 Visual Studio 2019.net core 3.1 创建项目 新建.net core web项目,如果没有安装.net ...

  7. .Net Core3.0 WebApi 项目框架搭建 二:API 文档神器 Swagger

    .Net Core3.0 WebApi 项目框架搭建:目录 为什么使用Swagger 随着互联网技术的发展,现在的网站架构基本都由原来的后端渲染,变成了:前端渲染.后端分离的形态,而且前端技术和后端技 ...

  8. .Net Core3.0 WebApi 项目框架搭建 三:读取appsettings.json

    .Net Core3.0 WebApi 项目框架搭建:目录 appsettings.json 我们在写项目时往往会把一些经常变动的,可能会变动的参数写到配置文件.数据库中等可以存储数据且方便配置的地方 ...

  9. .Net Core3.0 WebApi 项目框架搭建 四:JWT权限验证

    .Net Core3.0 WebApi 项目框架搭建:目录 什么是JWT 根据维基百科定义,JWT(读作 [/dʒɒt/]),即JSON Web Tokens,是一种基于JSON的.用于在网络上声明某 ...

随机推荐

  1. 【DB_MySQL】MySQL日志分析

    MySQL数据库常见的日志有:错误日志(log_error).慢查询日志(slow_query_log).二进制日志(bin_log).通用日志(general_log) 开启慢查询日志并分析 开启慢 ...

  2. 8、RabbitMQ三种Exchange模式(fanout,direct,topic)的性能比较

    RabbitMQ三种Exchange模式(fanout,direct,topic)的性能比较 RabbitMQ中,除了Simple Queue和Work Queue之外的所有生产者提交的消息都由Exc ...

  3. [基础]斯坦福cs231n课程视频笔记(三) 训练神经网络

    目录 training Neural Network Activation function sigmoid ReLU Preprocessing Batch Normalization 权重初始化 ...

  4. 经典的卷积神经网络及其Pytorch代码实现

    1.LeNet LeNet是指LeNet-5,它是第一个成功应用于数字识别的卷积神经网络.在MNIST数据集上,可以达到99.2%的准确率.LeNet-5模型总共有7层,包括两个卷积层,两个池化层,两 ...

  5. Uniform Buffer

    Uniform Buffer 是一个很有用的缓存,可以将大量的需要传递至多个着色器的矩阵.向量数据等存储在uniform buffer中.这是一个公共的缓存,所以当多个着色器需要传递相同的数据时,可以 ...

  6. Access-Control-Allow-Origin 响应一个携带身份信息(Credential)的HTTP请求时,必需指定具体的域,不能用通配符

    https://www.cnblogs.com/raind/p/10771778.html Access-Control-Allow-Origin.HTTP响应头,指定服务器端允许进行跨域资源访问的来 ...

  7. 宏任务和微任务:setTimeout和Promise执行顺序

    先以一道面试题做引子: 写出这段程序的输出内容: setTimeout(function(){ console.log(); },); new Promise(function(a,b){ conso ...

  8. [HNOI2002] Kathy 函数

    数位 DP 套路题,求二进制下区间内回文串个数. 设 dp[][][] 表示到第几位时,是否为回文数,去掉前导零后共几位.之后到边界时判断是否为回文数计入贡献. 一开始不知道答案统计要高精,于是后来就 ...

  9. 关于对STL容器重载运算符的问题

    注意:下文中vector数组指的是每个数组元素都是一个vector的数组 大部分有序STL容器都重载了小于号,且比较方式是对容器中元素进行字典序比较. 此时如果你写\(bool\ operator&l ...

  10. coreml之通过URL加载模型

    在xcode中使用mlmodel模型,之前说的最简单的方法是将模型拖进工程中即可,xcode会自动生成有关模型的前向预测接口,这种方式非常简单,但是更新模型就很不方便. 今天说下另外一种通过URL加载 ...