java多线程为什么有问题,为什么多线程是个坏主意

在 Unix编程艺术 中,提到了尽量避免多线程编程模型, 认为这样只会增加复杂度, 提倡使用多进程, 这样本质上就可以避免多线程『共享内存数据』产生的 “corruotped memory” 问题。

其中, 提到了一篇文章 Why Threads Are A Bad Idea, 对于多线程编程和事件编程分析的非常好, 具体的翻译如下:

1 介绍

线程的背景:

在操作系统中出现多线程

逐渐演变成 用户层面的编程工具

被认为是多种问题的一种通用解决方案

每一个程序员都需要成为 一个多线程编程的高手吗？

根本性的问题:

多线程的程序非常难以正确的编写！！！

替代性的方案:

使用事件驱动的编程方法

特别声明:

对于大部分的多线程程序，使用事件驱动是一个更好的选择

只有当使用CPU多核的时候, 才需要使用多线程编程

2 多线程的本质

一般用来管理并发问题

多个独立相互执行的任务

共享的内存

预先的安排机制(Pre-emptive scheduling)

同步机制(synchronization)

3 多线程的用途

操作系统: 对每一个用户进程分配一个内核线程

科学应用程序: 每个CPU分配一个线程(对计算要求性很高的程序)

分布式系统: 进程请求并行(同步记性的I/O操作)

GUIs程序

线程对应用户的行为. 在长时间的后台计算过程中仍然可以处理图形展示

多媒体, 动画方面的程序编写

4 多线程有什么问题?

对于一般的程序员而言，难以掌握。

即使对于专家，多线程编程也是痛苦的。

5 为什么多线程编程很难?

Synchronization(同步机制):

必须通过锁来共享数据

忘记了加锁？就会导致受污染的数据

死锁

依赖锁，会导致循环依赖

每个处理程序等待其他处理程序: 导致系统挂起

6 为什么多线程编程很难?

难以调试: 因为 数据依赖，时间依赖

线程破坏了抽象: 无法设计出模块化的程序

因为锁导致回调无法完成

7 为什么多线程编程很难?

很难达到非常好的性能

简单的锁导致了低并发

而精密的锁又会导致复杂度提升, 降低了一般情况下的性能

OSes限制了性能提升(调度, 环境切换)

线程不受支持

难以支持多线程代码(mac, windows)

一些标志库不是线程安全的

内核调用, windows系统不是多线程

很少有多线程编程的调试工具

通常不需要并发场景

8 时间驱动编程

一个执行流进程: 没有CPU的并发

在时间上注册消息(通过回调)

事件轮询等待消息, 调用处理器模型

时间处理器没有抢断

处理器通常是 短生命周期的

9 事件驱动编程被用来干什么

大多数的GUIs编程:

一个处理器对应一个事件

处理器用来执行行为(撤销,删除文件等)

分布式系统

一个处理器用来对应一个输入源

处理进来的请求,返回结果

事件驱动的I/O 来处理 I/O并发

10 事件驱动编程的问题

长时间运行的时间处理器会导致 程序没有反应, 解决办法:

对于长时间运行的程序Fork off子程序处理, 当处理结束后使用事件

打断处理器执行(比如: 事件驱动的I/O)

定期回调 时间处理器中的 事件循环

通过处理器无法维护本地内存状态(处理器必须返回)

没有CPU的并发(不太合适科学计算程序)

事件驱动的编程并不总是被支持

11 多线程编程 VS 事件驱动编程

事件驱动编发编程尽可能的避免 并发, 而多线程编程则倾向于并发：

使用事件驱动编程更加容易: 不用考虑并发, 不用考虑抢占, 不用考虑同步和死锁

只在特定的情况下,才使用复杂的技术栈

使用多线程编程, 即使最简单的程序也需要面对很高的复杂度(full complexity)

使用事件驱动更加容易调试

事件驱动编程只和时间依赖有关, 不需要考虑内部的调度

问题更加容易跟踪: 较慢的按钮点击反应 和 内存数据污染 时候, 前者问题更加容易定位

12 多线程编程 VS 事件驱动编程

在单个CPU上时间驱动程序比线程更加快速

没有锁的覆盖

没有上下文环境的 切换

事件驱动编程更加面向接口编程

多线程提供了真正的并发性

对于多CPU的机器来说，是可以扩展性能

可以长时间的运行处理程序而不需要冻结

13 你需要放弃多线程吗?

不需要的情况: 对于应该程序性能要求很高的服务(比如: 数据库服务器)

但是, 尽可能的避免多线程编程:

对于 GUIs程序, 分布式系统, 性能要求不高的, 使用事件编程, 不是多线程

只有当真正的多核CPU并发需要使用到的时候，使用多线程编程

当使用多线程编程的时候，将多线程编程模块与其他模块进行隔离, 保持大部分代码都是单线程模型

隔离多线程的模块:

14 总结

并发从根本上是很难的, 尽可能的避免

多线程比事件更加强大，但是这种强大的功能很少真正需要

多线程编程比事件编程更加难以写出正确的代码, 只有真正的专家才能掌握

将事件 编程当做基本的开发工具(对于GUIs 和 分布式系统)

只有当性能要求很高的服务时候，才使用 多线程