c# - Jit IntrinsicAttribute 如何影响代码生成？

Question

我在浏览 .NET 源代码时看到了 this attribute .它说，

An attribute that can be attached to JIT Intrinsic methods/properties

并根据MSDN :

Indicates that a modified method is an intrinsic value for which the just-in-time (JIT) compiler can perform special code generation. This class cannot be inherited.

但我很难找到如何。它在什么样的代码上进行特殊的代码生成？

我的主要猜测是它主要使用像 SIMD 这样的处理器指令，像 Java JIT does 这样的东西。 .这是 an example .我很好奇它的加速效果，我想知道 Mono 是否也能做到这一点。

Answer 1

这是特定于 RyuJIT 的，微软目前正在开发的下一代 64 位抖动。仍处于 alpha(又名 CTP)阶段，下一个版本的 .NET 和 Visual Studio 将包含它。目前在 .NET 4.6 预览版中可用。

RyuJIT 的一项新功能是能够生成 SIMD 机器代码，利用 Intel/AMD 处理器中的矢量化指令。使数组上的浮点运算速度提高 8 倍。 [JitIntrisic] 属性是 C# 代码的标记，RyuJIT 具有特殊的内置知识，它将生成机器代码的 SIMD 版本，而不是正常的非矢量化版本。

请记住，这与当前 C 和 C++ 编译器可以生成的代码类型相差一百万英里。 RyuJIT 只能对它知道的受膏类型执行此操作。像 System.Numerics.Vector2。 SIMD 代码具有非常强的对齐要求才能高效，SSE2 指令对齐到 16，AVX 指令对齐到 32。在 .NET 程序中实现这样的对齐需要对 CLR 进行全面检查，它目前只能在 32 位模式下对齐到 4，在 64 位模式下对齐到 8。

长话短说:如何您询问的是抖动。 Mono 一直在修补自己的 SIMD 支持，它似乎已经获得了 stuck 5 years ago . .NET Core 最近刚刚宣布以非常自由的 MIT 许可证开源，我假设(但还不知道事实)这将包括 RyuJIT 的源代码。 github 项目目前正在进行中，还很不完整。

---

更新:这使其成为 .NET 4.6 RTM。 Vector.IsHardwareAccelerated 现在是内部的。只有 System.Numerics.Vector2、Vector3 和 Vector4 类型得到 SIMD 的喜爱。您可以获得 System.Numerics.Vectors 版本 4.1.0.0 from Nuget .它暴露了更多，包括 Vector<T> .