Skip to content

Commit 306b8fc

Browse files
committed
📝 Writing docs.
1 parent 0920ac0 commit 306b8fc

6 files changed

Lines changed: 287 additions & 933 deletions

File tree

docs/concurrent/Java并发机制的底层实现.md

Lines changed: 134 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -15,17 +15,26 @@ tags:
1515
1616
<!-- TOC depthFrom:2 depthTo:3 -->
1717

18-
- [concurrent 包的实现](#concurrent-包的实现)
19-
- [synchronized](#synchronized)
20-
- [volatile](#volatile)
21-
- [CAS](#cas)
22-
- [简介](#简介)
23-
- [操作](#操作)
24-
- [应用](#应用)
25-
- [原理](#原理)
26-
- [特点](#特点)
27-
- [总结](#总结)
28-
- [资料](#资料)
18+
* [concurrent 包的实现](#concurrent-包的实现)
19+
* [synchronized](#synchronized)
20+
* [实例方法同步](#实例方法同步)
21+
* [静态方法同步](#静态方法同步)
22+
* [实例方法中的同步块](#实例方法中的同步块)
23+
* [静态方法中的同步块](#静态方法中的同步块)
24+
* [volatile](#volatile)
25+
* [CAS](#cas)
26+
* [简介](#简介)
27+
* [操作](#操作)
28+
* [应用](#应用)
29+
* [原理](#原理)
30+
* [特点](#特点)
31+
* [优点](#优点)
32+
* [缺点](#缺点)
33+
* [ABA 问题](#aba-问题)
34+
* [循环时间长开销大](#循环时间长开销大)
35+
* [只能保证一个共享变量的原子操作](#只能保证一个共享变量的原子操作)
36+
* [总结](#总结)
37+
* [资料](#资料)
2938

3039
<!-- /TOC -->
3140

@@ -57,17 +66,129 @@ AQS,非阻塞数据结构和原子变量类(Java.util.concurrent.atomic 包
5766
synchronized 实现同步的基础是:Java 中的每一个对象都可以作为锁。
5867

5968
* 对于普通同步方法,锁是当前实例对象。
60-
* 对于静态同步方法,锁是当前类的Class对象
61-
* 对于同步方法块,锁是Synchonized括号里配置的对象
69+
* 对于静态同步方法,锁是当前类的 Class 对象
70+
* 对于同步方法块,锁是 Synchonized 括号里配置的对象
6271

6372
synchronized 用的锁是存在 Java 对象头里的。
6473

74+
同步块在 Java 中是同步在某个对象上。所有同步在一个对象上的同步块在同时只能被一个线程进入并执行操作。所有其他等待进入该同步块的线程将被阻塞,直到执行该同步块中的线程退出。
75+
76+
有四种不同的同步块:
77+
78+
* 实例方法
79+
* 静态方法
80+
* 实例方法中的同步块
81+
* 静态方法中的同步块
82+
83+
### 实例方法同步
84+
85+
```java
86+
public synchronized void add(int value){
87+
this.count += value;
88+
}
89+
```
90+
91+
注意在方法声明中同步(synchronized )关键字。这告诉 Java 该方法是同步的。
92+
93+
Java 实例方法同步是同步在拥有该方法的对象上。这样,每个实例其方法同步都同步在不同的对象上,即该方法所属的实例。只有一个线程能够在实例方法同步块中运行。如果有多个实例存在,那么一个线程一次可以在一个实例同步块中执行操作。一个实例一个线程。
94+
95+
### 静态方法同步
96+
97+
静态方法同步和实例方法同步方法一样,也使用 synchronized 关键字。Java 静态方法同步如下示例:
98+
99+
```java
100+
public static synchronized void add(int value){
101+
count += value;
102+
}
103+
```
104+
105+
同样,这里 synchronized 关键字告诉 Java 这个方法是同步的。
106+
107+
静态方法的同步是指同步在该方法所在的类对象上。因为在 Java 虚拟机中一个类只能对应一个类对象,所以同时只允许一个线程执行同一个类中的静态同步方法。
108+
109+
对于不同类中的静态同步方法,一个线程可以执行每个类中的静态同步方法而无需等待。不管类中的那个静态同步方法被调用,一个类只能由一个线程同时执行。
110+
111+
### 实例方法中的同步块
112+
113+
有时你不需要同步整个方法,而是同步方法中的一部分。Java 可以对方法的一部分进行同步。
114+
115+
在非同步的 Java 方法中的同步块的例子如下所示:
116+
117+
```java
118+
public void add(int value){
119+
synchronized(this){
120+
this.count += value;
121+
}
122+
}
123+
```
124+
125+
示例使用 Java 同步块构造器来标记一块代码是同步的。该代码在执行时和同步方法一样。
126+
127+
注意 Java 同步块构造器用括号将对象括起来。在上例中,使用了 `this`,即为调用 add 方法的实例本身。在同步构造器中用括号括起来的对象叫做监视器对象。上述代码使用监视器对象同步,同步实例方法使用调用方法本身的实例作为监视器对象。
128+
129+
一次只有一个线程能够在同步于同一个监视器对象的 Java 方法内执行。
130+
131+
下面两个例子都同步他们所调用的实例对象上,因此他们在同步的执行效果上是等效的。
132+
133+
```java
134+
public class MyClass {
135+
136+
public synchronized void log1(String msg1, String msg2){
137+
log.writeln(msg1);
138+
log.writeln(msg2);
139+
}
140+
141+
142+
public void log2(String msg1, String msg2){
143+
synchronized(this){
144+
log.writeln(msg1);
145+
log.writeln(msg2);
146+
}
147+
}
148+
}
149+
```
150+
151+
在上例中,每次只有一个线程能够在两个同步块中任意一个方法内执行。
152+
153+
如果第二个同步块不是同步在 this 实例对象上,那么两个方法可以被线程同时执行。
154+
155+
### 静态方法中的同步块
156+
157+
和上面类似,下面是两个静态方法同步的例子。这些方法同步在该方法所属的类对象上。
158+
159+
```java
160+
public class MyClass {
161+
162+
public static synchronized void log1(String msg1, String msg2){
163+
log.writeln(msg1);
164+
log.writeln(msg2);
165+
}
166+
167+
168+
public static void log2(String msg1, String msg2){
169+
synchronized(MyClass.class){
170+
log.writeln(msg1);
171+
log.writeln(msg2);
172+
}
173+
}
174+
}
175+
```
176+
177+
这两个方法不允许同时被线程访问。
178+
179+
如果第二个同步块不是同步在 MyClass.class 这个对象上。那么这两个方法可以同时被线程访问。
180+
65181
## volatile
66182

67183
volatile 是轻量级的 synchronized,它在多处理器开发中保证了共享变量的“可见性”。
68184

69185
可见性的意思是当一个线程修改一个共享变量时,另外一个线程能读到这个修改的值。
70186

187+
一旦一个共享变量(类的成员变量、类的静态成员变量)被volatile修饰之后,那么就具备了两层语义:
188+
189+
1. 保证了不同线程对这个变量进行操作时的可见性,即一个线程修改了某个变量的值,这新值对其他线程来说是立即可见的。
190+
2. 禁止进行指令重排序。
191+
71192
如果 volatile 变量修饰符使用恰当的话,它比 synchronized 的使用和执行成本更低,因为它不会引起线程上下文的切换和调度。
72193

73194
如果一个字段被声明成 volatile,Java 线程内存模型确保所有线程看到这个变量的值是一致的。

docs/concurrent/README.md

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,7 @@
66
* [ ] [Java 线程基础]()
77
* [x] [Java 并发机制的底层实现](Java并发机制的底层实现.md)
88
* [x] [Java 内存模型](Java内存模型.md)
9-
* [ ] [Java 同步容器]()
10-
* [x] [Java 并发容器](Java并发容器.md)
9+
* [x] [同步容器和并发容器](同步容器和并发容器.md)
1110
* [x] [Java 锁](Java锁.md)
1211
* [ ] [Java 原子操作类](Java原子操作类.md)
1312
* [x] [Java 并发工具类](Java并发工具类.md)

docs/concurrent/java-synchronized-collection.md

Lines changed: 0 additions & 192 deletions
This file was deleted.

0 commit comments

Comments
 (0)