读书笔记: 线程安全性

先记一个单词 synchronized    ['sɪŋkrənaɪzd]  

要编写线程安全的代码，其核心在于要对状态访问操作进行管理，特别是对共享的（shared）和可变的（mutable）状态的访问。

一个对象是否需要线程安全的，取决于它是否被多个线程访问，这是指程序中访问对象的方式，而不是对象要实现的功能。 要使对象是线程安全的，需要采用同步机制对对象的可变状态的访问进行协同。如果无法实现协同，那么可能会导致数据破坏以及其他不该出现的结果。

当多个线程访问某个状态变量并且有一个线程对其执行写入操作的时候，必须采用同步机制来协同这些线程对变量的访问。

如果当多个线程访问同一个可变的状态变量事没有使用合适的同步，那么程序就会出现错误。有三种方式可以修复这个错误：

• 不在线程之间共享该状态变量
• 将状态变量修改为不可变的变量
• 在访问状态变量时使用同步

当设计线程安全的类时，良好的面向对象技术、不可修改性，以及明晰的不变性规范都能起到一定的帮助作用。

编写一个并发应用程序的时候，一个正确的做法是：先是代码正确运行，然后再提高代码的速度。

对于单线程，它的正确性近似于“所见即所知（we know it when we see it）”。

当多个线程访问某个类时，不管运行时环境采用何种调度方式或者这些线程将如何交替执行，并且在主调代码中不需要任何额外的同步或协同，这个类都能表现出正确的行为，那么就成这个类是线程安全的。

访问共享状态的复合操作，都必须是原子操作以避免产生竞态条件（Race Condition）。

对于可能被多个线程同时访问的可变状态变量，在访问它时都需要持有一个同一个锁，在这种情况下，我们称状态变量是由这个锁保护的。

每个共享的和可变的变量都应该只由一个锁来保护，从而使维护人员知道是哪一个锁。

并非所有的数据都需要锁的保护，只有被多个线程同时访问的可变数据才需要通过锁来保护。

对于每个包含多个变量的不变形条件，其中涉及的所有变量都需要由同一个锁来保护。

通常，在简单性与性能之间存在着相互制约因素。当实现某个同步策略时，一定不要盲目的为了性能而牺牲简单性（这可能会破坏安全性）。

当执行时间较长的计算或者可能无法快速完成的操作时（例如，网络I/O或者控制台I/O），一定不要持有锁。