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

活久见:有些异常是不能被catch(Exception)捕获的,你得把catch参数去掉

作者:V君 发布于:2017-6-14 0:25 Wednesday 分类:折腾手记

TL;DR: 

当你发现本应被捕获的异常却被无视 try-catch 语句时,

你应该试着去掉 catch(Exception ex) 中高亮的部分

写成 try {....} catch{....} 这种写法将不能直接取得异常实例,

你可以将上下文对象值记录下来作为排查线索。


本例:

将 MVC 5.2.3 站点部署到装了 mono 4.2.2 的Debian@树莓派。

首先就遇到一大堆兼容性问题。去掉一系列不兼容的组件。

(ApplicationInsights系列、CodeDom系列

总算能报出些看起来有点线索的异常。

System.Reflection.ReflectionTypeLoadException: The classes in the module cannot be loaded.
  at (wrapper managed-to-native) System.Reflection.Assembly:GetTypes (System.Reflection.Assembly,bool)
  at System.Reflection.Assembly.GetTypes () <0x721db540 + 0x00023> in <filename unknown>:0 
  at Ease.Ioc.IocManager.RegisterInterface (System.Reflection.Assembly[] assemblies, System.Type iface,
System.Func`1 lifetimeManager) <0x721db0c0 + 0x000fb> in <filename unknown>:0 
  at Ease.Ioc.IocManager..ctor () <0x721fb130 + 0x00283> in <filename unknown>:0 
  at Ease.Ioc.IocManager..cctor () <0x721faff8 + 0x00027> in <filename unknown>:0 

这是模仿 ABP 在当前应用域中的所有程序集中寻找实现了指定接口的类,然后加到 IoC 容器。

(哎……谁让 ABP 还不支持 mono 呢。。。)

在对某个程序集调用 GetType 时爆炸了……

于是在其周围加上常规异常处理 try-catch(Exception) 试图找出有问题的程序集。

然而异常依旧引发,就跟没写 try-catch(Exception) 一样……

试着调整方法结构,避免一些在首次访问方法就引发异常的状况 —— 无果……

心一横,去掉 catch 语句的参数,记下当前调用 GetTypes 的程序集。

try
{
types.AddRange(asm.GetTypes().Where(p => false == p.IsAbstract && false == p.IsInterface && iface.IsAssignableFrom(p)));
}
catch
{
throw new Exception("Asm load fail?" + asm);
}

功夫不负有心人 or 瞎猫撞上死耗子? bingo! 抓到你啦!

Asm load fail?System.Web.Helpers, Version=3.0.0.0, Culture=neutral, PublicKeyToken=31bf3856ad364e35

咋办? 没办法哇! 试着把引用干掉看看吧…… 果然就没事儿了!

稍稍去了解一下那玩意儿,发现是一堆辅助类, 反正一时半会也用不上。


于是就这样,用作类似 Hello world 的站点首页就成功呈现出来啦!

 —— 尽管是乱码…… 因为偷懒直接输出 Content 嘛! 接下来可以慢慢折腾啦!

标签: 软件开发 树莓派 C# linux mono 运行时错误

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

解决一蛋痛的WCF-REST配置问题:未找到注册基址方案

作者:V君 发布于:2017-3-14 20:12 Tuesday 分类:挖坑经验

状况:

访问时出现以下错误

找不到具有绑定 WebHttpBinding 的终结点的与方案 http 匹配的基址。注册的基址方案是[]

注意, 注册的基址方案是空的, 和遍地都是的 “注册的基址方案是[http]”不同

 

TL;DR:

在 web.config 配置基址前缀就能解决该问题.

<serviceHostingEnvironment>

    <baseAddressPrefixFilters>

        <add prefix="http://localhost" />

    </baseAddressPrefixFilters>

</serviceHostingEnvironment>

扯扯:

扯你妹不想扯了, 花了好大劲都解决不了. 

结果 ServerAdmin 告诉咱们想起以前的项目遇到类似的情况时,负责人的做法...


so.解决不了配置问题的码农不是好运维? ( ゚∀。)

 

标签: 软件开发 C# ASP.NET MVC WCF REST 运行时错误

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

解决ASP.NET Boilerplate连接MS SQL报Filter name MustHaveTenant not found

作者:V君 发布于:2016-10-23 15:20 Sunday 分类:挖坑经验

TL;DR

重写 OnModelCreating 要调用base实现. 加上调用base实现需要重建数据库.

 

 

听我扯扯:

受够MySQL提供程序的bug之后, 换MS SQL看看会不会好点.

直接在 DbContext 和迁移剔除所有 MySQL 的 Attribute

再去Web.Config把所有My配置去掉.连接字符串改到MS SQL.

 

编译然后生成数据库报错了. 提示 ON DELETE NO ACTION

咕狗到爆栈帖子说是实体关系配置问题. 重写了 OnModelCreating 方法.

 

然后, 尽管数据库生成出来了.

然而运行起来就爆炸鸟:Filter name MustHaveTenant not found....

 

各种问, 各种咕狗. 然后找到了ABP作者的回帖最终完美解决问题, 顺利地跑起来!

接下来看看EF-LINQ提供程序做复杂投影有没有MySQL的问题吧!

标签: 软件开发 C# 数据库 运行时错误

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

应避免的 LINQ to SQL 聚合投影空值错误

作者:V君 发布于:2016-7-15 11:06 Friday 分类:挖坑经验

根本原因: SQL 在进行 SUM 这类聚合查询时如果一条数据也没有, 会得到 NULL.

如果你的投影结果字段用了不可空类型, 将会引发错误: null 无法赋值到不可空类型.

解决方法: 将聚合投影字段转换成可空, 并将聚合结果做空处理, 一般把空转成0.

 

可能出错的写法:

var result = DataBase.Table.Sum(p=>p.Amount);

 

修改以避免错误:

var result = DataBase.Table.Sum(p=>(decimal?)p.Amount)) ?? 0;

标签: 软件开发 C# 数据库 LINQ 运行时错误

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

Powered by emlog 去你妹的备案 sitemap