F＃编译器保持死对象存活

Question

我正在实现一些适用于大数据（〜250 MB - 1 GB）的算法。为此，我需要一个循环来做一些基准测试。然而，在这个过程中，我了解到F＃正在做一些令人讨厌的事情，我希望你们中的一些人能够澄清。

这里是我的代码（问题的描述如下）：

open System 

for i = 1 to 10 do 
    Array2D.zeroCreate 10000 10000 |> ignore  
    printfn "%d" (GC.GetTotalMemory(true)) 

Array2D.zeroCreate 10000 10000 |> ignore 
// should force a garbage collection, and GC.Collect() doesn't help either 
printfn "%d" (GC.GetTotalMemory(true)) 
Array2D.zeroCreate 10000 10000 |> ignore  
printfn "%d" (GC.GetTotalMemory(true)) 
Array2D.zeroCreate 10000 10000 |> ignore  
printfn "%d" (GC.GetTotalMemory(true)) 
Array2D.zeroCreate 10000 10000 |> ignore  
printfn "%d" (GC.GetTotalMemory(true)) 

Console.ReadLine() |> ignore 

这里输出将是这样的：

54000 
54000 
54000 
54000 
54000 
54000 
54000 
54000 
54000 
54000 
400000000 
800000000 
1200000000 

Out of memory exception 

因此，在循环F＃丢弃结果，但是当我不在循环中F＃会保留对“死数据”的引用（我已经在IL中看过，显然类程序会为这些数据获取字段）。为什么？我能解决这个问题吗？

此代码在Visual Studio之外运行并在发布模式下运行。

Answer 1

此行为的原因是F＃编译器在全局范围中的行为与本地范围中的行为不同。在全局范围声明的变量将变成静态字段。模块声明是一个静态类，其中let声明被编译为字段/属性/方法。

来解决这个问题最简单的方法是写代码的功能：

let main() =  
    Array2D.zeroCreate 10000 10000 |> ignore  
    printfn "%d" (GC.GetTotalMemory(true)) 
    Array2D.zeroCreate 10000 10000 |> ignore  
    printfn "%d" (GC.GetTotalMemory(true)) 
    // (...) 
    Console.ReadLine() |> ignore 

main() 

...但为什么编译器，当你不使用的价值，并宣布领域只是ignore呢？这很有趣 - ignore函数是一个非常简单的函数，当你使用它时，它是内联的。该声明是let inline ignore _ =()。内联函数时，编译器会声明一些变量（以存储函数的参数）。

因此，另一种方式来解决这个问题是省略ignore写：

Array2D.zeroCreate 10000 10000 
printfn "%d" (GC.GetTotalMemory(true)) 
Array2D.zeroCreate 10000 10000 
printfn "%d" (GC.GetTotalMemory(true)) 
// (...) 

你会得到一些编译器警告，因为表达式的结果是不unit，但它会奏效。但是，使用某些函数并在本地范围内编写代码可能更可靠。