调试时遇到一个Mono运行时异常:
ExecutionEngineException: Attempting to JIT compile method '...' while running with --aot-only.
最后发现原因是使用了泛型接口,导致Mono需要JIT编译,但在iOS平台中,Mono是以Full AOT模式运行的,无法使用JIT引擎,于是引发了这个异常。
Mono的AOT和.NET的Ngen一样,都是通过提前编译来减少JIT的工作,但默认情况下AOT并不编译所有IL代码,而是在优化和JIT之间取得一个平衡。由于iOS平台禁止JIT编译,于是Mono在iOS上需要Full AOT编译和运行。即预先对程序集中的所有IL代码进行AOT编译生成一个本地代码映像,然后在运行时直接加载这个映像而不再使用JIT引擎。目前由于技术或实现上的原因在使用Full AOT时有一些限制,具体可以参考MonoTouch的文档,这里提几条常见的:
- 不支持泛型虚方法,因为对于泛型代码,Mono通过静态分析以确定要实例化的类型并生成代码,但静态分析无法确定运行时实际调用的方法(C++也因此不支持虚模版函数)。
- 不支持对泛型类的P/Invoke。
- 目前不能使用反射中的Property.SetInfo给非空类型赋值。
- 值类型作为Dictionary的Key时会有问题,实际上实现了IEquatable<T>的类型都会有此问题,因为Dictionary的默认构造函数会使用EqualityComparer<TKey>.Default作为比较器,而对于实现了IEquatable<T>的类型,EqualityComparer<TKey>.Default要通过反射来实例化一个实现了IEqualityComparer<TKey>的类(可以参考EqualityComparer<T>的实现)。 解决方案是自己实现一个IEqualityComparer<TKey>,然后使用Dictionary<TKey, TValue>(IEqualityComparer<TKey>)构造器创建Dictionary实例。
- 由于不允许动态生成代码,不允许使用System.Reflection.Emit,不允许动态创建类型。
- 由于不允许使用System.Reflection.Emit,无法使用DLR及基于DLR的任何语言。
- 不要混淆了Reflection.Emit和反射,所有反射的API均可用。
- 原文地址:http://ravenw.com/blog/2011/11/08/limitations-of-mono-with-full-aot/
做 MonoTouch 开发已经有一段时间了, 给我的感觉是 MonoTouch 虽然比较可靠, 但是还是有很多限制, 于是翻译了官方文档的的这一篇 MonoTouch 的限制, 以作备忘。
因为在 iPhone 上运行的 MonoTouch 程序是编译成静态代码的, 所以需要在运行时动态生成代码的功能是不可用的。
以下是与桌面版的 Mono 相比, MonoTouch 的限制:
1. 受限的泛型支持
与传统的 Mono/.Net 不同, 在 iPhone 上运行的代码不是由 JIT 编译器动态编译的, 而是是预编译成静态代码的。 Mono 的 Full AOT 技术在泛型方面有一些限制, 它们是:
1.1 泛型虚函数
不支持泛型虚函数, 因为不能静态确定在不同情况下什么方法会被调用。 (这也是 C++ 不支持虚模板函数(virtual template method)的原因)
1
2
3
4
5
6
|
class
HasGenericVirtualMethod {
public
virtual
void
PrintValues<t>(
params
T[] values) { }
}
var a =
new
HasGenericVirtualMethod();
a.PrintValues(
new
[] {1,2,3,4});</t>
|
1.2 泛型类型中的平台调用
不支持在泛型类型中使用平台调用 (P/Invoke):
1
2
3
4
|
class
GenericType<t> {
[DllImport(
"System"
)]
public
static
extern
int
GetPid();
}</t>
|
1.3 不支持在 Nullable 类型上使用 Property.SetInfo
不支持在 Nullable<T> 类型上使用反射 Property.SetInfo 设置属性的值。
1.4 字典的关键字为值类型
将值类型作为 Dictionary<TKey, TValue> 的 Key 是有问题的, 因为 Dictionary 的默认构造函数将会试图使用 EqualityComparer<TKey>.Default 。 EqualityComparer<TKey>.Default 反过来会通过反射去实例化一个新的实现 IEqualityComparer<TKey> 借口的类型。
对于引用类型来说,这没有什么问题(因为反射+创建新类型的步骤会被跳过), 但是对于值类型来说, 一旦在移动设备商运行, 你的应用将可能会崩溃。 (原文是:This works for reference types (as the reflection+create a new type step is skipped), but for value types it crashes and burns rather quickly once you attempt to use it on the device.)
解决方案: 手工创建一个类型来实现 IEqualityComparer<TKey> 接口, 并提供一个实例传递给字典的构造函数 Dictionary<TKey, TValue>(IEqualitycomparer<TKey>) 。
2. 没有动态代码生成
由于 iPhone 的内核禁止应用程序动态生成代码, 在 iPhone 上 Mono 不支持任何形式的动态代码生成, 包括:
- System.Reflection.Emit 不可用;
- 不支持 System.Runtime.Remoting;
- 不支持创建动态类型(例如 Type.GetType(“MyType`1)), 不过可以创建已知类型(例如: Type.GetType(“System.String”) 可以正常使用);
- 反向回调函数 (Reverse callback) 必须在编译时注册。
2.1 System.Reflection.Emit
缺少 System.Reflection.Emit 意味着任何依赖运行时的生成代码的代码不能工作, 它们包括:
- 动态语言运行时 (Dynamic Language Runtime);
- 构建于动态语言运行时的任何语言;
- 远程调用中的透明代理或者其它任何需要在运行时动态生成代码的东西。
注意: 不要混淆 Reflection.Emit 和 Reflection 。 Reflection.Emit 是关于动态代码生成、对它们进行动态编译,并编译成本地代码。 由于 iPhone 的限制(没有 JIT 编译), 无法支持这些操作。
但是关于反射的API, 包括 Type.GetType(“SomeClass”)、 列举类型方法、属性, 获取特性(Attributes)和值是可以使用的。
2.2 反向回调
在标准的 Mono 中, 可以将 C# 的委托实例传递给非托管代码, 用于替换函数指针。 运行时通常会将函数指针转换, 允许非托管代码回调托管代码。
这个转换的 Mono 中是通过 JIT 编译器实现的。 当使用 iPhone 需要的 AOT 编译器时, 有两个限制:
- 回调函数必须标记为 MonoPInvokeCallbackAttribute;
- 回调函数必须是静态的, 现在还不支持实例函数 (这个限制以后会移除)
3. 没有 Remoting
Remoting 在 MonoTouch 上不可用。
4. 运行时禁用的特性
以下特性在 iPhone 的 Mono 运行时被禁用:
- 分析器 Profiler;
- 发射 Reflection.Emit;
- 发射保存 Reflection.Emit.Save;
- COM 绑定;
- JIT 引擎;
- 元数据验证(因为没有 JIT)
5. .Net API 限制
由于不是所有东西在 iPhone 上都可用, 所以 MonoTouch 只暴露了 .Net 框架的一部分 API , 常见问题中列举了当前支持的程序集。
原文地址: http://www.cnblogs.com/beginor/archive/2011/09/24/2189767.html