java 高并发保存数据如何实现 java高并发编程详解_Java

Java高并发(一)- 并发编程的几个基本概念Java高并发(二) - Java 内存模型与线程Java高并发(三) - CountDownLatch、CyclicBarrier和SemaphoreJava高并发(四) - Java 原子类详解Java高并发(五) - 线程安全策略Java高并发(六) - 锁的优化及 JVM 对锁优化所做的努力

同步(synchronous)和异步(Asynchronous)

  • 同步:同步方法一旦调用,必须等待方法调用返回后,才能继续后续的行为。
  • 异步:异步方法更像一个消息传递,一旦开始,方法调用就会立即返回,调用者可以继续后续的操作。异步方法通常在另一个线程中地执行。

并发(Concurrency)和并行(Parallelism)

并发和并行是两个非常容易被混淆的概念,它们都可以表示两个或多个任务一起执行,但是偏重点有些不同。并发偏重于多个任务交替执行,而多个任务之间有可能还是串行的。而并行是真正意义上的 “同时执行” 。

java 高并发保存数据如何实现 java高并发编程详解_多线程_02

如果系统内只有一个 CPU,而使用多进程或多线程任务,那么真实环境中不可能真实并行的,毕竟一个 CPU 一次只能执行一条指令,这种情况下多进程或多线程就是并发,而不是并行。真实的并行也只可能出现在拥有多个 CPU 的系统中(如多核 CPU)。

Java内存模型

原子性

原子性指一个操作是不可中断的,即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程干扰。

比如:对于一个静态全局变量 int i,两个线程同时对它赋值,线程 A 给他赋值为 1,线程 B 给他赋值为 -1,那么不管这 2 个线程以何种方式,何种步调工作,i 的值要么是 1,要么是 -1,线程 A 和 线程 B 之间是没有干扰的,这就是原子性的特点,不可被中断。

但如果不使用 int 型而使用 long 型的话,可能就没有那么幸运了,对于 32 位系统来说,long 型数据读写不是原子的(long 型有 64 位)。也就是说如果两个线程同时对 long 进行写入(或者读取)的话,对线程直接的结果是有干扰的。

java 高并发保存数据如何实现 java高并发编程详解_java_03


上面显示了这几个相关数字的不骂形式,也就是计算机内的真实存储内容,4294966852 这个数字,是 111 或 333 的前 32 位与 -444 的后 32 位夹杂后的数字,由于并行的关系,数字被写乱了,或者读的时候,读串味了。

可见性

可见性是指当一个线程修改了某一个共享变量的值,其他线程是否能立即知道这个修改。

对于串行程序来说,可见性问题不存在,而在并行程序中,如果一个变量修改了某一个全局变量,那么其他线程未必可以马上知道这个修改。

可见性问题除了缓存优化或硬件优化会导致可见性问题外,指令重排以及编辑器的优化,都可能导致线程的修改不会立即被其他线程察觉。

volatile

有序性

为使得处理器内部运算单元尽量充分利用,处理器可能【对输入的代码乱序执行优化】。处理器在计算之后将乱序执行结果重组,保证该结果与顺序执行的结果一致,但并不保证程序中各个语句计算先后顺序与输入时一致。

有序性问题是因为程序在执行时,可能进行指令重排,重排后的指令与原指令的顺序未必一致。

哪些指令不能重排:Happen-Before 规则

虽然 JVM 和执行系统会对指令进行重排,但是指令重排是有原则的,并非所有的指令都可以随便改变执行位置,以下罗列了一些基本规则,这些原则是指令重排不可违背的。

  1. 程序顺序原则:一个线程内保证语义的串行性。
  2. volatile:volatile 变量的写,先发生于都,这保证了 volatile 变量的可见性。
  3. 锁规则:解锁必然发生在加锁前。
  4. 传递性:A 先于 B,B 先于 C,那么 A 必然先于 C。
  5. 线程的 start() 方法先于它的每一个动作。
  6. 线程的所有操作先于线程的终结。
  7. 线程的中断先于被中断线程的代码。
  8. 对象的构造函数的执行、结束先于 finalize() 方法。

并发的优势与风险

优势

  1. 速度:同时处理多个请求,响应更快,复杂的操作可以分成多个进程同时进行。
  2. 设计:程序设计在某些情况下更简单,也可以有更多的选择。
  3. 资源利用:CPU 能在等待 IO 时做一些其他事情

风险

  1. 安全性:多个线程共享数据时可能会产生与期望不相符的结果。
  2. 活跃性:某个操作无法继续进行下去时,就会发生活跃性问题,比如死锁,饥饿等问题。
  3. 性能:线程过多时会使得:CPU 频繁切换,调度时间增多,同步机制消耗过多内存。