目录
第1关:并发编程的三个概念
任务描述
相关知识
1.原子性
2.可见性
3.有序性
编程要求
第2关:使用synchronized关键字同步线程
相关知识
并发编程什么时候会出现安全问题
怎么解决线程的安全问题呢?
synchronized关键字
synchronized代码块
编程要求
第3关:使用线程锁(Lock)实现线程同步
相关知识
Lock接口
lock()方法的正确使用
编程要求
第4关:使用volatile实现变量的可见性
相关知识
什么是 volatile 关键字
volatile可以保证原子性吗
编程要求
在我们进行应用开发的时候,常常会关注网站的并发,如果网站的用户量很多,当这些用户同时访问一个服务的时候,我们的服务器就会接收到大量的并发请求,处理好这些并发请求是一个合格程序员必须要完成的工作。
理解并发编程的三个概念对于我们更好的开发高并发的Web
应用有很大的帮助。
本关的任务就是理解并发编程的三个重要概念并完成右侧选择题。
原子性:即一个操作或者多个操作,要么全部执行并且在执行过程中不会被任何因素打断,要么就不执行。
我们来看看下面这段代码:
x = 10; //语句1
y = x; //语句2
x++; //语句3
x = x + 1; //语句4
现在请你判断,这段代码哪些是原子操作。
可能你会觉得四个语句都是原子操作,可是实际上只有语句1是原子性操作。 语句1
是直接将10
的值赋值给x
,所以也就是说执行这个语句会直接将数值10
写入到内存中,所以这是原子性的,语句2其实是两个操作,先读取x
的值,然后赋值给y
,这两个步骤是原子性的,但是他们合起来就不是原子性操作了,后面两个语句也是同样的道理。
也就是说,只有简单的读取,赋值(必须是将数字赋值给某个变量,变量之间的赋值不是原子性操作),才是原子性操作。
从上面可以看出,Java
内存模型只保证了基本读取和赋值是原子性操作,如果要实现大范围的原子性,可以通过synchronized
和lock
来实现,lock
(锁)和synchronized
(同步)在后面的关卡会介绍。
synchronized
和lock
可以保证在任何时候只有一个线程执行该代码块,所以就保证了原子性。
可见性是当多个线程访问一个变量时,一个线程改变了变量的值,其他线程立马可以知道这个改变。
举个例子:
//线程1执行的代码
int i = 0;
i = 10;
//线程2执行的代码
j = i;
假若执行线程1
的是CPU1
,执行线程2
的是CPU2
。由上面的分析可知,当线程1
执行 i =10
这句时,会先把i
的初始值加载到CPU1
的高速缓存中,然后赋值为10
,那么在CPU1
的高速缓存当中i
的值变为10
了,却没有立即写入到主存当中。
此时线程2
执行 j = i
,它会先去主存读取i
的值并加载到CPU2
的缓存当中,注意此时内存当中i
的值还是0
,那么就会使得j
的值为0
,而不是10
。
这就是可见性问题,线程1
对变量i
修改了之后,线程2
没有立即看到线程1修改的值。
对于可见性,Java
提供了Volatile
关键字来保证,当一个变量被Volatile
修饰时,它会保证修改的值会被立即重新写入到主内存,当其他线程要调用该共享变量时,会去主内存中重新读取。
但是普通的共享变量是不能保证可见性的,因为普通变量会被读入到线程自己的内存,当一个线程修改了之后,可能还没来得及刷新到主内存,其他线程就从主存中读取了该变量。所以其他线程读取的时候可能还是原来的值,所以普通共享变量是无法保证可见性的。
关于保证可见性还可以通过Synchronized
和lock
的方式来实现。
有序性:即程序的执行是按照代码编写的先后顺序执行的,例如下面这个例子:
int a;
boolean flag;
i = 10; //语句1
flag = false; //语句2
上述代码定义了一个整形的变量a
,布尔类型变量flag
,使用语句1
和语句2
对变量i
和flag
进行赋值,看起来语句1
是在语句2
之前的,但是在程序运行的时候语句1
一定会在语句2
之前执行吗?是不一定的,因为这里可能会发生指令重排序(Instruction Reorder
)。
什么是指令重排序呢?
一般来说,处理器为了提升执行效率,会对输入代码进行优化,它不保证代码执行的顺序和代码编写的顺序一致,但是它会保证程序的输出结果和代码的顺序执行结果是一致的。
比如上面的代码中,语句1和语句2谁先执行对最终的程序结果并没有影响,那么就有可能在执行过程中,语句2先执行而语句1后执行。
但是要注意,虽然处理器会对指令进行重排序,但是它会保证程序最终结果会和代码顺序执行结果相同,那么它靠什么保证的呢?再看下面一个例子:
int a = 3; //语句1
int b = 5; //语句2
a = a + 3; //语句3
b = b + a + 4; //语句4
上述程序的执行结果就可能是:语句2 => 语句1 => 语句3 => 语句4
。
那有没有可能是:语句2 => 语句1 => 语句4 => 语句3
呢?
不可能,因为处理器在执行语句的时候会考虑数据之间的依赖性,上述代码语句4
是要依赖语句3
的结果的,所以处理器会保证语句3
在语句4
之前执行。
如果一个指令Instruction 2
必须用到Instruction 1
的结果,那么处理器会保证Instruction 1
会在Instruction 2
之前执行。
虽然指令重排序不会影响单个线程的最终执行结果,但是多线程的情况下会不会影响呢?我们来看一个例子:
//线程1:
context = loadContext(); //语句1
inited = true; //语句2
//线程2:
while(!inited ){
sleep();
}
doSomethingwithconfig(context);
可以发现语句1
和语句2
并没有数据依赖性,所以按照指令重排序的规则,可能语句2
在语句1
之前执行,语句2
执行完之后,语句1
还没开始执行,可能线程2
就开始执行了,这个时候inited
为true
,会跳出while
循环转而执行doSomethingwithconfig(context)
而这个时候语句1
还没执行,context
还没有初始化,就会造成程序报错。
从上述例子可以看出,指令重排序不会影响单个线程的执行,但是会影响多线程的执行。
也就是说,要保证多线程程序执行的正确性,必须要保证原子性、可见性以及有序性。只要有一个没有被保证,就有可能会导致程序运行不正确。
略
在单线程的时候是不会出现安全问题的,不过在多线程的情况下就很有可能出现,比如说:多个线程同时访问同一个共享资源,多个线程同时向数据库插入数据,这些时候如果我们不做任何处理,就很有可能出现数据实际结果与我们预期的结果不符合的情况。
例:现在有两个线程同时获取用户输入的数据,然后将数据插入到同一张表中,要求不能出现重复的数据。
我们必然要在插入数据的时候进行如下操作:
检查数据库中是否存在该数据;
如果存在则不插入,否则插入。
现在有两个线程ThreadA
和ThreadB
来对数据库进行操作,当某个时刻,线程A和B同时读取到了数据X,这个时候他们都去数据库验证X是否存在,得到的结果都是不存在,然后A、B线程都向数据库插入了X数据,这个时候数据库中出现了两条X数据,还是出现了数据重复。
这个就是线程安全问题,多个线程同时访问一个资源时,会导致程序运行结果并不是想看到的结果。
这里面,这个资源被称为:临界资源(也可以叫共享资源)。
当多个线程同时访问临界资源(一个对象,对象中的属性,一个文件,一个数据库等等)时,就有可能产生线程安全问题。
当多个线程执行一个方法时,方法内部的局部变量并不是临界资源,因为方法是在栈上执行的,而Java栈是线程私有的,因此不会产生线程安全问题。
如何解决线程安全问题
基本上所有解决线程安全问题的方式都是采用“序列化临界资源访问”的方式,即在同一时刻只有一个线程操作临界资源,操作完了才能让其他线程进行操作,也称作同步互斥访问。
在Java中一般采用synchronized
和Lock
来实现同步互斥访问。
首先我们先来了解一下互斥锁,互斥锁:就是能达到互斥访问目的的锁。
如果对一个变量加上互斥锁,那么在同一时刻,该变量只能有一个线程能访问,即当一个线程访问临界资源时,其他线程只能等待。
在Java中,每一个对象都有一个锁标记(monitor),也被称为监视器,当多个线程访问对象时,只有获取了对象的锁才能访问。
在我们编写代码的时候,可以使用synchronized
修饰对象的方法或者代码块,当某个线程访问这个对象synchronized
方法或者代码块时,就获取到了这个对象的锁,这个时候其他对象是不能访问的,只能等待获取到锁的这个线程执行完该方法或者代码块之后,才能执行该对象的方法。
我们来看个示例进一步理解synchronized
关键字:
public class Example {
public static void main(String[] args) {
final InsertData insertData = new InsertData();
new Thread() {
public void run() {
insertData.insert(Thread.currentThread());
};
}.start();
new Thread() {
public void run() {
insertData.insert(Thread.currentThread());
};
}.start();
}
}
class InsertData {
private ArrayList arrayList = new ArrayList();
public void insert(Thread thread){
for(int i=0;i<5;i++){
System.out.println(thread.getName()+"在插入数据"+i);
arrayList.add(i);
}
}
}
这段代码的执行是随机的(每次结果都不一样):
Thread-0在插入数据0
Thread-1在插入数据0
Thread-1在插入数据1
Thread-1在插入数据2
Thread-1在插入数据3
Thread-1在插入数据4
Thread-0在插入数据1
Thread-0在插入数据2
Thread-0在插入数据3
Thread-0在插入数据4
现在我们加上synchronized
关键字来看看执行结果:
public synchronized void insert(Thread thread){
for(int i=0;i<5;i++){
System.out.println(thread.getName()+"在插入数据"+i);
arrayList.add(i);
}
}
输出:
Thread-0在插入数据0
Thread-0在插入数据1
Thread-0在插入数据2
Thread-0在插入数据3
Thread-0在插入数据4
Thread-1在插入数据0
Thread-1在插入数据1
Thread-1在插入数据2
Thread-1在插入数据3
Thread-1在插入数据4
可以发现,线程1
会等待线程0
插入完数据之后再执行,说明线程0
和线程1
是顺序执行的。
从这两个示例中,我们可以知道synchronized
关键字可以实现方法同步互斥访问。
在使用synchronized
关键字的时候有几个问题需要我们注意:
在线程调用synchronized
的方法时,其他synchronized
的方法是不能被访问的,道理很简单,一个对象只有一把锁;
当一个线程在访问对象的synchronized
方法时,其他线程可以访问该对象的非synchronized
方法,因为访问非synchronized
不需要获取锁,是可以随意访问的;
如果一个线程A需要访问对象object1
的synchronized
方法fun1
,另外一个线程B需要访问对象object2
的synchronized
方法fun1
,即使object1
和object2
是同一类型),也不会产生线程安全问题,因为他们访问的是不同的对象,所以不存在互斥问题。
synchronized
代码块对于我们优化多线程的代码很有帮助,首先我们来看看它长啥样:
synchronized(synObject) {
}
当在某个线程中执行该段代码时,该线程会获取到该对象的synObject
锁,此时其他线程无法访问这段代码块,synchronized
的值可以是this
代表当前对象,也可以是对象的属性,用对象的属性时,表示的是对象属性的锁。
有了synchronized
代码块,我们可以将上述添加数据的例子修改成如下两种形式:
class InsertData {
private ArrayList arrayList = new ArrayList();
public void insert(Thread thread){
synchronized (this) {
for(int i=0;i<100;i++){
System.out.println(thread.getName()+"在插入数据"+i);
arrayList.add(i);
}
}
}
}
class InsertData {
private ArrayList arrayList = new ArrayList();
private Object object = new Object();
public void insert(Thread thread){
synchronized (object) {
for(int i=0;i<100;i++){
System.out.println(thread.getName()+"在插入数据"+i);
arrayList.add(i);
}
}
}
}
上述代码就是synchronized
代码块添加锁的两种方式,可以发现添加synchronized
代码块,要比直接在方法上添加synchronized
关键字更加灵活。
当我们用sychronized
关键字修饰方法时,这个方法只能同时让一个线程访问,但是有时候很可能只有一部分代码需要同步,而这个时候使用sychronized
关键字修饰的方法是做不到的,但是使用sychronized
代码块就可以实现这个功能。
并且如果一个线程执行一个对象的非static synchronized
方法,另外一个线程需要执行这个对象所属类的static synchronized
方法,此时不会发生互斥现象,因为访问static synchronized
方法占用的是类锁,而访问非static synchronized
方法占用的是对象锁,所以不存在互斥现象。
来看一段代码:
public class Test {
public static void main(String[] args) {
final InsertData insertData = new InsertData();
new Thread(){
public void run() {
insertData.insert();
}
}.start();
new Thread(){
public void run() {
insertData.insert1();
}
}.start();
}
}
class InsertData {
public synchronized void insert(){
System.out.println("执行insert");
try {
Thread.sleep(5000);
} catch (InterruptedException e) {
e.printStackT\frace();
}
System.out.println("执行insert完毕");
}
public synchronized static void insert1() {
System.out.println("执行insert1");
System.out.println("执行insert1完毕");
}
}
执行结果:
执行insert
执行insert1
执行insert1完毕
执行insert完毕
请仔细阅读右侧代码,根据方法内的提示,在Begin - End
区域内进行代码补充,具体任务如下:
num
变量在同一时刻只能有一个线程可以访问。package step2;
public class Task {
public static void main(String[] args) {
final insertData insert = new insertData();
for (int i = 0; i < 3; i++) {
new Thread(new Runnable() {
public void run() {
insert.insert(Thread.currentThread());
}
}).start();
}
}
}
class insertData{
public static int num =0;
/********* Begin *********/
public synchronized void insert(Thread thread){
for (int i = 0; i <= 5; i++) {
num++;
System.out.println(num);
}
}
/********* End *********/
}
上一关我们谈到了synchronized
关键字,synchronized
关键字主要用来同步代码,实现同步互斥访问,也就是在同一时刻只能有一个线程访问临界资源。从而解决线程的安全问题。
如果一个方法或者代码块被synchronized
关键字修饰,当线程获取到该方法或代码块的锁,其他线程是不能继续访问该方法或代码块的。
而其他线程要能访问该方法或代码块,就必须要等待获取到锁的线程释放这个锁,而在这里释放锁只有两种情况:
线程执行完代码块,自动释放锁;
程序报错,jvm
让线程自动释放锁。
可能会有一种情况,当一个线程获取到对象的锁,然后在执行过程中因为一些原因(等待IO,调用sleep
方法)被阻塞了,这个时候锁还在被阻塞的线程手中,而其他线程这个时候除了等之外,没有任何办法,我们想一想这样子会有多影响程序的效率。
synchronized
是Java提供的关键字,使用起来非常方便,不过在有些情况下,它是具有很多局限性的。因此就需要有一种机制可以不让等待的线程一直无期限地等待下去(比如只等待一定的时间或者能够响应中断),通过Lock
就可以办到。
在比如,当多个线程操作同一个文件的时候,同时读写是会冲突的,同时写也是会冲突的,但是同时读是不会发生冲突的,而我们如果用synchronized
来实现同步,就会出现一个问题:
如果多个线程都只是进行读操作,所以当一个线程在进行读操作时,其他线程只能等待无法进行读操作。
因此就需要一种机制来使得多个线程都只是进行读操作时,线程之间不会发生冲突,而通过Lock
就可以办到。
总的来说Lock
要比synchronized
提供的功能更多,可定制化的程度也更高,Lock
不是Java语言内置的,而是一个类。
我们来了解一下反复提到的Lock
,首先我们来查看它的源码:
public interface Lock {
void lock();
void lockInterruptibly() throws InterruptedException;
boolean tryLock();
boolean tryLock(long time, TimeUnit unit) throws InterruptedException;
void unlock();
Condition newCondition();
}
可以发现Lock
是一个接口,其中:lock()、tryLock()、tryLock(long time, TimeUnit unit)和lockInterruptibly()
方法是用来获取锁的,unlock()
方法是用来释放锁的。
首先lock()
方法是平常使用得最多的一个方法,就是用来获取锁。如果锁已被其他线程获取,则进行等待。
由于在前面讲到如果采用Lock
,必须主动去释放锁,并且在发生异常时,不会自动释放锁。因此一般来说,使用Lock
必须在try{}catch{}
块中进行,并且将释放锁的操作放在finally
块中进行,以保证锁一定被被释放,防止死锁的发生。
一个使用Lock
的例子:
Lock lock = ...;
lock.lock();
try{
//处理任务
}catch(Exception ex){
}finally{
lock.unlock(); //释放锁
}
tryLock()
顾名思义,是用来尝试获取锁的,并且该方法有返回值,表示获取成功与否,获取成功返回true
,失败返回false
,从方法可以发现,该方法如果没有获取到锁时不会继续等待的,而是会直接返回值。
tryLock()
的重载方法tryLock(long time, TimeUnit unit)
功能类似,只是这个方法会等待一段时间获取锁,如果过了等待时间还未获取到锁就会返回false
,如果在等待时间之内拿到锁则返回true
。
所以我们经常这样使用:
Lock lock = ...;
if(lock.tryLock()) {
try{
//处理任务
}catch(Exception ex){
}finally{
lock.unlock(); //释放锁
}
}else {
//如果不能获取锁,则直接做其他事情
}
因为Lock
是一个接口所以我们在编程时一般会使用它的实现类,ReentrantLock
是Lock
接口的一个实现类,意思是“可重入锁”,接下来我们通过一个例子来学习lock()
方法的正确使用方式。
示例1:
public class Test {
private ArrayList arrayList = new ArrayList();
public static void main(String[] args) {
final Test test = new Test();
new Thread(){
public void run() {
test.insert(Thread.currentThread());
};
}.start();
new Thread(){
public void run() {
test.insert(Thread.currentThread());
};
}.start();
}
public void insert(Thread thread) {
Lock lock = new ReentrantLock(); //注意这个地方
lock.lock();
try {
System.out.println(thread.getName()+"得到了锁");
for(int i=0;i<5;i++) {
arrayList.add(i);
}
} catch (Exception e) {
// TODO: handle exception
}finally {
System.out.println(thread.getName()+"释放了锁");
lock.unlock();
}
}
}
输出:
Thread-1得到了锁
Thread-0得到了锁
Thread-0释放了锁
Thread-1释放了锁
结果可能出乎你的意料,不对呀,按道理应该是一个线程得到锁其他线程不能获取锁了的啊,为什么会这样呢?是因为insert()
方法中lock
变量是一个局部变量。THread-0
和Thread-1
获取到的是不同的锁,这样不会造成线程的等待。
那怎么才能利用lock()
实现同步呢?相信你已经想到了,只要将Lock定义成全局变量就可以了。
public class Test {
private ArrayList arrayList = new ArrayList();
private Lock lock = new ReentrantLock(); //注意这个地方
public static void main(String[] args) {
final Test test = new Test();
new Thread(){
public void run() {
test.insert(Thread.currentThread());
};
}.start();
new Thread(){
public void run() {
test.insert(Thread.currentThread());
};
}.start();
}
public void insert(Thread thread) {
lock.lock();
try {
System.out.println(thread.getName()+"得到了锁");
for(int i=0;i<5;i++) {
arrayList.add(i);
}
} catch (Exception e) {
// TODO: handle exception
}finally {
System.out.println(thread.getName()+"释放了锁");
lock.unlock();
}
}
}
结果:
Thread-0得到了锁
Thread-0释放了锁
Thread-1得到了锁
Thread-1释放了锁
这样就是我们预期的结果了。
很多时候我们为了提高程序的效率不希望线程为了等待锁而一直阻塞,这个时候可以使用tryLock()
可以达到目的。
示例,将之前的insert()
方法修改成tryLock()
实现:
public void insert(Thread thread) {
if(lock.tryLock()) {
try {
System.out.println(thread.getName()+"得到了锁");
for(int i=0;i<5;i++) {
arrayList.add(i);
}
} catch (Exception e) {
// TODO: handle exception
}finally {
System.out.println(thread.getName()+"释放了锁");
lock.unlock();
}
} else {
System.out.println(thread.getName()+"获取锁失败");
}
}
输出:
Thread-0得到了锁
Thread-1获取锁失败
Thread-0释放了锁
请仔细阅读右侧代码,根据方法内的提示,在Begin - End
区域内进行代码补充。
package step3;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
public class Task {
public static void main(String[] args) {
final Insert insert = new Insert();
Thread t1 = new Thread(new Runnable() {
public void run() {
insert.insert(Thread.currentThread());
}
});
Thread t2 = new Thread(new Runnable() {
public void run() {
insert.insert(Thread.currentThread());
}
});
Thread t3 = new Thread(new Runnable() {
public void run() {
insert.insert(Thread.currentThread());
}
});
// 设置线程优先级
t1.setPriority(Thread.MAX_PRIORITY);
t2.setPriority(Thread.NORM_PRIORITY);
t3.setPriority(Thread.MIN_PRIORITY);
t1.start();
t2.start();
t3.start();
}
}
class Insert {
public static int num;
// 在这里定义Lock
private Lock lock = new ReentrantLock();
public void insert(Thread thread) {
/********* Begin *********/
if(lock.tryLock()){
try{ //处理任务
System.out.println(thread.getName()+"得到了锁");
for (int i = 0; i < 5; i++) {
num++;
System.out.println(num);
}
}finally{
System.out.println(thread.getName()+"释放了锁");
lock.unlock(); //释放锁
}
}else{ //如果不能获取锁,则直接做其他事情
System.out.println(thread.getName()+"获取锁失败");
}
/********* End *********/
}
}
在并发编程中,volatile
关键字扮演着非常重要的作用,接下来我们直接进入主题。
volatile
是干啥用的,有什么含义和特点呢?
当一个共享变量被volatile
修饰时,它就具备了“可见性”,即这个变量被一个线程修改时,这个改变会立即被其他线程知道。
当一个共享变量被volatile
修饰时,会禁止“指令重排序”。
先来看个例子:
//线程1
boolean stop = false;
while(!stop){
doSomething();
}
//线程2
stop = true;
因为线程是不直接提供停止的方法的,所以我们很多时候想要中断线程一般都会采用上述代码。
不过这段代码是存在问题的,当线程2执行时,这段代码能保证一定能中断线程1吗?在大多数情况下是可以的,不过也有可能不能中断线程1。
为何有可能导致无法中断线程呢?每个线程在运行过程中都有自己的工作内存,那么线程1
在运行的时候,会将stop
变量的值拷贝一份放在自己的工作内存当中。
那么当线程2
更改了stop
变量的值之后,但是还没来得及写入主存当中,线程2转去做其他事情了,那么线程1由于不知道线程2对stop
变量的更改,因此还会一直循环下去。
如何避免这种情况呢?
很简单,给stop
变量加上volatile
关键字就可以了。
volatile
关键字会产生什么效果呢?
使用volatile
关键字会强制将变量的修改的值立即写至主内存;
使用volatile
关键字,当线程2对变量stop
修改时,会强制将所有用到stop
变量的线程对应的缓存中stop
的缓存行置为无效。
由于线程1的stop
缓存行无效,所以在运行时线程1会读取主存中stop
变量的值。
所以到最后线程1
读取到的就是stop
最新的值。
在之前我们了解到了线程的三大特性:原子性,可见性,有序性。
前面的例子我们知道了volatile
可以保证共享变量的可见性,但是volatile
可以保证原子性吗?
我们来看看:
public class Test {
public volatile int inc = 0;
public void increase() {
inc++;
}
public static void main(String[] args) {
final Test test = new Test();
for(int i=0;i<10;i++){
new Thread(){
public void run() {
for(int j=0;j<1000;j++)
test.increase();
};
}.start();
}
while(Thread.activeCount()>1) //保证前面的线程都执行完
Thread.yield();
System.out.println(test.inc);
}
}
来想一想这段程序的输出结果,然后copy
到本地运行看一看效果。
可能我们想的结果应该是:10000
,不过最终运行的结果往往达不到10000
,可能我们会有疑问,不对啊,上面是对变量inc
进行自增操作,由于volatile
保证了可见性,那么在每个线程中对inc
自增完之后,在其他线程中都能看到修改后的值啊,所以有10
个线程分别进行了1000
次操作,那么最终inc
的值应该是1000*10=10000
。
前面我们讲到volatile
是可以保证可见性的,不过上述程序的错误在于volatile
没法保证程序的原子性。
我们知道变量的自增不是原子性的。它包括两个步骤:
1.读取变量的值;
2.给变量的值加1
并写入工作内存。
我们想象这样一种情况:线程1在操作inc
变量自增的时候可能会遇到这种状况,读取到了inc
变量的值,这个时候inc
的值为10
,还没有进行自增操作时候线程1阻塞了,紧接着线程2对inc
变量进行操作,注意这个时候inc
的值还是10
,线程2对inc
进行了自增操作,这个时候inc
的值是11
,并将这个改变写到主存中,好了,现在线程1恢复了,它并不会去主存中读取inc
的值,因为inc
已经在它的缓存中了,所以继续进行之前的操作,注意这个时候线程1的缓存中inc
的值是10
,线程1对inc
的值进行加1
.inc
等于11
,然后写入主存。
我们发现两个线程都对inc
进行了一轮操作,但是inc
的值只增加了1
.
可能我们还是会有疑问,不对啊,前面不是保证一个变量在修改volatile
变量时,会让缓存行无效吗?然后其他线程去读就会读到新的值,对,这个没错。这个就是上面的happens-before
规则中的volatile
变量规则,但是要注意,线程1对变量进行读取操作之后,被阻塞了的话,并没有对inc
值进行修改。然后虽然volatile
能保证线程2
对变量inc
的值读取是从内存中读取的,但是线程1
没有进行修改,所以线程2
根本就不会看到修改的值。
理解了这些我们就能明白,这个问题的根源就在于自增操作不是原子性的。
而要解决这个问题就很简单了,让自增操作变成原子性就可以了。
怎么保证原子性呢,怎么让上述代码结果是10000
呢?
用我们前两关学习的知识就可以啦,具体代码自己思考吧,毕竟从自己脑子里想出来的才是自己的呢。
请仔细阅读右侧代码,根据方法内的提示,在Begin - End
区域内进行代码补充。 ####测试说明
预期输出:10000
。
提示:可以使用两种方式实现原子性,所以本关有多种方式都可以通关。
package step4;
public class Task {
public volatile int inc = 0;
//请在此添加实现代码
/********** Begin **********/
public synchronized void increase() {
inc++;
}
/********** End **********/
public static void main(String[] args) {
final Task test = new Task();
for (int i = 0; i < 10; i++) {
new Thread() {
public void run() {
for (int j = 0; j < 1000; j++)
test.increase();
};
}.start();
}
while (Thread.activeCount() > 1) // 保证前面的线程都执行完
Thread.yield();
System.out.println(test.inc);
}
}