活久见:表达式树编译执行引发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时,一不小心就内存损坏或者堆栈不平衡……
到此为止啦,收工!
接下来该考虑如何一步到位了,或许可以在一个表达式里面作完所有属性的比较和收集差异。
让代码的逼格显得更高。 乂目
blogger
Google Web Translator
热门日志
随机日志
最新日志
最新评论
- V君
@Quartz:(出现)... - Quartz
怎么不见人了呢... - V君
@Soar:DHCP 协议相... - V君
@Soar:当然是非... - Soar
@V君:谢谢 有空... - Soar
搞一个 1230v3+B85... - V君
@Soar:另外,也可... - V君
@Soar:iscsi服务端... - Soar
难怪这么卡,尤其... - Soar
clone了源码,提示...
分类
存档
- 2024年5月(1)
- 2023年7月(1)
- 2023年5月(1)
- 2022年11月(1)
- 2022年10月(1)
- 2022年9月(1)
- 2022年8月(1)
- 2022年7月(1)
- 2022年6月(1)
- 2022年5月(2)
- 2022年4月(1)
- 2022年3月(1)
- 2022年2月(1)
- 2022年1月(1)
- 2021年12月(1)
- 2021年11月(1)
- 2021年10月(1)
- 2021年9月(1)
- 2021年8月(1)
- 2021年7月(1)
- 2021年6月(1)
- 2021年5月(1)
- 2021年4月(1)
- 2021年3月(1)
- 2021年2月(1)
- 2021年1月(1)
- 2020年12月(1)
- 2020年11月(1)
- 2020年10月(2)
- 2020年9月(1)
- 2020年8月(1)
- 2020年7月(1)
- 2020年6月(1)
- 2020年5月(1)
- 2020年4月(2)
- 2020年3月(3)
- 2020年2月(1)
- 2020年1月(1)
- 2019年12月(1)
- 2019年11月(1)
- 2019年10月(1)
- 2019年9月(1)
- 2019年8月(2)
- 2019年7月(1)
- 2019年6月(1)
- 2019年5月(1)
- 2019年4月(1)
- 2019年3月(1)
- 2019年2月(1)
- 2019年1月(2)
- 2018年12月(2)
- 2018年11月(1)
- 2018年10月(3)
- 2018年9月(4)
- 2018年8月(6)
- 2018年7月(4)
- 2018年6月(1)
- 2018年5月(2)
- 2018年4月(2)
- 2018年3月(3)
- 2018年2月(1)
- 2018年1月(1)
- 2017年12月(1)
- 2017年10月(2)
- 2017年9月(1)
- 2017年8月(2)
- 2017年7月(1)
- 2017年6月(5)
- 2017年5月(2)
- 2017年4月(2)
- 2017年3月(3)
- 2017年2月(2)
- 2017年1月(2)
- 2016年12月(3)
- 2016年11月(2)
- 2016年10月(3)
- 2016年9月(4)
- 2016年8月(2)
- 2016年7月(4)
- 2016年6月(3)
- 2016年5月(1)
- 2016年4月(4)
- 2016年3月(3)
- 2016年2月(1)
- 2016年1月(5)
- 2015年12月(4)
- 2015年11月(5)
- 2015年10月(1)
- 2015年9月(6)
- 2015年8月(4)
- 2015年7月(1)
- 2015年6月(6)
- 2015年5月(3)
- 2015年4月(3)
- 2015年3月(2)
- 2015年2月(1)
- 2015年1月(3)
- 2014年12月(1)
- 2014年11月(1)
- 2014年10月(1)
- 2014年9月(3)
- 2014年8月(1)
- 2014年7月(1)
- 2014年6月(1)
- 2014年5月(3)
- 2014年4月(1)
- 2014年3月(1)
- 2014年2月(2)
- 2014年1月(1)
- 2013年12月(2)
- 2013年11月(2)
- 2013年10月(1)
- 2013年9月(3)
- 2013年8月(14)
- 2013年7月(7)
- 2013年4月(1)
- 2013年3月(4)
- 2013年2月(6)
- 2013年1月(6)
- 2012年12月(8)
- 2012年11月(6)