Java并发编程实战读书笔记（一）

最新推荐文章于 2025-08-23 19:36:46 发布

庄隐

最新推荐文章于 2025-08-23 19:36:46 发布

阅读量825

点赞数 19

CC 4.0 BY-SA版权

分类专栏： Java 文章标签： java 开发语言多线程

本文链接：https://blog.csdn.net/Luck_gun/article/details/140622059

Java 专栏收录该内容

73 篇文章

订阅专栏

线程安全性

线程安全性是指在多线程环境中，当多个线程同时访问某个类或资源时，该类或资源能够保持其正确性和一致性。为了确保线程安全，需要考虑以下几个方面：

不变性条件（Invariant）：在类的设计中，应该定义一些约束对象状态的不变性条件。这些条件确保了对象在任何时候都满足预期的状态。
后验条件（Postcondition）：在类的设计中，应该定义一些描述对象操作结果的后验条件。这些条件确保了操作完成后对象的状态是正确的。
原子性（Atomicity）：在多线程环境下，操作应该是原子性的，即要么全部完成，要么全部不做。这样可以防止其他线程在操作进行过程中干扰，导致不一致的状态。
可见性（Visibility）：在多线程环境下，一个线程对共享资源的修改应该立即对其他线程可见。这可以通过使用适当的同步机制来实现，如锁、volatile关键字等。
有序性（Ordering）：在多线程环境下，操作的顺序应该得到保证。可以使用同步机制来确保操作按照预期的顺序执行，避免竞态条件和数据竞争。
互斥（Mutual Exclusion）：在多线程环境下，对共享资源的访问应该被限制为互斥的方式，即一次只有一个线程可以访问。这可以通过使用锁、synchronized关键字等实现。

对象的共享

可见性

在多线程编程中，可见性是一个关键的概念。可见性问题涉及到当一个线程修改了共享变量的值时，其他线程是否能立即看到这个变化。在单线程环境中，一旦一个变量被写入，后续的读取操作总能获取到最新的值。然而，在多线程环境中，由于编译器优化、处理器缓存等因素，这种直观的期望可能会被违背。

可见性的挑战

在没有适当的同步措施的情况下，编译器和处理器可能会对内存操作的顺序进行重排序，这可能导致一个线程看到的变量值不是最新的。例如，Java内存模型允许在缺乏同步的情况下对操作进行重排序，这可能导致不同线程看到的操作顺序不一致。

最低安全性

尽管存在可见性问题，但在多线程程序中，读取到的值至少是由某个线程之前设置的值，而不是随机值。这种保证被称为最低安全性。然而，对于非volatile类型的64位数值变量（如double和long），JVM可能将64位的读或写操作拆分为两个32位的操作，这可能导致读取到一个值的高32位和另一个值的低32位，从而违反了最低安全性。

使用volatile关键字

在Java中，可以使用volatile关键字来声明变量，以确保变量的更新能被所有线程立即看到。volatile关键字告诉编译器和运行时系统不要对volatile变量的操作进行重排序，并且确保这些操作直接读写主存，不会被缓存在寄存器或处理器特定的缓存中。

加锁与可见性

加锁不仅保证了互斥，还保证了内存可见性。当多个线程需要访问共享变量时，使用同一个锁进行同步可以确保所有线程都能看到共享变量的最新值。

使用volatile的条件

尽管volatile变量提供了一种轻量级的同步机制，但它的使用应该谨慎。以下是使用volatile变量的一些条件：

对变量的写入操作不依赖于变量的当前值，或者只有一个线程会更新变量的值。
变量不会与其他状态变量一起用于不变性条件中。
访问变量时不需要加锁。

发布与逸出

在讨论线程安全性和对象发布时，"发布"和"逸出"是两个关键概念。下面详细解释这两个概念及其与线程安全性的关系。

发布（Publish）

发布一个对象意味着使对象能够在其创建作用域之外的代码中使用。这通常涉及以下几种情况：

返回内部对象的引用：当一个方法返回它的内部对象的引用时，这个对象就被发布了。
将引用存储到公共数据结构中：将对象的引用存储到其他类可以访问的数据结构（如静态字段、实例字段等）中。
传递引用给其他线程或方法：通过将对象的引用传递给其他线程或方法，使得该对象可以在多个作用域中被使用。

发布对象时，需要确保以下几点：

对象的完整性：在对象被发布之前，应确保其构造过程已完整完成，对象的状态是有效的。
线程安全性：如果对象在多线程环境中被共享，需要确保发布操作是线程安全的，避免数据竞争和不一致性。
封装性维护：避免发布对象内部的可变状态，以免破坏封装性。如果需要发布，考虑提供不可变的视图或者拷贝。

逸出（Escape）

逸出是指对象在不应该被发布的情况下被发布了。逸出可能导致的问题包括：

未完成的构造过程：如果对象在构造过程中就被发布，其他线程可能会看到对象处于不一致的状态。
意外的共享：对象被发布到一个公共作用域，而开发者原本不打算共享这个对象。
封装性破坏：对象的内部状态被意外地暴露给外部代码，导致封装性被破坏。

为了防止逸出，可以采取以下措施：

限制访问：使用访问控制（如私有访问级别），确保对象不会被不当发布。
局部使用：尽量在局部作用域内使用对象，避免将其引用传递到外部。
线程局部存储：使用线程局部变量来存储只在当前线程中使用的对象，避免跨线程共享。

线程封闭

线程封闭是一种线程安全性策略，其核心思想是不共享数据，只在单个线程内部访问数据。这样可以避免多线程中的同步问题，因为不存在多个线程同时访问和修改同一份数据的情况。下面详细解释线程封闭的概念及其实现方式：

线程封闭的概念

线程封闭是指在设计程序时，将数据和处理这些数据的操作限制在同一个线程内部。这样，由于没有跨线程的数据共享，就自然避免了多线程并发访问的问题。线程封闭是实现线程安全性的一种简单而有效的方法。

线程封闭的实现方式

Ad-hoc 线程封闭：
- Ad-hoc线程封闭是指由程序的具体实现来保证线程封闭性。这种方式的线程安全责任完全由开发者承担，因此它比较脆弱。
- 在Ad-hoc线程封闭中，对象可能会被保存在公有变量中，但实际使用时需要确保只有一个线程能访问到这个对象。
栈封闭：
- 栈封闭是线程封闭的一种特例，通过使用局部变量来实现。局部变量存储在执行线程的栈中，其他线程无法访问这个栈，因此局部变量天然就是线程封闭的。
- 栈封闭比Ad-hoc线程封闭更易于维护，也更加健壮，因为局部变量的线程封闭性由语言运行时自动保证。
ThreadLocal：
- ThreadLocal是Java提供的一个特殊类，用于实现线程封闭。它为每个使用该变量的线程都存有一份独立的副本，使得每个线程都可以独立地读取和写入自己的副本。
- ThreadLocal通常用于防止对可变的单实例变量或全局变量进行共享。例如，在多线程应用程序中，可以使用ThreadLocal来为每个线程维护一个独立的数据库连接，避免数据库连接对象的共享。