高性能动态编译库Natasha发布1.0版本!

一、 前言


        对于开源贡献者,Emit和表达式树不是陌生的字眼,IL的动态特性为封装工作带来了极大的方便,会Emit的开发者可以说驾驭了大部分的高性能、高动态的编程技巧。纵观ef、dapper、json.net等第三方常用库,哪个能脱离emit而独善其身,也正因如此,幸福了一批批懒癌患者,包括我这个懒癌中晚期患者(这里给各位病友问好),与此同时本人对封装有着莫名其妙的执念,就在两支怪力的驱使下走上了对emit的不归路.


旧版Natasha始于2016年,当时是对Emit进行的封装,中途经有柠檬的提醒完善了UT和兼容性等工作,后由Victor.X.Qu补充了文档,后经ORM实战。


二、Emit非银弹


        经历过重重思考和实践,Emit不是动态的最佳实践,简单的从以下几个角度来讲:


  • 调优:


  • dup : emit中的dup指令优化在是由开发者控制的,在熟悉指令操作的同时又给开发者带来了额外的优化工作。


  • if/while/for :不得不说IL可以透过代码看本质,指令就是这样的,在条件分支上,标签跳转的形式使得逻辑执行灵活多变。这样除了栈的操作之外,还要关注标签的位置和跳转语句的优化,另外还要清晰的记得你的各个分支。


  • 并发字典与算法优化 :这一点是出自我的极端,在对象成员的赋值/加载等操作面前,并发字典像是一场灾难,卖尽气力优化的动态执行,却被某些数据结构所糟蹋。至于算法与动态编译结合起来,应该没几个病友做过,各位如果有兴趣的话可以慢慢体会。



  • 兼容性:


  • 结构体 : 类与结构体在操作指令上有着诸多的不同,开发者不仅仅要熟悉对类的操作指令,还要对结构体做出兼容,诸如ldflda、 ldloca、Constrained等指令,对于开发者来说并不是一件省心的事。


  • 类型转换 : .NET中的类型转换不仅仅有指令级的转换,standard还提供了诸多方法支持不同类型之间的转换,因此你还需要花一些功夫去处理这些。


  • 语法糖 : 一切语法糖在emit面前都要还原,比如可空类型语法糖,对象比较语法糖,类型比较语法糖等等,无疑会大大增加兼容工作的负担(core3.0的可空引用我还没有做测试)。



  • 构建难度:


  • 深度克隆 : 深度克隆是动态编程的一个典型实战,如果各位病友坚持用EMIT挑战的话,可以没病走两步,走两步。


  • 深度构建 :一旦遇到了动态构建动态场景,那么这个复杂度难以想象。


  • 猜错误 : Emit并没有很好的友情提示,没有语法检查,而被程序锻炼成老猎手一定要付出很多代价。



  • 维护升级:


  • 后续开发 :接手emit代码是一件令人纠结的事,当量变引起质变的时候,从兴奋到苦不堪言这种事情并不是没有发生过,尤其是现在.NET开源工作者都比较独立,没有凝聚力和氛围,人的生命以及精力是有限的。


  • 传承  :由上面诸多信息也可见,在新技术的冲击下,在令人不安的环境下,在孤独的夜里,传承也是个问题。




尽管表达式树已经帮我们做了一些工作,但复杂场景和使用习惯仍然封印着开发者的大脑。


三、狙击暴君


        Roslyn到如今已经耳熟能详了,编译被当作成服务对外开放,让不少开发者从中受益,但由于文档不全,实例不充分,从开始一直到2018年期间,对于懒癌开发者来说,基于Roslyn开发都是一件憋手的事情(例如一些必备操作文档,在2019年今年5月份才提上日程)。Natasha使用Roslyn做为编译引擎,不仅仅在动态构建上进行了人性化升级,还在功能上进行了简化。您不仅可以使用Natasha轻松的构建类、结构体、方法、接口、抽象类,还可以轻松的继承类、重载方法、实现接口、抽象类等等,技术较新,仅支持.standard2.0。


        项 目 地 址:https://github.com/dotnetcore/Natasha

        Nuget索引:DotNetCore.Natasha  (正式版1.0.0.0)


(娜塔莎)(原型苏联红军第25步兵师的中尉柳德米拉·帕夫利琴科,一名出色的女狙击手)


使用Natasha你需要关注:


  1. 在您的工程文件里添加这个节点:<PreserveCompilationContext>true</PreserveCompilationContext>


  2. 了解wiki中反解器的概念及使用。    


  3. 注意命名空间,自动补充命名空间目前尚未支持,需要您手动操作,使用using方法添加。


  4. 想尽一切办法拼接字符串,目前符合CSharp7.3或以下C#版本的都行。


  5. 编译模式有区分:StreamComplier内存流编译/FileComplier文件流编译, 文件流编译的内容,可以被动态调用。当你想动态编译类B的时候使用类A,那类A就需要使用文件流编译,相当于dll动态加载到运行时。


  6. 使用Natasha中的Operator来构建你的动态内容。

四、性能


        这几年随着.NET架构引擎的不断升级,dynamic、emit执行性能已经得到了大幅度提升,roslyn也不例外,之前官方给过性能测试截图,上面显示是比emit快一点,个人的基准测试要等下一个benchmark版本,从耗时的角度来说roslyn <= emit (roslyn有指定release模式编译),所以大家根本不用关心性能问题。


五、使用案例


        使用之前需要注意的是,方法操作都是基于内存流编译,类和其他都基于文件流编译。但有特殊情况,比如有些方法需要被复用,这时可以在编译选项中如此操作:

var tempBuilder = FastMethodOperator.New;	
tempBuilder.ComplierOption.UseFileComplie();	//可根据需求选择编译方式	var builder = new ClassBuilder();	builder.ComplierOption.UseFileComplie();	builder.ComplierOption.UseMemoryComplie();


  • 实现抽象类与接口


public abstract class TestAbstract	
{	public int Name;	public int Age;	public abstract int GetAge();	public abstract string GetName();	
}	OopOperator<TestAbstract> abstractBuilder = new OopOperator<TestAbstract>();	
abstractBuilder.ClassName("UTestClass");	
abstractBuilder["GetName"] = "return Name;";	
abstractBuilder["GetAge"] = "return Age;";	
abstractBuilder.Compile();	
TestAbstract test = abstractBuilder.Create("UTestClass");	public interface ITest 	
{	int MethodWidthReturnInt();	string MethodWidthReturnString();	void MethodWidthParamsRefInt(ref int i);	string MethodWidthParamsString(string str);	string MethodWidthParams(int a,string str,int b);	
}	OopOperator<ITest> interfaceBuilder = new OopOperator<ITest>();	
interfaceBuilder.ClassName("UTestClass");	
interfaceBuilder["MethodWidthReturnInt"] = "return 123456;";	
interfaceBuilder["MethodWidthReturnString"] = "return \"test\";";	
interfaceBuilder["MethodWidthParamsRefInt"] = "i+=10;";	
interfaceBuilder["MethodWidthParamsString"] = "return str+\"1\";";	
interfaceBuilder["MethodWidthParams"] = "return a.ToString()+str+b.ToString();";	
interfaceBuilder.Compile();	
ITest test = interfaceBuilder.Create("UTestClass");	



  • 快速编写委托


public delegate string GetterDelegate(int value);	//方法一	
var action = DelegateOperator<GetterDelegate>.Create("value += 101; return value.ToString();");	
//action(1); result: "102"	//方法二	
var action = "value += 101; return value.ToString();".Create<GetterDelegate>();	
//action(1); result: "102"



  • 定制方法


var action = FastMethodOperator.New	.Param<string>("str1")	.Param(typeof(string),"str2")	.MethodBody("return str1+str2;")	.Return<string>()	.Complie<Func<string,string,string>>();	string result = action("Hello ","World!");    	
//result:   "Hello World!"	



  • 伪造方法


//这里只为演示,实际使用请用下面的静态构造,拿到委托后可以直接运行。	public class TestB	
{	public void TestMethod(){}	
}	var action = FakeMethodOperator.New	.UseMethod<TestB>("TestMethod")	.MethodContent($@"Console.WriteLine(""Hello World!"");")	.Complie<Action>();	//The class script :	
//	
//   using System;	
//   public class N20d26dcba7e6451eaf4c4a6f4753e243	
//   {	
//          public void TestMethod()	
//         {	
//               Console.WriteLine("Hello World!");	
//          }	
//   }	var action = FakeMethodOperator.New	.UseMethod<TestB>("TestMethod")	.StaticMethodContent($@"Console.WriteLine(""Hello World!"");")	.Complie<Action>();	//The class script :	
//	
//    using System;	
//    public static class Neae0b5f6b8b94f4b9418ebc68813760b	
//    {	
//         public static void TestMethod()	
//         {	
//              Console.WriteLine("Hello World!");	
//         }	
//    }



  • 自定制一个类


ClassBuilder builder = new ClassBuilder();	
var script = builder	.Namespace("TestNamespace")	.ClassAccess(AccessTypes.Private)	.ClassModifier(Modifiers.Abstract)	.ClassName("TestUt2")	.ClassBody(@"public static void Test(){}")	.PublicStaticField<string>("Name")	.PrivateStaticField<int>("_age")	.Builder().Script;	Assert.Equal(	
@"using System;namespace TestNamespace{private abstract class TestUt2{public static String Name;private static Int32 _age;public static void Test(){}}}"	
, script);	


  • 自编译一个类


string text = @"using System;	
using System.Collections;	
using System.Linq;	
using System.Text;	namespace HelloWorld	
{	public class TestIndex1	{	public string Name;	public int Age{get;set;}	}	public class TestIndex2	{	public string Name;	public int Age{get;set;}	}	public class TestIndex3	{	public string Name;	public int Age{get;set;}	}	
}	namespace HelloWorld{	public struct TestStruct1{}	public struct TestStruct2{}	public class TestIndex4	{	public string Name;	public int Age{get;set;}	}	
}";	//根据脚本创建动态类	
//寻找第二个命名空间中的第一个类	
Type type = RuntimeComplier.GetClassType(text, 1,2);	
Assert.Equal("TestIndex4", type.Name);	//寻找第二个命名空间中的第二个结构体	
type = RuntimeComplier.GetStructType(text, 2, 2);	
Assert.Equal("TestStruct2", type.Name);


六、方便的扩展


  • 使用Natasha的类扩展:


Example:          	typeof(Dictionary<string,List<int>>[]).GetDevelopName();	//result:  "Dictionary<String,List<Int32>>[]"	typeof(Dictionary<string,List<int>>[]).GetAvailableName();	//result:  "Dictionary_String_List_Int32____"	typeof(Dictionary<string,List<int>>).GetAllGenericTypes(); 	//result:  [string,list<>,int]	typeof(Dictionary<string,List<int>>).IsImplementFrom<IDictionary>(); 	//result: true	typeof(Dictionary<string,List<int>>).IsOnceType();         	//result: false	typeof(List<>).With(typeof(int));                          	//result: List<int>


  • 使用Natasha的方法扩展:


Example:  	Using : Natasha.Method; 	public delegate int AddOne(int value);	var action = "return value + 1;".Create<AddOne>();	var result = action(9);	//result : 10	var action = typeof(AddOne).Create("return value + 1;");	var result = action(9);	//result : 10


  • 使用Natasha的克隆扩展: 


Example:	Using : Natasha.Clone;	var instance = new ClassA();	var result = instance.Clone();


  • 使用Natasha的快照扩展:


Example:	Using : Natasha.Snapshot;	var instance = new ClassA();	instance.MakeSnapshot();	// ********	//  do sth	// ********	var result = instance.Compare();

640?wx_fmt=png



七、实战


  • 深度克隆:Natasha中提供了类遍历器,结合多层动态编译,可以支持复杂数据结构的克隆操作。


  • NCaller是Natasha的实战项目,采用动态原生操作+动态优化查找算法,可以对动/静态类初始化以及字段和属性的常规操作,耗时仅为原生的2.5倍以下。


八、调试


        由于核心编译引擎为Roslyn,因此语法检查、词法检查、语义检查等都支持,这样可以很好的为开发者提供错误提示, Natasha为此增加日志模块(NScriptLog), 在编译流程中,捕获编译信息并记录,另需注意的是,Natasha脚本的格式化操作与VS的格式化一样,所以需要开发者在构建脚本的时候就要多多注意换行的问题。Natasha的编译日志共有3个种类:成功日志、错误日志、警告日志。

  

  • 成功日志:

640?wx_fmt=png

  •  错误日志:

640?wx_fmt=png

  •  警告日志:

640?wx_fmt=png



九、寄语


       随着.NETCore的不断升级,Natasha还有很多新的特性在等待开发,希望各位多多支持。https://github.com/night-moon-studio  NMS是一个基于Natasha的开源项目“孵化”组,项目成熟且通过审核之后(或改名)推荐进入NCC,大家可以积极参与。


        Natasha如果说是一个库不如说是一个时机,动态封装已经不是学习成本高、开发效率低的工作了,希望各位能积极参与尝试开源项目,共同打造.NET Core新生态。




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=pngOpenNCC,专注.NET技术的公众号https://www.dotnetcore.xyz640?wx_fmt=png640?wx_fmt=png微信ID:OpenNCC640?wx_fmt=png长按左侧二维码关注


欢迎打赏组织

给予我们更多的支持


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

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

相关文章

Codeforces Round #245 (Div. 1) E. Points and Segments 欧拉回路 + 建模

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 思路&#xff1a; 考虑对于线段&#xff0c;如何建模。 我们考虑先将线段转换成左闭右开的形式&#xff0c;将左右点连起来。 再考虑每个点&#xff0c;将所有离散化后的点拿出来&#xff0c;每个点都有一个…

最大子序和:单调队列维护一个上升序列

最大子序和 输入一个长度为n的整数序列&#xff0c;从中找出一段长度不超过m的连续子序列&#xff0c;使得子序列中所有数的和最大。 注意&#xff1a; 子序列的长度至少是1。 输入格式 第一行输入两个整数n,m。 第二行输入n个数&#xff0c;代表长度为n的整数序列。 同一行…

微软.Net Core 3.0 预览版7发布:大幅减少 SDK 空间大小

据悉&#xff0c;这个预览版是 .Net Core 3 中重要的版本&#xff0c;可以视为原计划在 7 月发布的 RC 版本 (引自微软 .NET Core 首席 Program Manager Richard 先生原话&#xff09;&#xff0c;故可在生产环境进行开发和部署。Windows, macOS 和 Linux 版本的Download .NET …

2016-2017 Central Europe Regional Contest Hangar Hurdles 克鲁斯卡尔重构树 + 建图

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 有一个n∗nn*nn∗n的网格图&#xff0c;有若干位置有障碍&#xff0c;有qqq个询问&#xff0c;每次询问给出两个点坐标x1,y1,x2,y2x1,y1,x2,y2x1,y1,x2,y2,询问把一个正方形箱子从x1,x2x1,x2x1,x2推到y1,y2y…

5门可能衰落的编程语言

专注于为北美地区的科技专业人士提供行业见解和分析&#xff0c;以及提供求职消息的技术职业消息服务网站 Dice Insights 近日发表了一篇题为《5 Programming Languages That Are Probably Doomed》的文章。作者主要根据 TIOBE 和 RedMonk 这两个编程语言排行榜&#xff0c;以及…

POJ3320 Jessica's Reading Problem 尺取法

Jessica’s Reading Problem、 Time Limit: 1000MS Memory Limit: 65536K Total Submissions: 22716 Accepted: 7687 Description Jessica’s a very lovely girl wooed by lots of boys. Recently she has a problem. The final exam is coming, yet she has spent little …

#2686. 「BalticOI 2013」雪地足迹 双端队列01bfs + 模型转换

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个n∗mn*mn∗m的图&#xff0c;如果某个位置字符为RRR代表兔子走过&#xff0c;如果为FFF代表狐狸走过&#xff0c;如果...代表谁都没走过&#xff0c;每只动物必须从左上角进来&#xff0c;右下角出去…

.NET加水印/验证码的NuGet包

.NET加水印/验证码的NuGet包 我的在前两篇文章中&#xff0c;我介绍了使用Direct2D给图片加水印/验证码&#xff0c;今天我将其进行了封装&#xff0c;发布了一个NuGet包Sdcb.Imaging&#xff1a;<PackageReference Include"Sdcb.Imaging" Version"1.1.0&quo…

hdu1686:KMP板子

题目链接 题目大意就是给你两个字符串&#xff0c;求出第一个字符串在第二个字符串中出现的次数。 如果我们暴力匹配的话&#xff0c;复杂度是 len(first) * len(second) 对于题目给的 1e4 * 1e6 显然暴力不可取&#xff0c; 这里就用到 KMP 。 说到 KMP 最难理解的就是 next…

集群故障处理之处理思路以及健康状态检查(三十三)

前言 按照笔者的教程&#xff0c;大家应该都能够比较顺畅的完成k8s集群的部署&#xff0c;不过由于环境、配置以及对Linux、k8s的不了解会导致很多问题、异常和故障&#xff0c;这里笔者分享一些处理技巧和思路&#xff0c;以及部分常见的问题&#xff0c;以供大…

Educational Codeforces Round 32 G. Xor-MST 01tire + 分治 + Boruvka

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn序列aaa&#xff0c;每两个点之间的边权为ai⊕aja_i\oplus a_jai​⊕aj​&#xff0c;问你最小生成树的权值是多少。 n≤2e5,ai<230n\le2e5,a_i< 2^{30}n≤2e5,ai​<230 思路&am…

Trie初步

简单的描述就是一个字典树&#xff0c; 我们用下图来简单描述一下。 上述的字典树代表着 ab abc abk cd ca b 这六个单词&#xff0c;我们不难发现其中标记是红色的代表从一个伪根节点到这是一个完整的单词。不同的单词有重复的部分&#xff0c;例如accepted&#xff0c;accep…

XXI Open Cup. Grand Prix of Korea I. Query On A Tree 17 树剖 + 二分 + 树带权重心

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一棵树&#xff0c;每棵树初始权值都为000&#xff0c;现在给你两个操作&#xff1a; (1)(1)(1)将uuu的子树权值全部加111。 (2)(2)(2)将(u,v)(u,v)(u,v)路径上的点权值都加111。 每次输出一个点xxx,满…

使用Kubeadm创建k8s集群之节点部署(三十二)

前言 由于上次忘开申明原创&#xff0c;特再发一次。本篇部署教程将讲述k8s集群的节点&#xff08;master和工作节点&#xff09;部署&#xff0c;请先按照上一篇教程完成节点的准备。本篇教程中的操作全部使用脚本完成&#xff0c;并且对于某些情况&#xff08;比如镜…

Trie:hdu 4825、1251、1247、Poj 3764

hdu 4825链接 题目意思很简单&#xff0c;就是要求最大异或值的数。 我们可以从二进制的最高位开始选择&#xff0c;不断的排除一些数。我们先假设存在某些数字的二进制数是与当前查找的数不一样的&#xff0c;我们进入这一部分数进行查找&#xff0c;以此重复&#xff0c;不断…

Codeforces Round #675 (Div. 2) F. Boring Queries 区间lcm + 主席树

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一个长度为nnn的序列aaa&#xff0c;qqq个询问&#xff0c;每次询问[l,r][l,r][l,r]内的lcmlcmlcm是多少&#xff0c;对1e971e971e97取模。 n≤1e5,a≤2e5,q≤1e5n\le1e5,a\le2e5,q\le1e5n≤1e5,a≤2e5,…

ASP.NET Core on K8S深入学习(2)部署过程解析与部署Dashboard

上一篇《K8S集群部署》中搭建好了一个最小化的K8S集群&#xff0c;这一篇我们来部署一个ASP.NET Core WebAPI项目来介绍一下整个部署过程的运行机制&#xff0c;然后部署一下Dashboard&#xff0c;完成可视化管理。本篇已加入了《.NET Core on K8S学习实践系列文章索引》&#…

字符Hash初步

兔子与兔子 很久很久以前&#xff0c;森林里住着一群兔子。 有一天&#xff0c;兔子们想要研究自己的 DNA 序列。 我们首先选取一个好长好长的 DNA 序列&#xff08;小兔子是外星生物&#xff0c;DNA 序列可能包含 26 个小写英文字母&#xff09;。 然后我们每次选择两个区间&…

02 | 健康之路 kubernetes(k8s) 实践之路 : 生产可用环境及验证

上一篇《 01 | 健康之路 kubernetes(k8s) 实践之路 : 开篇及概况 》我们介绍了我们的大体情况&#xff0c;也算迈出了第一步。今天我们主要介绍下我们生产可用的集群架设方案。涉及了整体拓补图&#xff0c;和我们采用的硬件配置&#xff0c;目前存在的问题等内容。遵循上一篇提…

NWERC 2018 C. Circuit Board Design 树 + 构造

传送门 文章目录题意&#xff1a;思路&#xff1a;题意&#xff1a; 给你一颗nnn个点的树&#xff0c;让你在二维平面中构造一颗树&#xff0c;保证相邻点的距离正好为111&#xff0c;并且线段不能有相交&#xff0c;坐标绝对值≤3e3\le3e3≤3e3。 n≤1e3n\le1e3n≤1e3 思路&…