Java内存模型通过一系列机制来确保线程安全，主要包括可见性、有序性和原子性的保证。
1、可见性：
Java内存模型通过规定所有变量都存储在主内存中，线程间变量值的传递都需要通过主内存来完成，从而确保了变量的可见性。
使用volatile关键字可以确保一个线程对共享变量的修改对其他线程是可见的。当一个线程修改了被volatile修饰的变量的值，新值会立即同步回主内存，并被其他线程感知。
2、有序性：
为了避免指令重排序导致的问题，Java内存模型通过happens-before规则来定义指令之间的顺序关系。如果操作A happens-before 操作B，那么A的执行结果对B是可见的。
使用synchronized关键字或java.util.concurrent包中的锁机制可以确保有序性。当一个线程进入同步代码块或方法时，它会获取锁，从而确保在该线程释放锁之前，其他线程无法访问被同步的代码块或方法，从而保证了有序性。
3、原子性：
原子性是指一个操作要么全部执行完毕，要么不执行。Java内存模型通过一些原子操作来确保线程安全。
使用synchronized关键字可以确保同一时刻只有一个线程可以访问共享变量，从而保证了原子性。
除了synchronized，Java还提供了其他原子类（如AtomicInteger、AtomicLong等）来实现对基本数据类型的原子操作。
此外，Java内存模型还通过垃圾回收机制自动管理内存，避免了内存泄漏和野指针等问题，从而提高了程序的线程安全性。