.NET静态代码织入——肉夹馍(Rougamo)发布3.0

肉夹馍(https://github.com/inversionhourglass/Rougamo)通过静态代码织入方式实现AOP的组件,其主要特点是在编译时完成AOP代码织入,相比动态代理可以减少应用启动的初始化时间让服务更快可用,同时还能对静态方法进行AOP操作。

正文

虽又是一个大版本,但本次大版本没有重大的功能上线,主要是修改了代码织入方式,这样的改动牵扯到一些现有功能。

代码织入方式变化

在3.0之前的版本中采用的是代码内嵌的方式进行织入,下面用简化代码进行演示:

csharp 复制代码
// 原始方法
public void M()
{
    Console.WriteLine(1);
    Console.WriteLine(2);
    Console.WriteLine(3);
}

// 3.0版本之前织入代码后
public void M()
{
    var context = new MethodContext(...);
    var mo = new AbcAttribute();
    mo.OnEntry(context);
    try
    {
        Console.WriteLine(1);
        Console.WriteLine(2);
        Console.WriteLine(3);
        mo.OnSuccess(context);
    }
    catch (Exception e)
    {
        context.Exception = e;
        mo.OnException(context);
        throw;
    }
    finally
    {
        mo.OnExit(context);
    }
}

在3.0版本中采用的是代理调用的方式进行代码织入,将原方法拷贝为一个新方法$Rougamo_M,然后修改原方法进行代码织入后调用$Rougamo_M,简化代码如下:

csharp 复制代码
// 将原方法M拷贝为$Rougamo_M
public void $Rougamo_M()
{
    Console.WriteLine(1);
    Console.WriteLine(2);
    Console.WriteLine(3);
}

// 修改原方法进行代码织入并调用拷贝后的原方法
public void M()
{
    var context = new MethodContext(...);
    var mo = new AbcAttribute();
    mo.OnEntry(context);
    try
    {
        $Rougamo_M();
        mo.OnSuccess(context);
    }
    catch (Exception e)
    {
        context.Exception = e;
        mo.OnException(context);
        throw;
    }
    finally
    {
        mo.OnExit(context);
    }
}

不同织入方法带来的影响

ExMoAttribute的弃用

早在1.2版本中新增了ExMoAttribute,可能很多朋友对此都并不了解,ExMoAttribute主要用来屏蔽使用和不使用async/await语法所带来的差异,因为使用async/await语法后,在编译时会生成对应的状态机类型,那么肉夹馍就会对应修改状态机代码进行织入,而不使用async/await语法的方法就只能对原方法进行代码织入,下面用代码简单演示其中的差异:

csharp 复制代码
public async Task Delay()
{
    Console.WriteLine(1);
    await Task.Delay(2000);
    Console.WriteLine(2);
}

// 使用async/await语法调用Delay
public async Task WithSyntax()
{
    var context = new MethodContext(...);
    var mo = new AbcAttribute();
    mo.OnEntry(context);
    try
    {
        await Delay();

        mo.OnSuccess(context);
    }
    catch (Exception e)
    {
        context.Exception = e;
        mo.OnException(context);
        throw;
    }
    finally
    {
        mo.OnExit(context);
    }
}

// 不使用async/await语法调用Delay
public Task WithoutSyntax()
{
    var context = new MethodContext(...);
    var mo = new AbcAttribute();
    mo.OnEntry(context);
    try
    {
        var task = Delay();

        mo.OnSuccess(context);

        return task;
    }
    catch (Exception e)
    {
        context.Exception = e;
        mo.OnException(context);
        throw;
    }
    finally
    {
        mo.OnExit(context);
    }
}

在上面的代码示例中,没有使用async/await的WithoutSyntax方法会在Delay还没有执行完毕之前就执行OnSuccessOnExit方法。

ExMoAttribute针对没有使用async/await语法的方法通过在OnSuccess方法中使用ContinueWith达到在异步方法实际执行完毕后执行OnExit系列方法。ExMoAttribute虽然能够解决语法差异带来的问题,但也增加了一定的复杂性,同时因为其可能鲜为人知,所以在使用时因语法差异带来的问题可能后知后觉。

在3.0版本中由于使用代理调用的方式,被代理方法是否使用async/await语法是被屏蔽的,代理方只需要知道你的返回值是Task即可,所以在3.0版本中MoAttribute即可应对是否使用async/await语法的两种情况,ExMoAttribute在3.0版本中标记为Obsolete并将在4.0版本中直接删除。下面用代码简单说明3.0对于是否使用async/await语法的统一处理方式:

csharp 复制代码
// 拷贝WithSyntax原方法为$Rougamo_WithSyntax
public async Task $Rougamo_WithSyntax()
{
    await Delay();
}

// 拷贝WithoutSyntax原方法为$Rougamo_WithoutSyntax
public Task $Rougamo_WithoutSyntax()
{
    return Delay();
}

public async Task WithSyntax()
{
    // ...代码织入
    try
    {
        await $Rougamo_WithSyntax();
    }
    catch
    {
        // ...代码织入
    }
}

public async Task WithoutSyntax()
{
    // ...代码织入
    try
    {
        await $Rougamo_WithoutSyntax();
    }
    catch
    {
        // ...代码织入
    }
}

async void 弱支持

如果说前面介绍的是织入方式改变带来的优势,那么这里介绍的就是劣势了。async void方法是一种特殊的异步方法,同样会生成对应的状态机类型,但调用该方法无法进行await操作,也就无法等待该方法实际执行完毕。在3.0版本之前,由于采取的是内嵌代码织入,直接修改状态机代码完成织入,所以OnExit系列方法可以在正确的时间点执行,而在3.0版本后由于采用了代理调用的方式,所以在执行OnExit系列方法时无法确保方法实际已经执行完毕。

关于async void的织入方式目前还在思考中,考虑到winform和wpf中可能存在不少的async void写法,代理调用的织入方式可能就无法满足目前的使用要求了,所以我将在github中发布一个issue进行投票统计,请日常开发涉及到async void的朋友移步到github( https://github.com/inversionhourglass/Rougamo/issues/68 )中进行投票,投票将在4.0版本开发末期截止。

支持步入调试

在3.0版本之前,应用了肉夹馍完成织入的方法在开发时无法进行步入调试,这是因为之前的版本没有对调试信息做对应的修改,没有去做这一功能也是因为比较复杂懒得整。在3.0修改代码织入方式后,修改对应的调试信息相对要简单许多,因此3.0版本支持步入调试

仅ref/out支持刷新参数

在2.1版本中新增刷新参数功能,支持在OnSuccess / OnException / OnExit中通过MethodContext.Arguments获取最新的参数值,但在3.0版本之后,由于织入代码方式的改变,此功能仅支持refout参数。

csharp 复制代码
public void M(int x, out decimal y, ref string z)
{
    // ...
}

// 3.0 版本之前的织入方式
public void M(int x, out decimal y, ref string z)
{
    try
    {
        // ...
        // 由于是内嵌织入,在这里可以直接获取到所有最新的参数值,所以参数x也可以更新
        context.Arguments[0] = x;
        context.Arguments[1] = y;
        context.Arguments[2] = z;
        mo.OnSuccess(context);
    }
    catch (Exception e)
    {
        // ...
        // 由于是内嵌织入,在这里可以直接获取到所有最新的参数值,所以参数x也可以更新
        context.Arguments[0] = x;
        context.Arguments[1] = y;
        context.Arguments[2] = z;
        mo.OnException(context);
        throw;
    }
}

// 3.0 版本的织入方式
public void M(int x, out decimal y, ref string z)
{
    try
    {
        $Rougamo_M(x, out y, ref z);
        // 由于是代理调用织入,参数x在$Rougamo_M中被重新赋值后无法在外部获取,所以仅更新参数y和z
        context.Arguments[1] = y;
        context.Arguments[2] = z;
        mo.OnSuccess(context);
    }
    catch (Exception e)
    {
        // ...
    }
}

构造方法织入方式不变

由于构造方法较为特殊,readonly字段仅可在构造方法中初始化,所以无法使用代理调用的织入方式,这也表示使用肉夹馍代码织入的构造方法无法支持步入调试。

织入方式切换

新的编织方式涉及众多代码,代码织入部分的代码近乎重写,虽然做了大量的测试,但为了保证稳定性提供了降级配置,修改项目中FodyWeavers.xml文件中Rougamo节点配置,通过设置proxy-calling="false",将织入方式改回3.0版本之前的内嵌织入方式。需要注意的是,该配置仅为过渡配置,将在4.0版本中移出并最终仅保留代理织入的方式,如果代理织入的方式存在任何问题,请及时反馈。

xml 复制代码
<Weavers xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="FodyWeavers.xsd">
  <Rougamo proxy-calling="false" />
</Weavers>

其他更新

以下列出3.0版本相关的所有issue,有兴趣的可以直接移步github查看issue中的回复

  • #36 应用Rougamo的方法支持步入调试
  • #54 解决snupkg报checksum错误的问题,需直接依赖Fody,详见issue回复
  • #60 支持自定义AsyncMethodBuilder
  • #63 支持泛型Attribute
  • #65 修复特定Type类型无法作为MoAttribute构造方法参数
相关推荐
霍先生的虚拟宇宙网络35 分钟前
.net 支持跨平台(桌面)系列技术汇总
.net
djk88881 小时前
.net的winfrom程序 窗体透明&打开窗体时出现在屏幕右上角
.net
九鼎科技-Leo10 小时前
什么是 WPF 中的依赖属性?有什么作用?
windows·c#·.net·wpf
dot.Net安全矩阵15 小时前
.NET 通过模块和驱动收集本地EDR的工具
windows·安全·web安全·.net·交互
zls36536515 小时前
.NET开源实时应用监控系统:WatchDog
.net
djk888815 小时前
.net将List<实体1>的数据转到List<实体2>
数据结构·list·.net
Crazy Struggle21 小时前
功能齐全的 WPF 自定义控件资源库(收藏版)
.net·wpf·ui控件库
时光追逐者1 天前
.NET 9 中 LINQ 新增功能实操
开发语言·开源·c#·.net·.netcore·linq·微软技术
zls3653651 天前
.NET高效下载word文件
开发语言·c#·word·.net
八荒我为王1 天前
c#编码技巧(十九):各种集合特点汇总
c#·.net