活久见:表达式树编译执行引发VerificationException—操作可能会破坏运行时稳定性

作者:V君 发布于:2018-2-7 0:04 Wednesday 分类:挖坑经验

TL;DR:

当在使用表达式树编译成员绑定表达式,且存在隐式值类型装箱,

将表达式树编译成的委托执行起来的时候将会引发异常VerificationException

并提示消息“操作可能会破坏运行时稳定性

解决方法为显式装箱之后再绑定,可能是表达式树在编译成IL时没有对其进行必要的校验。

至于是不是性能考虑就不晓得了。从结果上来看,似乎却在运行时(亦或者JIT时)有检查。


听我扯扯:

在项目中需要比较两个同类型对象实例,且将差异收集起来。

于是咱首先就想到:不要一遍遍写繁琐的判断!

而是使用动态行为——堆IL、拼代码动态编译或表达式树编译。

咱选择后者,比起堆IL和拼代码还是表达式树写起来更舒服。


就算使用动态行为,基础的动作还是由简单的逻辑语句组成。

首先要遍历要diff的类的全部属性,然后将两个实例对应的属性值读出来比较,

若值相等则忽略,若值差异则连同属性名和两个差异的值收集起来。


思路想清楚了就开始吧。


定义一个有3个属性的类,分别存放属性名,和两个值,作为差异条目模型。

命名DiffEntry属性名是字符串,另外两个是object。


接着定义一个静态泛型类,静态构造里面构建每个属性的比较表达式树并将它们编译成委托,

公开静态方法Diff,返回DiffEntry的数组,调用编译好的委托。

命名ObjDiffCollector,存在引发装箱异常问题。

在gist描述为修订2,因为最初使用数组存放编译出来的委托,发生异常之后,

为了调查异常引发原因缩小范围,改为字典,键是属性名,值是委托,仅用在调试查看。


将问题缩小到值类型在DiffEntity的构造初始化成员绑定之后,

          .↑字符串类型没有问题

开始一小会儿的懵逼,放狗出去并没有找到什么卵线索。


这段可以忽略

先贴上异常名称,咕狗很贴心地提示了“operation could destabilize the runtime”,

接着出来的只有一个爆栈帖子,提到使用一个第三方数据访问层引发这样的错误。

打住吧,换成中文消息搜一下看看。

和预料的一样然并卵,被一篇转载到成为互联网垃圾程度的文章刷屏。

文章清一色的提到使用redgate的性能测量库所引发。

到这里线索断了。时间也不早,还要赴约,就把问题撂下跑了。

离开电脑面前不久之后,又玩了一次当局者迷play。

在外头晃悠时忽然灵光一现想到可能是隐式装箱导致,最终证实这个想法。


THE MEAT AND POTATOES 圈重点啦

可能堆IL和表达式编译一样,没有经过太完整的代码转换过程,隐式行为需要显式表达。

这时候需要将绑定的表达式加一层,转换成object,也就是显式装箱。

最终得出可用的ObjDiffCollector


回过头来想一想,发现CLR报这个错误也不无道理。

试想一下:一个非引用类型的结构体被装箱的情形,如果再复杂一点如果和原生代码扯上关系。

可能会导致意外的值复制行为,从而影响到整个应用程序的稳定性。

想当年,玩DllImport时,一不小心就内存损坏或者堆栈不平衡……


到此为止啦,收工!


接下来该考虑如何一步到位了,或许可以在一个表达式里面作完所有属性的比较和收集差异。

让代码的逼格显得更高。 乂目

标签: 软件开发 C# 调试技术 JIT LINQ 运行时错误

评论(0) 引用(0) 浏览(1171)

NGen并不能提升代码执行效率

作者:V君 发布于:2015-8-23 21:46 Sunday 分类:折腾手记

TL;DR: 看这里 

实际上NGen.exe仅仅是加快应用程序的启动速度,执行时的性能并不比JITCompiler编译的代码快。主要原因是,编译代码时, NGen无法像JIT编译器那样对最终的执行环境作出许多假设,这会造成NGen.exe产生较差的代码。例如, NGen不能优化一些CPU指令, 对静态字段的访问需要间接的操作而不能直接访问,因为静态字段实际的地址需要在运行时刻才能知道。NGen到处插入代码来调用类的构造函数,因为它不知道代码执行的次序,不知道类的构造函数是否已经被调用。


听我扯扯:

一直用着SevenZipSharp(7z#), 这货相当方便, 然而现在我想设计自己的压缩归档, 

需要选择压缩算法纯粹的对数据块进行压缩, 

然而7z#似乎没有提供这样的接口, 算法的实现又在本地的7z.dll里...

最重要的是不跨平台, linux 没法用.(尽管7z#似乎在出mono版本, 但貌似已经熄火两年...)

 

于是又找到了个纯托管的实现 -- SharpCompress .

嗯嗯 这货很好的实现了各种算法的纯粹压缩流, 

有 LZMA, LZMA2 (仅解压) ,Gzip, Bzip2, Deflate, PPMd .


在我设计的压缩归档里面, 

首先将要压缩的数据挨个调用这些算法的极限压缩, 选择最高压缩比的算法,

以一个字节标识到压缩后数据块前面,

如果所有的算法输出都比原始数据大, 那么直接存储, 数据块前面的标识会注明

 

跑了一遍下来

 

Ppmd:   3,404

Deflate: 2,160

Store:  1,996

Lzma:    393

BZip2:    595

--------------

Total:   8,548

 

发现PPMd算法被使用次数最多, 然而PPMd每次执行都时间几乎都在秒级以上

欲让它执行得快一点. 于是想起JIT这回事,

咕狗搜索 Force JIT 找到 NGen 试着产生 SharpCompress 的 ni.dll

用 procexp 查看确实被加载后, 对压缩调用计时.

然并卵, 速度根本没有提升嘛! 更要命的是解压反而比压缩慢, 这是闹哪样?


接着查 NGen 性能, 这时才明白原来根本就是用错东西了...

打一下自己的脸, 找C或++的实现, 然后做个C++/CLI或者导出函数来pinvoke吧.

(我大mono可是支持pinvoke的哟)


标签: 软件开发 C# JIT

评论(0) 引用(0) 浏览(1538)

Powered by emlog 去你妹的备案 sitemap