diff --git a/docs/notes/Java 容器.md b/docs/notes/Java 容器.md index 15cb0431..d9ddcd8a 100644 --- a/docs/notes/Java 容器.md +++ b/docs/notes/Java 容器.md @@ -389,7 +389,7 @@ transient Node first; transient Node last; ``` -

+

### 2. 与 ArrayList 的比较 @@ -411,7 +411,7 @@ transient Entry[] table; Entry 存储着键值对。它包含了四个字段，从 next 字段我们可以看出 Entry 是一个链表。即数组中的每个位置被当成一个桶，一个桶存放一个链表。HashMap 使用拉链法来解决冲突，同一个链表中存放哈希值相同的 Entry。 -

+

```java static class Entry implements Map.Entry { @@ -487,7 +487,7 @@ map.put("K3", "V3"); - 计算键值对所在的桶； - 在链表上顺序查找，时间复杂度显然和链表的长度成正比。 -

+

### 3. put 操作 diff --git a/docs/notes/Java 并发.md b/docs/notes/Java 并发.md index 9c5b951b..5b32b0ec 100644 --- a/docs/notes/Java 并发.md +++ b/docs/notes/Java 并发.md @@ -61,7 +61,7 @@ # 一、线程状态转换 -

+

## 新建（New） @@ -736,7 +736,7 @@ java.util.concurrent（J.U.C）大大提高了并发性能，AQS 被认为是 J. 维护了一个计数器 cnt，每次调用 countDown() 方法会让计数器的值减 1，减到 0 的时候，那些因为调用 await() 方法而在等待的线程就会被唤醒。 -

+

```java public class CountdownLatchExample { @@ -785,7 +785,7 @@ public CyclicBarrier(int parties) { } ``` -

+

```java public class CyclicBarrierExample { @@ -1022,7 +1022,7 @@ public class ForkJoinPool extends AbstractExecutorService ForkJoinPool 实现了工作窃取算法来提高 CPU 的利用率。每个线程都维护了一个双端队列，用来存储需要执行的任务。工作窃取算法允许空闲的线程从其它线程的双端队列中窃取一个任务来执行。窃取的任务必须是最晚的任务，避免和队列所属线程发生竞争。例如下图中，Thread2 从 Thread1 的队列中拿出最晚的 Task1 任务，Thread1 会拿出 Task2 来执行，这样就避免发生竞争。但是如果队列中只有一个任务时还是会发生竞争。 -

+

# 九、线程不安全示例 @@ -1077,19 +1077,19 @@ Java 内存模型试图屏蔽各种硬件和操作系统的内存访问差异， 加入高速缓存带来了一个新的问题：缓存一致性。如果多个缓存共享同一块主内存区域，那么多个缓存的数据可能会不一致，需要一些协议来解决这个问题。 -

+

所有的变量都存储在主内存中，每个线程还有自己的工作内存，工作内存存储在高速缓存或者寄存器中，保存了该线程使用的变量的主内存副本拷贝。 线程只能直接操作工作内存中的变量，不同线程之间的变量值传递需要通过主内存来完成。 -

+

## 内存间交互操作 Java 内存模型定义了 8 个操作来完成主内存和工作内存的交互操作。 -

+

- read：把一个变量的值从主内存传输到工作内存中 - load：在 read 之后执行，把 read 得到的值放入工作内存的变量副本中 @@ -1112,11 +1112,11 @@ Java 内存模型保证了 read、load、use、assign、store、write、lock 和 下图演示了两个线程同时对 cnt 进行操作，load、assign、store 这一系列操作整体上看不具备原子性，那么在 T1 修改 cnt 并且还没有将修改后的值写入主内存，T2 依然可以读入旧值。可以看出，这两个线程虽然执行了两次自增运算，但是主内存中 cnt 的值最后为 1 而不是 2。因此对 int 类型读写操作满足原子性只是说明 load、assign、store 这些单个操作具备原子性。 -

+

AtomicInteger 能保证多个线程修改的原子性。 -

+

使用 AtomicInteger 重写之前线程不安全的代码之后得到以下线程安全实现： @@ -1224,7 +1224,7 @@ volatile 关键字通过添加内存屏障的方式来禁止指令重排，即 在一个线程内，在程序前面的操作先行发生于后面的操作。 -

+

### 2. 管程锁定规则 @@ -1232,7 +1232,7 @@ volatile 关键字通过添加内存屏障的方式来禁止指令重排，即 一个 unlock 操作先行发生于后面对同一个锁的 lock 操作。 -

+

### 3. volatile 变量规则 @@ -1240,7 +1240,7 @@ volatile 关键字通过添加内存屏障的方式来禁止指令重排，即 对一个 volatile 变量的写操作先行发生于后面对这个变量的读操作。 -

+

### 4. 线程启动规则 @@ -1248,8 +1248,7 @@ volatile 关键字通过添加内存屏障的方式来禁止指令重排，即 Thread 对象的 start() 方法调用先行发生于此线程的每一个动作。 -

- +

### 5. 线程加入规则 @@ -1257,8 +1256,7 @@ Thread 对象的 start() 方法调用先行发生于此线程的每一个动作 Thread 对象的结束先行发生于 join() 方法返回。 -

- +

### 6. 线程中断规则 @@ -1476,7 +1474,7 @@ public class ThreadLocalExample1 { 它所对应的底层结构图为： -

+

每个 Thread 都有一个 ThreadLocal.ThreadLocalMap 对象。 diff --git a/docs/pics/15851555-5abc-497d-ad34-efed10f43a6b.png b/docs/pics/15851555-5abc-497d-ad34-efed10f43a6b.png new file mode 100644 index 00000000..cb9b6ef1 Binary files /dev/null and b/docs/pics/15851555-5abc-497d-ad34-efed10f43a6b.png differ diff --git a/docs/pics/233f8d89-31d7-413f-9c02-042f19c46ba1.png b/docs/pics/233f8d89-31d7-413f-9c02-042f19c46ba1.png new file mode 100644 index 00000000..1cacaeaf Binary files /dev/null and b/docs/pics/233f8d89-31d7-413f-9c02-042f19c46ba1.png differ diff --git a/docs/pics/2797a609-68db-4d7b-8701-41ac9a34b14f.jpg b/docs/pics/2797a609-68db-4d7b-8701-41ac9a34b14f.jpg new file mode 100644 index 00000000..640a68ca Binary files /dev/null and b/docs/pics/2797a609-68db-4d7b-8701-41ac9a34b14f.jpg differ diff --git a/docs/pics/6270c216-7ec0-4db7-94de-0003bce37cd2.png b/docs/pics/6270c216-7ec0-4db7-94de-0003bce37cd2.png new file mode 100644 index 00000000..8843cf93 Binary files /dev/null and b/docs/pics/6270c216-7ec0-4db7-94de-0003bce37cd2.png differ diff --git a/docs/pics/6782674c-1bfe-4879-af39-e9d722a95d39.png b/docs/pics/6782674c-1bfe-4879-af39-e9d722a95d39.png new file mode 100644 index 00000000..019cd9d5 Binary files /dev/null and b/docs/pics/6782674c-1bfe-4879-af39-e9d722a95d39.png differ diff --git a/docs/pics/874b3ff7-7c5c-4e7a-b8ab-a82a3e038d20.png b/docs/pics/874b3ff7-7c5c-4e7a-b8ab-a82a3e038d20.png new file mode 100644 index 00000000..980733ad Binary files /dev/null and b/docs/pics/874b3ff7-7c5c-4e7a-b8ab-a82a3e038d20.png differ diff --git a/docs/pics/8996a537-7c4a-4ec8-a3b7-7ef1798eae26.png b/docs/pics/8996a537-7c4a-4ec8-a3b7-7ef1798eae26.png new file mode 100644 index 00000000..09a68c0d Binary files /dev/null and b/docs/pics/8996a537-7c4a-4ec8-a3b7-7ef1798eae26.png differ diff --git a/docs/pics/8b7ebbad-9604-4375-84e3-f412099d170c.png b/docs/pics/8b7ebbad-9604-4375-84e3-f412099d170c.png new file mode 100644 index 00000000..2e3436af Binary files /dev/null and b/docs/pics/8b7ebbad-9604-4375-84e3-f412099d170c.png differ diff --git a/docs/pics/942ca0d2-9d5c-45a4-89cb-5fd89b61913f.png b/docs/pics/942ca0d2-9d5c-45a4-89cb-5fd89b61913f.png new file mode 100644 index 00000000..03abae17 Binary files /dev/null and b/docs/pics/942ca0d2-9d5c-45a4-89cb-5fd89b61913f.png differ diff --git a/docs/pics/942f33c9-8ad9-4987-836f-007de4c21de0.png b/docs/pics/942f33c9-8ad9-4987-836f-007de4c21de0.png new file mode 100644 index 00000000..dea28276 Binary files /dev/null and b/docs/pics/942f33c9-8ad9-4987-836f-007de4c21de0.png differ diff --git a/docs/pics/adfb427d-3b21-40d7-a142-757f4ed73079.png b/docs/pics/adfb427d-3b21-40d7-a142-757f4ed73079.png new file mode 100644 index 00000000..b74e83d9 Binary files /dev/null and b/docs/pics/adfb427d-3b21-40d7-a142-757f4ed73079.png differ diff --git a/docs/pics/ba078291-791e-4378-b6d1-ece76c2f0b14.png b/docs/pics/ba078291-791e-4378-b6d1-ece76c2f0b14.png new file mode 100644 index 00000000..5579ae47 Binary files /dev/null and b/docs/pics/ba078291-791e-4378-b6d1-ece76c2f0b14.png differ diff --git a/docs/pics/dd563037-fcaa-4bd8-83b6-b39d93a12c77.jpg b/docs/pics/dd563037-fcaa-4bd8-83b6-b39d93a12c77.jpg new file mode 100644 index 00000000..1d3477ea Binary files /dev/null and b/docs/pics/dd563037-fcaa-4bd8-83b6-b39d93a12c77.jpg differ diff --git a/docs/pics/e42f188f-f4a9-4e6f-88fc-45f4682072fb.png b/docs/pics/e42f188f-f4a9-4e6f-88fc-45f4682072fb.png new file mode 100644 index 00000000..74183fb7 Binary files /dev/null and b/docs/pics/e42f188f-f4a9-4e6f-88fc-45f4682072fb.png differ diff --git a/docs/pics/f71af66b-0d54-4399-a44b-f47b58321984.png b/docs/pics/f71af66b-0d54-4399-a44b-f47b58321984.png new file mode 100644 index 00000000..fba07b15 Binary files /dev/null and b/docs/pics/f71af66b-0d54-4399-a44b-f47b58321984.png differ