活久见:表达式树编译执行引发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) 浏览(1216)

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) 浏览(1581)

Powered by emlog 去你妹的备案 sitemap