优化 – 循环和递归展开

2023年2月10日 177次阅读 
W_t = M_t[i] if 0 <= t <= 15
W_t = ROTL_1(W_(t-3) XOR W_(t-8) XOR W_(t-14) XOR W_(t-16)) if 16 <= t <= 79

这是SHA-1标准.在haskell中你要做的就是写一个递归函数来做这件事,但为了使它更有效率,我想展开整个递归.内联将不起作用,因为这可能导致代码的指数爆炸.我要记住的是写TH来生成常数行W_0,W_1,W_2等等到W_79.

另一个例子是在这种情况下循环展开

For t=0 to 79:
{
    T = ROTL_5(a) + f_t(b, c, d ) + e + K_t + W_t
    e = d
    d = c
    c = ROTL_30(b)
    b = a
    a = T
}

我想展开这个循环以避免递归函数调用(我不认为ghc会执行这种优化).

所以在我为此写出TH之前,我想问一下是否有更好的方法可以做到这一点.只是说优化在这里非常关键.

最佳答案 TH是
user-controlled loop unrolling的“标准”方式.

点赞