- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我在 Haskell 上实现了 Winograd 算法,由于计算严格,试图加快算法速度。在这一点上我成功了,但我完全不明白为什么增加严格性后它开始工作得更快。由于我的这个算法的代码足够大,我写了两个小函数来演示这个问题。
module Main where
import qualified Data.Vector as V
import qualified Data.Matrix as M
import Control.DeepSeq
import Control.Exception
import System.Clock
import Data.Time
matrixCtor x y size = M.matrix size size $ \(i,j) -> x*i+y*j
group v s = foldl (\acc i ->acc + V.unsafeIndex v i * V.unsafeIndex v (i+1)) 0 [0,2..s-1]
size = 3000 :: Int
testWithForce :: IO ()
testWithForce = do
let a = matrixCtor 2 1 size
evaluate $ force a
start <- getCurrentTime
let c = V.generate size $ \j -> M.getCol (j+1) a
evaluate $ force c
let d = foldl (\acc i ->acc + group (V.unsafeIndex c i) size) 0 [0,1..(size-1)]
evaluate $ force d
end <- getCurrentTime
print (diffUTCTime end start)
testWithoutForce :: IO ()
testWithoutForce = do
let a = matrixCtor (-2) 1 size
evaluate $ force a
start <- getCurrentTime
let c = V.generate size $ \j -> M.getCol (j+1) a
let d = foldl (\acc i ->acc + group (V.unsafeIndex c i) size) 0 [0,1..(size-1)]
evaluate $ force d
end <- getCurrentTime
print (diffUTCTime end start)
main :: IO ()
main = do
testWithForce
testWithoutForce
在算法的实现中,矩阵在使用前被计算,就像这里一样。在函数 testWithForce
中,我在使用它之前计算值 c
。在这种情况下,函数 testWithForce
比函数 testWithoutForce
运行得更快。我得到了以下结果:
0.945078s --testWithForce
1.785158s --testWithoutForce
我只是不明白为什么在这种情况下严格会加快工作速度。
最佳答案
请原谅没有回答,但一定要控制 GC:看起来第二个函数可能会承受前一个函数的 GC,从而扩大差异。
我可以重现您所看到的:
$ ghc -O3 --make foo.hs && ./foo
[1 of 1] Compiling Main ( foo.hs, foo.o )
Linking foo ...
1.471109207s
2.001165795s
然而,当我翻转测试的顺序时,结果是不同的:
main = do
testWithoutForce
testWithForce
$ ghc -O3 --make foo.hs && ./foo
1.626452918s
1.609818958s
所以我在每次测试之间进行了 main
GC:
import System.Mem
main = do
performMajorGC
testWithForce
performMajorGC
testWithoutForce
强制的仍然更快,但差异大大减小了:
1.460686986s
1.581715988s
关于algorithm - Haskell 中惰性求值和严格求值的比较,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48714703/
我先说我正在学习 Haskel,所以不要太苛刻。 Haskell 的惰性求值可能有用也可能危险,这取决于计算的瓶颈是时间复杂度还是堆栈的大小。 出于这个原因,我想更好地了解 Haskell 中求值的工
我正在开发一款玩具 RTS 游戏,我依赖 A* 寻找路径,问题是很多单位四处移动导致计算的路径变得无效,这导致 CPU 周期浪费,我必须为那些重新计算路径代理商。 所以我想为什么不懒惰地计算路径而不是
我正在尝试非贪婪地解析出 TD 标签。我从这样的事情开始: stuffMore stuffOther stuffthingsmore things 我使用以下作为我的正则表达式: Regex.Spli
我正在学习 http://learnyouahaskell.com/starting-out 上的(优秀的)Haskell 教程。并且正在尝试直角三角形示例: > let triangles = [(
我编写了一个小型 Haskell 程序来打印当前目录中所有文件的 MD5 校验和(递归搜索)。基本上是 md5deep 的 Haskell 版本.一切都很好,除非当前目录有大量文件,在这种情况下我会收
我通常听说生产代码应该避免使用惰性 I/O。我的问题是,为什么?除了闲逛之外,还可以使用 Lazy I/O 吗?是什么让替代方案(例如枚举器)更好? 最佳答案 惰性 IO 存在的问题是,释放您所获取的
我注意到 Scala 提供了lazy vals。但我不明白他们在做什么。 scala> val x = 15 x: Int = 15 scala> lazy val y = 13 y: Int =
我目前正在尝试将 XML 文件的内容读入 Map Int (Map Int String) 并且它工作得很好(使用 HaXml)。但是,我对程序的内存消耗不满意,问题似乎出在垃圾回收上。 这是我用来读
lazy val seq: Unit = { println("a") seq } 我们可以尾递归调用上面的表达式吗? 最佳答案 我想你可以从这个意义上说,是的 - 评估时,seq将递归评估自
在以下示例中: def maybeTwice2(b: Boolean, i: => Int) = { lazy val j = i if (b) j+j else 0 } 为什么当我这样调用它
我的一个项目使用了混合的Scala功能,这些功能似乎不能很好地融合在一起: 类型类和无形自动类型类实例派生 隐式转换(向具有类型类实例的类型添加有用的语法) 默认参数,因为即使它们通常是一件坏事,但在
我有一个应用程序,涉及一个数组集合,这些数组可能非常大(索引最大为 int 的最大值),但它们是惰性 - 它们内容是动态计算的,并且在请求之前实际上是不知道的。数组也是不可变的 - 每个数组的每个元素
最近我开始使用 spring 中的惰性初始化功能很多。所以我一直在徘徊——懒惰地初始化你的 bean 有什么实际的缺点吗?如果不是 - 为什么不是懒惰的默认行为? 最佳答案 主要的“缺点”是不能立即发
我有一个通过信息亭向访问者显示的网站。人们可以与之互动。但是,由于该网站不是本地托管的,而是使用互联网连接 - 页面加载速度很慢。 我想实现某种惰性缓存机制,以便在人们浏览页面时 - 页面和页面引用的
我是否正确理解声明关系急切加载的方法是使用lazy='joined'或lazy='subquery'? “lazy”与“eager”相反——在这种情况下使用“lazy”关键字来表示急切加载,这是一个历
我想抓取 对之间任何值的内容标签。 This is one block of text This is another one 我想出的正则表达式是 /(.*)/m 虽然,它看起来很贪心,并
考虑以下几点: z = [{"x" => 5}, 2, 3].lazy.map{ |i| i} #=> #5}, 2, 3]>:map> z.first #=> {"x"=>5} 当我尝试将 z 转换
因此我有一个条件语句: if($boolean && expensiveOperation()){ ...} PHP 是否具有惰性 bool 值评估,即它是否会检查 $boolean 并且如果它为 f
我在 Scala 上有问题。我用 @transient lazy val 序列化了一个类的实例 field 。然后我反序列化它,该字段被分配null .我期待反序列化后的惰性评估。我该怎么办? 以下是
我编写了以下函数,我认为该函数应该以原子方式执行 IO(只要其他人都使用相同的 MVar)。 atomicIO :: MVar () -> IO a -> IO a atomicIO mvar io
我是一名优秀的程序员,十分优秀!