存在共享可变数据且多线程并发访问时，若操作非原子性并需保证可见性与有序性，则必须使用同步机制以避免竞态条件。
Java中的同步机制主要用于解决多线程环境下的数据安全问题，确保多个线程在访问共享资源时不会出现竞态条件。使用同步的前提和条件可以从以下几个方面来理解。
1. 存在共享可变数据
只有当多个线程同时访问同一个可变的共享资源时，才需要考虑同步。如果数据是不可变的（如String、Integer等）或线程间不共享数据，则不需要同步。
- 例如：多个线程同时对一个全局的ArrayList进行增删操作，这时必须同步。
- 如果每个线程操作的是自己的局部变量，就没有必要同步。
2. 多线程并发访问
同步只在多线程环境下有意义。单线程程序中不存在资源竞争，自然不需要同步控制。
- 当多个线程可能同时执行某段代码，并且这段代码操作了共享状态，就需要用synchronized关键字或Lock机制来保护临界区。
3. 操作不是原子性的
如果对共享数据的操作不是原子操作，比如“读取-修改-写入”这类复合操作，就容易出现中间
- 例如：i++ 实际包含三个步骤：读i、加1、写回。这个过程必须同步，否则结果不可预期。
- 而像volatile修饰的变量可以保证可见性，但不能保证原子性，所以仍需同步处理复合操作。
4. 需要保证可见性和有序性
Java内存模型中，每个线程有自己的工作内存，主内存中的变量更新不一定立即被其他线程看到。同步块不仅能互斥访问，还能保证线程之间的内存可见性。
- synchronized不仅实现互斥，还确保进入同步块前会从主内存刷新变量，退出时将修改写回主内存。
- 因此，在需要保证变量修改对其他线程立即可见时，同步是一种有效手段。
基本上就这些。同步不是万能的，滥用会导致性能下降甚至死锁。关键是判断是否真的存在共享、可变、并发、非原子的操作。满足这些条件时，才应使用同步机制。不复杂但容易忽略。
