我有一个关于由多个线程执行的代码同步的问题：
据我所知，每个线程都有自己的堆栈，因此，非静态变量存在于每个线程的内存中的不同位置（对于 X 个线程，有 X 个堆栈包含所有非静态变量）。 那么为什么需要同步任何东西呢？
我的意思是，如果线程执行的代码包含某个类变量 v1，那么每个线程都有自己的 v1“实例”（不同的内存地址），并且没有其他线程可以“触摸”它……不是是吗？
【问题讨论】：
标签： java multithreading synchronization thread-safety stack
只有基本类型，例如int，才能保证在堆栈上分配。对象和数组通常都存储在堆中，除非Escape Analysis 确定对象的范围是“限制在过程范围内”。
【讨论】：
conceptual堆栈上，在分配行为等方面。JVM 可以利用Escape Analysis在堆栈上分配对象如果对象“永远不会逃脱它的基本块”。但我不介意修改我的答案以更好地反映该细节
非静态变量存在于每个线程内存的不同位置
这不是真的，所以回答
如果线程执行的代码包含一些类变量v1，那么每个线程都有自己的v1“实例”（不同的内存地址），没有其他线程可以“触摸”它......不是这样吗
没有。线程可以接触到由其他线程分配和修改的对象实例，程序员有责任确保这不会影响程序的正确性。
类成员变量存在于每个类实例的内存中的一个位置，而不是每个线程。确实，在memory barriers 之间（想想synchronized 的开始{ 和结束}），线程可能拥有对象状态的缓存，但这与语言强制不同每个线程存储。 “每个线程的内存”是它的堆栈，它不包含对象成员* - 仅对对象的引用。
最好的想法是每个对象在堆上都有一个位置，但可能同时发生涉及该内存位置的多个读取和|写入。
如果你听说线程在堆的不同部分分配对象，我知道你会如何得出你所做的结论。一些 JVM 进行了优化，它们会执行 thread-local allocation，但这不会阻止其他线程访问这些对象。
线程局部分配
如果真正如清单 1 所示实现分配器，共享 heapStart 字段将很快成为一个重要的并发瓶颈，因为每次分配都涉及获取保护该字段的锁。为避免此问题，大多数 JVM 使用线程本地分配块，其中每个线程从堆中分配更大的内存块，并从该线程本地块中按顺序为小型分配请求提供服务。因此，线程必须获取共享堆锁的次数大大减少，提高了并发性。
* - JVM 优化可能允许某些对象为allocated on the stack。
【讨论】：
“非静态变量存在于不同的位置”不可能是正确的。在 Java 中，您永远不会直接了解“堆栈”的任何内容。您的所有类变量，静态或实例，都来自堆。但是，作为 Java 开发人员，您并不真正关心这一点。
您不关心线程安全的唯一情况是您的类是不可变的（构造后不要更改）或者您从未在线程中做任何事情。如果您的类不属于这两类，则需要考虑使它们成为线程安全的。
设计中的不变性越多，线程问题就越容易推理和克服。
Nrj 的想法是正确的。
【讨论】：
一些关键点可以帮助你澄清疑惑-
对象总是在堆上分配。
类级变量在线程之间共享（同一对象的线程）
局部变量始终是线程安全的（如果不以非线程安全的方式暴露给外界）
【讨论】：
局部变量、原语和引用是隐式线程局部的。但是，引用的对象可以共享，当线程可以修改共享对象时，您很可能需要synchronised、Lock 或其他一些策略来确保线程安全。
【讨论】：
堆栈是线程安全的，而堆不是线程安全的，除非您同步代码。堆栈包含局部变量和方法参数（原始和引用），而堆包含对象。
【讨论】：
在同一个对象实例上，如果你的方法没有同步，则不能保证相同的代码不会在不同的线程中执行两次 --> 破坏！哪个是正确的值？
至少，您希望将访问变量的方法声明为同步。如果您想要更细粒度的控制，您可以使用例如ReentrantReadWriteLock。
在对象实例上声明同步方法同步，所以这是安全的。
【讨论】：
堆栈是的（想想调用堆栈，局部变量），但类变量存在于堆中，您必须同步对它们的访问:)
【讨论】：