Question

计算机语言基准游戏F# entry for Threadring包含一条看似无用的行：if false then ()。当我注释掉这一行时，程序运行得更快（对于50000000的输入，~2s vs~55s）并产生相同的结果。这是如何运作的？为什么这条线路在那里？编译器到底做了什么似乎是无操作？

代码：

let ringLength = 503

let cells = Array.zeroCreate ringLength
let threads = Array.zeroCreate ringLength
let answer = ref -1

let createWorker i = 
    let next = (i+1)%ringLength
    async { let value = cells.[i]
            if false then () 
            match value with
            | 0 -> answer := i+1
            | _ -> 
                cells.[next] <- value - 1 
                return! threads.[next] }

[<EntryPoint>]
let main args = 
    cells.[0] <- if args.Length>0 then int args.[0] else 50000000
    for i in 0..ringLength-1 do 
        threads.[i]<-createWorker i

    let result = Async.StartImmediate(threads.[0])
    printfn "%d" !answer
    0

Answer 1

我最初编写了这段代码。我不记得我添加该行的确切原因，但我猜测，如果没有它，优化器会做一些我认为超出基准游戏精神的事情。首先使用asyncs的原因是为下一个异步实现尾部调用延续（这使得它的性能比C＃mono好得多）。 - 乔莫

Answer 2

如果计算表达式包含if false then ()，则异步工作流的转换方式略有不同。使用该行，它使用async.Combine。稍微简化的代码如下：

async.Delay(fun () ->
  value = cells.[i]
  async.Combine
    ( async.Return(if false then ())
      async.Delay(fun () ->
        match value with (...) ) ))

转换插入Combine，因为if循环完成的（可能）异步计算需要与以下代码组合。现在，如果删除if，您会得到类似的内容：

async.Delay(fun () ->
  value = cells.[i]
  match value with (...) ) ))

不同之处在于，现在在传递给Delay的函数中会立即完成更多工作。

编辑：我认为这会产生差异，因为代码使用的是Async.StartImmediate而不是Async.Start，但似乎并非如此。事实上，我不明白为什么代码完全使用异步工作流......

编辑II。：我对Mono并不完全确定，但它肯定会在F＃interactive中复制 - 那里，Combine的版本慢了大约4倍（其中是我所期望的，因为功能分配开销。）

在计算机语言基准游戏的F＃Threadring条目中，“if if then（）”有什么影响？

2 个答案: