目 录 第Ⅰ部分 函数式编程在并发程序中所体现的优势 第1章 函数式并发基础 31.1 你将从本书中学到什么 41.2 让我们从术语开始 51.2.1 顺序编程——一次执行一个任务 61.2.2 并发编程——同时运行多个任务 71.2.3 并行编程——同时执行多个任务 81.2.4 多任务处理——同时在一段时间内执行多个任务 91.2.5 多线程性能调优 101.3 为什么需要并发 111.4 并发编程的陷阱 141.4.1 并发的危害 141.4.2 共享状态的演变 171.4.3 一个简单的真实示例：并行快速排序 171.4.4 F#中的基准测试 211.5 为什么选择函数式编程实现并发 211.6 拥抱函数式范式 241.7 为什么选择F#和C#进行函数式并发编程 251.8 本章小结 27第2章 并发函数式编程技术 292.1 使用函数组合解决复杂的问题 302.1.1 C#的函数组合 302.1.2 F#的函数组合 322.2 闭包简化函数式思考 332.2.1 使用lambda表达式捕获闭包中的变量 342.2.2 多线程环境中的闭包 362.3 用于程序加速的记忆化缓存技术 382.4 记忆快速网络爬虫的操作 422.5 延迟记忆化以获得更好的性能 462.6 有效率的并行推测以摊销昂贵计算成本 472.6.1 具有天然函数支持的预计算 502.6.2 使最佳计算获胜 512.7 延迟是件好事情 522.7.1 对严格求值语言并发行为的理解 522.7.2 延迟缓存技术和线程安全的单例模式 542.7.3 F#中的延迟支持 552.7.4 延迟和任务，一个强大的组合 552.8 本章小结 57第3章 函数式数据结构和不可变性 593.1 真实世界的例子：捕猎线程不安全的对象 603.1.1 .NET不可变集合：一种安全的解决方案 633.1.2 .NET并发集合：更快的解决方案 673.1.3 代理消息传递模式：更快、更好的解决方案 693.2 在线程之间安全地共享函数式数据结构 723.3 修改的不可变性 733.3.1 数据并行的函数式数据结构 753.3.2 使用不可变性的性能影响 753.3.3 C#的不可变性 763.3.4 F#的不可变性 793.3.5 函数式列表：连接一条链中的单元格 803.3.6 构建可持久化数据结构：不可变二叉树 863.4 递归函数：一种自然的迭代方式 893.4.1 正确递归函数尾部：尾部调用优化 903.4.2 延续传递风格以优化递归函数 913.5 本章小结 95 第Ⅱ部分 如何处理并发程序的不同部分 第4章 处理大数据的基础：数据并行，第1部分 994.1 什么是数据并行 1004.1.1 数据和任务并行 1014.1.2 “尴尬并行”概念 1024.1.3 .NET中的数据并行支持 1024.2 Fork / Join模式：并行Mandelbrot 1034.2.1 当GC是瓶颈时：结构与类对象 1094.2.2 并行循环的缺点 1114.3 测量性能速度 1114.3.1 Amdahl定律定义了性能改进的极限 1124.3.2 Gustafson定律：进一步衡量性能改进 1134.3.3 并行循环的局限性：素数之和 1134.3.4 简单循环可能会出现什么问题 1154.3.5 声明式并行编程模型 1174.4 本章小结 118第5章 PLINQ和MapReduce：数据并行，第2部分 1215.1 PLINQ简介 1225.1.1 PLINQ如何更具函数式 1235.1.2 PLINQ和纯函数：并行字计数器 1235.1.3 使用纯函数避免副作用 1255.1.4 隔离和控制副作用：重构并行字计数器 1275.2 并行聚合和归约数据 1285.2.1 择伐(Deforesting)：折叠的诸多优点之一 1305.2.2 PLINQ中的fold：Aggregate函数 1315.2.3 为PLINQ实现并行Reduce函数 1375.2.4 F#的并行列表解析：PSeq 1395.2.5 F#的并行数组 1405.3 并行MapReduce模式 1425.3.1 Map和Reduce函数 1435.3.2 在NuGet 包库中使用 MapReduce 1445.4 本章小结 149第6章 实时事件流：函数式反应式编程 1516.1 反应式编程: 大事件处理 1526.2 用于反应式编程的.NET工具 1556.2.1 事件组合器——更好的解决方案 1566.2.2 .NET与F#组合器的互操作性 1576.3 .NET中的反应式编程：反应式扩展(Rx) 1606.3.1 从LINQ/PLINQ到Rx 1626.3.2 IObservable：对偶IEnumerable 1636.3.3 Action中的反应式扩展 1646.3.4 Rx实时流 1656.3.5 从事件到F# Observable 1666.4 驯服事件流：使用Rx编程进行Twitter情绪分析 1676.5 Rx发布者-订阅者 1766.5.1 为强大的发布者-订阅者集线器使用Subject类型 1766.5.2 与并发相关的Rx 1776.5.3 实现可重用的Rx发布者-订阅者 1786.5.4 使用Rx Pub-Sub类分析推文情绪 1806.5.5 action中的观察者 1836.5.6 方便的F#对象表达式 1846.6 本章小结 184第7章 基于任务的函数式并行 1877.1 任务并行的简短介绍 1887.1.1 为什么要进行任务并行和函数式编程 1897.1.2 .NET中的任务并行化支持 1897.2 .NET任务并行库 1917.3 C# void的问题 1967.4 延续传递风格(CPS)：函数式控制流程 1987.4.1 为什么要利用CPS 1997.4.2 等待任务完成：延续模型 2007.5 组合任务操作的策略 2057.5.1 使用数学模式以获得更好的组合 2077.5.2 任务使用准则 2127.6 并行函数式管道模式 2127.7 本章小结 218第8章 最终胜出的任务异步模型 2198.1 异步编程模型(APM) 2208.1.1 异步编程的价值 2208.1.2 可扩展性和异步编程 2238.1.3 CPU密集型和I/O密集型操作 2238.2 异步编程不受限制的并行度 2248.3 .NET的异步支持 2258.3.1 异步编程会破坏代码结构 2288.3.2 基于事件的异步编程 2288.4 C#基于任务的异步编程 2298.4.1 匿名异步lambda 2328.4.2 Task是一个monadic容器 2328.5 基于任务的异步编程：案例研究 2358.5.1 异步取消 2408.5.2 带有monadic Bind运算符的基于任务的异步组合 2448.5.3 延迟异步计算以实现组合 2458.5.4 如果出现问题，请重试 2468.5.5 异步操作的错误处理 2478.5.6 股票市场历史的异步并行处理 2498.5.7 任务完成后的异步股票市场并行处理 2518.6 本章小结 252第9章 F#的异步函数编程 2539.1 异步函数式方面 2549.2 什么是F#异步工作流 2549.2.1 计算表达式中的延续传递风格 2549.2.2 异步工作流操作：Azure Blob存储并行操作 2579.3 异步计算表达式 2619.3.1 计算表达式和单子之间的区别 2639.3.2 异步重试：生成自己的计算表达式 2649.3.3 扩展异步工作流 2669.3.4 映射异步操作：Async.map函子 2679.3.5 并行化异步工作流：Async.Parallel 2699.3.6 异步工作流取消支持 2749.3.7 驯服并行异步操作 2769.4 本章小结 280第10章 用于流畅式并发编程的函数式组合器 28110.1 执行流并不总是处于正常情况：错误处理 28210.2 错误组合器：C#中的Retry、Otherwise和Task.Catch 28510.2.1 FP中的错误处理：流控制的异常 28910.2.2 在C#中使用Task>处理错误 29110.2.3 F# AsyncOption类型：组合Async和Option 29110.2.4 F#惯用的函数式异步错误处理 29210.2.5 使用Result类型保留异常语义 29410.3 在异步操作中控制异常 29810.3.1 F#使用Async和Result 建模错误处理 30210.3.2 使用monadic运算符bind扩展F# AsyncResult类型 30410.4 使用函数式组合器抽象化操作 30810.5 函数式组合器概要 30910.5.1 TPL内置异步组合器 31010.5.2 利用Task.WhenAny组合器实现冗余和交叉 31110.5.3 使用Task.WhenAll组合器进行异步for-each 31210.5.4 回顾迄今看到的数学模式 31410.6 最终的并行组合应用函子 31710.6.1 使用应用函子运算符扩展F#异步工作流 32410.6.2 带有中缀运算符的F#应用函子语义 32610.6.3 利用应用函子实现异构并行计算 32610.6.4 组合和执行异构并行计算 32810.6.5 使用条件异步组合器控制流 33010.6.6 运用异步组合器 33410.7 本章小结 336第11章 使用代理应用反应式编程 33911.1 什么是反应式编程 34011.2 异步消息传递编程模型 34211.2.1 消息传递和不可变性的关系 34411.2.2 天然隔离 34411.3 代理是什么 34511.3.1 代理的组件 34611.3.2 代理可以做什么 34711.3.3 无锁并发编程的无共享方法 34711.3.4 基于代理的编程如何体现函数式思想 34811.3.5 代理是面向对象的 34911.4 F#代理：MailboxProcessor 34911.5 使用F# MailboxProcessor避免数据库瓶颈 35211.5.1 MailboxProcessor消息类型：可区分联合 35511.5.2 MailboxProcessor双向通信 35611.5.3 在C#中使用AgentSQL 35711.5.4 成组协调代理来并行工作流 35811.5.5 如何使用F# MailboxProcessor处理错误 36011.5.6 停止MailboxProcessor代理——CancellationToken 36111.5.7 使用MailboxProcessor分发工作 36211.5.8 使用代理缓存操作 36411.5.9 由MailboxProcessor报告结果 36811.5.10 使用线程池报告来自MailboxProcessor的事件 37111.6 F# MailboxProcessor：10 000个代理的生命游戏 37111.7 本章小结 376

精彩书评

“.NET平台上现代并发函数编程的补充知识源——绝对必读!”——Pawel Klimczyk, Microsoft MVP
“书中金子般的代码，不仅可以在Windows平台复制粘贴使用，也可以用于任何其他平台！”——Kevin Orr, Sumus Solutions
“《.NET 并发编程实战》提出了现实世界的问题，并提供不同类型的并发技术来解决它们。”——Andy Kirsch, Rally Health
“《.NET 并发编程实战》是迄今为止我看到的最简单的并发入门书籍！”——Anton Herzog, AFMG Technologies