建议：同步访问共享的可变数据。

我会带着你远行 2024-02-18 21:48 39阅读 0赞

关键字synchronized可以保证在同一时刻，只有一个县城可以执行某一个方法，或者某一个代码块。许多程序员把同步的概念仅仅理解为一种互斥的方式，即，当一个对象被一个县城修改的时候，可以阻止另一个线程观察到对象内部不一致的状态。按照这种观点，对象被创建的时候处于一致的状态，当有方法访问他的时候，它就被锁定了。这些方法观察到对象的状态，并且可能会引起状态转变，即把对象从一种一致的状态转换到另一种一致的状态。正确的使用同步可以保证没有任何方法会看到对象处于不一致的状态中。

这种观点是正确的，但是他并没有说明同步的全部意义。如果没有同步，一个线程的变化就不能被其他线程看到。同步不仅可以阻止一个线程看到对象处于不一致的状态之中，他还可以保证进入同步方法或同步代码块的每个线程，都看到由同一个锁保护的之前所有的修改效果。

Java语言规范保证读或写一个变量是原子的，除非这个变量的类型为long或者double。换句话说，读取一个非long或double类型的变量，可以保证返回的值是某个线程保存在该变量中，即使多个线程在没有同步的情况下并发的修改这个变量也是如此。

**你可能听说过，为了提高性能，在读或写原子数据的时候，应该避免使用同步。这个建议是非常危险而错误的。**虽然语言规范保证了线程在读取原子数据的时候，不会看到任意的数值，但是他并不保证一个线程写入的值对于另一个线程将是可见的。为了在线程之间进行可靠地通信，也为了互斥访问，同步是必要的。这归因于Java语言规范中的内存模型，它规定了一个线程所做的变化何时以及如何变成对其他线程可见。

如果对共享的可变数据的访问不能同步，其后果是非常可怕，即使这个变量是院子可读写的。

**实际上，如果读和写操作没有被同步，同步就不会起作用。**

使用类AtomicLong，它是java.util.concurrent.atomic的一部分。它所做的工作正是你想要的，并且有可能比同步版的generateSerialNumber执行的更好。

避免问题的最佳办法是不共享可变的数据。要么共享不可变的数据，要么压根不共享。换句话说，将可变数据限制在单个线程中。如果采用这一策略，对它建立文档就很重要，以便他可以随着程序的发展而得到维护。深刻理解正在使用的框架和类库也很重要，因为他们引入了你所不知道的线程。

让一个线程在短时间内修改一个数据对象，然后与其他线程共享，这是可以接受的，只同步共享对象引起的动作。然后其他线程没有进一步的同步也可以读取对象。只要它没有再被修改。这种对象被称作**事实上不可变的**。将这种对象引用从一个线程传递到其他的线程被称作**安全发布**。安全发布对象引用有许多种方法：可以将它保存在静态域中，作为类初始化的一部分；可以将它保存在volatile域、final域或者通过正常锁定访问的域中，或者可以将它放到并发的集合中。

简而言之，**当多个线程共享可变数据的时候，每个读或者写数据的线程都必须执行同步，**如果没有同步，就无法保证一个线程所做的修改可以被另一个线程获知。未能同步共享可变数据会造成程序的**活性失败**和**安全性失败**。这样的失败时最难以调试的。他们可能是间歇性的，且与时间相关，程序的行为在不同的VM可能根本不同，如果只需要线程之间的交互通信，而不需要互斥，volatile修饰符就是一种可以接受的同步形式，但要正确的使用它可能需要一些技巧。