第二十四章：并发和多核编程.pdfVIP

第⼆⼗四章：并发和多核编程 在撰写此书时，CPU 架构的景观正以⼏⼗年来最快的速度发⽣变化。 定义并发和并⾏¶ ⼀个并发程 需要同时处理多个互不相关的任务。考虑⼀下游戏服务器的例⼦：典型 做法是将数⼗个组件组合起来，其中的每⼀个都与外部有复杂交互。可能其中某个组 件负责多个⽤户间聊天；另外⼀些负责处理玩家的输⼊，并且将更新后的状态返回给 客户端；同时还有其他程 执⾏物理计算。 并发程 的正确运转并不需要多核，尽管多核可以提⾼执⾏效率和响应速度。 相⽐之下，⼀个并⾏程 仅解决⼀个单独的问题。假设⼀个⾦融模型尝试计算并预测 下⼀分钟某⽀股票的价格波动。如果想在某个交易所列出的所有股票上执⾏这个模 型，例如计算⼀下那些股票应该买⼊或卖出，我们希望在五百个核上可以⽐仅有⼀个 核的时候跑得更快。这表明，并⾏程 通常不需要通过多核来保证正确性。 另⼀个有效区分并⾏和并发的点在于他们如何与外部世界交互。由定义，并发程 连 续不断的处理⽹络协议和数据库之类的东西。典型的并⾏程 可能更专注：其接收流 ⼊的数据，咀嚼⼀会⼉ （间或有点 I/O ），然后将需要返回的数据流吐出来。 许多传统编程语⾔进⼀步模糊了并发和并⾏之间已经难以辨认的边界，这些语⾔强制 程 员使⽤相同的基础设施投监这两种程 。 本章将涉及在单个操作系统进程内进⾏并发和并⾏编程。 ⽤线程进⾏并发编程¶ 作为并发编程的基础，⼤多数语⾔提供了创建多个多线程的⽅法。 Haskell 也不例 外，尽管使⽤ Haskell 进⾏线程编程看起来和其他语⾔有些不同。 In Haskell , a thread is an IO action that executes independently from other threads. To create a thread , we import the Control .Concurrent module and use the forkIO functionHaskell 中，线程是互相独⽴的 IO 动作。为创建线程，需要导⼊ Control.Concurrent 模 块并使⽤其中的 forkIO 函数 ghci :m +Control.Concurrent ghci :t forkIO forkIO :: IO () - IO ThreadId ghci :m +S stem.Director ghci forkIO (writeFile x zz seo craic nua!) doesFileExist True 新线程⼏乎⽴即开始执⾏，创建它的线程同时继续向下执⾏。新线程将在它的 IO 动 作结束后停⽌执⾏。 线程的不确定性¶ HC 的运⾏时组件并不按特定顺 执⾏多个线程。所以，上⾯的例⼦中，⽂件 xyzzy 的创建时间在初始线程检查其是否存在之前或之后都有可能。如果删除 xyzzy 并且再 执⾏⼀次，我们可能得到完全相反的结果。 隐藏延迟¶ 假设我们要将⼀个⼤⽂件压缩并写⼊磁盘，但是希望快速处理⽤户输⼊以使他们感觉 程 是⽴即响应的。如果使⽤ forkIO 来开启⼀个单独的线程去写⽂件，这样就可以 同时做这两件事。 -- file: ch24/Compressor.hs import Control.Concurrent (forkIO) import Control.Exception (handle) import Control.Monad (forever) import qualified Data.B teString.Laz as L import S stem.Console.Readline (readline) -- / 上的 zlib 包提供了压缩功能 import Codec.Compression.GZip (compress) main = do ma beLine - readline Enter a file to compress case ma beLine of Nothing - return () -- ⽤户输⼊了 EOF Just - return () -- 不输⼊名字按 “想要退出” 处理 Just name - do handle (print :: (SomeException-IO ())) $ do conten