软件构造第十章复习

并发编程：

并发即多个运算同时发生，由于处理器时钟速度不再增加且新一代芯片都会有更多的内核，所以 为了让计算更快运行，我们必须将计算分解为并发模块。

两种常见的并发模型是共享内存和消息传递

并发程序通过读写内存中的共享对象交互。如两个处理器共享物理内存，两个程序共享文件， 两个线程共享对象。

并发程序通过交流通道传递信息来交互。

进程和线程

进程可抽象为虚拟计算机，拥有独立的执行环境和完整的资源， 进程间通常不共享内存，不能
访问其他进程的内存或对象，通信采用的是消息传递方式（因采用标准I/O 流）。
线程可抽象为一个虚拟处理器，线程有时也称为轻量级进程， 线程与进程中的其他线程共享相同的资源（内存，打开的文件等），即“线程存在于进程内”，进程内的线程共享内存。
对比图如下：

创建线程的方法：

①创建Thread类的子类
②实现Runnable接口，作为参数传递给 new Thread(…)构造函数
注： 所有的线程都需要实现Runnable接口，并实现run()方法，run中是要执行的代码。
也可以用用一个匿名的Runnable启动一个线程，它避免了创建命名的类，如下图：

但是只能使用一次。

竞争

当线程数多于处理器数量时，并发通过时间片来模拟，处理器切换处理不同的线程。 时间片的使用是不可预知和非确定性的，这意味着线程可能随时暂停或恢复。

许多指令并不是原子操作，所以当它分解为原子操作执行时，可能会有交叉现象。

并发中发生的错误非常难改，每次运行包含竞争条件的程序时，都可能会得到不同的行为。 当尝试用println或调试器查看heisenbug时，甚至可能会消失，所以要在编程时注意线程的安全。

线程安全：

线程安全的概念： 数据类型或静态方法在多线程中执行时，无论如何执行，不需调用者做额外的协作，仍然能够行为正确，则称为线程安全的。

四种保证线程安全的方法：
限制可变变量的共享。
用不可变的共享变量。
将共享数据封装在线程安全的数据类型中。
使用同步机制来防止线程同时使用变量。