关于.NET 有一个鲜有人言及的问题,它和使用动态代码生成有关。简而言之,在 XML 序列化、正则表达式和 XLST 转换中用到的动态代码生成功能会引起内存泄漏。
尽管公共语言运行时(Common Language Runtime,CLR)能卸载整个应用程序域(App Domain),但是它无法卸载个别的 Assemblies。代码生成依赖于创建临时 Assemblies。通常这些 Assemblies 会被加载进主应用程序域中,这也就是说,不到应用程序退出时,它们都无法被卸载。
对于诸如 XML 序列化的库来说,这个问题并不大。通常,一个给定类型的序列化代码都会缓存起来,这样应用程序则被限制在每类型只有一个临时 Assembly。但有些 XMLSerializer 的重载没有使用缓存。假如开发人员使用了它们,又没有提供在一定程度的应用程序级别的缓存,那么随着本质上相同的代码的新实例不断被加载到内存中,内存将会慢慢发生泄漏。如果您希望了解针对 XML 相关的更多内容,请参阅.NET Memory Leak: XmlSerializing your way to a Memory Leak 一文。
对于如用 LISP 写的代码这样常常需要在运行期重写自身的代码来说,潜在的问题要严重得多。这类语言的代码,要么就是完全解释执行,不可能被编译成 IL 代码,要么就被放在独立的 AppDomain 中,时不时就会被清除。不管使用哪种方式,这都是对于为 CLR 开发语言的开发人员发出的一个挑战信号。
评论