1.原子性:指的是一个操作是不可中断的,要么全部执行成功,要么全部执行失败,没用中间态。在多线程环境下,如果一个操作是原子性的,那么即使有多个线程同时访问该操作,也不会产生不一致的结果。
2.可见性:指当一个线程修改了共享变量的值后,其他线程能够立即看到这个修改。即使多个线程同时访问同一个共享变量,他们之间也能够保持数据的一致性。在缺乏同步措施的情况下,由于线程的本地缓存以及指令重排序等原因,一个线程对共享变量的修改可能对其他线程不可见,从而导致数据不一致或程序出现错误。
3.有序性:指的是程序执行的顺序与代码的书写顺序一致。在单线程环境下,程序的执行顺序是可预期的,但在多线程环境下,线程的执行顺序可能会受到线程的执行顺序可能会受到多种因素的影响,如指令重排序、内存模型等。多线程编程中,我们需要通过同步机制(如锁、volatile关键字、synchronized关键字等)来确保程序的执行顺序符合预期,避免出现数据竞争和不确定的执行结果。
综上所述,原子性保证了操作的完整性,可见性保证了数据的一致性,有序性保证了程序的可预测性,在多线程编程中,需要考虑如何确保这三个方面的特性以避免出现并发问题。