关于 DLR 调用站点缓存的一些问题

Question

如果我对 DLR 操作解析方法的理解是错误的，请纠正我

DLR 有一个称为调用站点缓存的东西。给定“a+b”（其中 a 和 b 都是整数），第一次它将无法理解 +（加）运算符以及操作数。因此，它将解析操作数，然后解析运算符，并在构建适当的规则后缓存在第 1 级。

下次以后，如果找到类似的匹配（其中操作数是整数类型，运算符是 + 类型），它将查找缓存并返回结果，从此性能将得到增强。

如果我的这种理解是正确的（如果您认为我的基本理解不正确，请纠正），我有以下问题正在寻找答案

    a) What kind of operations happen in level 1 , level 2 
    and level 3 call site caching in general
     ( i mean plus, minus..what kind)

    b) DLR caches those results. Where it stores..i mean the cache location

    c) How it makes the rules.. any algorithm.. if so could you please specify(any link or your own answer)

    d) Sometime back i read somewhere that in level 1 caching , DLR has 10 rules,
 level 2 it has 20 or something(may be) while level 3 has 100. 
If a new operation comes, then I makes a new rule. Are these rules(level 1 , 2 ,3) predefined?

    e) Where these rules are kept?

    f) Instead of passing two integers (a and b in the example), 
        if we pass two strings or one string and one integer, 
       whether it will form a new rule?

谢谢

Answer 1

a）如果我正确理解这一点，目前所有级别的工作方式都是相同的 - 他们运行一个委托来测试对规则重要的参数，然后执行操作或记录失败（通过设置一个值来记录失败在调用站点上或对更新方法进行尾调用）。因此，每条规则的工作原理如下：

   public object Rule(object x, object y) {
       if(x is int && y is int) {
             return (int)x + (int)y;
       }
       CallSiteOps.SetNotMatched(site);
       return null;
    }

并且该方法的委托用于 L0、L1 和 L2 缓存。但这里的行为可能会改变（并且在开发过程中确实改变了很多次）。例如，在某个时间点，L2 缓存是一棵基于参数类型的树。

b) L0 缓存和L1 缓存存储在CallSite 对象上。 L0 缓存是一个单一委托，它始终是第一个运行的东西。最初，这被设置为仅第一次更新站点的委托。其他调用尝试执行调用站点看到的最后一个操作。

L1 缓存包含调用站点看到的最后 10 个操作。如果 L0 缓存失败，将尝试 L1 缓存中的所有委托。

L2 缓存位于 CallSiteBinder 上。 CallSiteBinder 应该在多个调用站点之间共享。例如，通常应该有且只有一个附加项（假设所有附加项都相同），用于该语言的调用站点绑定器。如果是L0和L1，则L2缓存中的所有可用规则都会被搜索。目前L2缓存的上限是128。

c) 规则最终可以通过两种方式产生。一般解决方案是创建一个 DynamicMetaObject，其中包括要执行的操作的表达式树以及确定其是否适用的限制（测试）。这类似于：

public DynamicMetaObject FallbackBinaryOperation(DynamicMetaObject target, DynamicMetaObject arg) {
  return new DynamicMetaObject(
       Expression.Add(Expression.Convert(target, typeof(int)), Expression.Convert(arg, typeof(int))),
       BindingRestrictions.GetTypeRestriction(target, typeof(int)).Merge(
           BindingRestrictions.GetTypeRestriction(arg,  typeof(int))
       )
  );
}

这创建了将两个整数相加的规则。这实际上并不正确，因为如果你得到整数以外的东西，它会无限循环 - 所以通常你会做一堆类型检查，为你可以处理的东西生成加法，然后如果你不能处理则产生一个错误处理添加。

另一种制定规则的方法是直接提供委托。这是更先进的，可以进行一些高级优化，以避免一直编译代码。为此，您需要重写 CallSiteBinder 上的 BindDelegate，检查参数，并提供一个类似于我在上面键入的 Rule 方法的委托。

d) 在 b)

e) 中回答，我相信这与 b) f) 是同一个问题，

如果您对其施加适当的限制，那么是的（您被迫对标准活页夹执行此操作）。因为限制将会失败，因为您没有两个整数，DLR 将探测缓存，当它找不到规则时，它将调用绑定器来生成新规则。该新规则将带有一组新的限制返回，将安装在 L0、L1 和 L2 缓存中，然后将从那时起对字符串执行操作。